recovery.c 14 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595
  1. /*
  2. * linux/fs/jbd/recovery.c
  3. *
  4. * Written by Stephen C. Tweedie <sct@redhat.com>, 1999
  5. *
  6. * Copyright 1999-2000 Red Hat Software --- All Rights Reserved
  7. *
  8. * This file is part of the Linux kernel and is made available under
  9. * the terms of the GNU General Public License, version 2, or at your
  10. * option, any later version, incorporated herein by reference.
  11. *
  12. * Journal recovery routines for the generic filesystem journaling code;
  13. * part of the ext2fs journaling system.
  14. */
  15. #ifndef __KERNEL__
  16. #include "jfs_user.h"
  17. #else
  18. #include <linux/time.h>
  19. #include <linux/fs.h>
  20. #include <linux/jbd.h>
  21. #include <linux/errno.h>
  22. #include <linux/slab.h>
  23. #endif
  24. /*
  25. * Maintain information about the progress of the recovery job, so that
  26. * the different passes can carry information between them.
  27. */
  28. struct recovery_info
  29. {
  30. tid_t start_transaction;
  31. tid_t end_transaction;
  32. int nr_replays;
  33. int nr_revokes;
  34. int nr_revoke_hits;
  35. };
  36. enum passtype {PASS_SCAN, PASS_REVOKE, PASS_REPLAY};
  37. static int do_one_pass(journal_t *journal,
  38. struct recovery_info *info, enum passtype pass);
  39. static int scan_revoke_records(journal_t *, struct buffer_head *,
  40. tid_t, struct recovery_info *);
  41. #ifdef __KERNEL__
  42. /* Release readahead buffers after use */
  43. static void journal_brelse_array(struct buffer_head *b[], int n)
  44. {
  45. while (--n >= 0)
  46. brelse (b[n]);
  47. }
  48. /*
  49. * When reading from the journal, we are going through the block device
  50. * layer directly and so there is no readahead being done for us. We
  51. * need to implement any readahead ourselves if we want it to happen at
  52. * all. Recovery is basically one long sequential read, so make sure we
  53. * do the IO in reasonably large chunks.
  54. *
  55. * This is not so critical that we need to be enormously clever about
  56. * the readahead size, though. 128K is a purely arbitrary, good-enough
  57. * fixed value.
  58. */
  59. #define MAXBUF 8
  60. static int do_readahead(journal_t *journal, unsigned int start)
  61. {
  62. int err;
  63. unsigned int max, nbufs, next;
  64. unsigned long blocknr;
  65. struct buffer_head *bh;
  66. struct buffer_head * bufs[MAXBUF];
  67. /* Do up to 128K of readahead */
  68. max = start + (128 * 1024 / journal->j_blocksize);
  69. if (max > journal->j_maxlen)
  70. max = journal->j_maxlen;
  71. /* Do the readahead itself. We'll submit MAXBUF buffer_heads at
  72. * a time to the block device IO layer. */
  73. nbufs = 0;
  74. for (next = start; next < max; next++) {
  75. err = journal_bmap(journal, next, &blocknr);
  76. if (err) {
  77. printk (KERN_ERR "JBD: bad block at offset %u\n",
  78. next);
  79. goto failed;
  80. }
  81. bh = __getblk(journal->j_dev, blocknr, journal->j_blocksize);
  82. if (!bh) {
  83. err = -ENOMEM;
  84. goto failed;
  85. }
  86. if (!buffer_uptodate(bh) && !buffer_locked(bh)) {
  87. bufs[nbufs++] = bh;
  88. if (nbufs == MAXBUF) {
  89. ll_rw_block(READ, nbufs, bufs);
  90. journal_brelse_array(bufs, nbufs);
  91. nbufs = 0;
  92. }
  93. } else
  94. brelse(bh);
  95. }
  96. if (nbufs)
  97. ll_rw_block(READ, nbufs, bufs);
  98. err = 0;
  99. failed:
  100. if (nbufs)
  101. journal_brelse_array(bufs, nbufs);
  102. return err;
  103. }
  104. #endif /* __KERNEL__ */
  105. /*
  106. * Read a block from the journal
  107. */
  108. static int jread(struct buffer_head **bhp, journal_t *journal,
  109. unsigned int offset)
  110. {
  111. int err;
  112. unsigned long blocknr;
  113. struct buffer_head *bh;
  114. *bhp = NULL;
  115. if (offset >= journal->j_maxlen) {
  116. printk(KERN_ERR "JBD: corrupted journal superblock\n");
  117. return -EIO;
  118. }
  119. err = journal_bmap(journal, offset, &blocknr);
  120. if (err) {
  121. printk (KERN_ERR "JBD: bad block at offset %u\n",
  122. offset);
  123. return err;
  124. }
  125. bh = __getblk(journal->j_dev, blocknr, journal->j_blocksize);
  126. if (!bh)
  127. return -ENOMEM;
  128. if (!buffer_uptodate(bh)) {
  129. /* If this is a brand new buffer, start readahead.
  130. Otherwise, we assume we are already reading it. */
  131. if (!buffer_req(bh))
  132. do_readahead(journal, offset);
  133. wait_on_buffer(bh);
  134. }
  135. if (!buffer_uptodate(bh)) {
  136. printk (KERN_ERR "JBD: Failed to read block at offset %u\n",
  137. offset);
  138. brelse(bh);
  139. return -EIO;
  140. }
  141. *bhp = bh;
  142. return 0;
  143. }
  144. /*
  145. * Count the number of in-use tags in a journal descriptor block.
  146. */
  147. static int count_tags(struct buffer_head *bh, int size)
  148. {
  149. char * tagp;
  150. journal_block_tag_t * tag;
  151. int nr = 0;
  152. tagp = &bh->b_data[sizeof(journal_header_t)];
  153. while ((tagp - bh->b_data + sizeof(journal_block_tag_t)) <= size) {
  154. tag = (journal_block_tag_t *) tagp;
  155. nr++;
  156. tagp += sizeof(journal_block_tag_t);
  157. if (!(tag->t_flags & cpu_to_be32(JFS_FLAG_SAME_UUID)))
  158. tagp += 16;
  159. if (tag->t_flags & cpu_to_be32(JFS_FLAG_LAST_TAG))
  160. break;
  161. }
  162. return nr;
  163. }
  164. /* Make sure we wrap around the log correctly! */
  165. #define wrap(journal, var) \
  166. do { \
  167. if (var >= (journal)->j_last) \
  168. var -= ((journal)->j_last - (journal)->j_first); \
  169. } while (0)
  170. /**
  171. * journal_recover - recovers a on-disk journal
  172. * @journal: the journal to recover
  173. *
  174. * The primary function for recovering the log contents when mounting a
  175. * journaled device.
  176. *
  177. * Recovery is done in three passes. In the first pass, we look for the
  178. * end of the log. In the second, we assemble the list of revoke
  179. * blocks. In the third and final pass, we replay any un-revoked blocks
  180. * in the log.
  181. */
  182. int journal_recover(journal_t *journal)
  183. {
  184. int err, err2;
  185. journal_superblock_t * sb;
  186. struct recovery_info info;
  187. memset(&info, 0, sizeof(info));
  188. sb = journal->j_superblock;
  189. /*
  190. * The journal superblock's s_start field (the current log head)
  191. * is always zero if, and only if, the journal was cleanly
  192. * unmounted.
  193. */
  194. if (!sb->s_start) {
  195. jbd_debug(1, "No recovery required, last transaction %d\n",
  196. be32_to_cpu(sb->s_sequence));
  197. journal->j_transaction_sequence = be32_to_cpu(sb->s_sequence) + 1;
  198. return 0;
  199. }
  200. err = do_one_pass(journal, &info, PASS_SCAN);
  201. if (!err)
  202. err = do_one_pass(journal, &info, PASS_REVOKE);
  203. if (!err)
  204. err = do_one_pass(journal, &info, PASS_REPLAY);
  205. jbd_debug(1, "JBD: recovery, exit status %d, "
  206. "recovered transactions %u to %u\n",
  207. err, info.start_transaction, info.end_transaction);
  208. jbd_debug(1, "JBD: Replayed %d and revoked %d/%d blocks\n",
  209. info.nr_replays, info.nr_revoke_hits, info.nr_revokes);
  210. /* Restart the log at the next transaction ID, thus invalidating
  211. * any existing commit records in the log. */
  212. journal->j_transaction_sequence = ++info.end_transaction;
  213. journal_clear_revoke(journal);
  214. err2 = sync_blockdev(journal->j_fs_dev);
  215. if (!err)
  216. err = err2;
  217. return err;
  218. }
  219. /**
  220. * journal_skip_recovery - Start journal and wipe exiting records
  221. * @journal: journal to startup
  222. *
  223. * Locate any valid recovery information from the journal and set up the
  224. * journal structures in memory to ignore it (presumably because the
  225. * caller has evidence that it is out of date).
  226. * This function does'nt appear to be exorted..
  227. *
  228. * We perform one pass over the journal to allow us to tell the user how
  229. * much recovery information is being erased, and to let us initialise
  230. * the journal transaction sequence numbers to the next unused ID.
  231. */
  232. int journal_skip_recovery(journal_t *journal)
  233. {
  234. int err;
  235. journal_superblock_t * sb;
  236. struct recovery_info info;
  237. memset (&info, 0, sizeof(info));
  238. sb = journal->j_superblock;
  239. err = do_one_pass(journal, &info, PASS_SCAN);
  240. if (err) {
  241. printk(KERN_ERR "JBD: error %d scanning journal\n", err);
  242. ++journal->j_transaction_sequence;
  243. } else {
  244. #ifdef CONFIG_JBD_DEBUG
  245. int dropped = info.end_transaction - be32_to_cpu(sb->s_sequence);
  246. #endif
  247. jbd_debug(1,
  248. "JBD: ignoring %d transaction%s from the journal.\n",
  249. dropped, (dropped == 1) ? "" : "s");
  250. journal->j_transaction_sequence = ++info.end_transaction;
  251. }
  252. journal->j_tail = 0;
  253. return err;
  254. }
  255. static int do_one_pass(journal_t *journal,
  256. struct recovery_info *info, enum passtype pass)
  257. {
  258. unsigned int first_commit_ID, next_commit_ID;
  259. unsigned long next_log_block;
  260. int err, success = 0;
  261. journal_superblock_t * sb;
  262. journal_header_t * tmp;
  263. struct buffer_head * bh;
  264. unsigned int sequence;
  265. int blocktype;
  266. /* Precompute the maximum metadata descriptors in a descriptor block */
  267. int MAX_BLOCKS_PER_DESC;
  268. MAX_BLOCKS_PER_DESC = ((journal->j_blocksize-sizeof(journal_header_t))
  269. / sizeof(journal_block_tag_t));
  270. /*
  271. * First thing is to establish what we expect to find in the log
  272. * (in terms of transaction IDs), and where (in terms of log
  273. * block offsets): query the superblock.
  274. */
  275. sb = journal->j_superblock;
  276. next_commit_ID = be32_to_cpu(sb->s_sequence);
  277. next_log_block = be32_to_cpu(sb->s_start);
  278. first_commit_ID = next_commit_ID;
  279. if (pass == PASS_SCAN)
  280. info->start_transaction = first_commit_ID;
  281. jbd_debug(1, "Starting recovery pass %d\n", pass);
  282. /*
  283. * Now we walk through the log, transaction by transaction,
  284. * making sure that each transaction has a commit block in the
  285. * expected place. Each complete transaction gets replayed back
  286. * into the main filesystem.
  287. */
  288. while (1) {
  289. int flags;
  290. char * tagp;
  291. journal_block_tag_t * tag;
  292. struct buffer_head * obh;
  293. struct buffer_head * nbh;
  294. cond_resched();
  295. /* If we already know where to stop the log traversal,
  296. * check right now that we haven't gone past the end of
  297. * the log. */
  298. if (pass != PASS_SCAN)
  299. if (tid_geq(next_commit_ID, info->end_transaction))
  300. break;
  301. jbd_debug(2, "Scanning for sequence ID %u at %lu/%lu\n",
  302. next_commit_ID, next_log_block, journal->j_last);
  303. /* Skip over each chunk of the transaction looking
  304. * either the next descriptor block or the final commit
  305. * record. */
  306. jbd_debug(3, "JBD: checking block %ld\n", next_log_block);
  307. err = jread(&bh, journal, next_log_block);
  308. if (err)
  309. goto failed;
  310. next_log_block++;
  311. wrap(journal, next_log_block);
  312. /* What kind of buffer is it?
  313. *
  314. * If it is a descriptor block, check that it has the
  315. * expected sequence number. Otherwise, we're all done
  316. * here. */
  317. tmp = (journal_header_t *)bh->b_data;
  318. if (tmp->h_magic != cpu_to_be32(JFS_MAGIC_NUMBER)) {
  319. brelse(bh);
  320. break;
  321. }
  322. blocktype = be32_to_cpu(tmp->h_blocktype);
  323. sequence = be32_to_cpu(tmp->h_sequence);
  324. jbd_debug(3, "Found magic %d, sequence %d\n",
  325. blocktype, sequence);
  326. if (sequence != next_commit_ID) {
  327. brelse(bh);
  328. break;
  329. }
  330. /* OK, we have a valid descriptor block which matches
  331. * all of the sequence number checks. What are we going
  332. * to do with it? That depends on the pass... */
  333. switch(blocktype) {
  334. case JFS_DESCRIPTOR_BLOCK:
  335. /* If it is a valid descriptor block, replay it
  336. * in pass REPLAY; otherwise, just skip over the
  337. * blocks it describes. */
  338. if (pass != PASS_REPLAY) {
  339. next_log_block +=
  340. count_tags(bh, journal->j_blocksize);
  341. wrap(journal, next_log_block);
  342. brelse(bh);
  343. continue;
  344. }
  345. /* A descriptor block: we can now write all of
  346. * the data blocks. Yay, useful work is finally
  347. * getting done here! */
  348. tagp = &bh->b_data[sizeof(journal_header_t)];
  349. while ((tagp - bh->b_data +sizeof(journal_block_tag_t))
  350. <= journal->j_blocksize) {
  351. unsigned long io_block;
  352. tag = (journal_block_tag_t *) tagp;
  353. flags = be32_to_cpu(tag->t_flags);
  354. io_block = next_log_block++;
  355. wrap(journal, next_log_block);
  356. err = jread(&obh, journal, io_block);
  357. if (err) {
  358. /* Recover what we can, but
  359. * report failure at the end. */
  360. success = err;
  361. printk (KERN_ERR
  362. "JBD: IO error %d recovering "
  363. "block %ld in log\n",
  364. err, io_block);
  365. } else {
  366. unsigned long blocknr;
  367. J_ASSERT(obh != NULL);
  368. blocknr = be32_to_cpu(tag->t_blocknr);
  369. /* If the block has been
  370. * revoked, then we're all done
  371. * here. */
  372. if (journal_test_revoke
  373. (journal, blocknr,
  374. next_commit_ID)) {
  375. brelse(obh);
  376. ++info->nr_revoke_hits;
  377. goto skip_write;
  378. }
  379. /* Find a buffer for the new
  380. * data being restored */
  381. nbh = __getblk(journal->j_fs_dev,
  382. blocknr,
  383. journal->j_blocksize);
  384. if (nbh == NULL) {
  385. printk(KERN_ERR
  386. "JBD: Out of memory "
  387. "during recovery.\n");
  388. err = -ENOMEM;
  389. brelse(bh);
  390. brelse(obh);
  391. goto failed;
  392. }
  393. lock_buffer(nbh);
  394. memcpy(nbh->b_data, obh->b_data,
  395. journal->j_blocksize);
  396. if (flags & JFS_FLAG_ESCAPE) {
  397. *((__be32 *)nbh->b_data) =
  398. cpu_to_be32(JFS_MAGIC_NUMBER);
  399. }
  400. BUFFER_TRACE(nbh, "marking dirty");
  401. set_buffer_uptodate(nbh);
  402. mark_buffer_dirty(nbh);
  403. BUFFER_TRACE(nbh, "marking uptodate");
  404. ++info->nr_replays;
  405. /* ll_rw_block(WRITE, 1, &nbh); */
  406. unlock_buffer(nbh);
  407. brelse(obh);
  408. brelse(nbh);
  409. }
  410. skip_write:
  411. tagp += sizeof(journal_block_tag_t);
  412. if (!(flags & JFS_FLAG_SAME_UUID))
  413. tagp += 16;
  414. if (flags & JFS_FLAG_LAST_TAG)
  415. break;
  416. }
  417. brelse(bh);
  418. continue;
  419. case JFS_COMMIT_BLOCK:
  420. /* Found an expected commit block: not much to
  421. * do other than move on to the next sequence
  422. * number. */
  423. brelse(bh);
  424. next_commit_ID++;
  425. continue;
  426. case JFS_REVOKE_BLOCK:
  427. /* If we aren't in the REVOKE pass, then we can
  428. * just skip over this block. */
  429. if (pass != PASS_REVOKE) {
  430. brelse(bh);
  431. continue;
  432. }
  433. err = scan_revoke_records(journal, bh,
  434. next_commit_ID, info);
  435. brelse(bh);
  436. if (err)
  437. goto failed;
  438. continue;
  439. default:
  440. jbd_debug(3, "Unrecognised magic %d, end of scan.\n",
  441. blocktype);
  442. brelse(bh);
  443. goto done;
  444. }
  445. }
  446. done:
  447. /*
  448. * We broke out of the log scan loop: either we came to the
  449. * known end of the log or we found an unexpected block in the
  450. * log. If the latter happened, then we know that the "current"
  451. * transaction marks the end of the valid log.
  452. */
  453. if (pass == PASS_SCAN)
  454. info->end_transaction = next_commit_ID;
  455. else {
  456. /* It's really bad news if different passes end up at
  457. * different places (but possible due to IO errors). */
  458. if (info->end_transaction != next_commit_ID) {
  459. printk (KERN_ERR "JBD: recovery pass %d ended at "
  460. "transaction %u, expected %u\n",
  461. pass, next_commit_ID, info->end_transaction);
  462. if (!success)
  463. success = -EIO;
  464. }
  465. }
  466. return success;
  467. failed:
  468. return err;
  469. }
  470. /* Scan a revoke record, marking all blocks mentioned as revoked. */
  471. static int scan_revoke_records(journal_t *journal, struct buffer_head *bh,
  472. tid_t sequence, struct recovery_info *info)
  473. {
  474. journal_revoke_header_t *header;
  475. int offset, max;
  476. header = (journal_revoke_header_t *) bh->b_data;
  477. offset = sizeof(journal_revoke_header_t);
  478. max = be32_to_cpu(header->r_count);
  479. while (offset < max) {
  480. unsigned long blocknr;
  481. int err;
  482. blocknr = be32_to_cpu(* ((__be32 *) (bh->b_data+offset)));
  483. offset += 4;
  484. err = journal_set_revoke(journal, blocknr, sequence);
  485. if (err)
  486. return err;
  487. ++info->nr_revokes;
  488. }
  489. return 0;
  490. }