blob: f1ea861b9929c5578134f7a9dd5dcf0b72917b60 [file] [log] [blame]
Linus Torvalds1da177e2005-04-16 15:20:36 -07001/*
Uwe Zeisbergerf30c2262006-10-03 23:01:26 +02002 * linux/fs/jbd/commit.c
Linus Torvalds1da177e2005-04-16 15:20:36 -07003 *
4 * Written by Stephen C. Tweedie <sct@redhat.com>, 1998
5 *
6 * Copyright 1998 Red Hat corp --- All Rights Reserved
7 *
8 * This file is part of the Linux kernel and is made available under
9 * the terms of the GNU General Public License, version 2, or at your
10 * option, any later version, incorporated herein by reference.
11 *
12 * Journal commit routines for the generic filesystem journaling code;
13 * part of the ext2fs journaling system.
14 */
15
16#include <linux/time.h>
17#include <linux/fs.h>
18#include <linux/jbd.h>
19#include <linux/errno.h>
20#include <linux/slab.h>
21#include <linux/mm.h>
22#include <linux/pagemap.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070023
24/*
25 * Default IO end handler for temporary BJ_IO buffer_heads.
26 */
27static void journal_end_buffer_io_sync(struct buffer_head *bh, int uptodate)
28{
29 BUFFER_TRACE(bh, "");
30 if (uptodate)
31 set_buffer_uptodate(bh);
32 else
33 clear_buffer_uptodate(bh);
34 unlock_buffer(bh);
35}
36
37/*
38 * When an ext3-ordered file is truncated, it is possible that many pages are
Toshiyuki Okajimafc80c442008-07-25 01:46:29 -070039 * not successfully freed, because they are attached to a committing transaction.
Linus Torvalds1da177e2005-04-16 15:20:36 -070040 * After the transaction commits, these pages are left on the LRU, with no
41 * ->mapping, and with attached buffers. These pages are trivially reclaimable
42 * by the VM, but their apparent absence upsets the VM accounting, and it makes
43 * the numbers in /proc/meminfo look odd.
44 *
45 * So here, we have a buffer which has just come off the forget list. Look to
46 * see if we can strip all buffers from the backing page.
47 *
Toshiyuki Okajimafc80c442008-07-25 01:46:29 -070048 * Called under journal->j_list_lock. The caller provided us with a ref
49 * against the buffer, and we drop that here.
Linus Torvalds1da177e2005-04-16 15:20:36 -070050 */
51static void release_buffer_page(struct buffer_head *bh)
52{
53 struct page *page;
54
55 if (buffer_dirty(bh))
56 goto nope;
57 if (atomic_read(&bh->b_count) != 1)
58 goto nope;
59 page = bh->b_page;
60 if (!page)
61 goto nope;
62 if (page->mapping)
63 goto nope;
64
65 /* OK, it's a truncated page */
Nick Piggin529ae9a2008-08-02 12:01:03 +020066 if (!trylock_page(page))
Linus Torvalds1da177e2005-04-16 15:20:36 -070067 goto nope;
68
69 page_cache_get(page);
70 __brelse(bh);
71 try_to_free_buffers(page);
72 unlock_page(page);
73 page_cache_release(page);
74 return;
75
76nope:
77 __brelse(bh);
78}
79
80/*
Toshiyuki Okajimafc80c442008-07-25 01:46:29 -070081 * Decrement reference counter for data buffer. If it has been marked
82 * 'BH_Freed', release it and the page to which it belongs if possible.
83 */
84static void release_data_buffer(struct buffer_head *bh)
85{
86 if (buffer_freed(bh)) {
87 clear_buffer_freed(bh);
88 release_buffer_page(bh);
89 } else
90 put_bh(bh);
91}
92
93/*
Linus Torvalds1da177e2005-04-16 15:20:36 -070094 * Try to acquire jbd_lock_bh_state() against the buffer, when j_list_lock is
95 * held. For ranking reasons we must trylock. If we lose, schedule away and
96 * return 0. j_list_lock is dropped in this case.
97 */
98static int inverted_lock(journal_t *journal, struct buffer_head *bh)
99{
100 if (!jbd_trylock_bh_state(bh)) {
101 spin_unlock(&journal->j_list_lock);
102 schedule();
103 return 0;
104 }
105 return 1;
106}
107
108/* Done it all: now write the commit record. We should have
109 * cleaned up our previous buffers by now, so if we are in abort
110 * mode we can now just skip the rest of the journal write
111 * entirely.
112 *
113 * Returns 1 if the journal needs to be aborted or 0 on success
114 */
115static int journal_write_commit_record(journal_t *journal,
116 transaction_t *commit_transaction)
117{
118 struct journal_head *descriptor;
119 struct buffer_head *bh;
Jan Kara53152172008-02-01 08:26:46 -0500120 journal_header_t *header;
121 int ret;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700122 int barrier_done = 0;
123
124 if (is_journal_aborted(journal))
125 return 0;
126
127 descriptor = journal_get_descriptor_buffer(journal);
128 if (!descriptor)
129 return 1;
130
131 bh = jh2bh(descriptor);
132
Jan Kara53152172008-02-01 08:26:46 -0500133 header = (journal_header_t *)(bh->b_data);
134 header->h_magic = cpu_to_be32(JFS_MAGIC_NUMBER);
135 header->h_blocktype = cpu_to_be32(JFS_COMMIT_BLOCK);
136 header->h_sequence = cpu_to_be32(commit_transaction->t_tid);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700137
138 JBUFFER_TRACE(descriptor, "write commit block");
139 set_buffer_dirty(bh);
140 if (journal->j_flags & JFS_BARRIER) {
141 set_buffer_ordered(bh);
142 barrier_done = 1;
143 }
144 ret = sync_dirty_buffer(bh);
Neil Brown28ae0942008-02-08 04:22:13 -0800145 if (barrier_done)
146 clear_buffer_ordered(bh);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700147 /* is it possible for another commit to fail at roughly
148 * the same time as this one? If so, we don't want to
149 * trust the barrier flag in the super, but instead want
150 * to remember if we sent a barrier request
151 */
152 if (ret == -EOPNOTSUPP && barrier_done) {
153 char b[BDEVNAME_SIZE];
154
155 printk(KERN_WARNING
156 "JBD: barrier-based sync failed on %s - "
157 "disabling barriers\n",
158 bdevname(journal->j_dev, b));
159 spin_lock(&journal->j_state_lock);
160 journal->j_flags &= ~JFS_BARRIER;
161 spin_unlock(&journal->j_state_lock);
162
163 /* And try again, without the barrier */
Linus Torvalds1da177e2005-04-16 15:20:36 -0700164 set_buffer_uptodate(bh);
165 set_buffer_dirty(bh);
166 ret = sync_dirty_buffer(bh);
167 }
168 put_bh(bh); /* One for getblk() */
169 journal_put_journal_head(descriptor);
170
171 return (ret == -EIO);
172}
173
Jan Kara3998b932006-09-25 23:30:53 -0700174static void journal_do_submit_data(struct buffer_head **wbuf, int bufs)
175{
176 int i;
177
178 for (i = 0; i < bufs; i++) {
179 wbuf[i]->b_end_io = end_buffer_write_sync;
180 /* We use-up our safety reference in submit_bh() */
181 submit_bh(WRITE, wbuf[i]);
182 }
183}
184
185/*
186 * Submit all the data buffers to disk
187 */
Hidehiro Kawaicbe5f462008-07-25 01:46:30 -0700188static int journal_submit_data_buffers(journal_t *journal,
Jan Kara3998b932006-09-25 23:30:53 -0700189 transaction_t *commit_transaction)
190{
191 struct journal_head *jh;
192 struct buffer_head *bh;
193 int locked;
194 int bufs = 0;
195 struct buffer_head **wbuf = journal->j_wbuf;
Hidehiro Kawaicbe5f462008-07-25 01:46:30 -0700196 int err = 0;
Jan Kara3998b932006-09-25 23:30:53 -0700197
198 /*
199 * Whenever we unlock the journal and sleep, things can get added
200 * onto ->t_sync_datalist, so we have to keep looping back to
201 * write_out_data until we *know* that the list is empty.
202 *
203 * Cleanup any flushed data buffers from the data list. Even in
204 * abort mode, we want to flush this out as soon as possible.
205 */
206write_out_data:
207 cond_resched();
208 spin_lock(&journal->j_list_lock);
209
210 while (commit_transaction->t_sync_datalist) {
211 jh = commit_transaction->t_sync_datalist;
212 bh = jh2bh(jh);
213 locked = 0;
214
215 /* Get reference just to make sure buffer does not disappear
216 * when we are forced to drop various locks */
217 get_bh(bh);
218 /* If the buffer is dirty, we need to submit IO and hence
219 * we need the buffer lock. We try to lock the buffer without
220 * blocking. If we fail, we need to drop j_list_lock and do
221 * blocking lock_buffer().
222 */
223 if (buffer_dirty(bh)) {
Nick Pigginca5de402008-08-02 12:02:13 +0200224 if (!trylock_buffer(bh)) {
Jan Kara3998b932006-09-25 23:30:53 -0700225 BUFFER_TRACE(bh, "needs blocking lock");
226 spin_unlock(&journal->j_list_lock);
227 /* Write out all data to prevent deadlocks */
228 journal_do_submit_data(wbuf, bufs);
229 bufs = 0;
230 lock_buffer(bh);
231 spin_lock(&journal->j_list_lock);
232 }
233 locked = 1;
234 }
235 /* We have to get bh_state lock. Again out of order, sigh. */
236 if (!inverted_lock(journal, bh)) {
237 jbd_lock_bh_state(bh);
238 spin_lock(&journal->j_list_lock);
239 }
240 /* Someone already cleaned up the buffer? */
241 if (!buffer_jbd(bh)
242 || jh->b_transaction != commit_transaction
243 || jh->b_jlist != BJ_SyncData) {
244 jbd_unlock_bh_state(bh);
245 if (locked)
246 unlock_buffer(bh);
247 BUFFER_TRACE(bh, "already cleaned up");
Toshiyuki Okajimafc80c442008-07-25 01:46:29 -0700248 release_data_buffer(bh);
Jan Kara3998b932006-09-25 23:30:53 -0700249 continue;
250 }
251 if (locked && test_clear_buffer_dirty(bh)) {
252 BUFFER_TRACE(bh, "needs writeout, adding to array");
253 wbuf[bufs++] = bh;
254 __journal_file_buffer(jh, commit_transaction,
255 BJ_Locked);
256 jbd_unlock_bh_state(bh);
257 if (bufs == journal->j_wbufsize) {
258 spin_unlock(&journal->j_list_lock);
259 journal_do_submit_data(wbuf, bufs);
260 bufs = 0;
261 goto write_out_data;
262 }
Hisashi Hifumi6f5a9da2006-12-22 01:11:50 -0800263 } else if (!locked && buffer_locked(bh)) {
264 __journal_file_buffer(jh, commit_transaction,
265 BJ_Locked);
266 jbd_unlock_bh_state(bh);
267 put_bh(bh);
268 } else {
Jan Kara3998b932006-09-25 23:30:53 -0700269 BUFFER_TRACE(bh, "writeout complete: unfile");
Hidehiro Kawaicbe5f462008-07-25 01:46:30 -0700270 if (unlikely(!buffer_uptodate(bh)))
271 err = -EIO;
Jan Kara3998b932006-09-25 23:30:53 -0700272 __journal_unfile_buffer(jh);
273 jbd_unlock_bh_state(bh);
274 if (locked)
275 unlock_buffer(bh);
276 journal_remove_journal_head(bh);
Toshiyuki Okajimafc80c442008-07-25 01:46:29 -0700277 /* One for our safety reference, other for
Jan Kara3998b932006-09-25 23:30:53 -0700278 * journal_remove_journal_head() */
279 put_bh(bh);
Toshiyuki Okajimafc80c442008-07-25 01:46:29 -0700280 release_data_buffer(bh);
Jan Kara3998b932006-09-25 23:30:53 -0700281 }
282
Nick Piggin95c354f2008-01-30 13:31:20 +0100283 if (need_resched() || spin_needbreak(&journal->j_list_lock)) {
Jan Kara3998b932006-09-25 23:30:53 -0700284 spin_unlock(&journal->j_list_lock);
285 goto write_out_data;
286 }
287 }
288 spin_unlock(&journal->j_list_lock);
289 journal_do_submit_data(wbuf, bufs);
Hidehiro Kawaicbe5f462008-07-25 01:46:30 -0700290
291 return err;
Jan Kara3998b932006-09-25 23:30:53 -0700292}
293
Linus Torvalds1da177e2005-04-16 15:20:36 -0700294/*
295 * journal_commit_transaction
296 *
297 * The primary function for committing a transaction to the log. This
298 * function is called by the journal thread to begin a complete commit.
299 */
300void journal_commit_transaction(journal_t *journal)
301{
302 transaction_t *commit_transaction;
303 struct journal_head *jh, *new_jh, *descriptor;
304 struct buffer_head **wbuf = journal->j_wbuf;
305 int bufs;
306 int flags;
307 int err;
308 unsigned long blocknr;
309 char *tagp = NULL;
310 journal_header_t *header;
311 journal_block_tag_t *tag = NULL;
312 int space_left = 0;
313 int first_tag = 0;
314 int tag_flag;
315 int i;
316
317 /*
318 * First job: lock down the current transaction and wait for
319 * all outstanding updates to complete.
320 */
321
322#ifdef COMMIT_STATS
323 spin_lock(&journal->j_list_lock);
324 summarise_journal_usage(journal);
325 spin_unlock(&journal->j_list_lock);
326#endif
327
328 /* Do we need to erase the effects of a prior journal_flush? */
329 if (journal->j_flags & JFS_FLUSHED) {
330 jbd_debug(3, "super block updated\n");
331 journal_update_superblock(journal, 1);
332 } else {
333 jbd_debug(3, "superblock not updated\n");
334 }
335
336 J_ASSERT(journal->j_running_transaction != NULL);
337 J_ASSERT(journal->j_committing_transaction == NULL);
338
339 commit_transaction = journal->j_running_transaction;
340 J_ASSERT(commit_transaction->t_state == T_RUNNING);
341
342 jbd_debug(1, "JBD: starting commit of transaction %d\n",
343 commit_transaction->t_tid);
344
345 spin_lock(&journal->j_state_lock);
346 commit_transaction->t_state = T_LOCKED;
347
348 spin_lock(&commit_transaction->t_handle_lock);
349 while (commit_transaction->t_updates) {
350 DEFINE_WAIT(wait);
351
352 prepare_to_wait(&journal->j_wait_updates, &wait,
353 TASK_UNINTERRUPTIBLE);
354 if (commit_transaction->t_updates) {
355 spin_unlock(&commit_transaction->t_handle_lock);
356 spin_unlock(&journal->j_state_lock);
357 schedule();
358 spin_lock(&journal->j_state_lock);
359 spin_lock(&commit_transaction->t_handle_lock);
360 }
361 finish_wait(&journal->j_wait_updates, &wait);
362 }
363 spin_unlock(&commit_transaction->t_handle_lock);
364
365 J_ASSERT (commit_transaction->t_outstanding_credits <=
366 journal->j_max_transaction_buffers);
367
368 /*
369 * First thing we are allowed to do is to discard any remaining
370 * BJ_Reserved buffers. Note, it is _not_ permissible to assume
371 * that there are no such buffers: if a large filesystem
372 * operation like a truncate needs to split itself over multiple
373 * transactions, then it may try to do a journal_restart() while
374 * there are still BJ_Reserved buffers outstanding. These must
375 * be released cleanly from the current transaction.
376 *
377 * In this case, the filesystem must still reserve write access
378 * again before modifying the buffer in the new transaction, but
379 * we do not require it to remember exactly which old buffers it
380 * has reserved. This is consistent with the existing behaviour
381 * that multiple journal_get_write_access() calls to the same
382 * buffer are perfectly permissable.
383 */
384 while (commit_transaction->t_reserved_list) {
385 jh = commit_transaction->t_reserved_list;
386 JBUFFER_TRACE(jh, "reserved, unused: refile");
387 /*
388 * A journal_get_undo_access()+journal_release_buffer() may
389 * leave undo-committed data.
390 */
391 if (jh->b_committed_data) {
392 struct buffer_head *bh = jh2bh(jh);
393
394 jbd_lock_bh_state(bh);
Mingming Caoc089d492007-10-16 18:38:25 -0400395 jbd_free(jh->b_committed_data, bh->b_size);
Jesper Juhlf99d49a2005-11-07 01:01:34 -0800396 jh->b_committed_data = NULL;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700397 jbd_unlock_bh_state(bh);
398 }
399 journal_refile_buffer(journal, jh);
400 }
401
402 /*
403 * Now try to drop any written-back buffers from the journal's
404 * checkpoint lists. We do this *before* commit because it potentially
405 * frees some memory
406 */
407 spin_lock(&journal->j_list_lock);
408 __journal_clean_checkpoint_list(journal);
409 spin_unlock(&journal->j_list_lock);
410
411 jbd_debug (3, "JBD: commit phase 1\n");
412
413 /*
414 * Switch to a new revoke table.
415 */
416 journal_switch_revoke_table(journal);
417
418 commit_transaction->t_state = T_FLUSH;
419 journal->j_committing_transaction = commit_transaction;
420 journal->j_running_transaction = NULL;
421 commit_transaction->t_log_start = journal->j_head;
422 wake_up(&journal->j_wait_transaction_locked);
423 spin_unlock(&journal->j_state_lock);
424
425 jbd_debug (3, "JBD: commit phase 2\n");
426
427 /*
Linus Torvalds1da177e2005-04-16 15:20:36 -0700428 * Now start flushing things to disk, in the order they appear
429 * on the transaction lists. Data blocks go first.
430 */
Hidehiro Kawaicbe5f462008-07-25 01:46:30 -0700431 err = journal_submit_data_buffers(journal, commit_transaction);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700432
433 /*
434 * Wait for all previously submitted IO to complete.
435 */
Jan Kara3998b932006-09-25 23:30:53 -0700436 spin_lock(&journal->j_list_lock);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700437 while (commit_transaction->t_locked_list) {
438 struct buffer_head *bh;
439
440 jh = commit_transaction->t_locked_list->b_tprev;
441 bh = jh2bh(jh);
442 get_bh(bh);
443 if (buffer_locked(bh)) {
444 spin_unlock(&journal->j_list_lock);
445 wait_on_buffer(bh);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700446 spin_lock(&journal->j_list_lock);
447 }
Hidehiro Kawaicbe5f462008-07-25 01:46:30 -0700448 if (unlikely(!buffer_uptodate(bh))) {
Nick Piggin529ae9a2008-08-02 12:01:03 +0200449 if (!trylock_page(bh->b_page)) {
Hidehiro Kawaicbe5f462008-07-25 01:46:30 -0700450 spin_unlock(&journal->j_list_lock);
451 lock_page(bh->b_page);
452 spin_lock(&journal->j_list_lock);
453 }
454 if (bh->b_page->mapping)
455 set_bit(AS_EIO, &bh->b_page->mapping->flags);
456
457 unlock_page(bh->b_page);
458 SetPageError(bh->b_page);
459 err = -EIO;
460 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700461 if (!inverted_lock(journal, bh)) {
462 put_bh(bh);
463 spin_lock(&journal->j_list_lock);
464 continue;
465 }
466 if (buffer_jbd(bh) && jh->b_jlist == BJ_Locked) {
467 __journal_unfile_buffer(jh);
468 jbd_unlock_bh_state(bh);
469 journal_remove_journal_head(bh);
470 put_bh(bh);
471 } else {
472 jbd_unlock_bh_state(bh);
473 }
Toshiyuki Okajimafc80c442008-07-25 01:46:29 -0700474 release_data_buffer(bh);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700475 cond_resched_lock(&journal->j_list_lock);
476 }
477 spin_unlock(&journal->j_list_lock);
478
Hidehiro Kawaicbe5f462008-07-25 01:46:30 -0700479 if (err) {
480 char b[BDEVNAME_SIZE];
481
482 printk(KERN_WARNING
483 "JBD: Detected IO errors while flushing file data "
484 "on %s\n", bdevname(journal->j_fs_dev, b));
485 err = 0;
486 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700487
488 journal_write_revoke_records(journal, commit_transaction);
489
Linus Torvalds1da177e2005-04-16 15:20:36 -0700490 /*
491 * If we found any dirty or locked buffers, then we should have
492 * looped back up to the write_out_data label. If there weren't
493 * any then journal_clean_data_list should have wiped the list
494 * clean by now, so check that it is in fact empty.
495 */
496 J_ASSERT (commit_transaction->t_sync_datalist == NULL);
497
498 jbd_debug (3, "JBD: commit phase 3\n");
499
500 /*
501 * Way to go: we have now written out all of the data for a
502 * transaction! Now comes the tricky part: we need to write out
503 * metadata. Loop over the transaction's entire buffer list:
504 */
Mingming Cao772279c2008-05-14 16:05:41 -0700505 spin_lock(&journal->j_state_lock);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700506 commit_transaction->t_state = T_COMMIT;
Mingming Cao772279c2008-05-14 16:05:41 -0700507 spin_unlock(&journal->j_state_lock);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700508
Josef Bacik5b9a4992008-04-28 02:16:12 -0700509 J_ASSERT(commit_transaction->t_nr_buffers <=
510 commit_transaction->t_outstanding_credits);
511
Linus Torvalds1da177e2005-04-16 15:20:36 -0700512 descriptor = NULL;
513 bufs = 0;
514 while (commit_transaction->t_buffers) {
515
516 /* Find the next buffer to be journaled... */
517
518 jh = commit_transaction->t_buffers;
519
520 /* If we're in abort mode, we just un-journal the buffer and
521 release it for background writing. */
522
523 if (is_journal_aborted(journal)) {
524 JBUFFER_TRACE(jh, "journal is aborting: refile");
525 journal_refile_buffer(journal, jh);
526 /* If that was the last one, we need to clean up
527 * any descriptor buffers which may have been
528 * already allocated, even if we are now
529 * aborting. */
530 if (!commit_transaction->t_buffers)
531 goto start_journal_io;
532 continue;
533 }
534
535 /* Make sure we have a descriptor block in which to
536 record the metadata buffer. */
537
538 if (!descriptor) {
539 struct buffer_head *bh;
540
541 J_ASSERT (bufs == 0);
542
543 jbd_debug(4, "JBD: get descriptor\n");
544
545 descriptor = journal_get_descriptor_buffer(journal);
546 if (!descriptor) {
Jan Kara7a266e72007-10-18 23:39:22 -0700547 journal_abort(journal, -EIO);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700548 continue;
549 }
550
551 bh = jh2bh(descriptor);
552 jbd_debug(4, "JBD: got buffer %llu (%p)\n",
553 (unsigned long long)bh->b_blocknr, bh->b_data);
554 header = (journal_header_t *)&bh->b_data[0];
555 header->h_magic = cpu_to_be32(JFS_MAGIC_NUMBER);
556 header->h_blocktype = cpu_to_be32(JFS_DESCRIPTOR_BLOCK);
557 header->h_sequence = cpu_to_be32(commit_transaction->t_tid);
558
559 tagp = &bh->b_data[sizeof(journal_header_t)];
560 space_left = bh->b_size - sizeof(journal_header_t);
561 first_tag = 1;
562 set_buffer_jwrite(bh);
563 set_buffer_dirty(bh);
564 wbuf[bufs++] = bh;
565
566 /* Record it so that we can wait for IO
567 completion later */
568 BUFFER_TRACE(bh, "ph3: file as descriptor");
569 journal_file_buffer(descriptor, commit_transaction,
570 BJ_LogCtl);
571 }
572
573 /* Where is the buffer to be written? */
574
575 err = journal_next_log_block(journal, &blocknr);
576 /* If the block mapping failed, just abandon the buffer
577 and repeat this loop: we'll fall into the
578 refile-on-abort condition above. */
579 if (err) {
Jan Kara7a266e72007-10-18 23:39:22 -0700580 journal_abort(journal, err);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700581 continue;
582 }
583
584 /*
585 * start_this_handle() uses t_outstanding_credits to determine
586 * the free space in the log, but this counter is changed
587 * by journal_next_log_block() also.
588 */
589 commit_transaction->t_outstanding_credits--;
590
591 /* Bump b_count to prevent truncate from stumbling over
592 the shadowed buffer! @@@ This can go if we ever get
593 rid of the BJ_IO/BJ_Shadow pairing of buffers. */
594 atomic_inc(&jh2bh(jh)->b_count);
595
596 /* Make a temporary IO buffer with which to write it out
597 (this will requeue both the metadata buffer and the
598 temporary IO buffer). new_bh goes on BJ_IO*/
599
600 set_bit(BH_JWrite, &jh2bh(jh)->b_state);
601 /*
602 * akpm: journal_write_metadata_buffer() sets
603 * new_bh->b_transaction to commit_transaction.
604 * We need to clean this up before we release new_bh
605 * (which is of type BJ_IO)
606 */
607 JBUFFER_TRACE(jh, "ph3: write metadata");
608 flags = journal_write_metadata_buffer(commit_transaction,
609 jh, &new_jh, blocknr);
610 set_bit(BH_JWrite, &jh2bh(new_jh)->b_state);
611 wbuf[bufs++] = jh2bh(new_jh);
612
613 /* Record the new block's tag in the current descriptor
614 buffer */
615
616 tag_flag = 0;
617 if (flags & 1)
618 tag_flag |= JFS_FLAG_ESCAPE;
619 if (!first_tag)
620 tag_flag |= JFS_FLAG_SAME_UUID;
621
622 tag = (journal_block_tag_t *) tagp;
623 tag->t_blocknr = cpu_to_be32(jh2bh(jh)->b_blocknr);
624 tag->t_flags = cpu_to_be32(tag_flag);
625 tagp += sizeof(journal_block_tag_t);
626 space_left -= sizeof(journal_block_tag_t);
627
628 if (first_tag) {
629 memcpy (tagp, journal->j_uuid, 16);
630 tagp += 16;
631 space_left -= 16;
632 first_tag = 0;
633 }
634
635 /* If there's no more to do, or if the descriptor is full,
636 let the IO rip! */
637
638 if (bufs == journal->j_wbufsize ||
639 commit_transaction->t_buffers == NULL ||
640 space_left < sizeof(journal_block_tag_t) + 16) {
641
642 jbd_debug(4, "JBD: Submit %d IOs\n", bufs);
643
644 /* Write an end-of-descriptor marker before
645 submitting the IOs. "tag" still points to
646 the last tag we set up. */
647
648 tag->t_flags |= cpu_to_be32(JFS_FLAG_LAST_TAG);
649
650start_journal_io:
651 for (i = 0; i < bufs; i++) {
652 struct buffer_head *bh = wbuf[i];
653 lock_buffer(bh);
654 clear_buffer_dirty(bh);
655 set_buffer_uptodate(bh);
656 bh->b_end_io = journal_end_buffer_io_sync;
657 submit_bh(WRITE, bh);
658 }
659 cond_resched();
660
661 /* Force a new descriptor to be generated next
662 time round the loop. */
663 descriptor = NULL;
664 bufs = 0;
665 }
666 }
667
668 /* Lo and behold: we have just managed to send a transaction to
669 the log. Before we can commit it, wait for the IO so far to
670 complete. Control buffers being written are on the
671 transaction's t_log_list queue, and metadata buffers are on
672 the t_iobuf_list queue.
673
674 Wait for the buffers in reverse order. That way we are
675 less likely to be woken up until all IOs have completed, and
676 so we incur less scheduling load.
677 */
678
679 jbd_debug(3, "JBD: commit phase 4\n");
680
681 /*
682 * akpm: these are BJ_IO, and j_list_lock is not needed.
683 * See __journal_try_to_free_buffer.
684 */
685wait_for_iobuf:
686 while (commit_transaction->t_iobuf_list != NULL) {
687 struct buffer_head *bh;
688
689 jh = commit_transaction->t_iobuf_list->b_tprev;
690 bh = jh2bh(jh);
691 if (buffer_locked(bh)) {
692 wait_on_buffer(bh);
693 goto wait_for_iobuf;
694 }
695 if (cond_resched())
696 goto wait_for_iobuf;
697
698 if (unlikely(!buffer_uptodate(bh)))
699 err = -EIO;
700
701 clear_buffer_jwrite(bh);
702
703 JBUFFER_TRACE(jh, "ph4: unfile after journal write");
704 journal_unfile_buffer(journal, jh);
705
706 /*
707 * ->t_iobuf_list should contain only dummy buffer_heads
708 * which were created by journal_write_metadata_buffer().
709 */
710 BUFFER_TRACE(bh, "dumping temporary bh");
711 journal_put_journal_head(jh);
712 __brelse(bh);
713 J_ASSERT_BH(bh, atomic_read(&bh->b_count) == 0);
714 free_buffer_head(bh);
715
716 /* We also have to unlock and free the corresponding
717 shadowed buffer */
718 jh = commit_transaction->t_shadow_list->b_tprev;
719 bh = jh2bh(jh);
720 clear_bit(BH_JWrite, &bh->b_state);
721 J_ASSERT_BH(bh, buffer_jbddirty(bh));
722
723 /* The metadata is now released for reuse, but we need
724 to remember it against this transaction so that when
725 we finally commit, we can do any checkpointing
726 required. */
727 JBUFFER_TRACE(jh, "file as BJ_Forget");
728 journal_file_buffer(jh, commit_transaction, BJ_Forget);
729 /* Wake up any transactions which were waiting for this
730 IO to complete */
731 wake_up_bit(&bh->b_state, BH_Unshadow);
732 JBUFFER_TRACE(jh, "brelse shadowed buffer");
733 __brelse(bh);
734 }
735
736 J_ASSERT (commit_transaction->t_shadow_list == NULL);
737
738 jbd_debug(3, "JBD: commit phase 5\n");
739
740 /* Here we wait for the revoke record and descriptor record buffers */
741 wait_for_ctlbuf:
742 while (commit_transaction->t_log_list != NULL) {
743 struct buffer_head *bh;
744
745 jh = commit_transaction->t_log_list->b_tprev;
746 bh = jh2bh(jh);
747 if (buffer_locked(bh)) {
748 wait_on_buffer(bh);
749 goto wait_for_ctlbuf;
750 }
751 if (cond_resched())
752 goto wait_for_ctlbuf;
753
754 if (unlikely(!buffer_uptodate(bh)))
755 err = -EIO;
756
757 BUFFER_TRACE(bh, "ph5: control buffer writeout done: unfile");
758 clear_buffer_jwrite(bh);
759 journal_unfile_buffer(journal, jh);
760 journal_put_journal_head(jh);
761 __brelse(bh); /* One for getblk */
762 /* AKPM: bforget here */
763 }
764
Hidehiro Kawaid1645e52008-10-18 20:27:53 -0700765 if (err)
766 journal_abort(journal, err);
767
Linus Torvalds1da177e2005-04-16 15:20:36 -0700768 jbd_debug(3, "JBD: commit phase 6\n");
769
770 if (journal_write_commit_record(journal, commit_transaction))
771 err = -EIO;
772
773 if (err)
Jan Kara7a266e72007-10-18 23:39:22 -0700774 journal_abort(journal, err);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700775
776 /* End of a transaction! Finally, we can do checkpoint
777 processing: any buffers committed as a result of this
778 transaction can be removed from any checkpoint list it was on
779 before. */
780
781 jbd_debug(3, "JBD: commit phase 7\n");
782
783 J_ASSERT(commit_transaction->t_sync_datalist == NULL);
784 J_ASSERT(commit_transaction->t_buffers == NULL);
785 J_ASSERT(commit_transaction->t_checkpoint_list == NULL);
786 J_ASSERT(commit_transaction->t_iobuf_list == NULL);
787 J_ASSERT(commit_transaction->t_shadow_list == NULL);
788 J_ASSERT(commit_transaction->t_log_list == NULL);
789
790restart_loop:
Jan Karae6c9f5c2005-09-06 15:19:09 -0700791 /*
792 * As there are other places (journal_unmap_buffer()) adding buffers
793 * to this list we have to be careful and hold the j_list_lock.
794 */
795 spin_lock(&journal->j_list_lock);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700796 while (commit_transaction->t_forget) {
797 transaction_t *cp_transaction;
798 struct buffer_head *bh;
799
800 jh = commit_transaction->t_forget;
Jan Karae6c9f5c2005-09-06 15:19:09 -0700801 spin_unlock(&journal->j_list_lock);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700802 bh = jh2bh(jh);
803 jbd_lock_bh_state(bh);
804 J_ASSERT_JH(jh, jh->b_transaction == commit_transaction ||
805 jh->b_transaction == journal->j_running_transaction);
806
807 /*
808 * If there is undo-protected committed data against
809 * this buffer, then we can remove it now. If it is a
810 * buffer needing such protection, the old frozen_data
811 * field now points to a committed version of the
812 * buffer, so rotate that field to the new committed
813 * data.
814 *
815 * Otherwise, we can just throw away the frozen data now.
816 */
817 if (jh->b_committed_data) {
Mingming Caoc089d492007-10-16 18:38:25 -0400818 jbd_free(jh->b_committed_data, bh->b_size);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700819 jh->b_committed_data = NULL;
820 if (jh->b_frozen_data) {
821 jh->b_committed_data = jh->b_frozen_data;
822 jh->b_frozen_data = NULL;
823 }
824 } else if (jh->b_frozen_data) {
Mingming Caoc089d492007-10-16 18:38:25 -0400825 jbd_free(jh->b_frozen_data, bh->b_size);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700826 jh->b_frozen_data = NULL;
827 }
828
829 spin_lock(&journal->j_list_lock);
830 cp_transaction = jh->b_cp_transaction;
831 if (cp_transaction) {
832 JBUFFER_TRACE(jh, "remove from old cp transaction");
833 __journal_remove_checkpoint(jh);
834 }
835
836 /* Only re-checkpoint the buffer_head if it is marked
837 * dirty. If the buffer was added to the BJ_Forget list
838 * by journal_forget, it may no longer be dirty and
839 * there's no point in keeping a checkpoint record for
840 * it. */
841
842 /* A buffer which has been freed while still being
843 * journaled by a previous transaction may end up still
844 * being dirty here, but we want to avoid writing back
845 * that buffer in the future now that the last use has
846 * been committed. That's not only a performance gain,
847 * it also stops aliasing problems if the buffer is left
848 * behind for writeback and gets reallocated for another
849 * use in a different page. */
850 if (buffer_freed(bh)) {
851 clear_buffer_freed(bh);
852 clear_buffer_jbddirty(bh);
853 }
854
855 if (buffer_jbddirty(bh)) {
856 JBUFFER_TRACE(jh, "add to new checkpointing trans");
857 __journal_insert_checkpoint(jh, commit_transaction);
858 JBUFFER_TRACE(jh, "refile for checkpoint writeback");
859 __journal_refile_buffer(jh);
860 jbd_unlock_bh_state(bh);
861 } else {
862 J_ASSERT_BH(bh, !buffer_dirty(bh));
Jan Kara9ada7342006-06-23 02:05:25 -0700863 /* The buffer on BJ_Forget list and not jbddirty means
864 * it has been freed by this transaction and hence it
865 * could not have been reallocated until this
866 * transaction has committed. *BUT* it could be
867 * reallocated once we have written all the data to
868 * disk and before we process the buffer on BJ_Forget
869 * list. */
870 JBUFFER_TRACE(jh, "refile or unfile freed buffer");
871 __journal_refile_buffer(jh);
872 if (!jh->b_transaction) {
873 jbd_unlock_bh_state(bh);
874 /* needs a brelse */
875 journal_remove_journal_head(bh);
876 release_buffer_page(bh);
877 } else
878 jbd_unlock_bh_state(bh);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700879 }
Jan Karae6c9f5c2005-09-06 15:19:09 -0700880 cond_resched_lock(&journal->j_list_lock);
881 }
882 spin_unlock(&journal->j_list_lock);
883 /*
Jan Karad4beaf42007-12-04 23:45:27 -0800884 * This is a bit sleazy. We use j_list_lock to protect transition
885 * of a transaction into T_FINISHED state and calling
886 * __journal_drop_transaction(). Otherwise we could race with
887 * other checkpointing code processing the transaction...
Jan Karae6c9f5c2005-09-06 15:19:09 -0700888 */
889 spin_lock(&journal->j_state_lock);
890 spin_lock(&journal->j_list_lock);
891 /*
892 * Now recheck if some buffers did not get attached to the transaction
893 * while the lock was dropped...
894 */
895 if (commit_transaction->t_forget) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700896 spin_unlock(&journal->j_list_lock);
Jan Karae6c9f5c2005-09-06 15:19:09 -0700897 spin_unlock(&journal->j_state_lock);
898 goto restart_loop;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700899 }
900
901 /* Done with this transaction! */
902
903 jbd_debug(3, "JBD: commit phase 8\n");
904
905 J_ASSERT(commit_transaction->t_state == T_COMMIT);
906
Linus Torvalds1da177e2005-04-16 15:20:36 -0700907 commit_transaction->t_state = T_FINISHED;
908 J_ASSERT(commit_transaction == journal->j_committing_transaction);
909 journal->j_commit_sequence = commit_transaction->t_tid;
910 journal->j_committing_transaction = NULL;
911 spin_unlock(&journal->j_state_lock);
912
Jan Karafe28e422007-07-15 23:37:18 -0700913 if (commit_transaction->t_checkpoint_list == NULL &&
914 commit_transaction->t_checkpoint_io_list == NULL) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700915 __journal_drop_transaction(journal, commit_transaction);
916 } else {
917 if (journal->j_checkpoint_transactions == NULL) {
918 journal->j_checkpoint_transactions = commit_transaction;
919 commit_transaction->t_cpnext = commit_transaction;
920 commit_transaction->t_cpprev = commit_transaction;
921 } else {
922 commit_transaction->t_cpnext =
923 journal->j_checkpoint_transactions;
924 commit_transaction->t_cpprev =
925 commit_transaction->t_cpnext->t_cpprev;
926 commit_transaction->t_cpnext->t_cpprev =
927 commit_transaction;
928 commit_transaction->t_cpprev->t_cpnext =
929 commit_transaction;
930 }
931 }
932 spin_unlock(&journal->j_list_lock);
933
934 jbd_debug(1, "JBD: commit %d complete, head %d\n",
935 journal->j_commit_sequence, journal->j_tail_sequence);
936
937 wake_up(&journal->j_wait_done_commit);
938}