commit.c 34.5 KB
Newer Older
1
// SPDX-License-Identifier: GPL-2.0+
2
/*
3
 * linux/fs/jbd2/commit.c
4 5 6 7 8 9 10 11 12 13 14
 *
 * Written by Stephen C. Tweedie <sct@redhat.com>, 1998
 *
 * Copyright 1998 Red Hat corp --- All Rights Reserved
 *
 * Journal commit routines for the generic filesystem journaling code;
 * part of the ext2fs journaling system.
 */

#include <linux/time.h>
#include <linux/fs.h>
15
#include <linux/jbd2.h>
16 17 18 19
#include <linux/errno.h>
#include <linux/slab.h>
#include <linux/mm.h>
#include <linux/pagemap.h>
20
#include <linux/jiffies.h>
21
#include <linux/crc32.h>
22 23
#include <linux/writeback.h>
#include <linux/backing-dev.h>
24
#include <linux/bio.h>
25
#include <linux/blkdev.h>
26
#include <linux/bitops.h>
27
#include <trace/events/jbd2.h>
28 29

/*
30
 * IO end handler for temporary buffer_heads handling writes to the journal.
31 32 33
 */
static void journal_end_buffer_io_sync(struct buffer_head *bh, int uptodate)
{
34 35
	struct buffer_head *orig_bh = bh->b_private;

36 37 38 39 40
	BUFFER_TRACE(bh, "");
	if (uptodate)
		set_buffer_uptodate(bh);
	else
		clear_buffer_uptodate(bh);
41 42
	if (orig_bh) {
		clear_bit_unlock(BH_Shadow, &orig_bh->b_state);
43
		smp_mb__after_atomic();
44 45
		wake_up_bit(&orig_bh->b_state, BH_Shadow);
	}
46 47 48 49
	unlock_buffer(bh);
}

/*
50 51
 * When an ext4 file is truncated, it is possible that some pages are not
 * successfully freed, because they are attached to a committing transaction.
52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77
 * After the transaction commits, these pages are left on the LRU, with no
 * ->mapping, and with attached buffers.  These pages are trivially reclaimable
 * by the VM, but their apparent absence upsets the VM accounting, and it makes
 * the numbers in /proc/meminfo look odd.
 *
 * So here, we have a buffer which has just come off the forget list.  Look to
 * see if we can strip all buffers from the backing page.
 *
 * Called under lock_journal(), and possibly under journal_datalist_lock.  The
 * caller provided us with a ref against the buffer, and we drop that here.
 */
static void release_buffer_page(struct buffer_head *bh)
{
	struct page *page;

	if (buffer_dirty(bh))
		goto nope;
	if (atomic_read(&bh->b_count) != 1)
		goto nope;
	page = bh->b_page;
	if (!page)
		goto nope;
	if (page->mapping)
		goto nope;

	/* OK, it's a truncated page */
N
Nick Piggin 已提交
78
	if (!trylock_page(page))
79 80
		goto nope;

81
	get_page(page);
82 83 84
	__brelse(bh);
	try_to_free_buffers(page);
	unlock_page(page);
85
	put_page(page);
86 87 88 89 90 91
	return;

nope:
	__brelse(bh);
}

92
static void jbd2_commit_block_csum_set(journal_t *j, struct buffer_head *bh)
D
Darrick J. Wong 已提交
93 94 95 96
{
	struct commit_header *h;
	__u32 csum;

97
	if (!jbd2_journal_has_csum_v2or3(j))
D
Darrick J. Wong 已提交
98 99
		return;

100
	h = (struct commit_header *)(bh->b_data);
D
Darrick J. Wong 已提交
101 102 103
	h->h_chksum_type = 0;
	h->h_chksum_size = 0;
	h->h_chksum[0] = 0;
104
	csum = jbd2_chksum(j, j->j_csum_seed, bh->b_data, j->j_blocksize);
D
Darrick J. Wong 已提交
105 106 107
	h->h_chksum[0] = cpu_to_be32(csum);
}

108 109
/*
 * Done it all: now submit the commit record.  We should have
110 111 112 113 114 115
 * cleaned up our previous buffers by now, so if we are in abort
 * mode we can now just skip the rest of the journal write
 * entirely.
 *
 * Returns 1 if the journal needs to be aborted or 0 on success
 */
116 117 118 119
static int journal_submit_commit_record(journal_t *journal,
					transaction_t *commit_transaction,
					struct buffer_head **cbh,
					__u32 crc32_sum)
120
{
121
	struct commit_header *tmp;
122
	struct buffer_head *bh;
123
	int ret;
124
	struct timespec64 now;
125

126 127
	*cbh = NULL;

128 129 130
	if (is_journal_aborted(journal))
		return 0;

131 132
	bh = jbd2_journal_get_descriptor_buffer(commit_transaction,
						JBD2_COMMIT_BLOCK);
133
	if (!bh)
134 135
		return 1;

136
	tmp = (struct commit_header *)bh->b_data;
137
	ktime_get_coarse_real_ts64(&now);
138 139
	tmp->h_commit_sec = cpu_to_be64(now.tv_sec);
	tmp->h_commit_nsec = cpu_to_be32(now.tv_nsec);
140

141
	if (jbd2_has_feature_checksum(journal)) {
142 143 144
		tmp->h_chksum_type 	= JBD2_CRC32_CHKSUM;
		tmp->h_chksum_size 	= JBD2_CRC32_CHKSUM_SIZE;
		tmp->h_chksum[0] 	= cpu_to_be32(crc32_sum);
145
	}
146
	jbd2_commit_block_csum_set(journal, bh);
147

148
	BUFFER_TRACE(bh, "submit commit block");
149
	lock_buffer(bh);
150
	clear_buffer_dirty(bh);
151 152 153 154
	set_buffer_uptodate(bh);
	bh->b_end_io = journal_end_buffer_io_sync;

	if (journal->j_flags & JBD2_BARRIER &&
155
	    !jbd2_has_feature_async_commit(journal))
156 157
		ret = submit_bh(REQ_OP_WRITE,
			REQ_SYNC | REQ_PREFLUSH | REQ_FUA, bh);
158
	else
159
		ret = submit_bh(REQ_OP_WRITE, REQ_SYNC, bh);
160

161 162 163 164 165 166 167 168
	*cbh = bh;
	return ret;
}

/*
 * This function along with journal_submit_commit_record
 * allows to write the commit record asynchronously.
 */
169 170
static int journal_wait_on_commit_record(journal_t *journal,
					 struct buffer_head *bh)
171 172 173 174 175
{
	int ret = 0;

	clear_buffer_dirty(bh);
	wait_on_buffer(bh);
176

177 178 179 180 181
	if (unlikely(!buffer_uptodate(bh)))
		ret = -EIO;
	put_bh(bh);            /* One for getblk() */

	return ret;
182 183
}

184 185 186
/*
 * write the filemap data using writepage() address_space_operations.
 * We don't do block allocation here even for delalloc. We don't
187
 * use writepages() because with delayed allocation we may be doing
188 189
 * block allocation in writepages().
 */
190 191
static int journal_submit_inode_data_buffers(struct address_space *mapping,
		loff_t dirty_start, loff_t dirty_end)
192 193 194 195 196
{
	int ret;
	struct writeback_control wbc = {
		.sync_mode =  WB_SYNC_ALL,
		.nr_to_write = mapping->nrpages * 2,
197 198
		.range_start = dirty_start,
		.range_end = dirty_end,
199 200 201 202 203 204
	};

	ret = generic_writepages(mapping, &wbc);
	return ret;
}

205 206 207 208 209 210 211 212
/*
 * Submit all the data buffers of inode associated with the transaction to
 * disk.
 *
 * We are in a committing transaction. Therefore no new inode can be added to
 * our inode list. We use JI_COMMIT_RUNNING flag to protect inode we currently
 * operate on from being released while we write out pages.
 */
213
static int journal_submit_data_buffers(journal_t *journal,
214 215 216 217 218 219 220 221
		transaction_t *commit_transaction)
{
	struct jbd2_inode *jinode;
	int err, ret = 0;
	struct address_space *mapping;

	spin_lock(&journal->j_list_lock);
	list_for_each_entry(jinode, &commit_transaction->t_inode_list, i_list) {
222 223 224
		loff_t dirty_start = jinode->i_dirty_start;
		loff_t dirty_end = jinode->i_dirty_end;

225 226
		if (!(jinode->i_flags & JI_WRITE_DATA))
			continue;
227
		mapping = jinode->i_vfs_inode->i_mapping;
228
		jinode->i_flags |= JI_COMMIT_RUNNING;
229
		spin_unlock(&journal->j_list_lock);
230 231 232 233 234 235
		/*
		 * submit the inode data buffers. We use writepage
		 * instead of writepages. Because writepages can do
		 * block allocation  with delalloc. We need to write
		 * only allocated blocks here.
		 */
236
		trace_jbd2_submit_inode_data(jinode->i_vfs_inode);
237 238
		err = journal_submit_inode_data_buffers(mapping, dirty_start,
				dirty_end);
239 240 241 242
		if (!ret)
			ret = err;
		spin_lock(&journal->j_list_lock);
		J_ASSERT(jinode->i_transaction == commit_transaction);
243 244
		jinode->i_flags &= ~JI_COMMIT_RUNNING;
		smp_mb();
245 246 247 248 249 250 251 252 253 254 255 256 257 258 259 260 261
		wake_up_bit(&jinode->i_flags, __JI_COMMIT_RUNNING);
	}
	spin_unlock(&journal->j_list_lock);
	return ret;
}

/*
 * Wait for data submitted for writeout, refile inodes to proper
 * transaction if needed.
 *
 */
static int journal_finish_inode_data_buffers(journal_t *journal,
		transaction_t *commit_transaction)
{
	struct jbd2_inode *jinode, *next_i;
	int err, ret = 0;

262
	/* For locking, see the comment in journal_submit_data_buffers() */
263 264
	spin_lock(&journal->j_list_lock);
	list_for_each_entry(jinode, &commit_transaction->t_inode_list, i_list) {
265 266 267
		loff_t dirty_start = jinode->i_dirty_start;
		loff_t dirty_end = jinode->i_dirty_end;

268 269
		if (!(jinode->i_flags & JI_WAIT_DATA))
			continue;
270
		jinode->i_flags |= JI_COMMIT_RUNNING;
271
		spin_unlock(&journal->j_list_lock);
272 273 274
		err = filemap_fdatawait_range_keep_errors(
				jinode->i_vfs_inode->i_mapping, dirty_start,
				dirty_end);
275 276
		if (!ret)
			ret = err;
277
		spin_lock(&journal->j_list_lock);
278 279
		jinode->i_flags &= ~JI_COMMIT_RUNNING;
		smp_mb();
280 281 282 283 284 285 286 287 288 289 290 291 292 293
		wake_up_bit(&jinode->i_flags, __JI_COMMIT_RUNNING);
	}

	/* Now refile inode to proper lists */
	list_for_each_entry_safe(jinode, next_i,
				 &commit_transaction->t_inode_list, i_list) {
		list_del(&jinode->i_list);
		if (jinode->i_next_transaction) {
			jinode->i_transaction = jinode->i_next_transaction;
			jinode->i_next_transaction = NULL;
			list_add(&jinode->i_list,
				&jinode->i_transaction->t_inode_list);
		} else {
			jinode->i_transaction = NULL;
294 295
			jinode->i_dirty_start = 0;
			jinode->i_dirty_end = 0;
296 297 298 299 300 301 302
		}
	}
	spin_unlock(&journal->j_list_lock);

	return ret;
}

303 304 305 306 307 308
static __u32 jbd2_checksum_data(__u32 crc32_sum, struct buffer_head *bh)
{
	struct page *page = bh->b_page;
	char *addr;
	__u32 checksum;

309
	addr = kmap_atomic(page);
310 311
	checksum = crc32_be(crc32_sum,
		(void *)(addr + offset_in_page(bh->b_data)), bh->b_size);
312
	kunmap_atomic(addr);
313 314 315 316

	return checksum;
}

317
static void write_tag_block(journal_t *j, journal_block_tag_t *tag,
318
				   unsigned long long block)
Z
Zach Brown 已提交
319 320
{
	tag->t_blocknr = cpu_to_be32(block & (u32)~0);
321
	if (jbd2_has_feature_64bit(j))
Z
Zach Brown 已提交
322 323 324
		tag->t_blocknr_high = cpu_to_be32((block >> 31) >> 1);
}

325 326 327
static void jbd2_block_tag_csum_set(journal_t *j, journal_block_tag_t *tag,
				    struct buffer_head *bh, __u32 sequence)
{
328
	journal_block_tag3_t *tag3 = (journal_block_tag3_t *)tag;
329 330
	struct page *page = bh->b_page;
	__u8 *addr;
331
	__u32 csum32;
332
	__be32 seq;
333

334
	if (!jbd2_journal_has_csum_v2or3(j))
335 336
		return;

337
	seq = cpu_to_be32(sequence);
338
	addr = kmap_atomic(page);
339
	csum32 = jbd2_chksum(j, j->j_csum_seed, (__u8 *)&seq, sizeof(seq));
340 341
	csum32 = jbd2_chksum(j, csum32, addr + offset_in_page(bh->b_data),
			     bh->b_size);
342
	kunmap_atomic(addr);
343

344
	if (jbd2_has_feature_csum3(j))
345 346 347
		tag3->t_checksum = cpu_to_be32(csum32);
	else
		tag->t_checksum = cpu_to_be16(csum32);
348
}
349
/*
350
 * jbd2_journal_commit_transaction
351 352 353 354
 *
 * The primary function for committing a transaction to the log.  This
 * function is called by the journal thread to begin a complete commit.
 */
355
void jbd2_journal_commit_transaction(journal_t *journal)
356
{
357
	struct transaction_stats_s stats;
358
	transaction_t *commit_transaction;
359 360
	struct journal_head *jh;
	struct buffer_head *descriptor;
361 362 363 364
	struct buffer_head **wbuf = journal->j_wbuf;
	int bufs;
	int flags;
	int err;
365
	unsigned long long blocknr;
J
Josef Bacik 已提交
366 367
	ktime_t start_time;
	u64 commit_time;
368 369 370 371 372
	char *tagp = NULL;
	journal_block_tag_t *tag = NULL;
	int space_left = 0;
	int first_tag = 0;
	int tag_flag;
373
	int i;
Z
Zach Brown 已提交
374
	int tag_bytes = journal_tag_bytes(journal);
375 376
	struct buffer_head *cbh = NULL; /* For transactional checksums */
	__u32 crc32_sum = ~0;
377
	struct blk_plug plug;
378 379 380 381
	/* Tail of the journal */
	unsigned long first_block;
	tid_t first_tid;
	int update_tail;
382
	int csum_size = 0;
383
	LIST_HEAD(io_bufs);
384
	LIST_HEAD(log_bufs);
385

386
	if (jbd2_journal_has_csum_v2or3(journal))
387
		csum_size = sizeof(struct jbd2_journal_block_tail);
388 389 390 391 392 393

	/*
	 * First job: lock down the current transaction and wait for
	 * all outstanding updates to complete.
	 */

394 395
	/* Do we need to erase the effects of a prior jbd2_journal_flush? */
	if (journal->j_flags & JBD2_FLUSHED) {
396
		jbd_debug(3, "super block updated\n");
397
		mutex_lock_io(&journal->j_checkpoint_mutex);
398 399 400 401 402 403 404 405 406
		/*
		 * We hold j_checkpoint_mutex so tail cannot change under us.
		 * We don't need any special data guarantees for writing sb
		 * since journal is empty and it is ok for write to be
		 * flushed only with transaction commit.
		 */
		jbd2_journal_update_sb_log_tail(journal,
						journal->j_tail_sequence,
						journal->j_tail,
407
						REQ_SYNC);
408
		mutex_unlock(&journal->j_checkpoint_mutex);
409 410 411 412 413 414 415 416 417
	} else {
		jbd_debug(3, "superblock not updated\n");
	}

	J_ASSERT(journal->j_running_transaction != NULL);
	J_ASSERT(journal->j_committing_transaction == NULL);

	commit_transaction = journal->j_running_transaction;

418
	trace_jbd2_start_commit(journal, commit_transaction);
E
Eryu Guan 已提交
419
	jbd_debug(1, "JBD2: starting commit of transaction %d\n",
420 421
			commit_transaction->t_tid);

422
	write_lock(&journal->j_state_lock);
423
	J_ASSERT(commit_transaction->t_state == T_RUNNING);
424 425
	commit_transaction->t_state = T_LOCKED;

426
	trace_jbd2_commit_locking(journal, commit_transaction);
427
	stats.run.rs_wait = commit_transaction->t_max_wait;
428
	stats.run.rs_request_delay = 0;
429
	stats.run.rs_locked = jiffies;
430 431 432 433
	if (commit_transaction->t_requested)
		stats.run.rs_request_delay =
			jbd2_time_diff(commit_transaction->t_requested,
				       stats.run.rs_locked);
434 435
	stats.run.rs_running = jbd2_time_diff(commit_transaction->t_start,
					      stats.run.rs_locked);
436

437
	spin_lock(&commit_transaction->t_handle_lock);
438
	while (atomic_read(&commit_transaction->t_updates)) {
439 440 441 442
		DEFINE_WAIT(wait);

		prepare_to_wait(&journal->j_wait_updates, &wait,
					TASK_UNINTERRUPTIBLE);
443
		if (atomic_read(&commit_transaction->t_updates)) {
444
			spin_unlock(&commit_transaction->t_handle_lock);
445
			write_unlock(&journal->j_state_lock);
446
			schedule();
447
			write_lock(&journal->j_state_lock);
448 449 450 451 452
			spin_lock(&commit_transaction->t_handle_lock);
		}
		finish_wait(&journal->j_wait_updates, &wait);
	}
	spin_unlock(&commit_transaction->t_handle_lock);
453 454
	commit_transaction->t_state = T_SWITCH;
	write_unlock(&journal->j_state_lock);
455

456
	J_ASSERT (atomic_read(&commit_transaction->t_outstanding_credits) <=
457 458 459 460 461 462 463
			journal->j_max_transaction_buffers);

	/*
	 * First thing we are allowed to do is to discard any remaining
	 * BJ_Reserved buffers.  Note, it is _not_ permissible to assume
	 * that there are no such buffers: if a large filesystem
	 * operation like a truncate needs to split itself over multiple
464
	 * transactions, then it may try to do a jbd2_journal_restart() while
465 466 467 468 469 470 471
	 * there are still BJ_Reserved buffers outstanding.  These must
	 * be released cleanly from the current transaction.
	 *
	 * In this case, the filesystem must still reserve write access
	 * again before modifying the buffer in the new transaction, but
	 * we do not require it to remember exactly which old buffers it
	 * has reserved.  This is consistent with the existing behaviour
472
	 * that multiple jbd2_journal_get_write_access() calls to the same
L
Lucas De Marchi 已提交
473
	 * buffer are perfectly permissible.
474 475 476 477 478
	 */
	while (commit_transaction->t_reserved_list) {
		jh = commit_transaction->t_reserved_list;
		JBUFFER_TRACE(jh, "reserved, unused: refile");
		/*
479
		 * A jbd2_journal_get_undo_access()+jbd2_journal_release_buffer() may
480 481 482 483 484
		 * leave undo-committed data.
		 */
		if (jh->b_committed_data) {
			struct buffer_head *bh = jh2bh(jh);

T
Thomas Gleixner 已提交
485
			spin_lock(&jh->b_state_lock);
M
Mingming Cao 已提交
486
			jbd2_free(jh->b_committed_data, bh->b_size);
487
			jh->b_committed_data = NULL;
T
Thomas Gleixner 已提交
488
			spin_unlock(&jh->b_state_lock);
489
		}
490
		jbd2_journal_refile_buffer(journal, jh);
491 492 493 494 495 496 497 498
	}

	/*
	 * Now try to drop any written-back buffers from the journal's
	 * checkpoint lists.  We do this *before* commit because it potentially
	 * frees some memory
	 */
	spin_lock(&journal->j_list_lock);
499
	__jbd2_journal_clean_checkpoint_list(journal, false);
500 501
	spin_unlock(&journal->j_list_lock);

E
Eryu Guan 已提交
502
	jbd_debug(3, "JBD2: commit phase 1\n");
503

504 505 506 507 508 509
	/*
	 * Clear revoked flag to reflect there is no revoked buffers
	 * in the next transaction which is going to be started.
	 */
	jbd2_clear_buffer_revoked_flags(journal);

510 511 512
	/*
	 * Switch to a new revoke table.
	 */
513
	jbd2_journal_switch_revoke_table(journal);
514

J
Jan Kara 已提交
515 516 517 518 519 520
	/*
	 * Reserved credits cannot be claimed anymore, free them
	 */
	atomic_sub(atomic_read(&journal->j_reserved_credits),
		   &commit_transaction->t_outstanding_credits);

521
	write_lock(&journal->j_state_lock);
522
	trace_jbd2_commit_flushing(journal, commit_transaction);
523 524 525
	stats.run.rs_flushing = jiffies;
	stats.run.rs_locked = jbd2_time_diff(stats.run.rs_locked,
					     stats.run.rs_flushing);
526

527 528 529
	commit_transaction->t_state = T_FLUSH;
	journal->j_committing_transaction = commit_transaction;
	journal->j_running_transaction = NULL;
J
Josef Bacik 已提交
530
	start_time = ktime_get();
531 532
	commit_transaction->t_log_start = journal->j_head;
	wake_up(&journal->j_wait_transaction_locked);
533
	write_unlock(&journal->j_state_lock);
534

535
	jbd_debug(3, "JBD2: commit phase 2a\n");
536 537 538 539 540

	/*
	 * Now start flushing things to disk, in the order they appear
	 * on the transaction lists.  Data blocks go first.
	 */
541
	err = journal_submit_data_buffers(journal, commit_transaction);
542
	if (err)
543
		jbd2_journal_abort(journal, err);
544

545
	blk_start_plug(&plug);
546
	jbd2_journal_write_revoke_records(commit_transaction, &log_bufs);
547

548
	jbd_debug(3, "JBD2: commit phase 2b\n");
549 550 551 552 553 554

	/*
	 * Way to go: we have now written out all of the data for a
	 * transaction!  Now comes the tricky part: we need to write out
	 * metadata.  Loop over the transaction's entire buffer list:
	 */
555
	write_lock(&journal->j_state_lock);
556
	commit_transaction->t_state = T_COMMIT;
557
	write_unlock(&journal->j_state_lock);
558

559
	trace_jbd2_commit_logging(journal, commit_transaction);
560 561 562
	stats.run.rs_logging = jiffies;
	stats.run.rs_flushing = jbd2_time_diff(stats.run.rs_flushing,
					       stats.run.rs_logging);
563
	stats.run.rs_blocks = commit_transaction->t_nr_buffers;
564
	stats.run.rs_blocks_logged = 0;
565

566
	J_ASSERT(commit_transaction->t_nr_buffers <=
567
		 atomic_read(&commit_transaction->t_outstanding_credits));
568

569
	err = 0;
570
	bufs = 0;
571
	descriptor = NULL;
572 573 574 575 576 577 578
	while (commit_transaction->t_buffers) {

		/* Find the next buffer to be journaled... */

		jh = commit_transaction->t_buffers;

		/* If we're in abort mode, we just un-journal the buffer and
579
		   release it. */
580 581

		if (is_journal_aborted(journal)) {
582
			clear_buffer_jbddirty(jh2bh(jh));
583
			JBUFFER_TRACE(jh, "journal is aborting: refile");
J
Joel Becker 已提交
584 585 586 587
			jbd2_buffer_abort_trigger(jh,
						  jh->b_frozen_data ?
						  jh->b_frozen_triggers :
						  jh->b_triggers);
588
			jbd2_journal_refile_buffer(journal, jh);
589 590 591 592 593 594 595 596 597 598 599 600 601 602 603
			/* If that was the last one, we need to clean up
			 * any descriptor buffers which may have been
			 * already allocated, even if we are now
			 * aborting. */
			if (!commit_transaction->t_buffers)
				goto start_journal_io;
			continue;
		}

		/* Make sure we have a descriptor block in which to
		   record the metadata buffer. */

		if (!descriptor) {
			J_ASSERT (bufs == 0);

E
Eryu Guan 已提交
604
			jbd_debug(4, "JBD2: get descriptor\n");
605

606 607 608
			descriptor = jbd2_journal_get_descriptor_buffer(
							commit_transaction,
							JBD2_DESCRIPTOR_BLOCK);
609
			if (!descriptor) {
610
				jbd2_journal_abort(journal, -EIO);
611 612 613
				continue;
			}

E
Eryu Guan 已提交
614
			jbd_debug(4, "JBD2: got buffer %llu (%p)\n",
615 616 617 618 619
				(unsigned long long)descriptor->b_blocknr,
				descriptor->b_data);
			tagp = &descriptor->b_data[sizeof(journal_header_t)];
			space_left = descriptor->b_size -
						sizeof(journal_header_t);
620
			first_tag = 1;
621 622 623
			set_buffer_jwrite(descriptor);
			set_buffer_dirty(descriptor);
			wbuf[bufs++] = descriptor;
624 625 626

			/* Record it so that we can wait for IO
                           completion later */
627 628
			BUFFER_TRACE(descriptor, "ph3: file as descriptor");
			jbd2_file_log_bh(&log_bufs, descriptor);
629 630 631 632
		}

		/* Where is the buffer to be written? */

633
		err = jbd2_journal_next_log_block(journal, &blocknr);
634 635 636 637
		/* If the block mapping failed, just abandon the buffer
		   and repeat this loop: we'll fall into the
		   refile-on-abort condition above. */
		if (err) {
638
			jbd2_journal_abort(journal, err);
639 640 641 642 643
			continue;
		}

		/*
		 * start_this_handle() uses t_outstanding_credits to determine
644
		 * the free space in the log.
645
		 */
646
		atomic_dec(&commit_transaction->t_outstanding_credits);
647 648 649

		/* Bump b_count to prevent truncate from stumbling over
                   the shadowed buffer!  @@@ This can go if we ever get
650
                   rid of the shadow pairing of buffers. */
651 652 653
		atomic_inc(&jh2bh(jh)->b_count);

		/*
654 655
		 * Make a temporary IO buffer with which to write it out
		 * (this will requeue the metadata buffer to BJ_Shadow).
656
		 */
657
		set_bit(BH_JWrite, &jh2bh(jh)->b_state);
658
		JBUFFER_TRACE(jh, "ph3: write metadata");
659
		flags = jbd2_journal_write_metadata_buffer(commit_transaction,
660
						jh, &wbuf[bufs], blocknr);
661 662 663 664
		if (flags < 0) {
			jbd2_journal_abort(journal, flags);
			continue;
		}
665
		jbd2_file_log_bh(&io_bufs, wbuf[bufs]);
666 667 668 669 670 671

		/* Record the new block's tag in the current descriptor
                   buffer */

		tag_flag = 0;
		if (flags & 1)
672
			tag_flag |= JBD2_FLAG_ESCAPE;
673
		if (!first_tag)
674
			tag_flag |= JBD2_FLAG_SAME_UUID;
675 676

		tag = (journal_block_tag_t *) tagp;
677
		write_tag_block(journal, tag, jh2bh(jh)->b_blocknr);
678
		tag->t_flags = cpu_to_be16(tag_flag);
679
		jbd2_block_tag_csum_set(journal, tag, wbuf[bufs],
680
					commit_transaction->t_tid);
Z
Zach Brown 已提交
681 682
		tagp += tag_bytes;
		space_left -= tag_bytes;
683
		bufs++;
684 685 686 687 688 689 690 691 692 693 694 695 696

		if (first_tag) {
			memcpy (tagp, journal->j_uuid, 16);
			tagp += 16;
			space_left -= 16;
			first_tag = 0;
		}

		/* If there's no more to do, or if the descriptor is full,
		   let the IO rip! */

		if (bufs == journal->j_wbufsize ||
		    commit_transaction->t_buffers == NULL ||
697
		    space_left < tag_bytes + 16 + csum_size) {
698

E
Eryu Guan 已提交
699
			jbd_debug(4, "JBD2: Submit %d IOs\n", bufs);
700 701 702 703 704

			/* Write an end-of-descriptor marker before
                           submitting the IOs.  "tag" still points to
                           the last tag we set up. */

705
			tag->t_flags |= cpu_to_be16(JBD2_FLAG_LAST_TAG);
706
start_journal_io:
707 708 709 710
			if (descriptor)
				jbd2_descriptor_block_csum_set(journal,
							descriptor);

711 712
			for (i = 0; i < bufs; i++) {
				struct buffer_head *bh = wbuf[i];
713 714 715
				/*
				 * Compute checksum.
				 */
716
				if (jbd2_has_feature_checksum(journal)) {
717 718 719 720
					crc32_sum =
					    jbd2_checksum_data(crc32_sum, bh);
				}

721 722 723 724
				lock_buffer(bh);
				clear_buffer_dirty(bh);
				set_buffer_uptodate(bh);
				bh->b_end_io = journal_end_buffer_io_sync;
725
				submit_bh(REQ_OP_WRITE, REQ_SYNC, bh);
726 727 728 729 730 731 732 733 734 735
			}
			cond_resched();

			/* Force a new descriptor to be generated next
                           time round the loop. */
			descriptor = NULL;
			bufs = 0;
		}
	}

736 737 738 739 740 741 742 743 744 745
	err = journal_finish_inode_data_buffers(journal, commit_transaction);
	if (err) {
		printk(KERN_WARNING
			"JBD2: Detected IO errors while flushing file data "
		       "on %s\n", journal->j_devname);
		if (journal->j_flags & JBD2_ABORT_ON_SYNCDATA_ERR)
			jbd2_journal_abort(journal, err);
		err = 0;
	}

746 747 748 749 750 751 752 753 754 755
	/*
	 * Get current oldest transaction in the log before we issue flush
	 * to the filesystem device. After the flush we can be sure that
	 * blocks of all older transactions are checkpointed to persistent
	 * storage and we will be safe to update journal start in the
	 * superblock with the numbers we get here.
	 */
	update_tail =
		jbd2_journal_get_log_tail(journal, &first_tid, &first_block);

756
	write_lock(&journal->j_state_lock);
757 758 759 760 761 762 763 764 765
	if (update_tail) {
		long freed = first_block - journal->j_tail;

		if (first_block < journal->j_tail)
			freed += journal->j_last - journal->j_first;
		/* Update tail only if we free significant amount of space */
		if (freed < journal->j_maxlen / 4)
			update_tail = 0;
	}
766 767 768
	J_ASSERT(commit_transaction->t_state == T_COMMIT);
	commit_transaction->t_state = T_COMMIT_DFLUSH;
	write_unlock(&journal->j_state_lock);
769

770 771 772 773 774
	/* 
	 * If the journal is not located on the file system device,
	 * then we must flush the file system device before we issue
	 * the commit record
	 */
775
	if (commit_transaction->t_need_data_flush &&
776 777
	    (journal->j_fs_dev != journal->j_dev) &&
	    (journal->j_flags & JBD2_BARRIER))
778
		blkdev_issue_flush(journal->j_fs_dev, GFP_NOFS, NULL);
779

780
	/* Done it all: now write the commit record asynchronously. */
781
	if (jbd2_has_feature_async_commit(journal)) {
782 783 784
		err = journal_submit_commit_record(journal, commit_transaction,
						 &cbh, crc32_sum);
		if (err)
785
			jbd2_journal_abort(journal, err);
786
	}
787

788 789
	blk_finish_plug(&plug);

790 791 792 793
	/* Lo and behold: we have just managed to send a transaction to
           the log.  Before we can commit it, wait for the IO so far to
           complete.  Control buffers being written are on the
           transaction's t_log_list queue, and metadata buffers are on
794
           the io_bufs list.
795 796 797 798 799 800

	   Wait for the buffers in reverse order.  That way we are
	   less likely to be woken up until all IOs have completed, and
	   so we incur less scheduling load.
	*/

E
Eryu Guan 已提交
801
	jbd_debug(3, "JBD2: commit phase 3\n");
802

803 804 805 806
	while (!list_empty(&io_bufs)) {
		struct buffer_head *bh = list_entry(io_bufs.prev,
						    struct buffer_head,
						    b_assoc_buffers);
807

808 809
		wait_on_buffer(bh);
		cond_resched();
810 811 812

		if (unlikely(!buffer_uptodate(bh)))
			err = -EIO;
813
		jbd2_unfile_log_bh(bh);
814
		stats.run.rs_blocks_logged++;
815 816

		/*
817 818
		 * The list contains temporary buffer heads created by
		 * jbd2_journal_write_metadata_buffer().
819 820 821 822 823 824
		 */
		BUFFER_TRACE(bh, "dumping temporary bh");
		__brelse(bh);
		J_ASSERT_BH(bh, atomic_read(&bh->b_count) == 0);
		free_buffer_head(bh);

825
		/* We also have to refile the corresponding shadowed buffer */
826 827
		jh = commit_transaction->t_shadow_list->b_tprev;
		bh = jh2bh(jh);
828
		clear_buffer_jwrite(bh);
829
		J_ASSERT_BH(bh, buffer_jbddirty(bh));
830
		J_ASSERT_BH(bh, !buffer_shadow(bh));
831 832 833 834 835 836

		/* The metadata is now released for reuse, but we need
                   to remember it against this transaction so that when
                   we finally commit, we can do any checkpointing
                   required. */
		JBUFFER_TRACE(jh, "file as BJ_Forget");
837
		jbd2_journal_file_buffer(jh, commit_transaction, BJ_Forget);
838 839 840 841 842 843
		JBUFFER_TRACE(jh, "brelse shadowed buffer");
		__brelse(bh);
	}

	J_ASSERT (commit_transaction->t_shadow_list == NULL);

E
Eryu Guan 已提交
844
	jbd_debug(3, "JBD2: commit phase 4\n");
845 846

	/* Here we wait for the revoke record and descriptor record buffers */
847
	while (!list_empty(&log_bufs)) {
848 849
		struct buffer_head *bh;

850 851 852
		bh = list_entry(log_bufs.prev, struct buffer_head, b_assoc_buffers);
		wait_on_buffer(bh);
		cond_resched();
853 854 855 856 857 858

		if (unlikely(!buffer_uptodate(bh)))
			err = -EIO;

		BUFFER_TRACE(bh, "ph5: control buffer writeout done: unfile");
		clear_buffer_jwrite(bh);
859
		jbd2_unfile_log_bh(bh);
860
		stats.run.rs_blocks_logged++;
861 862 863 864
		__brelse(bh);		/* One for getblk */
		/* AKPM: bforget here */
	}

865 866 867
	if (err)
		jbd2_journal_abort(journal, err);

E
Eryu Guan 已提交
868
	jbd_debug(3, "JBD2: commit phase 5\n");
869 870 871 872
	write_lock(&journal->j_state_lock);
	J_ASSERT(commit_transaction->t_state == T_COMMIT_DFLUSH);
	commit_transaction->t_state = T_COMMIT_JFLUSH;
	write_unlock(&journal->j_state_lock);
873

874
	if (!jbd2_has_feature_async_commit(journal)) {
875 876 877
		err = journal_submit_commit_record(journal, commit_transaction,
						&cbh, crc32_sum);
		if (err)
878
			jbd2_journal_abort(journal, err);
879
	}
880
	if (cbh)
881
		err = journal_wait_on_commit_record(journal, cbh);
882
	stats.run.rs_blocks_logged++;
883
	if (jbd2_has_feature_async_commit(journal) &&
884
	    journal->j_flags & JBD2_BARRIER) {
885
		blkdev_issue_flush(journal->j_dev, GFP_NOFS, NULL);
886
	}
887 888

	if (err)
889
		jbd2_journal_abort(journal, err);
890

891 892 893
	WARN_ON_ONCE(
		atomic_read(&commit_transaction->t_outstanding_credits) < 0);

894 895 896 897 898 899 900 901
	/*
	 * Now disk caches for filesystem device are flushed so we are safe to
	 * erase checkpointed transactions from the log by updating journal
	 * superblock.
	 */
	if (update_tail)
		jbd2_update_log_tail(journal, first_tid, first_block);

902 903 904 905 906
	/* End of a transaction!  Finally, we can do checkpoint
           processing: any buffers committed as a result of this
           transaction can be removed from any checkpoint list it was on
           before. */

E
Eryu Guan 已提交
907
	jbd_debug(3, "JBD2: commit phase 6\n");
908

909
	J_ASSERT(list_empty(&commit_transaction->t_inode_list));
910 911 912 913 914 915 916 917 918 919 920 921 922
	J_ASSERT(commit_transaction->t_buffers == NULL);
	J_ASSERT(commit_transaction->t_checkpoint_list == NULL);
	J_ASSERT(commit_transaction->t_shadow_list == NULL);

restart_loop:
	/*
	 * As there are other places (journal_unmap_buffer()) adding buffers
	 * to this list we have to be careful and hold the j_list_lock.
	 */
	spin_lock(&journal->j_list_lock);
	while (commit_transaction->t_forget) {
		transaction_t *cp_transaction;
		struct buffer_head *bh;
923
		int try_to_free = 0;
924
		bool drop_ref;
925 926 927 928

		jh = commit_transaction->t_forget;
		spin_unlock(&journal->j_list_lock);
		bh = jh2bh(jh);
929 930 931 932 933
		/*
		 * Get a reference so that bh cannot be freed before we are
		 * done with it.
		 */
		get_bh(bh);
T
Thomas Gleixner 已提交
934
		spin_lock(&jh->b_state_lock);
935
		J_ASSERT_JH(jh,	jh->b_transaction == commit_transaction);
936 937 938 939 940 941 942 943 944 945

		/*
		 * If there is undo-protected committed data against
		 * this buffer, then we can remove it now.  If it is a
		 * buffer needing such protection, the old frozen_data
		 * field now points to a committed version of the
		 * buffer, so rotate that field to the new committed
		 * data.
		 *
		 * Otherwise, we can just throw away the frozen data now.
J
Joel Becker 已提交
946 947 948
		 *
		 * We also know that the frozen data has already fired
		 * its triggers if they exist, so we can clear that too.
949 950
		 */
		if (jh->b_committed_data) {
M
Mingming Cao 已提交
951
			jbd2_free(jh->b_committed_data, bh->b_size);
952 953 954 955
			jh->b_committed_data = NULL;
			if (jh->b_frozen_data) {
				jh->b_committed_data = jh->b_frozen_data;
				jh->b_frozen_data = NULL;
J
Joel Becker 已提交
956
				jh->b_frozen_triggers = NULL;
957 958
			}
		} else if (jh->b_frozen_data) {
M
Mingming Cao 已提交
959
			jbd2_free(jh->b_frozen_data, bh->b_size);
960
			jh->b_frozen_data = NULL;
J
Joel Becker 已提交
961
			jh->b_frozen_triggers = NULL;
962 963 964 965 966 967
		}

		spin_lock(&journal->j_list_lock);
		cp_transaction = jh->b_cp_transaction;
		if (cp_transaction) {
			JBUFFER_TRACE(jh, "remove from old cp transaction");
968
			cp_transaction->t_chp_stats.cs_dropped++;
969
			__jbd2_journal_remove_checkpoint(jh);
970 971 972 973
		}

		/* Only re-checkpoint the buffer_head if it is marked
		 * dirty.  If the buffer was added to the BJ_Forget list
974
		 * by jbd2_journal_forget, it may no longer be dirty and
975 976 977
		 * there's no point in keeping a checkpoint record for
		 * it. */

978
		/*
979 980 981 982 983 984 985 986 987
		 * A buffer which has been freed while still being journaled
		 * by a previous transaction, refile the buffer to BJ_Forget of
		 * the running transaction. If the just committed transaction
		 * contains "add to orphan" operation, we can completely
		 * invalidate the buffer now. We are rather through in that
		 * since the buffer may be still accessible when blocksize <
		 * pagesize and it is attached to the last partial page.
		 */
		if (buffer_freed(bh) && !jh->b_next_transaction) {
988 989
			struct address_space *mapping;

990 991
			clear_buffer_freed(bh);
			clear_buffer_jbddirty(bh);
992 993 994 995 996 997 998 999

			/*
			 * Block device buffers need to stay mapped all the
			 * time, so it is enough to clear buffer_jbddirty and
			 * buffer_freed bits. For the file mapping buffers (i.e.
			 * journalled data) we need to unmap buffer and clear
			 * more bits. We also need to be careful about the check
			 * because the data page mapping can get cleared under
1000 1001 1002 1003
			 * our hands. Note that if mapping == NULL, we don't
			 * need to make buffer unmapped because the page is
			 * already detached from the mapping and buffers cannot
			 * get reused.
1004 1005 1006 1007 1008 1009 1010 1011
			 */
			mapping = READ_ONCE(bh->b_page->mapping);
			if (mapping && !sb_is_blkdev_sb(mapping->host->i_sb)) {
				clear_buffer_mapped(bh);
				clear_buffer_new(bh);
				clear_buffer_req(bh);
				bh->b_bdev = NULL;
			}
1012 1013 1014 1015
		}

		if (buffer_jbddirty(bh)) {
			JBUFFER_TRACE(jh, "add to new checkpointing trans");
1016
			__jbd2_journal_insert_checkpoint(jh, commit_transaction);
1017 1018
			if (is_journal_aborted(journal))
				clear_buffer_jbddirty(bh);
1019 1020
		} else {
			J_ASSERT_BH(bh, !buffer_dirty(bh));
1021 1022
			/*
			 * The buffer on BJ_Forget list and not jbddirty means
1023 1024 1025 1026 1027
			 * it has been freed by this transaction and hence it
			 * could not have been reallocated until this
			 * transaction has committed. *BUT* it could be
			 * reallocated once we have written all the data to
			 * disk and before we process the buffer on BJ_Forget
1028 1029 1030 1031
			 * list.
			 */
			if (!jh->b_next_transaction)
				try_to_free = 1;
1032
		}
1033
		JBUFFER_TRACE(jh, "refile or unfile buffer");
1034
		drop_ref = __jbd2_journal_refile_buffer(jh);
T
Thomas Gleixner 已提交
1035
		spin_unlock(&jh->b_state_lock);
1036 1037
		if (drop_ref)
			jbd2_journal_put_journal_head(jh);
1038 1039 1040 1041
		if (try_to_free)
			release_buffer_page(bh);	/* Drops bh reference */
		else
			__brelse(bh);
1042 1043 1044 1045
		cond_resched_lock(&journal->j_list_lock);
	}
	spin_unlock(&journal->j_list_lock);
	/*
1046 1047 1048 1049
	 * This is a bit sleazy.  We use j_list_lock to protect transition
	 * of a transaction into T_FINISHED state and calling
	 * __jbd2_journal_drop_transaction(). Otherwise we could race with
	 * other checkpointing code processing the transaction...
1050
	 */
1051
	write_lock(&journal->j_state_lock);
1052 1053 1054 1055 1056 1057 1058
	spin_lock(&journal->j_list_lock);
	/*
	 * Now recheck if some buffers did not get attached to the transaction
	 * while the lock was dropped...
	 */
	if (commit_transaction->t_forget) {
		spin_unlock(&journal->j_list_lock);
1059
		write_unlock(&journal->j_state_lock);
1060 1061 1062
		goto restart_loop;
	}

1063 1064 1065 1066 1067 1068 1069 1070 1071 1072 1073 1074 1075 1076 1077 1078 1079 1080 1081
	/* Add the transaction to the checkpoint list
	 * __journal_remove_checkpoint() can not destroy transaction
	 * under us because it is not marked as T_FINISHED yet */
	if (journal->j_checkpoint_transactions == NULL) {
		journal->j_checkpoint_transactions = commit_transaction;
		commit_transaction->t_cpnext = commit_transaction;
		commit_transaction->t_cpprev = commit_transaction;
	} else {
		commit_transaction->t_cpnext =
			journal->j_checkpoint_transactions;
		commit_transaction->t_cpprev =
			commit_transaction->t_cpnext->t_cpprev;
		commit_transaction->t_cpnext->t_cpprev =
			commit_transaction;
		commit_transaction->t_cpprev->t_cpnext =
				commit_transaction;
	}
	spin_unlock(&journal->j_list_lock);

1082 1083
	/* Done with this transaction! */

E
Eryu Guan 已提交
1084
	jbd_debug(3, "JBD2: commit phase 7\n");
1085

1086
	J_ASSERT(commit_transaction->t_state == T_COMMIT_JFLUSH);
1087

1088
	commit_transaction->t_start = jiffies;
1089 1090
	stats.run.rs_logging = jbd2_time_diff(stats.run.rs_logging,
					      commit_transaction->t_start);
1091 1092

	/*
1093
	 * File the transaction statistics
1094 1095
	 */
	stats.ts_tid = commit_transaction->t_tid;
1096 1097
	stats.run.rs_handle_count =
		atomic_read(&commit_transaction->t_handle_count);
1098 1099
	trace_jbd2_run_stats(journal->j_fs_dev->bd_dev,
			     commit_transaction->t_tid, &stats.run);
1100
	stats.ts_requested = (commit_transaction->t_requested) ? 1 : 0;
1101

1102
	commit_transaction->t_state = T_COMMIT_CALLBACK;
1103 1104 1105
	J_ASSERT(commit_transaction == journal->j_committing_transaction);
	journal->j_commit_sequence = commit_transaction->t_tid;
	journal->j_committing_transaction = NULL;
J
Josef Bacik 已提交
1106
	commit_time = ktime_to_ns(ktime_sub(ktime_get(), start_time));
1107

J
Josef Bacik 已提交
1108 1109 1110 1111 1112 1113 1114 1115 1116
	/*
	 * weight the commit time higher than the average time so we don't
	 * react too strongly to vast changes in the commit time
	 */
	if (likely(journal->j_average_commit_time))
		journal->j_average_commit_time = (commit_time +
				journal->j_average_commit_time*3) / 4;
	else
		journal->j_average_commit_time = commit_time;
1117

1118
	write_unlock(&journal->j_state_lock);
1119

1120 1121 1122
	if (journal->j_commit_callback)
		journal->j_commit_callback(journal, commit_transaction);

1123
	trace_jbd2_end_commit(journal, commit_transaction);
E
Eryu Guan 已提交
1124
	jbd_debug(1, "JBD2: commit %d complete, head %d\n",
1125 1126
		  journal->j_commit_sequence, journal->j_tail_sequence);

1127 1128 1129
	write_lock(&journal->j_state_lock);
	spin_lock(&journal->j_list_lock);
	commit_transaction->t_state = T_FINISHED;
1130
	/* Check if the transaction can be dropped now that we are finished */
1131 1132 1133 1134 1135 1136 1137
	if (commit_transaction->t_checkpoint_list == NULL &&
	    commit_transaction->t_checkpoint_io_list == NULL) {
		__jbd2_journal_drop_transaction(journal, commit_transaction);
		jbd2_journal_free_transaction(commit_transaction);
	}
	spin_unlock(&journal->j_list_lock);
	write_unlock(&journal->j_state_lock);
1138
	wake_up(&journal->j_wait_done_commit);
1139 1140 1141 1142 1143 1144 1145 1146 1147 1148 1149 1150 1151 1152 1153 1154 1155

	/*
	 * Calculate overall stats
	 */
	spin_lock(&journal->j_history_lock);
	journal->j_stats.ts_tid++;
	journal->j_stats.ts_requested += stats.ts_requested;
	journal->j_stats.run.rs_wait += stats.run.rs_wait;
	journal->j_stats.run.rs_request_delay += stats.run.rs_request_delay;
	journal->j_stats.run.rs_running += stats.run.rs_running;
	journal->j_stats.run.rs_locked += stats.run.rs_locked;
	journal->j_stats.run.rs_flushing += stats.run.rs_flushing;
	journal->j_stats.run.rs_logging += stats.run.rs_logging;
	journal->j_stats.run.rs_handle_count += stats.run.rs_handle_count;
	journal->j_stats.run.rs_blocks += stats.run.rs_blocks;
	journal->j_stats.run.rs_blocks_logged += stats.run.rs_blocks_logged;
	spin_unlock(&journal->j_history_lock);
1156
}