1470decc6SDave Kleikamp /* 258862699SUwe Kleine-König * linux/fs/jbd2/recovery.c 3470decc6SDave Kleikamp * 4470decc6SDave Kleikamp * Written by Stephen C. Tweedie <sct@redhat.com>, 1999 5470decc6SDave Kleikamp * 6470decc6SDave Kleikamp * Copyright 1999-2000 Red Hat Software --- 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 recovery routines for the generic filesystem journaling code; 13470decc6SDave Kleikamp * part of the ext2fs journaling system. 14470decc6SDave Kleikamp */ 15470decc6SDave Kleikamp 16470decc6SDave Kleikamp #ifndef __KERNEL__ 17470decc6SDave Kleikamp #include "jfs_user.h" 18470decc6SDave Kleikamp #else 19470decc6SDave Kleikamp #include <linux/time.h> 20470decc6SDave Kleikamp #include <linux/fs.h> 21f7f4bccbSMingming Cao #include <linux/jbd2.h> 22470decc6SDave Kleikamp #include <linux/errno.h> 23470decc6SDave Kleikamp #include <linux/slab.h> 24818d276cSGirish Shilamkar #include <linux/crc32.h> 25470decc6SDave Kleikamp #endif 26470decc6SDave Kleikamp 27470decc6SDave Kleikamp /* 28470decc6SDave Kleikamp * Maintain information about the progress of the recovery job, so that 29470decc6SDave Kleikamp * the different passes can carry information between them. 30470decc6SDave Kleikamp */ 31470decc6SDave Kleikamp struct recovery_info 32470decc6SDave Kleikamp { 33470decc6SDave Kleikamp tid_t start_transaction; 34470decc6SDave Kleikamp tid_t end_transaction; 35470decc6SDave Kleikamp 36470decc6SDave Kleikamp int nr_replays; 37470decc6SDave Kleikamp int nr_revokes; 38470decc6SDave Kleikamp int nr_revoke_hits; 39470decc6SDave Kleikamp }; 40470decc6SDave Kleikamp 41470decc6SDave Kleikamp enum passtype {PASS_SCAN, PASS_REVOKE, PASS_REPLAY}; 42470decc6SDave Kleikamp static int do_one_pass(journal_t *journal, 43470decc6SDave Kleikamp struct recovery_info *info, enum passtype pass); 44470decc6SDave Kleikamp static int scan_revoke_records(journal_t *, struct buffer_head *, 45470decc6SDave Kleikamp tid_t, struct recovery_info *); 46470decc6SDave Kleikamp 47470decc6SDave Kleikamp #ifdef __KERNEL__ 48470decc6SDave Kleikamp 49470decc6SDave Kleikamp /* Release readahead buffers after use */ 50470decc6SDave Kleikamp static void journal_brelse_array(struct buffer_head *b[], int n) 51470decc6SDave Kleikamp { 52470decc6SDave Kleikamp while (--n >= 0) 53470decc6SDave Kleikamp brelse (b[n]); 54470decc6SDave Kleikamp } 55470decc6SDave Kleikamp 56470decc6SDave Kleikamp 57470decc6SDave Kleikamp /* 58470decc6SDave Kleikamp * When reading from the journal, we are going through the block device 59470decc6SDave Kleikamp * layer directly and so there is no readahead being done for us. We 60470decc6SDave Kleikamp * need to implement any readahead ourselves if we want it to happen at 61470decc6SDave Kleikamp * all. Recovery is basically one long sequential read, so make sure we 62470decc6SDave Kleikamp * do the IO in reasonably large chunks. 63470decc6SDave Kleikamp * 64470decc6SDave Kleikamp * This is not so critical that we need to be enormously clever about 65470decc6SDave Kleikamp * the readahead size, though. 128K is a purely arbitrary, good-enough 66470decc6SDave Kleikamp * fixed value. 67470decc6SDave Kleikamp */ 68470decc6SDave Kleikamp 69470decc6SDave Kleikamp #define MAXBUF 8 70470decc6SDave Kleikamp static int do_readahead(journal_t *journal, unsigned int start) 71470decc6SDave Kleikamp { 72470decc6SDave Kleikamp int err; 73470decc6SDave Kleikamp unsigned int max, nbufs, next; 7418eba7aaSMingming Cao unsigned long long blocknr; 75470decc6SDave Kleikamp struct buffer_head *bh; 76470decc6SDave Kleikamp 77470decc6SDave Kleikamp struct buffer_head * bufs[MAXBUF]; 78470decc6SDave Kleikamp 79470decc6SDave Kleikamp /* Do up to 128K of readahead */ 80470decc6SDave Kleikamp max = start + (128 * 1024 / journal->j_blocksize); 81470decc6SDave Kleikamp if (max > journal->j_maxlen) 82470decc6SDave Kleikamp max = journal->j_maxlen; 83470decc6SDave Kleikamp 84470decc6SDave Kleikamp /* Do the readahead itself. We'll submit MAXBUF buffer_heads at 85470decc6SDave Kleikamp * a time to the block device IO layer. */ 86470decc6SDave Kleikamp 87470decc6SDave Kleikamp nbufs = 0; 88470decc6SDave Kleikamp 89470decc6SDave Kleikamp for (next = start; next < max; next++) { 90f7f4bccbSMingming Cao err = jbd2_journal_bmap(journal, next, &blocknr); 91470decc6SDave Kleikamp 92470decc6SDave Kleikamp if (err) { 93470decc6SDave Kleikamp printk (KERN_ERR "JBD: bad block at offset %u\n", 94470decc6SDave Kleikamp next); 95470decc6SDave Kleikamp goto failed; 96470decc6SDave Kleikamp } 97470decc6SDave Kleikamp 98470decc6SDave Kleikamp bh = __getblk(journal->j_dev, blocknr, journal->j_blocksize); 99470decc6SDave Kleikamp if (!bh) { 100470decc6SDave Kleikamp err = -ENOMEM; 101470decc6SDave Kleikamp goto failed; 102470decc6SDave Kleikamp } 103470decc6SDave Kleikamp 104470decc6SDave Kleikamp if (!buffer_uptodate(bh) && !buffer_locked(bh)) { 105470decc6SDave Kleikamp bufs[nbufs++] = bh; 106470decc6SDave Kleikamp if (nbufs == MAXBUF) { 107470decc6SDave Kleikamp ll_rw_block(READ, nbufs, bufs); 108470decc6SDave Kleikamp journal_brelse_array(bufs, nbufs); 109470decc6SDave Kleikamp nbufs = 0; 110470decc6SDave Kleikamp } 111470decc6SDave Kleikamp } else 112470decc6SDave Kleikamp brelse(bh); 113470decc6SDave Kleikamp } 114470decc6SDave Kleikamp 115470decc6SDave Kleikamp if (nbufs) 116470decc6SDave Kleikamp ll_rw_block(READ, nbufs, bufs); 117470decc6SDave Kleikamp err = 0; 118470decc6SDave Kleikamp 119470decc6SDave Kleikamp failed: 120470decc6SDave Kleikamp if (nbufs) 121470decc6SDave Kleikamp journal_brelse_array(bufs, nbufs); 122470decc6SDave Kleikamp return err; 123470decc6SDave Kleikamp } 124470decc6SDave Kleikamp 125470decc6SDave Kleikamp #endif /* __KERNEL__ */ 126470decc6SDave Kleikamp 127470decc6SDave Kleikamp 128470decc6SDave Kleikamp /* 129470decc6SDave Kleikamp * Read a block from the journal 130470decc6SDave Kleikamp */ 131470decc6SDave Kleikamp 132470decc6SDave Kleikamp static int jread(struct buffer_head **bhp, journal_t *journal, 133470decc6SDave Kleikamp unsigned int offset) 134470decc6SDave Kleikamp { 135470decc6SDave Kleikamp int err; 13618eba7aaSMingming Cao unsigned long long blocknr; 137470decc6SDave Kleikamp struct buffer_head *bh; 138470decc6SDave Kleikamp 139470decc6SDave Kleikamp *bhp = NULL; 140470decc6SDave Kleikamp 141470decc6SDave Kleikamp if (offset >= journal->j_maxlen) { 142470decc6SDave Kleikamp printk(KERN_ERR "JBD: corrupted journal superblock\n"); 143470decc6SDave Kleikamp return -EIO; 144470decc6SDave Kleikamp } 145470decc6SDave Kleikamp 146f7f4bccbSMingming Cao err = jbd2_journal_bmap(journal, offset, &blocknr); 147470decc6SDave Kleikamp 148470decc6SDave Kleikamp if (err) { 149470decc6SDave Kleikamp printk (KERN_ERR "JBD: bad block at offset %u\n", 150470decc6SDave Kleikamp offset); 151470decc6SDave Kleikamp return err; 152470decc6SDave Kleikamp } 153470decc6SDave Kleikamp 154470decc6SDave Kleikamp bh = __getblk(journal->j_dev, blocknr, journal->j_blocksize); 155470decc6SDave Kleikamp if (!bh) 156470decc6SDave Kleikamp return -ENOMEM; 157470decc6SDave Kleikamp 158470decc6SDave Kleikamp if (!buffer_uptodate(bh)) { 159470decc6SDave Kleikamp /* If this is a brand new buffer, start readahead. 160470decc6SDave Kleikamp Otherwise, we assume we are already reading it. */ 161470decc6SDave Kleikamp if (!buffer_req(bh)) 162470decc6SDave Kleikamp do_readahead(journal, offset); 163470decc6SDave Kleikamp wait_on_buffer(bh); 164470decc6SDave Kleikamp } 165470decc6SDave Kleikamp 166470decc6SDave Kleikamp if (!buffer_uptodate(bh)) { 167470decc6SDave Kleikamp printk (KERN_ERR "JBD: Failed to read block at offset %u\n", 168470decc6SDave Kleikamp offset); 169470decc6SDave Kleikamp brelse(bh); 170470decc6SDave Kleikamp return -EIO; 171470decc6SDave Kleikamp } 172470decc6SDave Kleikamp 173470decc6SDave Kleikamp *bhp = bh; 174470decc6SDave Kleikamp return 0; 175470decc6SDave Kleikamp } 176470decc6SDave Kleikamp 177470decc6SDave Kleikamp 178470decc6SDave Kleikamp /* 179470decc6SDave Kleikamp * Count the number of in-use tags in a journal descriptor block. 180470decc6SDave Kleikamp */ 181470decc6SDave Kleikamp 182b517bea1SZach Brown static int count_tags(journal_t *journal, struct buffer_head *bh) 183470decc6SDave Kleikamp { 184470decc6SDave Kleikamp char * tagp; 185470decc6SDave Kleikamp journal_block_tag_t * tag; 186b517bea1SZach Brown int nr = 0, size = journal->j_blocksize; 187b517bea1SZach Brown int tag_bytes = journal_tag_bytes(journal); 188470decc6SDave Kleikamp 189470decc6SDave Kleikamp tagp = &bh->b_data[sizeof(journal_header_t)]; 190470decc6SDave Kleikamp 191b517bea1SZach Brown while ((tagp - bh->b_data + tag_bytes) <= size) { 192470decc6SDave Kleikamp tag = (journal_block_tag_t *) tagp; 193470decc6SDave Kleikamp 194470decc6SDave Kleikamp nr++; 195b517bea1SZach Brown tagp += tag_bytes; 196f7f4bccbSMingming Cao if (!(tag->t_flags & cpu_to_be32(JBD2_FLAG_SAME_UUID))) 197470decc6SDave Kleikamp tagp += 16; 198470decc6SDave Kleikamp 199f7f4bccbSMingming Cao if (tag->t_flags & cpu_to_be32(JBD2_FLAG_LAST_TAG)) 200470decc6SDave Kleikamp break; 201470decc6SDave Kleikamp } 202470decc6SDave Kleikamp 203470decc6SDave Kleikamp return nr; 204470decc6SDave Kleikamp } 205470decc6SDave Kleikamp 206470decc6SDave Kleikamp 207470decc6SDave Kleikamp /* Make sure we wrap around the log correctly! */ 208470decc6SDave Kleikamp #define wrap(journal, var) \ 209470decc6SDave Kleikamp do { \ 210470decc6SDave Kleikamp if (var >= (journal)->j_last) \ 211470decc6SDave Kleikamp var -= ((journal)->j_last - (journal)->j_first); \ 212470decc6SDave Kleikamp } while (0) 213470decc6SDave Kleikamp 214470decc6SDave Kleikamp /** 215f7f4bccbSMingming Cao * jbd2_journal_recover - recovers a on-disk journal 216470decc6SDave Kleikamp * @journal: the journal to recover 217470decc6SDave Kleikamp * 218470decc6SDave Kleikamp * The primary function for recovering the log contents when mounting a 219470decc6SDave Kleikamp * journaled device. 220470decc6SDave Kleikamp * 221470decc6SDave Kleikamp * Recovery is done in three passes. In the first pass, we look for the 222470decc6SDave Kleikamp * end of the log. In the second, we assemble the list of revoke 223470decc6SDave Kleikamp * blocks. In the third and final pass, we replay any un-revoked blocks 224470decc6SDave Kleikamp * in the log. 225470decc6SDave Kleikamp */ 226f7f4bccbSMingming Cao int jbd2_journal_recover(journal_t *journal) 227470decc6SDave Kleikamp { 228470decc6SDave Kleikamp int err; 229470decc6SDave Kleikamp journal_superblock_t * sb; 230470decc6SDave Kleikamp 231470decc6SDave Kleikamp struct recovery_info info; 232470decc6SDave Kleikamp 233470decc6SDave Kleikamp memset(&info, 0, sizeof(info)); 234470decc6SDave Kleikamp sb = journal->j_superblock; 235470decc6SDave Kleikamp 236470decc6SDave Kleikamp /* 237470decc6SDave Kleikamp * The journal superblock's s_start field (the current log head) 238470decc6SDave Kleikamp * is always zero if, and only if, the journal was cleanly 239470decc6SDave Kleikamp * unmounted. 240470decc6SDave Kleikamp */ 241470decc6SDave Kleikamp 242470decc6SDave Kleikamp if (!sb->s_start) { 243470decc6SDave Kleikamp jbd_debug(1, "No recovery required, last transaction %d\n", 244470decc6SDave Kleikamp be32_to_cpu(sb->s_sequence)); 245470decc6SDave Kleikamp journal->j_transaction_sequence = be32_to_cpu(sb->s_sequence) + 1; 246470decc6SDave Kleikamp return 0; 247470decc6SDave Kleikamp } 248470decc6SDave Kleikamp 249470decc6SDave Kleikamp err = do_one_pass(journal, &info, PASS_SCAN); 250470decc6SDave Kleikamp if (!err) 251470decc6SDave Kleikamp err = do_one_pass(journal, &info, PASS_REVOKE); 252470decc6SDave Kleikamp if (!err) 253470decc6SDave Kleikamp err = do_one_pass(journal, &info, PASS_REPLAY); 254470decc6SDave Kleikamp 255b38bd33aSMingming Cao jbd_debug(1, "JBD: recovery, exit status %d, " 256470decc6SDave Kleikamp "recovered transactions %u to %u\n", 257470decc6SDave Kleikamp err, info.start_transaction, info.end_transaction); 258b38bd33aSMingming Cao jbd_debug(1, "JBD: Replayed %d and revoked %d/%d blocks\n", 259470decc6SDave Kleikamp info.nr_replays, info.nr_revoke_hits, info.nr_revokes); 260470decc6SDave Kleikamp 261470decc6SDave Kleikamp /* Restart the log at the next transaction ID, thus invalidating 262470decc6SDave Kleikamp * any existing commit records in the log. */ 263470decc6SDave Kleikamp journal->j_transaction_sequence = ++info.end_transaction; 264470decc6SDave Kleikamp 265f7f4bccbSMingming Cao jbd2_journal_clear_revoke(journal); 266470decc6SDave Kleikamp sync_blockdev(journal->j_fs_dev); 267470decc6SDave Kleikamp return err; 268470decc6SDave Kleikamp } 269470decc6SDave Kleikamp 270470decc6SDave Kleikamp /** 271f7f4bccbSMingming Cao * jbd2_journal_skip_recovery - Start journal and wipe exiting records 272470decc6SDave Kleikamp * @journal: journal to startup 273470decc6SDave Kleikamp * 274470decc6SDave Kleikamp * Locate any valid recovery information from the journal and set up the 275470decc6SDave Kleikamp * journal structures in memory to ignore it (presumably because the 276470decc6SDave Kleikamp * caller has evidence that it is out of date). 277470decc6SDave Kleikamp * This function does'nt appear to be exorted.. 278470decc6SDave Kleikamp * 279470decc6SDave Kleikamp * We perform one pass over the journal to allow us to tell the user how 280470decc6SDave Kleikamp * much recovery information is being erased, and to let us initialise 281470decc6SDave Kleikamp * the journal transaction sequence numbers to the next unused ID. 282470decc6SDave Kleikamp */ 283f7f4bccbSMingming Cao int jbd2_journal_skip_recovery(journal_t *journal) 284470decc6SDave Kleikamp { 285470decc6SDave Kleikamp int err; 286470decc6SDave Kleikamp journal_superblock_t * sb; 287470decc6SDave Kleikamp 288470decc6SDave Kleikamp struct recovery_info info; 289470decc6SDave Kleikamp 290470decc6SDave Kleikamp memset (&info, 0, sizeof(info)); 291470decc6SDave Kleikamp sb = journal->j_superblock; 292470decc6SDave Kleikamp 293470decc6SDave Kleikamp err = do_one_pass(journal, &info, PASS_SCAN); 294470decc6SDave Kleikamp 295470decc6SDave Kleikamp if (err) { 296470decc6SDave Kleikamp printk(KERN_ERR "JBD: error %d scanning journal\n", err); 297470decc6SDave Kleikamp ++journal->j_transaction_sequence; 298470decc6SDave Kleikamp } else { 299e23291b9SJose R. Santos #ifdef CONFIG_JBD2_DEBUG 300470decc6SDave Kleikamp int dropped = info.end_transaction - be32_to_cpu(sb->s_sequence); 301470decc6SDave Kleikamp #endif 302b38bd33aSMingming Cao jbd_debug(1, 303470decc6SDave Kleikamp "JBD: ignoring %d transaction%s from the journal.\n", 304470decc6SDave Kleikamp dropped, (dropped == 1) ? "" : "s"); 305470decc6SDave Kleikamp journal->j_transaction_sequence = ++info.end_transaction; 306470decc6SDave Kleikamp } 307470decc6SDave Kleikamp 308470decc6SDave Kleikamp journal->j_tail = 0; 309470decc6SDave Kleikamp return err; 310470decc6SDave Kleikamp } 311470decc6SDave Kleikamp 31218eba7aaSMingming Cao static inline unsigned long long read_tag_block(int tag_bytes, journal_block_tag_t *tag) 313b517bea1SZach Brown { 31418eba7aaSMingming Cao unsigned long long block = be32_to_cpu(tag->t_blocknr); 315cd02ff0bSMingming Cao if (tag_bytes > JBD2_TAG_SIZE32) 316b517bea1SZach Brown block |= (u64)be32_to_cpu(tag->t_blocknr_high) << 32; 317b517bea1SZach Brown return block; 318b517bea1SZach Brown } 319b517bea1SZach Brown 320818d276cSGirish Shilamkar /* 321818d276cSGirish Shilamkar * calc_chksums calculates the checksums for the blocks described in the 322818d276cSGirish Shilamkar * descriptor block. 323818d276cSGirish Shilamkar */ 324818d276cSGirish Shilamkar static int calc_chksums(journal_t *journal, struct buffer_head *bh, 325818d276cSGirish Shilamkar unsigned long *next_log_block, __u32 *crc32_sum) 326818d276cSGirish Shilamkar { 327818d276cSGirish Shilamkar int i, num_blks, err; 328818d276cSGirish Shilamkar unsigned long io_block; 329818d276cSGirish Shilamkar struct buffer_head *obh; 330818d276cSGirish Shilamkar 331818d276cSGirish Shilamkar num_blks = count_tags(journal, bh); 332818d276cSGirish Shilamkar /* Calculate checksum of the descriptor block. */ 333818d276cSGirish Shilamkar *crc32_sum = crc32_be(*crc32_sum, (void *)bh->b_data, bh->b_size); 334818d276cSGirish Shilamkar 335818d276cSGirish Shilamkar for (i = 0; i < num_blks; i++) { 336818d276cSGirish Shilamkar io_block = (*next_log_block)++; 337818d276cSGirish Shilamkar wrap(journal, *next_log_block); 338818d276cSGirish Shilamkar err = jread(&obh, journal, io_block); 339818d276cSGirish Shilamkar if (err) { 340818d276cSGirish Shilamkar printk(KERN_ERR "JBD: IO error %d recovering block " 341818d276cSGirish Shilamkar "%lu in log\n", err, io_block); 342818d276cSGirish Shilamkar return 1; 343818d276cSGirish Shilamkar } else { 344818d276cSGirish Shilamkar *crc32_sum = crc32_be(*crc32_sum, (void *)obh->b_data, 345818d276cSGirish Shilamkar obh->b_size); 346818d276cSGirish Shilamkar } 347*8ea76900STheodore Ts'o put_bh(obh); 348818d276cSGirish Shilamkar } 349818d276cSGirish Shilamkar return 0; 350818d276cSGirish Shilamkar } 351818d276cSGirish Shilamkar 352470decc6SDave Kleikamp static int do_one_pass(journal_t *journal, 353470decc6SDave Kleikamp struct recovery_info *info, enum passtype pass) 354470decc6SDave Kleikamp { 355470decc6SDave Kleikamp unsigned int first_commit_ID, next_commit_ID; 356470decc6SDave Kleikamp unsigned long next_log_block; 357470decc6SDave Kleikamp int err, success = 0; 358470decc6SDave Kleikamp journal_superblock_t * sb; 359470decc6SDave Kleikamp journal_header_t * tmp; 360470decc6SDave Kleikamp struct buffer_head * bh; 361470decc6SDave Kleikamp unsigned int sequence; 362470decc6SDave Kleikamp int blocktype; 363b517bea1SZach Brown int tag_bytes = journal_tag_bytes(journal); 364818d276cSGirish Shilamkar __u32 crc32_sum = ~0; /* Transactional Checksums */ 365470decc6SDave Kleikamp 366470decc6SDave Kleikamp /* Precompute the maximum metadata descriptors in a descriptor block */ 367470decc6SDave Kleikamp int MAX_BLOCKS_PER_DESC; 368470decc6SDave Kleikamp MAX_BLOCKS_PER_DESC = ((journal->j_blocksize-sizeof(journal_header_t)) 369b517bea1SZach Brown / tag_bytes); 370470decc6SDave Kleikamp 371470decc6SDave Kleikamp /* 372470decc6SDave Kleikamp * First thing is to establish what we expect to find in the log 373470decc6SDave Kleikamp * (in terms of transaction IDs), and where (in terms of log 374470decc6SDave Kleikamp * block offsets): query the superblock. 375470decc6SDave Kleikamp */ 376470decc6SDave Kleikamp 377470decc6SDave Kleikamp sb = journal->j_superblock; 378470decc6SDave Kleikamp next_commit_ID = be32_to_cpu(sb->s_sequence); 379470decc6SDave Kleikamp next_log_block = be32_to_cpu(sb->s_start); 380470decc6SDave Kleikamp 381470decc6SDave Kleikamp first_commit_ID = next_commit_ID; 382470decc6SDave Kleikamp if (pass == PASS_SCAN) 383470decc6SDave Kleikamp info->start_transaction = first_commit_ID; 384470decc6SDave Kleikamp 385470decc6SDave Kleikamp jbd_debug(1, "Starting recovery pass %d\n", pass); 386470decc6SDave Kleikamp 387470decc6SDave Kleikamp /* 388470decc6SDave Kleikamp * Now we walk through the log, transaction by transaction, 389470decc6SDave Kleikamp * making sure that each transaction has a commit block in the 390470decc6SDave Kleikamp * expected place. Each complete transaction gets replayed back 391470decc6SDave Kleikamp * into the main filesystem. 392470decc6SDave Kleikamp */ 393470decc6SDave Kleikamp 394470decc6SDave Kleikamp while (1) { 395470decc6SDave Kleikamp int flags; 396470decc6SDave Kleikamp char * tagp; 397470decc6SDave Kleikamp journal_block_tag_t * tag; 398470decc6SDave Kleikamp struct buffer_head * obh; 399470decc6SDave Kleikamp struct buffer_head * nbh; 400470decc6SDave Kleikamp 401e86e1438SAndi Kleen cond_resched(); 402470decc6SDave Kleikamp 403470decc6SDave Kleikamp /* If we already know where to stop the log traversal, 404470decc6SDave Kleikamp * check right now that we haven't gone past the end of 405470decc6SDave Kleikamp * the log. */ 406470decc6SDave Kleikamp 407470decc6SDave Kleikamp if (pass != PASS_SCAN) 408470decc6SDave Kleikamp if (tid_geq(next_commit_ID, info->end_transaction)) 409470decc6SDave Kleikamp break; 410470decc6SDave Kleikamp 411470decc6SDave Kleikamp jbd_debug(2, "Scanning for sequence ID %u at %lu/%lu\n", 412470decc6SDave Kleikamp next_commit_ID, next_log_block, journal->j_last); 413470decc6SDave Kleikamp 414470decc6SDave Kleikamp /* Skip over each chunk of the transaction looking 415470decc6SDave Kleikamp * either the next descriptor block or the final commit 416470decc6SDave Kleikamp * record. */ 417470decc6SDave Kleikamp 418470decc6SDave Kleikamp jbd_debug(3, "JBD: checking block %ld\n", next_log_block); 419470decc6SDave Kleikamp err = jread(&bh, journal, next_log_block); 420470decc6SDave Kleikamp if (err) 421470decc6SDave Kleikamp goto failed; 422470decc6SDave Kleikamp 423470decc6SDave Kleikamp next_log_block++; 424470decc6SDave Kleikamp wrap(journal, next_log_block); 425470decc6SDave Kleikamp 426470decc6SDave Kleikamp /* What kind of buffer is it? 427470decc6SDave Kleikamp * 428470decc6SDave Kleikamp * If it is a descriptor block, check that it has the 429470decc6SDave Kleikamp * expected sequence number. Otherwise, we're all done 430470decc6SDave Kleikamp * here. */ 431470decc6SDave Kleikamp 432470decc6SDave Kleikamp tmp = (journal_header_t *)bh->b_data; 433470decc6SDave Kleikamp 434f7f4bccbSMingming Cao if (tmp->h_magic != cpu_to_be32(JBD2_MAGIC_NUMBER)) { 435470decc6SDave Kleikamp brelse(bh); 436470decc6SDave Kleikamp break; 437470decc6SDave Kleikamp } 438470decc6SDave Kleikamp 439470decc6SDave Kleikamp blocktype = be32_to_cpu(tmp->h_blocktype); 440470decc6SDave Kleikamp sequence = be32_to_cpu(tmp->h_sequence); 441470decc6SDave Kleikamp jbd_debug(3, "Found magic %d, sequence %d\n", 442470decc6SDave Kleikamp blocktype, sequence); 443470decc6SDave Kleikamp 444470decc6SDave Kleikamp if (sequence != next_commit_ID) { 445470decc6SDave Kleikamp brelse(bh); 446470decc6SDave Kleikamp break; 447470decc6SDave Kleikamp } 448470decc6SDave Kleikamp 449470decc6SDave Kleikamp /* OK, we have a valid descriptor block which matches 450470decc6SDave Kleikamp * all of the sequence number checks. What are we going 451470decc6SDave Kleikamp * to do with it? That depends on the pass... */ 452470decc6SDave Kleikamp 453470decc6SDave Kleikamp switch(blocktype) { 454f7f4bccbSMingming Cao case JBD2_DESCRIPTOR_BLOCK: 455470decc6SDave Kleikamp /* If it is a valid descriptor block, replay it 456818d276cSGirish Shilamkar * in pass REPLAY; if journal_checksums enabled, then 457818d276cSGirish Shilamkar * calculate checksums in PASS_SCAN, otherwise, 458818d276cSGirish Shilamkar * just skip over the blocks it describes. */ 459470decc6SDave Kleikamp if (pass != PASS_REPLAY) { 460818d276cSGirish Shilamkar if (pass == PASS_SCAN && 461818d276cSGirish Shilamkar JBD2_HAS_COMPAT_FEATURE(journal, 462818d276cSGirish Shilamkar JBD2_FEATURE_COMPAT_CHECKSUM) && 463818d276cSGirish Shilamkar !info->end_transaction) { 464818d276cSGirish Shilamkar if (calc_chksums(journal, bh, 465818d276cSGirish Shilamkar &next_log_block, 466818d276cSGirish Shilamkar &crc32_sum)) { 467818d276cSGirish Shilamkar put_bh(bh); 468818d276cSGirish Shilamkar break; 469818d276cSGirish Shilamkar } 470818d276cSGirish Shilamkar put_bh(bh); 471818d276cSGirish Shilamkar continue; 472818d276cSGirish Shilamkar } 473b517bea1SZach Brown next_log_block += count_tags(journal, bh); 474470decc6SDave Kleikamp wrap(journal, next_log_block); 475818d276cSGirish Shilamkar put_bh(bh); 476470decc6SDave Kleikamp continue; 477470decc6SDave Kleikamp } 478470decc6SDave Kleikamp 479470decc6SDave Kleikamp /* A descriptor block: we can now write all of 480470decc6SDave Kleikamp * the data blocks. Yay, useful work is finally 481470decc6SDave Kleikamp * getting done here! */ 482470decc6SDave Kleikamp 483470decc6SDave Kleikamp tagp = &bh->b_data[sizeof(journal_header_t)]; 484b517bea1SZach Brown while ((tagp - bh->b_data + tag_bytes) 485470decc6SDave Kleikamp <= journal->j_blocksize) { 486470decc6SDave Kleikamp unsigned long io_block; 487470decc6SDave Kleikamp 488470decc6SDave Kleikamp tag = (journal_block_tag_t *) tagp; 489470decc6SDave Kleikamp flags = be32_to_cpu(tag->t_flags); 490470decc6SDave Kleikamp 491470decc6SDave Kleikamp io_block = next_log_block++; 492470decc6SDave Kleikamp wrap(journal, next_log_block); 493470decc6SDave Kleikamp err = jread(&obh, journal, io_block); 494470decc6SDave Kleikamp if (err) { 495470decc6SDave Kleikamp /* Recover what we can, but 496470decc6SDave Kleikamp * report failure at the end. */ 497470decc6SDave Kleikamp success = err; 498470decc6SDave Kleikamp printk (KERN_ERR 499470decc6SDave Kleikamp "JBD: IO error %d recovering " 500470decc6SDave Kleikamp "block %ld in log\n", 501470decc6SDave Kleikamp err, io_block); 502470decc6SDave Kleikamp } else { 50318eba7aaSMingming Cao unsigned long long blocknr; 504470decc6SDave Kleikamp 505470decc6SDave Kleikamp J_ASSERT(obh != NULL); 506b517bea1SZach Brown blocknr = read_tag_block(tag_bytes, 507b517bea1SZach Brown tag); 508470decc6SDave Kleikamp 509470decc6SDave Kleikamp /* If the block has been 510470decc6SDave Kleikamp * revoked, then we're all done 511470decc6SDave Kleikamp * here. */ 512f7f4bccbSMingming Cao if (jbd2_journal_test_revoke 513470decc6SDave Kleikamp (journal, blocknr, 514470decc6SDave Kleikamp next_commit_ID)) { 515470decc6SDave Kleikamp brelse(obh); 516470decc6SDave Kleikamp ++info->nr_revoke_hits; 517470decc6SDave Kleikamp goto skip_write; 518470decc6SDave Kleikamp } 519470decc6SDave Kleikamp 520470decc6SDave Kleikamp /* Find a buffer for the new 521470decc6SDave Kleikamp * data being restored */ 522470decc6SDave Kleikamp nbh = __getblk(journal->j_fs_dev, 523470decc6SDave Kleikamp blocknr, 524470decc6SDave Kleikamp journal->j_blocksize); 525470decc6SDave Kleikamp if (nbh == NULL) { 526470decc6SDave Kleikamp printk(KERN_ERR 527470decc6SDave Kleikamp "JBD: Out of memory " 528470decc6SDave Kleikamp "during recovery.\n"); 529470decc6SDave Kleikamp err = -ENOMEM; 530470decc6SDave Kleikamp brelse(bh); 531470decc6SDave Kleikamp brelse(obh); 532470decc6SDave Kleikamp goto failed; 533470decc6SDave Kleikamp } 534470decc6SDave Kleikamp 535470decc6SDave Kleikamp lock_buffer(nbh); 536470decc6SDave Kleikamp memcpy(nbh->b_data, obh->b_data, 537470decc6SDave Kleikamp journal->j_blocksize); 538f7f4bccbSMingming Cao if (flags & JBD2_FLAG_ESCAPE) { 539d0025676SDuane Griffin *((__be32 *)nbh->b_data) = 540f7f4bccbSMingming Cao cpu_to_be32(JBD2_MAGIC_NUMBER); 541470decc6SDave Kleikamp } 542470decc6SDave Kleikamp 543470decc6SDave Kleikamp BUFFER_TRACE(nbh, "marking dirty"); 544470decc6SDave Kleikamp set_buffer_uptodate(nbh); 545470decc6SDave Kleikamp mark_buffer_dirty(nbh); 546470decc6SDave Kleikamp BUFFER_TRACE(nbh, "marking uptodate"); 547470decc6SDave Kleikamp ++info->nr_replays; 548470decc6SDave Kleikamp /* ll_rw_block(WRITE, 1, &nbh); */ 549470decc6SDave Kleikamp unlock_buffer(nbh); 550470decc6SDave Kleikamp brelse(obh); 551470decc6SDave Kleikamp brelse(nbh); 552470decc6SDave Kleikamp } 553470decc6SDave Kleikamp 554470decc6SDave Kleikamp skip_write: 555b517bea1SZach Brown tagp += tag_bytes; 556f7f4bccbSMingming Cao if (!(flags & JBD2_FLAG_SAME_UUID)) 557470decc6SDave Kleikamp tagp += 16; 558470decc6SDave Kleikamp 559f7f4bccbSMingming Cao if (flags & JBD2_FLAG_LAST_TAG) 560470decc6SDave Kleikamp break; 561470decc6SDave Kleikamp } 562470decc6SDave Kleikamp 563470decc6SDave Kleikamp brelse(bh); 564470decc6SDave Kleikamp continue; 565470decc6SDave Kleikamp 566f7f4bccbSMingming Cao case JBD2_COMMIT_BLOCK: 567818d276cSGirish Shilamkar /* How to differentiate between interrupted commit 568818d276cSGirish Shilamkar * and journal corruption ? 569818d276cSGirish Shilamkar * 570818d276cSGirish Shilamkar * {nth transaction} 571818d276cSGirish Shilamkar * Checksum Verification Failed 572818d276cSGirish Shilamkar * | 573818d276cSGirish Shilamkar * ____________________ 574818d276cSGirish Shilamkar * | | 575818d276cSGirish Shilamkar * async_commit sync_commit 576818d276cSGirish Shilamkar * | | 577818d276cSGirish Shilamkar * | GO TO NEXT "Journal Corruption" 578818d276cSGirish Shilamkar * | TRANSACTION 579818d276cSGirish Shilamkar * | 580818d276cSGirish Shilamkar * {(n+1)th transanction} 581818d276cSGirish Shilamkar * | 582818d276cSGirish Shilamkar * _______|______________ 583818d276cSGirish Shilamkar * | | 584818d276cSGirish Shilamkar * Commit block found Commit block not found 585818d276cSGirish Shilamkar * | | 586818d276cSGirish Shilamkar * "Journal Corruption" | 587818d276cSGirish Shilamkar * _____________|_________ 588818d276cSGirish Shilamkar * | | 589818d276cSGirish Shilamkar * nth trans corrupt OR nth trans 590818d276cSGirish Shilamkar * and (n+1)th interrupted interrupted 591818d276cSGirish Shilamkar * before commit block 592818d276cSGirish Shilamkar * could reach the disk. 593818d276cSGirish Shilamkar * (Cannot find the difference in above 594818d276cSGirish Shilamkar * mentioned conditions. Hence assume 595818d276cSGirish Shilamkar * "Interrupted Commit".) 596818d276cSGirish Shilamkar */ 597818d276cSGirish Shilamkar 598818d276cSGirish Shilamkar /* Found an expected commit block: if checksums 599818d276cSGirish Shilamkar * are present verify them in PASS_SCAN; else not 600818d276cSGirish Shilamkar * much to do other than move on to the next sequence 601470decc6SDave Kleikamp * number. */ 602818d276cSGirish Shilamkar if (pass == PASS_SCAN && 603818d276cSGirish Shilamkar JBD2_HAS_COMPAT_FEATURE(journal, 604818d276cSGirish Shilamkar JBD2_FEATURE_COMPAT_CHECKSUM)) { 605818d276cSGirish Shilamkar int chksum_err, chksum_seen; 606818d276cSGirish Shilamkar struct commit_header *cbh = 607818d276cSGirish Shilamkar (struct commit_header *)bh->b_data; 608818d276cSGirish Shilamkar unsigned found_chksum = 609818d276cSGirish Shilamkar be32_to_cpu(cbh->h_chksum[0]); 610818d276cSGirish Shilamkar 611818d276cSGirish Shilamkar chksum_err = chksum_seen = 0; 612818d276cSGirish Shilamkar 613818d276cSGirish Shilamkar if (info->end_transaction) { 614818d276cSGirish Shilamkar printk(KERN_ERR "JBD: Transaction %u " 615818d276cSGirish Shilamkar "found to be corrupt.\n", 616818d276cSGirish Shilamkar next_commit_ID - 1); 617818d276cSGirish Shilamkar brelse(bh); 618818d276cSGirish Shilamkar break; 619818d276cSGirish Shilamkar } 620818d276cSGirish Shilamkar 621818d276cSGirish Shilamkar if (crc32_sum == found_chksum && 622818d276cSGirish Shilamkar cbh->h_chksum_type == JBD2_CRC32_CHKSUM && 623818d276cSGirish Shilamkar cbh->h_chksum_size == 624818d276cSGirish Shilamkar JBD2_CRC32_CHKSUM_SIZE) 625818d276cSGirish Shilamkar chksum_seen = 1; 626818d276cSGirish Shilamkar else if (!(cbh->h_chksum_type == 0 && 627818d276cSGirish Shilamkar cbh->h_chksum_size == 0 && 628818d276cSGirish Shilamkar found_chksum == 0 && 629818d276cSGirish Shilamkar !chksum_seen)) 630818d276cSGirish Shilamkar /* 631818d276cSGirish Shilamkar * If fs is mounted using an old kernel and then 632818d276cSGirish Shilamkar * kernel with journal_chksum is used then we 633818d276cSGirish Shilamkar * get a situation where the journal flag has 634818d276cSGirish Shilamkar * checksum flag set but checksums are not 635818d276cSGirish Shilamkar * present i.e chksum = 0, in the individual 636818d276cSGirish Shilamkar * commit blocks. 637818d276cSGirish Shilamkar * Hence to avoid checksum failures, in this 638818d276cSGirish Shilamkar * situation, this extra check is added. 639818d276cSGirish Shilamkar */ 640818d276cSGirish Shilamkar chksum_err = 1; 641818d276cSGirish Shilamkar 642818d276cSGirish Shilamkar if (chksum_err) { 643818d276cSGirish Shilamkar info->end_transaction = next_commit_ID; 644818d276cSGirish Shilamkar 6454d605179SAneesh Kumar K.V if (!JBD2_HAS_INCOMPAT_FEATURE(journal, 646818d276cSGirish Shilamkar JBD2_FEATURE_INCOMPAT_ASYNC_COMMIT)){ 647818d276cSGirish Shilamkar printk(KERN_ERR 648818d276cSGirish Shilamkar "JBD: Transaction %u " 649818d276cSGirish Shilamkar "found to be corrupt.\n", 650818d276cSGirish Shilamkar next_commit_ID); 651818d276cSGirish Shilamkar brelse(bh); 652818d276cSGirish Shilamkar break; 653818d276cSGirish Shilamkar } 654818d276cSGirish Shilamkar } 655818d276cSGirish Shilamkar crc32_sum = ~0; 656818d276cSGirish Shilamkar } 657470decc6SDave Kleikamp brelse(bh); 658470decc6SDave Kleikamp next_commit_ID++; 659470decc6SDave Kleikamp continue; 660470decc6SDave Kleikamp 661f7f4bccbSMingming Cao case JBD2_REVOKE_BLOCK: 662470decc6SDave Kleikamp /* If we aren't in the REVOKE pass, then we can 663470decc6SDave Kleikamp * just skip over this block. */ 664470decc6SDave Kleikamp if (pass != PASS_REVOKE) { 665470decc6SDave Kleikamp brelse(bh); 666470decc6SDave Kleikamp continue; 667470decc6SDave Kleikamp } 668470decc6SDave Kleikamp 669470decc6SDave Kleikamp err = scan_revoke_records(journal, bh, 670470decc6SDave Kleikamp next_commit_ID, info); 671470decc6SDave Kleikamp brelse(bh); 672470decc6SDave Kleikamp if (err) 673470decc6SDave Kleikamp goto failed; 674470decc6SDave Kleikamp continue; 675470decc6SDave Kleikamp 676470decc6SDave Kleikamp default: 677470decc6SDave Kleikamp jbd_debug(3, "Unrecognised magic %d, end of scan.\n", 678470decc6SDave Kleikamp blocktype); 679470decc6SDave Kleikamp brelse(bh); 680470decc6SDave Kleikamp goto done; 681470decc6SDave Kleikamp } 682470decc6SDave Kleikamp } 683470decc6SDave Kleikamp 684470decc6SDave Kleikamp done: 685470decc6SDave Kleikamp /* 686470decc6SDave Kleikamp * We broke out of the log scan loop: either we came to the 687470decc6SDave Kleikamp * known end of the log or we found an unexpected block in the 688470decc6SDave Kleikamp * log. If the latter happened, then we know that the "current" 689470decc6SDave Kleikamp * transaction marks the end of the valid log. 690470decc6SDave Kleikamp */ 691470decc6SDave Kleikamp 692818d276cSGirish Shilamkar if (pass == PASS_SCAN) { 693818d276cSGirish Shilamkar if (!info->end_transaction) 694470decc6SDave Kleikamp info->end_transaction = next_commit_ID; 695818d276cSGirish Shilamkar } else { 696470decc6SDave Kleikamp /* It's really bad news if different passes end up at 697470decc6SDave Kleikamp * different places (but possible due to IO errors). */ 698470decc6SDave Kleikamp if (info->end_transaction != next_commit_ID) { 699470decc6SDave Kleikamp printk (KERN_ERR "JBD: recovery pass %d ended at " 700470decc6SDave Kleikamp "transaction %u, expected %u\n", 701470decc6SDave Kleikamp pass, next_commit_ID, info->end_transaction); 702470decc6SDave Kleikamp if (!success) 703470decc6SDave Kleikamp success = -EIO; 704470decc6SDave Kleikamp } 705470decc6SDave Kleikamp } 706470decc6SDave Kleikamp 707470decc6SDave Kleikamp return success; 708470decc6SDave Kleikamp 709470decc6SDave Kleikamp failed: 710470decc6SDave Kleikamp return err; 711470decc6SDave Kleikamp } 712470decc6SDave Kleikamp 713470decc6SDave Kleikamp 714470decc6SDave Kleikamp /* Scan a revoke record, marking all blocks mentioned as revoked. */ 715470decc6SDave Kleikamp 716470decc6SDave Kleikamp static int scan_revoke_records(journal_t *journal, struct buffer_head *bh, 717470decc6SDave Kleikamp tid_t sequence, struct recovery_info *info) 718470decc6SDave Kleikamp { 719f7f4bccbSMingming Cao jbd2_journal_revoke_header_t *header; 720470decc6SDave Kleikamp int offset, max; 721b517bea1SZach Brown int record_len = 4; 722470decc6SDave Kleikamp 723f7f4bccbSMingming Cao header = (jbd2_journal_revoke_header_t *) bh->b_data; 724f7f4bccbSMingming Cao offset = sizeof(jbd2_journal_revoke_header_t); 725470decc6SDave Kleikamp max = be32_to_cpu(header->r_count); 726470decc6SDave Kleikamp 727b517bea1SZach Brown if (JBD2_HAS_INCOMPAT_FEATURE(journal, JBD2_FEATURE_INCOMPAT_64BIT)) 728b517bea1SZach Brown record_len = 8; 729b517bea1SZach Brown 730b517bea1SZach Brown while (offset + record_len <= max) { 73118eba7aaSMingming Cao unsigned long long blocknr; 732470decc6SDave Kleikamp int err; 733470decc6SDave Kleikamp 734b517bea1SZach Brown if (record_len == 4) 735470decc6SDave Kleikamp blocknr = be32_to_cpu(* ((__be32 *) (bh->b_data+offset))); 736b517bea1SZach Brown else 737b517bea1SZach Brown blocknr = be64_to_cpu(* ((__be64 *) (bh->b_data+offset))); 738b517bea1SZach Brown offset += record_len; 739f7f4bccbSMingming Cao err = jbd2_journal_set_revoke(journal, blocknr, sequence); 740470decc6SDave Kleikamp if (err) 741470decc6SDave Kleikamp return err; 742470decc6SDave Kleikamp ++info->nr_revokes; 743470decc6SDave Kleikamp } 744470decc6SDave Kleikamp return 0; 745470decc6SDave Kleikamp } 746