xref: /openbmc/linux/fs/jbd2/recovery.c (revision 8ea76900be3b4522396e2021260d2818a27b3a5b)
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