1470decc6SDave Kleikamp /* 2f7f4bccbSMingming Cao * linux/fs/jbd2/commit.c 3470decc6SDave Kleikamp * 4470decc6SDave Kleikamp * Written by Stephen C. Tweedie <[email protected]>, 1998 5470decc6SDave Kleikamp * 6470decc6SDave Kleikamp * Copyright 1998 Red Hat corp --- All Rights Reserved 7470decc6SDave Kleikamp * 8470decc6SDave Kleikamp * This file is part of the Linux kernel and is made available under 9470decc6SDave Kleikamp * the terms of the GNU General Public License, version 2, or at your 10470decc6SDave Kleikamp * option, any later version, incorporated herein by reference. 11470decc6SDave Kleikamp * 12470decc6SDave Kleikamp * Journal commit routines for the generic filesystem journaling code; 13470decc6SDave Kleikamp * part of the ext2fs journaling system. 14470decc6SDave Kleikamp */ 15470decc6SDave Kleikamp 16470decc6SDave Kleikamp #include <linux/time.h> 17470decc6SDave Kleikamp #include <linux/fs.h> 18f7f4bccbSMingming Cao #include <linux/jbd2.h> 19470decc6SDave Kleikamp #include <linux/errno.h> 20470decc6SDave Kleikamp #include <linux/slab.h> 21470decc6SDave Kleikamp #include <linux/mm.h> 22470decc6SDave Kleikamp #include <linux/pagemap.h> 238e85fb3fSJohann Lombardi #include <linux/jiffies.h> 24818d276cSGirish Shilamkar #include <linux/crc32.h> 25470decc6SDave Kleikamp 26470decc6SDave Kleikamp /* 27470decc6SDave Kleikamp * Default IO end handler for temporary BJ_IO buffer_heads. 28470decc6SDave Kleikamp */ 29470decc6SDave Kleikamp static void journal_end_buffer_io_sync(struct buffer_head *bh, int uptodate) 30470decc6SDave Kleikamp { 31470decc6SDave Kleikamp BUFFER_TRACE(bh, ""); 32470decc6SDave Kleikamp if (uptodate) 33470decc6SDave Kleikamp set_buffer_uptodate(bh); 34470decc6SDave Kleikamp else 35470decc6SDave Kleikamp clear_buffer_uptodate(bh); 36470decc6SDave Kleikamp unlock_buffer(bh); 37470decc6SDave Kleikamp } 38470decc6SDave Kleikamp 39470decc6SDave Kleikamp /* 40470decc6SDave Kleikamp * When an ext3-ordered file is truncated, it is possible that many pages are 41470decc6SDave Kleikamp * not sucessfully freed, because they are attached to a committing transaction. 42470decc6SDave Kleikamp * After the transaction commits, these pages are left on the LRU, with no 43470decc6SDave Kleikamp * ->mapping, and with attached buffers. These pages are trivially reclaimable 44470decc6SDave Kleikamp * by the VM, but their apparent absence upsets the VM accounting, and it makes 45470decc6SDave Kleikamp * the numbers in /proc/meminfo look odd. 46470decc6SDave Kleikamp * 47470decc6SDave Kleikamp * So here, we have a buffer which has just come off the forget list. Look to 48470decc6SDave Kleikamp * see if we can strip all buffers from the backing page. 49470decc6SDave Kleikamp * 50470decc6SDave Kleikamp * Called under lock_journal(), and possibly under journal_datalist_lock. The 51470decc6SDave Kleikamp * caller provided us with a ref against the buffer, and we drop that here. 52470decc6SDave Kleikamp */ 53470decc6SDave Kleikamp static void release_buffer_page(struct buffer_head *bh) 54470decc6SDave Kleikamp { 55470decc6SDave Kleikamp struct page *page; 56470decc6SDave Kleikamp 57470decc6SDave Kleikamp if (buffer_dirty(bh)) 58470decc6SDave Kleikamp goto nope; 59470decc6SDave Kleikamp if (atomic_read(&bh->b_count) != 1) 60470decc6SDave Kleikamp goto nope; 61470decc6SDave Kleikamp page = bh->b_page; 62470decc6SDave Kleikamp if (!page) 63470decc6SDave Kleikamp goto nope; 64470decc6SDave Kleikamp if (page->mapping) 65470decc6SDave Kleikamp goto nope; 66470decc6SDave Kleikamp 67470decc6SDave Kleikamp /* OK, it's a truncated page */ 68470decc6SDave Kleikamp if (TestSetPageLocked(page)) 69470decc6SDave Kleikamp goto nope; 70470decc6SDave Kleikamp 71470decc6SDave Kleikamp page_cache_get(page); 72470decc6SDave Kleikamp __brelse(bh); 73470decc6SDave Kleikamp try_to_free_buffers(page); 74470decc6SDave Kleikamp unlock_page(page); 75470decc6SDave Kleikamp page_cache_release(page); 76470decc6SDave Kleikamp return; 77470decc6SDave Kleikamp 78470decc6SDave Kleikamp nope: 79470decc6SDave Kleikamp __brelse(bh); 80470decc6SDave Kleikamp } 81470decc6SDave Kleikamp 82470decc6SDave Kleikamp /* 83470decc6SDave Kleikamp * Try to acquire jbd_lock_bh_state() against the buffer, when j_list_lock is 84470decc6SDave Kleikamp * held. For ranking reasons we must trylock. If we lose, schedule away and 85470decc6SDave Kleikamp * return 0. j_list_lock is dropped in this case. 86470decc6SDave Kleikamp */ 87470decc6SDave Kleikamp static int inverted_lock(journal_t *journal, struct buffer_head *bh) 88470decc6SDave Kleikamp { 89470decc6SDave Kleikamp if (!jbd_trylock_bh_state(bh)) { 90470decc6SDave Kleikamp spin_unlock(&journal->j_list_lock); 91470decc6SDave Kleikamp schedule(); 92470decc6SDave Kleikamp return 0; 93470decc6SDave Kleikamp } 94470decc6SDave Kleikamp return 1; 95470decc6SDave Kleikamp } 96470decc6SDave Kleikamp 97818d276cSGirish Shilamkar /* 98818d276cSGirish Shilamkar * Done it all: now submit the commit record. We should have 99470decc6SDave Kleikamp * cleaned up our previous buffers by now, so if we are in abort 100470decc6SDave Kleikamp * mode we can now just skip the rest of the journal write 101470decc6SDave Kleikamp * entirely. 102470decc6SDave Kleikamp * 103470decc6SDave Kleikamp * Returns 1 if the journal needs to be aborted or 0 on success 104470decc6SDave Kleikamp */ 105818d276cSGirish Shilamkar static int journal_submit_commit_record(journal_t *journal, 106818d276cSGirish Shilamkar transaction_t *commit_transaction, 107818d276cSGirish Shilamkar struct buffer_head **cbh, 108818d276cSGirish Shilamkar __u32 crc32_sum) 109470decc6SDave Kleikamp { 110470decc6SDave Kleikamp struct journal_head *descriptor; 111818d276cSGirish Shilamkar struct commit_header *tmp; 112470decc6SDave Kleikamp struct buffer_head *bh; 113818d276cSGirish Shilamkar int ret; 114470decc6SDave Kleikamp int barrier_done = 0; 115470decc6SDave Kleikamp 116470decc6SDave Kleikamp if (is_journal_aborted(journal)) 117470decc6SDave Kleikamp return 0; 118470decc6SDave Kleikamp 119f7f4bccbSMingming Cao descriptor = jbd2_journal_get_descriptor_buffer(journal); 120470decc6SDave Kleikamp if (!descriptor) 121470decc6SDave Kleikamp return 1; 122470decc6SDave Kleikamp 123470decc6SDave Kleikamp bh = jh2bh(descriptor); 124470decc6SDave Kleikamp 125818d276cSGirish Shilamkar tmp = (struct commit_header *)bh->b_data; 126f7f4bccbSMingming Cao tmp->h_magic = cpu_to_be32(JBD2_MAGIC_NUMBER); 127f7f4bccbSMingming Cao tmp->h_blocktype = cpu_to_be32(JBD2_COMMIT_BLOCK); 128470decc6SDave Kleikamp tmp->h_sequence = cpu_to_be32(commit_transaction->t_tid); 129818d276cSGirish Shilamkar 130818d276cSGirish Shilamkar if (JBD2_HAS_COMPAT_FEATURE(journal, 131818d276cSGirish Shilamkar JBD2_FEATURE_COMPAT_CHECKSUM)) { 132818d276cSGirish Shilamkar tmp->h_chksum_type = JBD2_CRC32_CHKSUM; 133818d276cSGirish Shilamkar tmp->h_chksum_size = JBD2_CRC32_CHKSUM_SIZE; 134818d276cSGirish Shilamkar tmp->h_chksum[0] = cpu_to_be32(crc32_sum); 135470decc6SDave Kleikamp } 136470decc6SDave Kleikamp 137818d276cSGirish Shilamkar JBUFFER_TRACE(descriptor, "submit commit block"); 138818d276cSGirish Shilamkar lock_buffer(bh); 139c4b8e635SAneesh Kumar K.V get_bh(bh); 140470decc6SDave Kleikamp set_buffer_dirty(bh); 141818d276cSGirish Shilamkar set_buffer_uptodate(bh); 142818d276cSGirish Shilamkar bh->b_end_io = journal_end_buffer_io_sync; 143818d276cSGirish Shilamkar 144818d276cSGirish Shilamkar if (journal->j_flags & JBD2_BARRIER && 1454d605179SAneesh Kumar K.V !JBD2_HAS_INCOMPAT_FEATURE(journal, 146818d276cSGirish Shilamkar JBD2_FEATURE_INCOMPAT_ASYNC_COMMIT)) { 147470decc6SDave Kleikamp set_buffer_ordered(bh); 148470decc6SDave Kleikamp barrier_done = 1; 149470decc6SDave Kleikamp } 150818d276cSGirish Shilamkar ret = submit_bh(WRITE, bh); 151c4e35e07SDave Kleikamp if (barrier_done) 152c4e35e07SDave Kleikamp clear_buffer_ordered(bh); 153818d276cSGirish Shilamkar 154470decc6SDave Kleikamp /* is it possible for another commit to fail at roughly 155470decc6SDave Kleikamp * the same time as this one? If so, we don't want to 156470decc6SDave Kleikamp * trust the barrier flag in the super, but instead want 157470decc6SDave Kleikamp * to remember if we sent a barrier request 158470decc6SDave Kleikamp */ 159470decc6SDave Kleikamp if (ret == -EOPNOTSUPP && barrier_done) { 160470decc6SDave Kleikamp char b[BDEVNAME_SIZE]; 161470decc6SDave Kleikamp 162470decc6SDave Kleikamp printk(KERN_WARNING 163470decc6SDave Kleikamp "JBD: barrier-based sync failed on %s - " 164470decc6SDave Kleikamp "disabling barriers\n", 165470decc6SDave Kleikamp bdevname(journal->j_dev, b)); 166470decc6SDave Kleikamp spin_lock(&journal->j_state_lock); 167f7f4bccbSMingming Cao journal->j_flags &= ~JBD2_BARRIER; 168470decc6SDave Kleikamp spin_unlock(&journal->j_state_lock); 169470decc6SDave Kleikamp 170470decc6SDave Kleikamp /* And try again, without the barrier */ 171*034772b0STheodore Ts'o lock_buffer(bh); 172470decc6SDave Kleikamp set_buffer_uptodate(bh); 173470decc6SDave Kleikamp set_buffer_dirty(bh); 174818d276cSGirish Shilamkar ret = submit_bh(WRITE, bh); 175470decc6SDave Kleikamp } 176818d276cSGirish Shilamkar *cbh = bh; 177818d276cSGirish Shilamkar return ret; 178818d276cSGirish Shilamkar } 179470decc6SDave Kleikamp 180818d276cSGirish Shilamkar /* 181818d276cSGirish Shilamkar * This function along with journal_submit_commit_record 182818d276cSGirish Shilamkar * allows to write the commit record asynchronously. 183818d276cSGirish Shilamkar */ 184818d276cSGirish Shilamkar static int journal_wait_on_commit_record(struct buffer_head *bh) 185818d276cSGirish Shilamkar { 186818d276cSGirish Shilamkar int ret = 0; 187818d276cSGirish Shilamkar 188818d276cSGirish Shilamkar clear_buffer_dirty(bh); 189818d276cSGirish Shilamkar wait_on_buffer(bh); 190818d276cSGirish Shilamkar 191818d276cSGirish Shilamkar if (unlikely(!buffer_uptodate(bh))) 192818d276cSGirish Shilamkar ret = -EIO; 193818d276cSGirish Shilamkar put_bh(bh); /* One for getblk() */ 194818d276cSGirish Shilamkar jbd2_journal_put_journal_head(bh2jh(bh)); 195818d276cSGirish Shilamkar 196818d276cSGirish Shilamkar return ret; 197818d276cSGirish Shilamkar } 198818d276cSGirish Shilamkar 199818d276cSGirish Shilamkar /* 200818d276cSGirish Shilamkar * Wait for all submitted IO to complete. 201818d276cSGirish Shilamkar */ 202818d276cSGirish Shilamkar static int journal_wait_on_locked_list(journal_t *journal, 203818d276cSGirish Shilamkar transaction_t *commit_transaction) 204818d276cSGirish Shilamkar { 205818d276cSGirish Shilamkar int ret = 0; 206818d276cSGirish Shilamkar struct journal_head *jh; 207818d276cSGirish Shilamkar 208818d276cSGirish Shilamkar while (commit_transaction->t_locked_list) { 209818d276cSGirish Shilamkar struct buffer_head *bh; 210818d276cSGirish Shilamkar 211818d276cSGirish Shilamkar jh = commit_transaction->t_locked_list->b_tprev; 212818d276cSGirish Shilamkar bh = jh2bh(jh); 213818d276cSGirish Shilamkar get_bh(bh); 214818d276cSGirish Shilamkar if (buffer_locked(bh)) { 215818d276cSGirish Shilamkar spin_unlock(&journal->j_list_lock); 216818d276cSGirish Shilamkar wait_on_buffer(bh); 217818d276cSGirish Shilamkar if (unlikely(!buffer_uptodate(bh))) 218818d276cSGirish Shilamkar ret = -EIO; 219818d276cSGirish Shilamkar spin_lock(&journal->j_list_lock); 220818d276cSGirish Shilamkar } 221818d276cSGirish Shilamkar if (!inverted_lock(journal, bh)) { 222818d276cSGirish Shilamkar put_bh(bh); 223818d276cSGirish Shilamkar spin_lock(&journal->j_list_lock); 224818d276cSGirish Shilamkar continue; 225818d276cSGirish Shilamkar } 226818d276cSGirish Shilamkar if (buffer_jbd(bh) && jh->b_jlist == BJ_Locked) { 227818d276cSGirish Shilamkar __jbd2_journal_unfile_buffer(jh); 228818d276cSGirish Shilamkar jbd_unlock_bh_state(bh); 229818d276cSGirish Shilamkar jbd2_journal_remove_journal_head(bh); 230818d276cSGirish Shilamkar put_bh(bh); 231818d276cSGirish Shilamkar } else { 232818d276cSGirish Shilamkar jbd_unlock_bh_state(bh); 233818d276cSGirish Shilamkar } 234818d276cSGirish Shilamkar put_bh(bh); 235818d276cSGirish Shilamkar cond_resched_lock(&journal->j_list_lock); 236818d276cSGirish Shilamkar } 237818d276cSGirish Shilamkar return ret; 238470decc6SDave Kleikamp } 239470decc6SDave Kleikamp 240470decc6SDave Kleikamp static void journal_do_submit_data(struct buffer_head **wbuf, int bufs) 241470decc6SDave Kleikamp { 242470decc6SDave Kleikamp int i; 243470decc6SDave Kleikamp 244470decc6SDave Kleikamp for (i = 0; i < bufs; i++) { 245470decc6SDave Kleikamp wbuf[i]->b_end_io = end_buffer_write_sync; 246470decc6SDave Kleikamp /* We use-up our safety reference in submit_bh() */ 247470decc6SDave Kleikamp submit_bh(WRITE, wbuf[i]); 248470decc6SDave Kleikamp } 249470decc6SDave Kleikamp } 250470decc6SDave Kleikamp 251470decc6SDave Kleikamp /* 252470decc6SDave Kleikamp * Submit all the data buffers to disk 253470decc6SDave Kleikamp */ 254470decc6SDave Kleikamp static void journal_submit_data_buffers(journal_t *journal, 255470decc6SDave Kleikamp transaction_t *commit_transaction) 256470decc6SDave Kleikamp { 257470decc6SDave Kleikamp struct journal_head *jh; 258470decc6SDave Kleikamp struct buffer_head *bh; 259470decc6SDave Kleikamp int locked; 260470decc6SDave Kleikamp int bufs = 0; 261470decc6SDave Kleikamp struct buffer_head **wbuf = journal->j_wbuf; 262470decc6SDave Kleikamp 263470decc6SDave Kleikamp /* 264470decc6SDave Kleikamp * Whenever we unlock the journal and sleep, things can get added 265470decc6SDave Kleikamp * onto ->t_sync_datalist, so we have to keep looping back to 266470decc6SDave Kleikamp * write_out_data until we *know* that the list is empty. 267470decc6SDave Kleikamp * 268470decc6SDave Kleikamp * Cleanup any flushed data buffers from the data list. Even in 269470decc6SDave Kleikamp * abort mode, we want to flush this out as soon as possible. 270470decc6SDave Kleikamp */ 271470decc6SDave Kleikamp write_out_data: 272470decc6SDave Kleikamp cond_resched(); 273470decc6SDave Kleikamp spin_lock(&journal->j_list_lock); 274470decc6SDave Kleikamp 275470decc6SDave Kleikamp while (commit_transaction->t_sync_datalist) { 276470decc6SDave Kleikamp jh = commit_transaction->t_sync_datalist; 277470decc6SDave Kleikamp bh = jh2bh(jh); 278470decc6SDave Kleikamp locked = 0; 279470decc6SDave Kleikamp 280470decc6SDave Kleikamp /* Get reference just to make sure buffer does not disappear 281470decc6SDave Kleikamp * when we are forced to drop various locks */ 282470decc6SDave Kleikamp get_bh(bh); 283470decc6SDave Kleikamp /* If the buffer is dirty, we need to submit IO and hence 284470decc6SDave Kleikamp * we need the buffer lock. We try to lock the buffer without 285470decc6SDave Kleikamp * blocking. If we fail, we need to drop j_list_lock and do 286470decc6SDave Kleikamp * blocking lock_buffer(). 287470decc6SDave Kleikamp */ 288470decc6SDave Kleikamp if (buffer_dirty(bh)) { 289470decc6SDave Kleikamp if (test_set_buffer_locked(bh)) { 290470decc6SDave Kleikamp BUFFER_TRACE(bh, "needs blocking lock"); 291470decc6SDave Kleikamp spin_unlock(&journal->j_list_lock); 292470decc6SDave Kleikamp /* Write out all data to prevent deadlocks */ 293470decc6SDave Kleikamp journal_do_submit_data(wbuf, bufs); 294470decc6SDave Kleikamp bufs = 0; 295470decc6SDave Kleikamp lock_buffer(bh); 296470decc6SDave Kleikamp spin_lock(&journal->j_list_lock); 297470decc6SDave Kleikamp } 298470decc6SDave Kleikamp locked = 1; 299470decc6SDave Kleikamp } 300470decc6SDave Kleikamp /* We have to get bh_state lock. Again out of order, sigh. */ 301470decc6SDave Kleikamp if (!inverted_lock(journal, bh)) { 302470decc6SDave Kleikamp jbd_lock_bh_state(bh); 303470decc6SDave Kleikamp spin_lock(&journal->j_list_lock); 304470decc6SDave Kleikamp } 305470decc6SDave Kleikamp /* Someone already cleaned up the buffer? */ 306470decc6SDave Kleikamp if (!buffer_jbd(bh) 307470decc6SDave Kleikamp || jh->b_transaction != commit_transaction 308470decc6SDave Kleikamp || jh->b_jlist != BJ_SyncData) { 309470decc6SDave Kleikamp jbd_unlock_bh_state(bh); 310470decc6SDave Kleikamp if (locked) 311470decc6SDave Kleikamp unlock_buffer(bh); 312470decc6SDave Kleikamp BUFFER_TRACE(bh, "already cleaned up"); 313470decc6SDave Kleikamp put_bh(bh); 314470decc6SDave Kleikamp continue; 315470decc6SDave Kleikamp } 316470decc6SDave Kleikamp if (locked && test_clear_buffer_dirty(bh)) { 317470decc6SDave Kleikamp BUFFER_TRACE(bh, "needs writeout, adding to array"); 318470decc6SDave Kleikamp wbuf[bufs++] = bh; 319f7f4bccbSMingming Cao __jbd2_journal_file_buffer(jh, commit_transaction, 320470decc6SDave Kleikamp BJ_Locked); 321470decc6SDave Kleikamp jbd_unlock_bh_state(bh); 322470decc6SDave Kleikamp if (bufs == journal->j_wbufsize) { 323470decc6SDave Kleikamp spin_unlock(&journal->j_list_lock); 324470decc6SDave Kleikamp journal_do_submit_data(wbuf, bufs); 325470decc6SDave Kleikamp bufs = 0; 326470decc6SDave Kleikamp goto write_out_data; 327470decc6SDave Kleikamp } 32812603925SHisashi Hifumi } else if (!locked && buffer_locked(bh)) { 32912603925SHisashi Hifumi __jbd2_journal_file_buffer(jh, commit_transaction, 33012603925SHisashi Hifumi BJ_Locked); 33112603925SHisashi Hifumi jbd_unlock_bh_state(bh); 33212603925SHisashi Hifumi put_bh(bh); 33312603925SHisashi Hifumi } else { 334470decc6SDave Kleikamp BUFFER_TRACE(bh, "writeout complete: unfile"); 335f7f4bccbSMingming Cao __jbd2_journal_unfile_buffer(jh); 336470decc6SDave Kleikamp jbd_unlock_bh_state(bh); 337470decc6SDave Kleikamp if (locked) 338470decc6SDave Kleikamp unlock_buffer(bh); 339f7f4bccbSMingming Cao jbd2_journal_remove_journal_head(bh); 340470decc6SDave Kleikamp /* Once for our safety reference, once for 341f7f4bccbSMingming Cao * jbd2_journal_remove_journal_head() */ 342470decc6SDave Kleikamp put_bh(bh); 343470decc6SDave Kleikamp put_bh(bh); 344470decc6SDave Kleikamp } 345470decc6SDave Kleikamp 34695c354feSNick Piggin if (need_resched() || spin_needbreak(&journal->j_list_lock)) { 347470decc6SDave Kleikamp spin_unlock(&journal->j_list_lock); 348470decc6SDave Kleikamp goto write_out_data; 349470decc6SDave Kleikamp } 350470decc6SDave Kleikamp } 351470decc6SDave Kleikamp spin_unlock(&journal->j_list_lock); 352470decc6SDave Kleikamp journal_do_submit_data(wbuf, bufs); 353470decc6SDave Kleikamp } 354470decc6SDave Kleikamp 355818d276cSGirish Shilamkar static __u32 jbd2_checksum_data(__u32 crc32_sum, struct buffer_head *bh) 356818d276cSGirish Shilamkar { 357818d276cSGirish Shilamkar struct page *page = bh->b_page; 358818d276cSGirish Shilamkar char *addr; 359818d276cSGirish Shilamkar __u32 checksum; 360818d276cSGirish Shilamkar 361818d276cSGirish Shilamkar addr = kmap_atomic(page, KM_USER0); 362818d276cSGirish Shilamkar checksum = crc32_be(crc32_sum, 363818d276cSGirish Shilamkar (void *)(addr + offset_in_page(bh->b_data)), bh->b_size); 364818d276cSGirish Shilamkar kunmap_atomic(addr, KM_USER0); 365818d276cSGirish Shilamkar 366818d276cSGirish Shilamkar return checksum; 367818d276cSGirish Shilamkar } 368818d276cSGirish Shilamkar 369818d276cSGirish Shilamkar static void write_tag_block(int tag_bytes, journal_block_tag_t *tag, 37018eba7aaSMingming Cao unsigned long long block) 371b517bea1SZach Brown { 372b517bea1SZach Brown tag->t_blocknr = cpu_to_be32(block & (u32)~0); 373cd02ff0bSMingming Cao if (tag_bytes > JBD2_TAG_SIZE32) 374b517bea1SZach Brown tag->t_blocknr_high = cpu_to_be32((block >> 31) >> 1); 375b517bea1SZach Brown } 376b517bea1SZach Brown 377470decc6SDave Kleikamp /* 378f7f4bccbSMingming Cao * jbd2_journal_commit_transaction 379470decc6SDave Kleikamp * 380470decc6SDave Kleikamp * The primary function for committing a transaction to the log. This 381470decc6SDave Kleikamp * function is called by the journal thread to begin a complete commit. 382470decc6SDave Kleikamp */ 383f7f4bccbSMingming Cao void jbd2_journal_commit_transaction(journal_t *journal) 384470decc6SDave Kleikamp { 3858e85fb3fSJohann Lombardi struct transaction_stats_s stats; 386470decc6SDave Kleikamp transaction_t *commit_transaction; 387470decc6SDave Kleikamp struct journal_head *jh, *new_jh, *descriptor; 388470decc6SDave Kleikamp struct buffer_head **wbuf = journal->j_wbuf; 389470decc6SDave Kleikamp int bufs; 390470decc6SDave Kleikamp int flags; 391470decc6SDave Kleikamp int err; 39218eba7aaSMingming Cao unsigned long long blocknr; 393470decc6SDave Kleikamp char *tagp = NULL; 394470decc6SDave Kleikamp journal_header_t *header; 395470decc6SDave Kleikamp journal_block_tag_t *tag = NULL; 396470decc6SDave Kleikamp int space_left = 0; 397470decc6SDave Kleikamp int first_tag = 0; 398470decc6SDave Kleikamp int tag_flag; 399470decc6SDave Kleikamp int i; 400b517bea1SZach Brown int tag_bytes = journal_tag_bytes(journal); 401818d276cSGirish Shilamkar struct buffer_head *cbh = NULL; /* For transactional checksums */ 402818d276cSGirish Shilamkar __u32 crc32_sum = ~0; 403470decc6SDave Kleikamp 404470decc6SDave Kleikamp /* 405470decc6SDave Kleikamp * First job: lock down the current transaction and wait for 406470decc6SDave Kleikamp * all outstanding updates to complete. 407470decc6SDave Kleikamp */ 408470decc6SDave Kleikamp 409470decc6SDave Kleikamp #ifdef COMMIT_STATS 410470decc6SDave Kleikamp spin_lock(&journal->j_list_lock); 411470decc6SDave Kleikamp summarise_journal_usage(journal); 412470decc6SDave Kleikamp spin_unlock(&journal->j_list_lock); 413470decc6SDave Kleikamp #endif 414470decc6SDave Kleikamp 415f7f4bccbSMingming Cao /* Do we need to erase the effects of a prior jbd2_journal_flush? */ 416f7f4bccbSMingming Cao if (journal->j_flags & JBD2_FLUSHED) { 417470decc6SDave Kleikamp jbd_debug(3, "super block updated\n"); 418f7f4bccbSMingming Cao jbd2_journal_update_superblock(journal, 1); 419470decc6SDave Kleikamp } else { 420470decc6SDave Kleikamp jbd_debug(3, "superblock not updated\n"); 421470decc6SDave Kleikamp } 422470decc6SDave Kleikamp 423470decc6SDave Kleikamp J_ASSERT(journal->j_running_transaction != NULL); 424470decc6SDave Kleikamp J_ASSERT(journal->j_committing_transaction == NULL); 425470decc6SDave Kleikamp 426470decc6SDave Kleikamp commit_transaction = journal->j_running_transaction; 427470decc6SDave Kleikamp J_ASSERT(commit_transaction->t_state == T_RUNNING); 428470decc6SDave Kleikamp 429470decc6SDave Kleikamp jbd_debug(1, "JBD: starting commit of transaction %d\n", 430470decc6SDave Kleikamp commit_transaction->t_tid); 431470decc6SDave Kleikamp 432470decc6SDave Kleikamp spin_lock(&journal->j_state_lock); 433470decc6SDave Kleikamp commit_transaction->t_state = T_LOCKED; 434470decc6SDave Kleikamp 4358e85fb3fSJohann Lombardi stats.u.run.rs_wait = commit_transaction->t_max_wait; 4368e85fb3fSJohann Lombardi stats.u.run.rs_locked = jiffies; 4378e85fb3fSJohann Lombardi stats.u.run.rs_running = jbd2_time_diff(commit_transaction->t_start, 4388e85fb3fSJohann Lombardi stats.u.run.rs_locked); 4398e85fb3fSJohann Lombardi 440470decc6SDave Kleikamp spin_lock(&commit_transaction->t_handle_lock); 441470decc6SDave Kleikamp while (commit_transaction->t_updates) { 442470decc6SDave Kleikamp DEFINE_WAIT(wait); 443470decc6SDave Kleikamp 444470decc6SDave Kleikamp prepare_to_wait(&journal->j_wait_updates, &wait, 445470decc6SDave Kleikamp TASK_UNINTERRUPTIBLE); 446470decc6SDave Kleikamp if (commit_transaction->t_updates) { 447470decc6SDave Kleikamp spin_unlock(&commit_transaction->t_handle_lock); 448470decc6SDave Kleikamp spin_unlock(&journal->j_state_lock); 449470decc6SDave Kleikamp schedule(); 450470decc6SDave Kleikamp spin_lock(&journal->j_state_lock); 451470decc6SDave Kleikamp spin_lock(&commit_transaction->t_handle_lock); 452470decc6SDave Kleikamp } 453470decc6SDave Kleikamp finish_wait(&journal->j_wait_updates, &wait); 454470decc6SDave Kleikamp } 455470decc6SDave Kleikamp spin_unlock(&commit_transaction->t_handle_lock); 456470decc6SDave Kleikamp 457470decc6SDave Kleikamp J_ASSERT (commit_transaction->t_outstanding_credits <= 458470decc6SDave Kleikamp journal->j_max_transaction_buffers); 459470decc6SDave Kleikamp 460470decc6SDave Kleikamp /* 461470decc6SDave Kleikamp * First thing we are allowed to do is to discard any remaining 462470decc6SDave Kleikamp * BJ_Reserved buffers. Note, it is _not_ permissible to assume 463470decc6SDave Kleikamp * that there are no such buffers: if a large filesystem 464470decc6SDave Kleikamp * operation like a truncate needs to split itself over multiple 465f7f4bccbSMingming Cao * transactions, then it may try to do a jbd2_journal_restart() while 466470decc6SDave Kleikamp * there are still BJ_Reserved buffers outstanding. These must 467470decc6SDave Kleikamp * be released cleanly from the current transaction. 468470decc6SDave Kleikamp * 469470decc6SDave Kleikamp * In this case, the filesystem must still reserve write access 470470decc6SDave Kleikamp * again before modifying the buffer in the new transaction, but 471470decc6SDave Kleikamp * we do not require it to remember exactly which old buffers it 472470decc6SDave Kleikamp * has reserved. This is consistent with the existing behaviour 473f7f4bccbSMingming Cao * that multiple jbd2_journal_get_write_access() calls to the same 474470decc6SDave Kleikamp * buffer are perfectly permissable. 475470decc6SDave Kleikamp */ 476470decc6SDave Kleikamp while (commit_transaction->t_reserved_list) { 477470decc6SDave Kleikamp jh = commit_transaction->t_reserved_list; 478470decc6SDave Kleikamp JBUFFER_TRACE(jh, "reserved, unused: refile"); 479470decc6SDave Kleikamp /* 480f7f4bccbSMingming Cao * A jbd2_journal_get_undo_access()+jbd2_journal_release_buffer() may 481470decc6SDave Kleikamp * leave undo-committed data. 482470decc6SDave Kleikamp */ 483470decc6SDave Kleikamp if (jh->b_committed_data) { 484470decc6SDave Kleikamp struct buffer_head *bh = jh2bh(jh); 485470decc6SDave Kleikamp 486470decc6SDave Kleikamp jbd_lock_bh_state(bh); 487af1e76d6SMingming Cao jbd2_free(jh->b_committed_data, bh->b_size); 488470decc6SDave Kleikamp jh->b_committed_data = NULL; 489470decc6SDave Kleikamp jbd_unlock_bh_state(bh); 490470decc6SDave Kleikamp } 491f7f4bccbSMingming Cao jbd2_journal_refile_buffer(journal, jh); 492470decc6SDave Kleikamp } 493470decc6SDave Kleikamp 494470decc6SDave Kleikamp /* 495470decc6SDave Kleikamp * Now try to drop any written-back buffers from the journal's 496470decc6SDave Kleikamp * checkpoint lists. We do this *before* commit because it potentially 497470decc6SDave Kleikamp * frees some memory 498470decc6SDave Kleikamp */ 499470decc6SDave Kleikamp spin_lock(&journal->j_list_lock); 500f7f4bccbSMingming Cao __jbd2_journal_clean_checkpoint_list(journal); 501470decc6SDave Kleikamp spin_unlock(&journal->j_list_lock); 502470decc6SDave Kleikamp 503470decc6SDave Kleikamp jbd_debug (3, "JBD: commit phase 1\n"); 504470decc6SDave Kleikamp 505470decc6SDave Kleikamp /* 506470decc6SDave Kleikamp * Switch to a new revoke table. 507470decc6SDave Kleikamp */ 508f7f4bccbSMingming Cao jbd2_journal_switch_revoke_table(journal); 509470decc6SDave Kleikamp 5108e85fb3fSJohann Lombardi stats.u.run.rs_flushing = jiffies; 5118e85fb3fSJohann Lombardi stats.u.run.rs_locked = jbd2_time_diff(stats.u.run.rs_locked, 5128e85fb3fSJohann Lombardi stats.u.run.rs_flushing); 5138e85fb3fSJohann Lombardi 514470decc6SDave Kleikamp commit_transaction->t_state = T_FLUSH; 515470decc6SDave Kleikamp journal->j_committing_transaction = commit_transaction; 516470decc6SDave Kleikamp journal->j_running_transaction = NULL; 517470decc6SDave Kleikamp commit_transaction->t_log_start = journal->j_head; 518470decc6SDave Kleikamp wake_up(&journal->j_wait_transaction_locked); 519470decc6SDave Kleikamp spin_unlock(&journal->j_state_lock); 520470decc6SDave Kleikamp 521470decc6SDave Kleikamp jbd_debug (3, "JBD: commit phase 2\n"); 522470decc6SDave Kleikamp 523470decc6SDave Kleikamp /* 524470decc6SDave Kleikamp * Now start flushing things to disk, in the order they appear 525470decc6SDave Kleikamp * on the transaction lists. Data blocks go first. 526470decc6SDave Kleikamp */ 527470decc6SDave Kleikamp err = 0; 528470decc6SDave Kleikamp journal_submit_data_buffers(journal, commit_transaction); 529470decc6SDave Kleikamp 530470decc6SDave Kleikamp /* 531818d276cSGirish Shilamkar * Wait for all previously submitted IO to complete if commit 532818d276cSGirish Shilamkar * record is to be written synchronously. 533470decc6SDave Kleikamp */ 534470decc6SDave Kleikamp spin_lock(&journal->j_list_lock); 535818d276cSGirish Shilamkar if (!JBD2_HAS_INCOMPAT_FEATURE(journal, 536818d276cSGirish Shilamkar JBD2_FEATURE_INCOMPAT_ASYNC_COMMIT)) 537818d276cSGirish Shilamkar err = journal_wait_on_locked_list(journal, 538818d276cSGirish Shilamkar commit_transaction); 539470decc6SDave Kleikamp 540470decc6SDave Kleikamp spin_unlock(&journal->j_list_lock); 541470decc6SDave Kleikamp 542470decc6SDave Kleikamp if (err) 543a7fa2bafSJan Kara jbd2_journal_abort(journal, err); 544470decc6SDave Kleikamp 545f7f4bccbSMingming Cao jbd2_journal_write_revoke_records(journal, commit_transaction); 546470decc6SDave Kleikamp 547470decc6SDave Kleikamp jbd_debug(3, "JBD: commit phase 2\n"); 548470decc6SDave Kleikamp 549470decc6SDave Kleikamp /* 550470decc6SDave Kleikamp * If we found any dirty or locked buffers, then we should have 551470decc6SDave Kleikamp * looped back up to the write_out_data label. If there weren't 552470decc6SDave Kleikamp * any then journal_clean_data_list should have wiped the list 553470decc6SDave Kleikamp * clean by now, so check that it is in fact empty. 554470decc6SDave Kleikamp */ 555470decc6SDave Kleikamp J_ASSERT (commit_transaction->t_sync_datalist == NULL); 556470decc6SDave Kleikamp 557470decc6SDave Kleikamp jbd_debug (3, "JBD: commit phase 3\n"); 558470decc6SDave Kleikamp 559470decc6SDave Kleikamp /* 560470decc6SDave Kleikamp * Way to go: we have now written out all of the data for a 561470decc6SDave Kleikamp * transaction! Now comes the tricky part: we need to write out 562470decc6SDave Kleikamp * metadata. Loop over the transaction's entire buffer list: 563470decc6SDave Kleikamp */ 56402c471cbSMingming Cao spin_lock(&journal->j_state_lock); 565470decc6SDave Kleikamp commit_transaction->t_state = T_COMMIT; 56602c471cbSMingming Cao spin_unlock(&journal->j_state_lock); 567470decc6SDave Kleikamp 5688e85fb3fSJohann Lombardi stats.u.run.rs_logging = jiffies; 5698e85fb3fSJohann Lombardi stats.u.run.rs_flushing = jbd2_time_diff(stats.u.run.rs_flushing, 5708e85fb3fSJohann Lombardi stats.u.run.rs_logging); 5718e85fb3fSJohann Lombardi stats.u.run.rs_blocks = commit_transaction->t_outstanding_credits; 5728e85fb3fSJohann Lombardi stats.u.run.rs_blocks_logged = 0; 5738e85fb3fSJohann Lombardi 5741dfc3220SJosef Bacik J_ASSERT(commit_transaction->t_nr_buffers <= 5751dfc3220SJosef Bacik commit_transaction->t_outstanding_credits); 5761dfc3220SJosef Bacik 577470decc6SDave Kleikamp descriptor = NULL; 578470decc6SDave Kleikamp bufs = 0; 579470decc6SDave Kleikamp while (commit_transaction->t_buffers) { 580470decc6SDave Kleikamp 581470decc6SDave Kleikamp /* Find the next buffer to be journaled... */ 582470decc6SDave Kleikamp 583470decc6SDave Kleikamp jh = commit_transaction->t_buffers; 584470decc6SDave Kleikamp 585470decc6SDave Kleikamp /* If we're in abort mode, we just un-journal the buffer and 586470decc6SDave Kleikamp release it for background writing. */ 587470decc6SDave Kleikamp 588470decc6SDave Kleikamp if (is_journal_aborted(journal)) { 589470decc6SDave Kleikamp JBUFFER_TRACE(jh, "journal is aborting: refile"); 590f7f4bccbSMingming Cao jbd2_journal_refile_buffer(journal, jh); 591470decc6SDave Kleikamp /* If that was the last one, we need to clean up 592470decc6SDave Kleikamp * any descriptor buffers which may have been 593470decc6SDave Kleikamp * already allocated, even if we are now 594470decc6SDave Kleikamp * aborting. */ 595470decc6SDave Kleikamp if (!commit_transaction->t_buffers) 596470decc6SDave Kleikamp goto start_journal_io; 597470decc6SDave Kleikamp continue; 598470decc6SDave Kleikamp } 599470decc6SDave Kleikamp 600470decc6SDave Kleikamp /* Make sure we have a descriptor block in which to 601470decc6SDave Kleikamp record the metadata buffer. */ 602470decc6SDave Kleikamp 603470decc6SDave Kleikamp if (!descriptor) { 604470decc6SDave Kleikamp struct buffer_head *bh; 605470decc6SDave Kleikamp 606470decc6SDave Kleikamp J_ASSERT (bufs == 0); 607470decc6SDave Kleikamp 608470decc6SDave Kleikamp jbd_debug(4, "JBD: get descriptor\n"); 609470decc6SDave Kleikamp 610f7f4bccbSMingming Cao descriptor = jbd2_journal_get_descriptor_buffer(journal); 611470decc6SDave Kleikamp if (!descriptor) { 612a7fa2bafSJan Kara jbd2_journal_abort(journal, -EIO); 613470decc6SDave Kleikamp continue; 614470decc6SDave Kleikamp } 615470decc6SDave Kleikamp 616470decc6SDave Kleikamp bh = jh2bh(descriptor); 617470decc6SDave Kleikamp jbd_debug(4, "JBD: got buffer %llu (%p)\n", 618470decc6SDave Kleikamp (unsigned long long)bh->b_blocknr, bh->b_data); 619470decc6SDave Kleikamp header = (journal_header_t *)&bh->b_data[0]; 620f7f4bccbSMingming Cao header->h_magic = cpu_to_be32(JBD2_MAGIC_NUMBER); 621f7f4bccbSMingming Cao header->h_blocktype = cpu_to_be32(JBD2_DESCRIPTOR_BLOCK); 622470decc6SDave Kleikamp header->h_sequence = cpu_to_be32(commit_transaction->t_tid); 623470decc6SDave Kleikamp 624470decc6SDave Kleikamp tagp = &bh->b_data[sizeof(journal_header_t)]; 625470decc6SDave Kleikamp space_left = bh->b_size - sizeof(journal_header_t); 626470decc6SDave Kleikamp first_tag = 1; 627470decc6SDave Kleikamp set_buffer_jwrite(bh); 628470decc6SDave Kleikamp set_buffer_dirty(bh); 629470decc6SDave Kleikamp wbuf[bufs++] = bh; 630470decc6SDave Kleikamp 631470decc6SDave Kleikamp /* Record it so that we can wait for IO 632470decc6SDave Kleikamp completion later */ 633470decc6SDave Kleikamp BUFFER_TRACE(bh, "ph3: file as descriptor"); 634f7f4bccbSMingming Cao jbd2_journal_file_buffer(descriptor, commit_transaction, 635470decc6SDave Kleikamp BJ_LogCtl); 636470decc6SDave Kleikamp } 637470decc6SDave Kleikamp 638470decc6SDave Kleikamp /* Where is the buffer to be written? */ 639470decc6SDave Kleikamp 640f7f4bccbSMingming Cao err = jbd2_journal_next_log_block(journal, &blocknr); 641470decc6SDave Kleikamp /* If the block mapping failed, just abandon the buffer 642470decc6SDave Kleikamp and repeat this loop: we'll fall into the 643470decc6SDave Kleikamp refile-on-abort condition above. */ 644470decc6SDave Kleikamp if (err) { 645a7fa2bafSJan Kara jbd2_journal_abort(journal, err); 646470decc6SDave Kleikamp continue; 647470decc6SDave Kleikamp } 648470decc6SDave Kleikamp 649470decc6SDave Kleikamp /* 650470decc6SDave Kleikamp * start_this_handle() uses t_outstanding_credits to determine 651470decc6SDave Kleikamp * the free space in the log, but this counter is changed 652f7f4bccbSMingming Cao * by jbd2_journal_next_log_block() also. 653470decc6SDave Kleikamp */ 654470decc6SDave Kleikamp commit_transaction->t_outstanding_credits--; 655470decc6SDave Kleikamp 656470decc6SDave Kleikamp /* Bump b_count to prevent truncate from stumbling over 657470decc6SDave Kleikamp the shadowed buffer! @@@ This can go if we ever get 658470decc6SDave Kleikamp rid of the BJ_IO/BJ_Shadow pairing of buffers. */ 659470decc6SDave Kleikamp atomic_inc(&jh2bh(jh)->b_count); 660470decc6SDave Kleikamp 661470decc6SDave Kleikamp /* Make a temporary IO buffer with which to write it out 662470decc6SDave Kleikamp (this will requeue both the metadata buffer and the 663470decc6SDave Kleikamp temporary IO buffer). new_bh goes on BJ_IO*/ 664470decc6SDave Kleikamp 665470decc6SDave Kleikamp set_bit(BH_JWrite, &jh2bh(jh)->b_state); 666470decc6SDave Kleikamp /* 667f7f4bccbSMingming Cao * akpm: jbd2_journal_write_metadata_buffer() sets 668470decc6SDave Kleikamp * new_bh->b_transaction to commit_transaction. 669470decc6SDave Kleikamp * We need to clean this up before we release new_bh 670470decc6SDave Kleikamp * (which is of type BJ_IO) 671470decc6SDave Kleikamp */ 672470decc6SDave Kleikamp JBUFFER_TRACE(jh, "ph3: write metadata"); 673f7f4bccbSMingming Cao flags = jbd2_journal_write_metadata_buffer(commit_transaction, 674470decc6SDave Kleikamp jh, &new_jh, blocknr); 675470decc6SDave Kleikamp set_bit(BH_JWrite, &jh2bh(new_jh)->b_state); 676470decc6SDave Kleikamp wbuf[bufs++] = jh2bh(new_jh); 677470decc6SDave Kleikamp 678470decc6SDave Kleikamp /* Record the new block's tag in the current descriptor 679470decc6SDave Kleikamp buffer */ 680470decc6SDave Kleikamp 681470decc6SDave Kleikamp tag_flag = 0; 682470decc6SDave Kleikamp if (flags & 1) 683f7f4bccbSMingming Cao tag_flag |= JBD2_FLAG_ESCAPE; 684470decc6SDave Kleikamp if (!first_tag) 685f7f4bccbSMingming Cao tag_flag |= JBD2_FLAG_SAME_UUID; 686470decc6SDave Kleikamp 687470decc6SDave Kleikamp tag = (journal_block_tag_t *) tagp; 688b517bea1SZach Brown write_tag_block(tag_bytes, tag, jh2bh(jh)->b_blocknr); 689470decc6SDave Kleikamp tag->t_flags = cpu_to_be32(tag_flag); 690b517bea1SZach Brown tagp += tag_bytes; 691b517bea1SZach Brown space_left -= tag_bytes; 692470decc6SDave Kleikamp 693470decc6SDave Kleikamp if (first_tag) { 694470decc6SDave Kleikamp memcpy (tagp, journal->j_uuid, 16); 695470decc6SDave Kleikamp tagp += 16; 696470decc6SDave Kleikamp space_left -= 16; 697470decc6SDave Kleikamp first_tag = 0; 698470decc6SDave Kleikamp } 699470decc6SDave Kleikamp 700470decc6SDave Kleikamp /* If there's no more to do, or if the descriptor is full, 701470decc6SDave Kleikamp let the IO rip! */ 702470decc6SDave Kleikamp 703470decc6SDave Kleikamp if (bufs == journal->j_wbufsize || 704470decc6SDave Kleikamp commit_transaction->t_buffers == NULL || 705b517bea1SZach Brown space_left < tag_bytes + 16) { 706470decc6SDave Kleikamp 707470decc6SDave Kleikamp jbd_debug(4, "JBD: Submit %d IOs\n", bufs); 708470decc6SDave Kleikamp 709470decc6SDave Kleikamp /* Write an end-of-descriptor marker before 710470decc6SDave Kleikamp submitting the IOs. "tag" still points to 711470decc6SDave Kleikamp the last tag we set up. */ 712470decc6SDave Kleikamp 713f7f4bccbSMingming Cao tag->t_flags |= cpu_to_be32(JBD2_FLAG_LAST_TAG); 714470decc6SDave Kleikamp 715470decc6SDave Kleikamp start_journal_io: 716470decc6SDave Kleikamp for (i = 0; i < bufs; i++) { 717470decc6SDave Kleikamp struct buffer_head *bh = wbuf[i]; 718818d276cSGirish Shilamkar /* 719818d276cSGirish Shilamkar * Compute checksum. 720818d276cSGirish Shilamkar */ 721818d276cSGirish Shilamkar if (JBD2_HAS_COMPAT_FEATURE(journal, 722818d276cSGirish Shilamkar JBD2_FEATURE_COMPAT_CHECKSUM)) { 723818d276cSGirish Shilamkar crc32_sum = 724818d276cSGirish Shilamkar jbd2_checksum_data(crc32_sum, bh); 725818d276cSGirish Shilamkar } 726818d276cSGirish Shilamkar 727470decc6SDave Kleikamp lock_buffer(bh); 728470decc6SDave Kleikamp clear_buffer_dirty(bh); 729470decc6SDave Kleikamp set_buffer_uptodate(bh); 730470decc6SDave Kleikamp bh->b_end_io = journal_end_buffer_io_sync; 731470decc6SDave Kleikamp submit_bh(WRITE, bh); 732470decc6SDave Kleikamp } 733470decc6SDave Kleikamp cond_resched(); 7348e85fb3fSJohann Lombardi stats.u.run.rs_blocks_logged += bufs; 735470decc6SDave Kleikamp 736470decc6SDave Kleikamp /* Force a new descriptor to be generated next 737470decc6SDave Kleikamp time round the loop. */ 738470decc6SDave Kleikamp descriptor = NULL; 739470decc6SDave Kleikamp bufs = 0; 740470decc6SDave Kleikamp } 741470decc6SDave Kleikamp } 742470decc6SDave Kleikamp 743818d276cSGirish Shilamkar /* Done it all: now write the commit record asynchronously. */ 744818d276cSGirish Shilamkar 745818d276cSGirish Shilamkar if (JBD2_HAS_INCOMPAT_FEATURE(journal, 746818d276cSGirish Shilamkar JBD2_FEATURE_INCOMPAT_ASYNC_COMMIT)) { 747818d276cSGirish Shilamkar err = journal_submit_commit_record(journal, commit_transaction, 748818d276cSGirish Shilamkar &cbh, crc32_sum); 749818d276cSGirish Shilamkar if (err) 750818d276cSGirish Shilamkar __jbd2_journal_abort_hard(journal); 751818d276cSGirish Shilamkar 752818d276cSGirish Shilamkar spin_lock(&journal->j_list_lock); 753818d276cSGirish Shilamkar err = journal_wait_on_locked_list(journal, 754818d276cSGirish Shilamkar commit_transaction); 755818d276cSGirish Shilamkar spin_unlock(&journal->j_list_lock); 756818d276cSGirish Shilamkar if (err) 757818d276cSGirish Shilamkar __jbd2_journal_abort_hard(journal); 758818d276cSGirish Shilamkar } 759818d276cSGirish Shilamkar 760470decc6SDave Kleikamp /* Lo and behold: we have just managed to send a transaction to 761470decc6SDave Kleikamp the log. Before we can commit it, wait for the IO so far to 762470decc6SDave Kleikamp complete. Control buffers being written are on the 763470decc6SDave Kleikamp transaction's t_log_list queue, and metadata buffers are on 764470decc6SDave Kleikamp the t_iobuf_list queue. 765470decc6SDave Kleikamp 766470decc6SDave Kleikamp Wait for the buffers in reverse order. That way we are 767470decc6SDave Kleikamp less likely to be woken up until all IOs have completed, and 768470decc6SDave Kleikamp so we incur less scheduling load. 769470decc6SDave Kleikamp */ 770470decc6SDave Kleikamp 771470decc6SDave Kleikamp jbd_debug(3, "JBD: commit phase 4\n"); 772470decc6SDave Kleikamp 773470decc6SDave Kleikamp /* 774470decc6SDave Kleikamp * akpm: these are BJ_IO, and j_list_lock is not needed. 775470decc6SDave Kleikamp * See __journal_try_to_free_buffer. 776470decc6SDave Kleikamp */ 777470decc6SDave Kleikamp wait_for_iobuf: 778470decc6SDave Kleikamp while (commit_transaction->t_iobuf_list != NULL) { 779470decc6SDave Kleikamp struct buffer_head *bh; 780470decc6SDave Kleikamp 781470decc6SDave Kleikamp jh = commit_transaction->t_iobuf_list->b_tprev; 782470decc6SDave Kleikamp bh = jh2bh(jh); 783470decc6SDave Kleikamp if (buffer_locked(bh)) { 784470decc6SDave Kleikamp wait_on_buffer(bh); 785470decc6SDave Kleikamp goto wait_for_iobuf; 786470decc6SDave Kleikamp } 787470decc6SDave Kleikamp if (cond_resched()) 788470decc6SDave Kleikamp goto wait_for_iobuf; 789470decc6SDave Kleikamp 790470decc6SDave Kleikamp if (unlikely(!buffer_uptodate(bh))) 791470decc6SDave Kleikamp err = -EIO; 792470decc6SDave Kleikamp 793470decc6SDave Kleikamp clear_buffer_jwrite(bh); 794470decc6SDave Kleikamp 795470decc6SDave Kleikamp JBUFFER_TRACE(jh, "ph4: unfile after journal write"); 796f7f4bccbSMingming Cao jbd2_journal_unfile_buffer(journal, jh); 797470decc6SDave Kleikamp 798470decc6SDave Kleikamp /* 799470decc6SDave Kleikamp * ->t_iobuf_list should contain only dummy buffer_heads 800f7f4bccbSMingming Cao * which were created by jbd2_journal_write_metadata_buffer(). 801470decc6SDave Kleikamp */ 802470decc6SDave Kleikamp BUFFER_TRACE(bh, "dumping temporary bh"); 803f7f4bccbSMingming Cao jbd2_journal_put_journal_head(jh); 804470decc6SDave Kleikamp __brelse(bh); 805470decc6SDave Kleikamp J_ASSERT_BH(bh, atomic_read(&bh->b_count) == 0); 806470decc6SDave Kleikamp free_buffer_head(bh); 807470decc6SDave Kleikamp 808470decc6SDave Kleikamp /* We also have to unlock and free the corresponding 809470decc6SDave Kleikamp shadowed buffer */ 810470decc6SDave Kleikamp jh = commit_transaction->t_shadow_list->b_tprev; 811470decc6SDave Kleikamp bh = jh2bh(jh); 812470decc6SDave Kleikamp clear_bit(BH_JWrite, &bh->b_state); 813470decc6SDave Kleikamp J_ASSERT_BH(bh, buffer_jbddirty(bh)); 814470decc6SDave Kleikamp 815470decc6SDave Kleikamp /* The metadata is now released for reuse, but we need 816470decc6SDave Kleikamp to remember it against this transaction so that when 817470decc6SDave Kleikamp we finally commit, we can do any checkpointing 818470decc6SDave Kleikamp required. */ 819470decc6SDave Kleikamp JBUFFER_TRACE(jh, "file as BJ_Forget"); 820f7f4bccbSMingming Cao jbd2_journal_file_buffer(jh, commit_transaction, BJ_Forget); 821470decc6SDave Kleikamp /* Wake up any transactions which were waiting for this 822470decc6SDave Kleikamp IO to complete */ 823470decc6SDave Kleikamp wake_up_bit(&bh->b_state, BH_Unshadow); 824470decc6SDave Kleikamp JBUFFER_TRACE(jh, "brelse shadowed buffer"); 825470decc6SDave Kleikamp __brelse(bh); 826470decc6SDave Kleikamp } 827470decc6SDave Kleikamp 828470decc6SDave Kleikamp J_ASSERT (commit_transaction->t_shadow_list == NULL); 829470decc6SDave Kleikamp 830470decc6SDave Kleikamp jbd_debug(3, "JBD: commit phase 5\n"); 831470decc6SDave Kleikamp 832470decc6SDave Kleikamp /* Here we wait for the revoke record and descriptor record buffers */ 833470decc6SDave Kleikamp wait_for_ctlbuf: 834470decc6SDave Kleikamp while (commit_transaction->t_log_list != NULL) { 835470decc6SDave Kleikamp struct buffer_head *bh; 836470decc6SDave Kleikamp 837470decc6SDave Kleikamp jh = commit_transaction->t_log_list->b_tprev; 838470decc6SDave Kleikamp bh = jh2bh(jh); 839470decc6SDave Kleikamp if (buffer_locked(bh)) { 840470decc6SDave Kleikamp wait_on_buffer(bh); 841470decc6SDave Kleikamp goto wait_for_ctlbuf; 842470decc6SDave Kleikamp } 843470decc6SDave Kleikamp if (cond_resched()) 844470decc6SDave Kleikamp goto wait_for_ctlbuf; 845470decc6SDave Kleikamp 846470decc6SDave Kleikamp if (unlikely(!buffer_uptodate(bh))) 847470decc6SDave Kleikamp err = -EIO; 848470decc6SDave Kleikamp 849470decc6SDave Kleikamp BUFFER_TRACE(bh, "ph5: control buffer writeout done: unfile"); 850470decc6SDave Kleikamp clear_buffer_jwrite(bh); 851f7f4bccbSMingming Cao jbd2_journal_unfile_buffer(journal, jh); 852f7f4bccbSMingming Cao jbd2_journal_put_journal_head(jh); 853470decc6SDave Kleikamp __brelse(bh); /* One for getblk */ 854470decc6SDave Kleikamp /* AKPM: bforget here */ 855470decc6SDave Kleikamp } 856470decc6SDave Kleikamp 857470decc6SDave Kleikamp jbd_debug(3, "JBD: commit phase 6\n"); 858470decc6SDave Kleikamp 859818d276cSGirish Shilamkar if (!JBD2_HAS_INCOMPAT_FEATURE(journal, 860818d276cSGirish Shilamkar JBD2_FEATURE_INCOMPAT_ASYNC_COMMIT)) { 861818d276cSGirish Shilamkar err = journal_submit_commit_record(journal, commit_transaction, 862818d276cSGirish Shilamkar &cbh, crc32_sum); 863818d276cSGirish Shilamkar if (err) 864818d276cSGirish Shilamkar __jbd2_journal_abort_hard(journal); 865818d276cSGirish Shilamkar } 866b048d846SMingming Cao if (!err && !is_journal_aborted(journal)) 867818d276cSGirish Shilamkar err = journal_wait_on_commit_record(cbh); 868470decc6SDave Kleikamp 869470decc6SDave Kleikamp if (err) 870a7fa2bafSJan Kara jbd2_journal_abort(journal, err); 871470decc6SDave Kleikamp 872470decc6SDave Kleikamp /* End of a transaction! Finally, we can do checkpoint 873470decc6SDave Kleikamp processing: any buffers committed as a result of this 874470decc6SDave Kleikamp transaction can be removed from any checkpoint list it was on 875470decc6SDave Kleikamp before. */ 876470decc6SDave Kleikamp 877470decc6SDave Kleikamp jbd_debug(3, "JBD: commit phase 7\n"); 878470decc6SDave Kleikamp 879470decc6SDave Kleikamp J_ASSERT(commit_transaction->t_sync_datalist == NULL); 880470decc6SDave Kleikamp J_ASSERT(commit_transaction->t_buffers == NULL); 881470decc6SDave Kleikamp J_ASSERT(commit_transaction->t_checkpoint_list == NULL); 882470decc6SDave Kleikamp J_ASSERT(commit_transaction->t_iobuf_list == NULL); 883470decc6SDave Kleikamp J_ASSERT(commit_transaction->t_shadow_list == NULL); 884470decc6SDave Kleikamp J_ASSERT(commit_transaction->t_log_list == NULL); 885470decc6SDave Kleikamp 886470decc6SDave Kleikamp restart_loop: 887470decc6SDave Kleikamp /* 888470decc6SDave Kleikamp * As there are other places (journal_unmap_buffer()) adding buffers 889470decc6SDave Kleikamp * to this list we have to be careful and hold the j_list_lock. 890470decc6SDave Kleikamp */ 891470decc6SDave Kleikamp spin_lock(&journal->j_list_lock); 892470decc6SDave Kleikamp while (commit_transaction->t_forget) { 893470decc6SDave Kleikamp transaction_t *cp_transaction; 894470decc6SDave Kleikamp struct buffer_head *bh; 895470decc6SDave Kleikamp 896470decc6SDave Kleikamp jh = commit_transaction->t_forget; 897470decc6SDave Kleikamp spin_unlock(&journal->j_list_lock); 898470decc6SDave Kleikamp bh = jh2bh(jh); 899470decc6SDave Kleikamp jbd_lock_bh_state(bh); 900470decc6SDave Kleikamp J_ASSERT_JH(jh, jh->b_transaction == commit_transaction || 901470decc6SDave Kleikamp jh->b_transaction == journal->j_running_transaction); 902470decc6SDave Kleikamp 903470decc6SDave Kleikamp /* 904470decc6SDave Kleikamp * If there is undo-protected committed data against 905470decc6SDave Kleikamp * this buffer, then we can remove it now. If it is a 906470decc6SDave Kleikamp * buffer needing such protection, the old frozen_data 907470decc6SDave Kleikamp * field now points to a committed version of the 908470decc6SDave Kleikamp * buffer, so rotate that field to the new committed 909470decc6SDave Kleikamp * data. 910470decc6SDave Kleikamp * 911470decc6SDave Kleikamp * Otherwise, we can just throw away the frozen data now. 912470decc6SDave Kleikamp */ 913470decc6SDave Kleikamp if (jh->b_committed_data) { 914af1e76d6SMingming Cao jbd2_free(jh->b_committed_data, bh->b_size); 915470decc6SDave Kleikamp jh->b_committed_data = NULL; 916470decc6SDave Kleikamp if (jh->b_frozen_data) { 917470decc6SDave Kleikamp jh->b_committed_data = jh->b_frozen_data; 918470decc6SDave Kleikamp jh->b_frozen_data = NULL; 919470decc6SDave Kleikamp } 920470decc6SDave Kleikamp } else if (jh->b_frozen_data) { 921af1e76d6SMingming Cao jbd2_free(jh->b_frozen_data, bh->b_size); 922470decc6SDave Kleikamp jh->b_frozen_data = NULL; 923470decc6SDave Kleikamp } 924470decc6SDave Kleikamp 925470decc6SDave Kleikamp spin_lock(&journal->j_list_lock); 926470decc6SDave Kleikamp cp_transaction = jh->b_cp_transaction; 927470decc6SDave Kleikamp if (cp_transaction) { 928470decc6SDave Kleikamp JBUFFER_TRACE(jh, "remove from old cp transaction"); 9298e85fb3fSJohann Lombardi cp_transaction->t_chp_stats.cs_dropped++; 930f7f4bccbSMingming Cao __jbd2_journal_remove_checkpoint(jh); 931470decc6SDave Kleikamp } 932470decc6SDave Kleikamp 933470decc6SDave Kleikamp /* Only re-checkpoint the buffer_head if it is marked 934470decc6SDave Kleikamp * dirty. If the buffer was added to the BJ_Forget list 935f7f4bccbSMingming Cao * by jbd2_journal_forget, it may no longer be dirty and 936470decc6SDave Kleikamp * there's no point in keeping a checkpoint record for 937470decc6SDave Kleikamp * it. */ 938470decc6SDave Kleikamp 939470decc6SDave Kleikamp /* A buffer which has been freed while still being 940470decc6SDave Kleikamp * journaled by a previous transaction may end up still 941470decc6SDave Kleikamp * being dirty here, but we want to avoid writing back 942470decc6SDave Kleikamp * that buffer in the future now that the last use has 943470decc6SDave Kleikamp * been committed. That's not only a performance gain, 944470decc6SDave Kleikamp * it also stops aliasing problems if the buffer is left 945470decc6SDave Kleikamp * behind for writeback and gets reallocated for another 946470decc6SDave Kleikamp * use in a different page. */ 947470decc6SDave Kleikamp if (buffer_freed(bh)) { 948470decc6SDave Kleikamp clear_buffer_freed(bh); 949470decc6SDave Kleikamp clear_buffer_jbddirty(bh); 950470decc6SDave Kleikamp } 951470decc6SDave Kleikamp 952470decc6SDave Kleikamp if (buffer_jbddirty(bh)) { 953470decc6SDave Kleikamp JBUFFER_TRACE(jh, "add to new checkpointing trans"); 954f7f4bccbSMingming Cao __jbd2_journal_insert_checkpoint(jh, commit_transaction); 955470decc6SDave Kleikamp JBUFFER_TRACE(jh, "refile for checkpoint writeback"); 956f7f4bccbSMingming Cao __jbd2_journal_refile_buffer(jh); 957470decc6SDave Kleikamp jbd_unlock_bh_state(bh); 958470decc6SDave Kleikamp } else { 959470decc6SDave Kleikamp J_ASSERT_BH(bh, !buffer_dirty(bh)); 960470decc6SDave Kleikamp /* The buffer on BJ_Forget list and not jbddirty means 961470decc6SDave Kleikamp * it has been freed by this transaction and hence it 962470decc6SDave Kleikamp * could not have been reallocated until this 963470decc6SDave Kleikamp * transaction has committed. *BUT* it could be 964470decc6SDave Kleikamp * reallocated once we have written all the data to 965470decc6SDave Kleikamp * disk and before we process the buffer on BJ_Forget 966470decc6SDave Kleikamp * list. */ 967470decc6SDave Kleikamp JBUFFER_TRACE(jh, "refile or unfile freed buffer"); 968f7f4bccbSMingming Cao __jbd2_journal_refile_buffer(jh); 969470decc6SDave Kleikamp if (!jh->b_transaction) { 970470decc6SDave Kleikamp jbd_unlock_bh_state(bh); 971470decc6SDave Kleikamp /* needs a brelse */ 972f7f4bccbSMingming Cao jbd2_journal_remove_journal_head(bh); 973470decc6SDave Kleikamp release_buffer_page(bh); 974470decc6SDave Kleikamp } else 975470decc6SDave Kleikamp jbd_unlock_bh_state(bh); 976470decc6SDave Kleikamp } 977470decc6SDave Kleikamp cond_resched_lock(&journal->j_list_lock); 978470decc6SDave Kleikamp } 979470decc6SDave Kleikamp spin_unlock(&journal->j_list_lock); 980470decc6SDave Kleikamp /* 981f5a7a6b0SJan Kara * This is a bit sleazy. We use j_list_lock to protect transition 982f5a7a6b0SJan Kara * of a transaction into T_FINISHED state and calling 983f5a7a6b0SJan Kara * __jbd2_journal_drop_transaction(). Otherwise we could race with 984f5a7a6b0SJan Kara * other checkpointing code processing the transaction... 985470decc6SDave Kleikamp */ 986470decc6SDave Kleikamp spin_lock(&journal->j_state_lock); 987470decc6SDave Kleikamp spin_lock(&journal->j_list_lock); 988470decc6SDave Kleikamp /* 989470decc6SDave Kleikamp * Now recheck if some buffers did not get attached to the transaction 990470decc6SDave Kleikamp * while the lock was dropped... 991470decc6SDave Kleikamp */ 992470decc6SDave Kleikamp if (commit_transaction->t_forget) { 993470decc6SDave Kleikamp spin_unlock(&journal->j_list_lock); 994470decc6SDave Kleikamp spin_unlock(&journal->j_state_lock); 995470decc6SDave Kleikamp goto restart_loop; 996470decc6SDave Kleikamp } 997470decc6SDave Kleikamp 998470decc6SDave Kleikamp /* Done with this transaction! */ 999470decc6SDave Kleikamp 1000470decc6SDave Kleikamp jbd_debug(3, "JBD: commit phase 8\n"); 1001470decc6SDave Kleikamp 1002470decc6SDave Kleikamp J_ASSERT(commit_transaction->t_state == T_COMMIT); 1003470decc6SDave Kleikamp 10048e85fb3fSJohann Lombardi commit_transaction->t_start = jiffies; 10058e85fb3fSJohann Lombardi stats.u.run.rs_logging = jbd2_time_diff(stats.u.run.rs_logging, 10068e85fb3fSJohann Lombardi commit_transaction->t_start); 10078e85fb3fSJohann Lombardi 10088e85fb3fSJohann Lombardi /* 10098e85fb3fSJohann Lombardi * File the transaction for history 10108e85fb3fSJohann Lombardi */ 10118e85fb3fSJohann Lombardi stats.ts_type = JBD2_STATS_RUN; 10128e85fb3fSJohann Lombardi stats.ts_tid = commit_transaction->t_tid; 10138e85fb3fSJohann Lombardi stats.u.run.rs_handle_count = commit_transaction->t_handle_count; 10148e85fb3fSJohann Lombardi spin_lock(&journal->j_history_lock); 10158e85fb3fSJohann Lombardi memcpy(journal->j_history + journal->j_history_cur, &stats, 10168e85fb3fSJohann Lombardi sizeof(stats)); 10178e85fb3fSJohann Lombardi if (++journal->j_history_cur == journal->j_history_max) 10188e85fb3fSJohann Lombardi journal->j_history_cur = 0; 10198e85fb3fSJohann Lombardi 10208e85fb3fSJohann Lombardi /* 10218e85fb3fSJohann Lombardi * Calculate overall stats 10228e85fb3fSJohann Lombardi */ 10238e85fb3fSJohann Lombardi journal->j_stats.ts_tid++; 10248e85fb3fSJohann Lombardi journal->j_stats.u.run.rs_wait += stats.u.run.rs_wait; 10258e85fb3fSJohann Lombardi journal->j_stats.u.run.rs_running += stats.u.run.rs_running; 10268e85fb3fSJohann Lombardi journal->j_stats.u.run.rs_locked += stats.u.run.rs_locked; 10278e85fb3fSJohann Lombardi journal->j_stats.u.run.rs_flushing += stats.u.run.rs_flushing; 10288e85fb3fSJohann Lombardi journal->j_stats.u.run.rs_logging += stats.u.run.rs_logging; 10298e85fb3fSJohann Lombardi journal->j_stats.u.run.rs_handle_count += stats.u.run.rs_handle_count; 10308e85fb3fSJohann Lombardi journal->j_stats.u.run.rs_blocks += stats.u.run.rs_blocks; 10318e85fb3fSJohann Lombardi journal->j_stats.u.run.rs_blocks_logged += stats.u.run.rs_blocks_logged; 10328e85fb3fSJohann Lombardi spin_unlock(&journal->j_history_lock); 10338e85fb3fSJohann Lombardi 1034470decc6SDave Kleikamp commit_transaction->t_state = T_FINISHED; 1035470decc6SDave Kleikamp J_ASSERT(commit_transaction == journal->j_committing_transaction); 1036470decc6SDave Kleikamp journal->j_commit_sequence = commit_transaction->t_tid; 1037470decc6SDave Kleikamp journal->j_committing_transaction = NULL; 1038470decc6SDave Kleikamp spin_unlock(&journal->j_state_lock); 1039470decc6SDave Kleikamp 1040f89b7795SJan Kara if (commit_transaction->t_checkpoint_list == NULL && 1041f89b7795SJan Kara commit_transaction->t_checkpoint_io_list == NULL) { 1042f7f4bccbSMingming Cao __jbd2_journal_drop_transaction(journal, commit_transaction); 1043470decc6SDave Kleikamp } else { 1044470decc6SDave Kleikamp if (journal->j_checkpoint_transactions == NULL) { 1045470decc6SDave Kleikamp journal->j_checkpoint_transactions = commit_transaction; 1046470decc6SDave Kleikamp commit_transaction->t_cpnext = commit_transaction; 1047470decc6SDave Kleikamp commit_transaction->t_cpprev = commit_transaction; 1048470decc6SDave Kleikamp } else { 1049470decc6SDave Kleikamp commit_transaction->t_cpnext = 1050470decc6SDave Kleikamp journal->j_checkpoint_transactions; 1051470decc6SDave Kleikamp commit_transaction->t_cpprev = 1052470decc6SDave Kleikamp commit_transaction->t_cpnext->t_cpprev; 1053470decc6SDave Kleikamp commit_transaction->t_cpnext->t_cpprev = 1054470decc6SDave Kleikamp commit_transaction; 1055470decc6SDave Kleikamp commit_transaction->t_cpprev->t_cpnext = 1056470decc6SDave Kleikamp commit_transaction; 1057470decc6SDave Kleikamp } 1058470decc6SDave Kleikamp } 1059470decc6SDave Kleikamp spin_unlock(&journal->j_list_lock); 1060470decc6SDave Kleikamp 1061470decc6SDave Kleikamp jbd_debug(1, "JBD: commit %d complete, head %d\n", 1062470decc6SDave Kleikamp journal->j_commit_sequence, journal->j_tail_sequence); 1063470decc6SDave Kleikamp 1064470decc6SDave Kleikamp wake_up(&journal->j_wait_done_commit); 1065470decc6SDave Kleikamp } 1066