xfs: fix buffer shudown reference count mismatch
[deliverable/linux.git] / fs / xfs / xfs_log_recover.c
CommitLineData
1da177e4 1/*
87c199c2 2 * Copyright (c) 2000-2006 Silicon Graphics, Inc.
7b718769 3 * All Rights Reserved.
1da177e4 4 *
7b718769
NS
5 * This program is free software; you can redistribute it and/or
6 * modify it under the terms of the GNU General Public License as
1da177e4
LT
7 * published by the Free Software Foundation.
8 *
7b718769
NS
9 * This program is distributed in the hope that it would be useful,
10 * but WITHOUT ANY WARRANTY; without even the implied warranty of
11 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
12 * GNU General Public License for more details.
1da177e4 13 *
7b718769
NS
14 * You should have received a copy of the GNU General Public License
15 * along with this program; if not, write the Free Software Foundation,
16 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA
1da177e4 17 */
1da177e4 18#include "xfs.h"
a844f451 19#include "xfs_fs.h"
1da177e4 20#include "xfs_types.h"
a844f451 21#include "xfs_bit.h"
1da177e4 22#include "xfs_log.h"
a844f451 23#include "xfs_inum.h"
1da177e4 24#include "xfs_trans.h"
a844f451
NS
25#include "xfs_sb.h"
26#include "xfs_ag.h"
1da177e4
LT
27#include "xfs_mount.h"
28#include "xfs_error.h"
29#include "xfs_bmap_btree.h"
a844f451
NS
30#include "xfs_alloc_btree.h"
31#include "xfs_ialloc_btree.h"
1da177e4 32#include "xfs_dinode.h"
1da177e4 33#include "xfs_inode.h"
a844f451 34#include "xfs_inode_item.h"
a844f451 35#include "xfs_alloc.h"
1da177e4
LT
36#include "xfs_ialloc.h"
37#include "xfs_log_priv.h"
38#include "xfs_buf_item.h"
1da177e4
LT
39#include "xfs_log_recover.h"
40#include "xfs_extfree_item.h"
41#include "xfs_trans_priv.h"
1da177e4 42#include "xfs_quota.h"
43355099 43#include "xfs_utils.h"
0b1b213f 44#include "xfs_trace.h"
33479e05 45#include "xfs_icache.h"
1da177e4 46
9a8d2fdb
MT
47STATIC int
48xlog_find_zeroed(
49 struct xlog *,
50 xfs_daddr_t *);
51STATIC int
52xlog_clear_stale_blocks(
53 struct xlog *,
54 xfs_lsn_t);
1da177e4 55#if defined(DEBUG)
9a8d2fdb
MT
56STATIC void
57xlog_recover_check_summary(
58 struct xlog *);
1da177e4
LT
59#else
60#define xlog_recover_check_summary(log)
1da177e4
LT
61#endif
62
d5689eaa
CH
63/*
64 * This structure is used during recovery to record the buf log items which
65 * have been canceled and should not be replayed.
66 */
67struct xfs_buf_cancel {
68 xfs_daddr_t bc_blkno;
69 uint bc_len;
70 int bc_refcount;
71 struct list_head bc_list;
72};
73
1da177e4
LT
74/*
75 * Sector aligned buffer routines for buffer create/read/write/access
76 */
77
ff30a622
AE
78/*
79 * Verify the given count of basic blocks is valid number of blocks
80 * to specify for an operation involving the given XFS log buffer.
81 * Returns nonzero if the count is valid, 0 otherwise.
82 */
83
84static inline int
85xlog_buf_bbcount_valid(
9a8d2fdb 86 struct xlog *log,
ff30a622
AE
87 int bbcount)
88{
89 return bbcount > 0 && bbcount <= log->l_logBBsize;
90}
91
36adecff
AE
92/*
93 * Allocate a buffer to hold log data. The buffer needs to be able
94 * to map to a range of nbblks basic blocks at any valid (basic
95 * block) offset within the log.
96 */
5d77c0dc 97STATIC xfs_buf_t *
1da177e4 98xlog_get_bp(
9a8d2fdb 99 struct xlog *log,
3228149c 100 int nbblks)
1da177e4 101{
c8da0faf
CH
102 struct xfs_buf *bp;
103
ff30a622 104 if (!xlog_buf_bbcount_valid(log, nbblks)) {
a0fa2b67 105 xfs_warn(log->l_mp, "Invalid block length (0x%x) for buffer",
ff30a622
AE
106 nbblks);
107 XFS_ERROR_REPORT(__func__, XFS_ERRLEVEL_HIGH, log->l_mp);
3228149c
DC
108 return NULL;
109 }
1da177e4 110
36adecff
AE
111 /*
112 * We do log I/O in units of log sectors (a power-of-2
113 * multiple of the basic block size), so we round up the
25985edc 114 * requested size to accommodate the basic blocks required
36adecff
AE
115 * for complete log sectors.
116 *
117 * In addition, the buffer may be used for a non-sector-
118 * aligned block offset, in which case an I/O of the
119 * requested size could extend beyond the end of the
120 * buffer. If the requested size is only 1 basic block it
121 * will never straddle a sector boundary, so this won't be
122 * an issue. Nor will this be a problem if the log I/O is
123 * done in basic blocks (sector size 1). But otherwise we
124 * extend the buffer by one extra log sector to ensure
25985edc 125 * there's space to accommodate this possibility.
36adecff 126 */
69ce58f0
AE
127 if (nbblks > 1 && log->l_sectBBsize > 1)
128 nbblks += log->l_sectBBsize;
129 nbblks = round_up(nbblks, log->l_sectBBsize);
36adecff 130
e70b73f8 131 bp = xfs_buf_get_uncached(log->l_mp->m_logdev_targp, nbblks, 0);
c8da0faf
CH
132 if (bp)
133 xfs_buf_unlock(bp);
134 return bp;
1da177e4
LT
135}
136
5d77c0dc 137STATIC void
1da177e4
LT
138xlog_put_bp(
139 xfs_buf_t *bp)
140{
141 xfs_buf_free(bp);
142}
143
48389ef1
AE
144/*
145 * Return the address of the start of the given block number's data
146 * in a log buffer. The buffer covers a log sector-aligned region.
147 */
076e6acb
CH
148STATIC xfs_caddr_t
149xlog_align(
9a8d2fdb 150 struct xlog *log,
076e6acb
CH
151 xfs_daddr_t blk_no,
152 int nbblks,
9a8d2fdb 153 struct xfs_buf *bp)
076e6acb 154{
fdc07f44 155 xfs_daddr_t offset = blk_no & ((xfs_daddr_t)log->l_sectBBsize - 1);
076e6acb 156
4e94b71b 157 ASSERT(offset + nbblks <= bp->b_length);
62926044 158 return bp->b_addr + BBTOB(offset);
076e6acb
CH
159}
160
1da177e4
LT
161
162/*
163 * nbblks should be uint, but oh well. Just want to catch that 32-bit length.
164 */
076e6acb
CH
165STATIC int
166xlog_bread_noalign(
9a8d2fdb 167 struct xlog *log,
1da177e4
LT
168 xfs_daddr_t blk_no,
169 int nbblks,
9a8d2fdb 170 struct xfs_buf *bp)
1da177e4
LT
171{
172 int error;
173
ff30a622 174 if (!xlog_buf_bbcount_valid(log, nbblks)) {
a0fa2b67 175 xfs_warn(log->l_mp, "Invalid block length (0x%x) for buffer",
ff30a622
AE
176 nbblks);
177 XFS_ERROR_REPORT(__func__, XFS_ERRLEVEL_HIGH, log->l_mp);
3228149c
DC
178 return EFSCORRUPTED;
179 }
180
69ce58f0
AE
181 blk_no = round_down(blk_no, log->l_sectBBsize);
182 nbblks = round_up(nbblks, log->l_sectBBsize);
1da177e4
LT
183
184 ASSERT(nbblks > 0);
4e94b71b 185 ASSERT(nbblks <= bp->b_length);
1da177e4
LT
186
187 XFS_BUF_SET_ADDR(bp, log->l_logBBstart + blk_no);
188 XFS_BUF_READ(bp);
aa0e8833 189 bp->b_io_length = nbblks;
0e95f19a 190 bp->b_error = 0;
1da177e4
LT
191
192 xfsbdstrat(log->l_mp, bp);
1a1a3e97 193 error = xfs_buf_iowait(bp);
d64e31a2 194 if (error)
901796af 195 xfs_buf_ioerror_alert(bp, __func__);
1da177e4
LT
196 return error;
197}
198
076e6acb
CH
199STATIC int
200xlog_bread(
9a8d2fdb 201 struct xlog *log,
076e6acb
CH
202 xfs_daddr_t blk_no,
203 int nbblks,
9a8d2fdb 204 struct xfs_buf *bp,
076e6acb
CH
205 xfs_caddr_t *offset)
206{
207 int error;
208
209 error = xlog_bread_noalign(log, blk_no, nbblks, bp);
210 if (error)
211 return error;
212
213 *offset = xlog_align(log, blk_no, nbblks, bp);
214 return 0;
215}
216
44396476
DC
217/*
218 * Read at an offset into the buffer. Returns with the buffer in it's original
219 * state regardless of the result of the read.
220 */
221STATIC int
222xlog_bread_offset(
9a8d2fdb 223 struct xlog *log,
44396476
DC
224 xfs_daddr_t blk_no, /* block to read from */
225 int nbblks, /* blocks to read */
9a8d2fdb 226 struct xfs_buf *bp,
44396476
DC
227 xfs_caddr_t offset)
228{
62926044 229 xfs_caddr_t orig_offset = bp->b_addr;
4e94b71b 230 int orig_len = BBTOB(bp->b_length);
44396476
DC
231 int error, error2;
232
02fe03d9 233 error = xfs_buf_associate_memory(bp, offset, BBTOB(nbblks));
44396476
DC
234 if (error)
235 return error;
236
237 error = xlog_bread_noalign(log, blk_no, nbblks, bp);
238
239 /* must reset buffer pointer even on error */
02fe03d9 240 error2 = xfs_buf_associate_memory(bp, orig_offset, orig_len);
44396476
DC
241 if (error)
242 return error;
243 return error2;
244}
245
1da177e4
LT
246/*
247 * Write out the buffer at the given block for the given number of blocks.
248 * The buffer is kept locked across the write and is returned locked.
249 * This can only be used for synchronous log writes.
250 */
ba0f32d4 251STATIC int
1da177e4 252xlog_bwrite(
9a8d2fdb 253 struct xlog *log,
1da177e4
LT
254 xfs_daddr_t blk_no,
255 int nbblks,
9a8d2fdb 256 struct xfs_buf *bp)
1da177e4
LT
257{
258 int error;
259
ff30a622 260 if (!xlog_buf_bbcount_valid(log, nbblks)) {
a0fa2b67 261 xfs_warn(log->l_mp, "Invalid block length (0x%x) for buffer",
ff30a622
AE
262 nbblks);
263 XFS_ERROR_REPORT(__func__, XFS_ERRLEVEL_HIGH, log->l_mp);
3228149c
DC
264 return EFSCORRUPTED;
265 }
266
69ce58f0
AE
267 blk_no = round_down(blk_no, log->l_sectBBsize);
268 nbblks = round_up(nbblks, log->l_sectBBsize);
1da177e4
LT
269
270 ASSERT(nbblks > 0);
4e94b71b 271 ASSERT(nbblks <= bp->b_length);
1da177e4
LT
272
273 XFS_BUF_SET_ADDR(bp, log->l_logBBstart + blk_no);
274 XFS_BUF_ZEROFLAGS(bp);
72790aa1 275 xfs_buf_hold(bp);
0c842ad4 276 xfs_buf_lock(bp);
aa0e8833 277 bp->b_io_length = nbblks;
0e95f19a 278 bp->b_error = 0;
1da177e4 279
c2b006c1 280 error = xfs_bwrite(bp);
901796af
CH
281 if (error)
282 xfs_buf_ioerror_alert(bp, __func__);
c2b006c1 283 xfs_buf_relse(bp);
1da177e4
LT
284 return error;
285}
286
1da177e4
LT
287#ifdef DEBUG
288/*
289 * dump debug superblock and log record information
290 */
291STATIC void
292xlog_header_check_dump(
293 xfs_mount_t *mp,
294 xlog_rec_header_t *head)
295{
a0fa2b67 296 xfs_debug(mp, "%s: SB : uuid = %pU, fmt = %d\n",
03daa57c 297 __func__, &mp->m_sb.sb_uuid, XLOG_FMT);
a0fa2b67 298 xfs_debug(mp, " log : uuid = %pU, fmt = %d\n",
03daa57c 299 &head->h_fs_uuid, be32_to_cpu(head->h_fmt));
1da177e4
LT
300}
301#else
302#define xlog_header_check_dump(mp, head)
303#endif
304
305/*
306 * check log record header for recovery
307 */
308STATIC int
309xlog_header_check_recover(
310 xfs_mount_t *mp,
311 xlog_rec_header_t *head)
312{
69ef921b 313 ASSERT(head->h_magicno == cpu_to_be32(XLOG_HEADER_MAGIC_NUM));
1da177e4
LT
314
315 /*
316 * IRIX doesn't write the h_fmt field and leaves it zeroed
317 * (XLOG_FMT_UNKNOWN). This stops us from trying to recover
318 * a dirty log created in IRIX.
319 */
69ef921b 320 if (unlikely(head->h_fmt != cpu_to_be32(XLOG_FMT))) {
a0fa2b67
DC
321 xfs_warn(mp,
322 "dirty log written in incompatible format - can't recover");
1da177e4
LT
323 xlog_header_check_dump(mp, head);
324 XFS_ERROR_REPORT("xlog_header_check_recover(1)",
325 XFS_ERRLEVEL_HIGH, mp);
326 return XFS_ERROR(EFSCORRUPTED);
327 } else if (unlikely(!uuid_equal(&mp->m_sb.sb_uuid, &head->h_fs_uuid))) {
a0fa2b67
DC
328 xfs_warn(mp,
329 "dirty log entry has mismatched uuid - can't recover");
1da177e4
LT
330 xlog_header_check_dump(mp, head);
331 XFS_ERROR_REPORT("xlog_header_check_recover(2)",
332 XFS_ERRLEVEL_HIGH, mp);
333 return XFS_ERROR(EFSCORRUPTED);
334 }
335 return 0;
336}
337
338/*
339 * read the head block of the log and check the header
340 */
341STATIC int
342xlog_header_check_mount(
343 xfs_mount_t *mp,
344 xlog_rec_header_t *head)
345{
69ef921b 346 ASSERT(head->h_magicno == cpu_to_be32(XLOG_HEADER_MAGIC_NUM));
1da177e4
LT
347
348 if (uuid_is_nil(&head->h_fs_uuid)) {
349 /*
350 * IRIX doesn't write the h_fs_uuid or h_fmt fields. If
351 * h_fs_uuid is nil, we assume this log was last mounted
352 * by IRIX and continue.
353 */
a0fa2b67 354 xfs_warn(mp, "nil uuid in log - IRIX style log");
1da177e4 355 } else if (unlikely(!uuid_equal(&mp->m_sb.sb_uuid, &head->h_fs_uuid))) {
a0fa2b67 356 xfs_warn(mp, "log has mismatched uuid - can't recover");
1da177e4
LT
357 xlog_header_check_dump(mp, head);
358 XFS_ERROR_REPORT("xlog_header_check_mount",
359 XFS_ERRLEVEL_HIGH, mp);
360 return XFS_ERROR(EFSCORRUPTED);
361 }
362 return 0;
363}
364
365STATIC void
366xlog_recover_iodone(
367 struct xfs_buf *bp)
368{
5a52c2a5 369 if (bp->b_error) {
1da177e4
LT
370 /*
371 * We're not going to bother about retrying
372 * this during recovery. One strike!
373 */
901796af 374 xfs_buf_ioerror_alert(bp, __func__);
ebad861b
DC
375 xfs_force_shutdown(bp->b_target->bt_mount,
376 SHUTDOWN_META_IO_ERROR);
1da177e4 377 }
cb669ca5 378 bp->b_iodone = NULL;
1a1a3e97 379 xfs_buf_ioend(bp, 0);
1da177e4
LT
380}
381
382/*
383 * This routine finds (to an approximation) the first block in the physical
384 * log which contains the given cycle. It uses a binary search algorithm.
385 * Note that the algorithm can not be perfect because the disk will not
386 * necessarily be perfect.
387 */
a8272ce0 388STATIC int
1da177e4 389xlog_find_cycle_start(
9a8d2fdb
MT
390 struct xlog *log,
391 struct xfs_buf *bp,
1da177e4
LT
392 xfs_daddr_t first_blk,
393 xfs_daddr_t *last_blk,
394 uint cycle)
395{
396 xfs_caddr_t offset;
397 xfs_daddr_t mid_blk;
e3bb2e30 398 xfs_daddr_t end_blk;
1da177e4
LT
399 uint mid_cycle;
400 int error;
401
e3bb2e30
AE
402 end_blk = *last_blk;
403 mid_blk = BLK_AVG(first_blk, end_blk);
404 while (mid_blk != first_blk && mid_blk != end_blk) {
076e6acb
CH
405 error = xlog_bread(log, mid_blk, 1, bp, &offset);
406 if (error)
1da177e4 407 return error;
03bea6fe 408 mid_cycle = xlog_get_cycle(offset);
e3bb2e30
AE
409 if (mid_cycle == cycle)
410 end_blk = mid_blk; /* last_half_cycle == mid_cycle */
411 else
412 first_blk = mid_blk; /* first_half_cycle == mid_cycle */
413 mid_blk = BLK_AVG(first_blk, end_blk);
1da177e4 414 }
e3bb2e30
AE
415 ASSERT((mid_blk == first_blk && mid_blk+1 == end_blk) ||
416 (mid_blk == end_blk && mid_blk-1 == first_blk));
417
418 *last_blk = end_blk;
1da177e4
LT
419
420 return 0;
421}
422
423/*
3f943d85
AE
424 * Check that a range of blocks does not contain stop_on_cycle_no.
425 * Fill in *new_blk with the block offset where such a block is
426 * found, or with -1 (an invalid block number) if there is no such
427 * block in the range. The scan needs to occur from front to back
428 * and the pointer into the region must be updated since a later
429 * routine will need to perform another test.
1da177e4
LT
430 */
431STATIC int
432xlog_find_verify_cycle(
9a8d2fdb 433 struct xlog *log,
1da177e4
LT
434 xfs_daddr_t start_blk,
435 int nbblks,
436 uint stop_on_cycle_no,
437 xfs_daddr_t *new_blk)
438{
439 xfs_daddr_t i, j;
440 uint cycle;
441 xfs_buf_t *bp;
442 xfs_daddr_t bufblks;
443 xfs_caddr_t buf = NULL;
444 int error = 0;
445
6881a229
AE
446 /*
447 * Greedily allocate a buffer big enough to handle the full
448 * range of basic blocks we'll be examining. If that fails,
449 * try a smaller size. We need to be able to read at least
450 * a log sector, or we're out of luck.
451 */
1da177e4 452 bufblks = 1 << ffs(nbblks);
81158e0c
DC
453 while (bufblks > log->l_logBBsize)
454 bufblks >>= 1;
1da177e4 455 while (!(bp = xlog_get_bp(log, bufblks))) {
1da177e4 456 bufblks >>= 1;
69ce58f0 457 if (bufblks < log->l_sectBBsize)
1da177e4
LT
458 return ENOMEM;
459 }
460
461 for (i = start_blk; i < start_blk + nbblks; i += bufblks) {
462 int bcount;
463
464 bcount = min(bufblks, (start_blk + nbblks - i));
465
076e6acb
CH
466 error = xlog_bread(log, i, bcount, bp, &buf);
467 if (error)
1da177e4
LT
468 goto out;
469
1da177e4 470 for (j = 0; j < bcount; j++) {
03bea6fe 471 cycle = xlog_get_cycle(buf);
1da177e4
LT
472 if (cycle == stop_on_cycle_no) {
473 *new_blk = i+j;
474 goto out;
475 }
476
477 buf += BBSIZE;
478 }
479 }
480
481 *new_blk = -1;
482
483out:
484 xlog_put_bp(bp);
485 return error;
486}
487
488/*
489 * Potentially backup over partial log record write.
490 *
491 * In the typical case, last_blk is the number of the block directly after
492 * a good log record. Therefore, we subtract one to get the block number
493 * of the last block in the given buffer. extra_bblks contains the number
494 * of blocks we would have read on a previous read. This happens when the
495 * last log record is split over the end of the physical log.
496 *
497 * extra_bblks is the number of blocks potentially verified on a previous
498 * call to this routine.
499 */
500STATIC int
501xlog_find_verify_log_record(
9a8d2fdb 502 struct xlog *log,
1da177e4
LT
503 xfs_daddr_t start_blk,
504 xfs_daddr_t *last_blk,
505 int extra_bblks)
506{
507 xfs_daddr_t i;
508 xfs_buf_t *bp;
509 xfs_caddr_t offset = NULL;
510 xlog_rec_header_t *head = NULL;
511 int error = 0;
512 int smallmem = 0;
513 int num_blks = *last_blk - start_blk;
514 int xhdrs;
515
516 ASSERT(start_blk != 0 || *last_blk != start_blk);
517
518 if (!(bp = xlog_get_bp(log, num_blks))) {
519 if (!(bp = xlog_get_bp(log, 1)))
520 return ENOMEM;
521 smallmem = 1;
522 } else {
076e6acb
CH
523 error = xlog_bread(log, start_blk, num_blks, bp, &offset);
524 if (error)
1da177e4 525 goto out;
1da177e4
LT
526 offset += ((num_blks - 1) << BBSHIFT);
527 }
528
529 for (i = (*last_blk) - 1; i >= 0; i--) {
530 if (i < start_blk) {
531 /* valid log record not found */
a0fa2b67
DC
532 xfs_warn(log->l_mp,
533 "Log inconsistent (didn't find previous header)");
1da177e4
LT
534 ASSERT(0);
535 error = XFS_ERROR(EIO);
536 goto out;
537 }
538
539 if (smallmem) {
076e6acb
CH
540 error = xlog_bread(log, i, 1, bp, &offset);
541 if (error)
1da177e4 542 goto out;
1da177e4
LT
543 }
544
545 head = (xlog_rec_header_t *)offset;
546
69ef921b 547 if (head->h_magicno == cpu_to_be32(XLOG_HEADER_MAGIC_NUM))
1da177e4
LT
548 break;
549
550 if (!smallmem)
551 offset -= BBSIZE;
552 }
553
554 /*
555 * We hit the beginning of the physical log & still no header. Return
556 * to caller. If caller can handle a return of -1, then this routine
557 * will be called again for the end of the physical log.
558 */
559 if (i == -1) {
560 error = -1;
561 goto out;
562 }
563
564 /*
565 * We have the final block of the good log (the first block
566 * of the log record _before_ the head. So we check the uuid.
567 */
568 if ((error = xlog_header_check_mount(log->l_mp, head)))
569 goto out;
570
571 /*
572 * We may have found a log record header before we expected one.
573 * last_blk will be the 1st block # with a given cycle #. We may end
574 * up reading an entire log record. In this case, we don't want to
575 * reset last_blk. Only when last_blk points in the middle of a log
576 * record do we update last_blk.
577 */
62118709 578 if (xfs_sb_version_haslogv2(&log->l_mp->m_sb)) {
b53e675d 579 uint h_size = be32_to_cpu(head->h_size);
1da177e4
LT
580
581 xhdrs = h_size / XLOG_HEADER_CYCLE_SIZE;
582 if (h_size % XLOG_HEADER_CYCLE_SIZE)
583 xhdrs++;
584 } else {
585 xhdrs = 1;
586 }
587
b53e675d
CH
588 if (*last_blk - i + extra_bblks !=
589 BTOBB(be32_to_cpu(head->h_len)) + xhdrs)
1da177e4
LT
590 *last_blk = i;
591
592out:
593 xlog_put_bp(bp);
594 return error;
595}
596
597/*
598 * Head is defined to be the point of the log where the next log write
599 * write could go. This means that incomplete LR writes at the end are
600 * eliminated when calculating the head. We aren't guaranteed that previous
601 * LR have complete transactions. We only know that a cycle number of
602 * current cycle number -1 won't be present in the log if we start writing
603 * from our current block number.
604 *
605 * last_blk contains the block number of the first block with a given
606 * cycle number.
607 *
608 * Return: zero if normal, non-zero if error.
609 */
ba0f32d4 610STATIC int
1da177e4 611xlog_find_head(
9a8d2fdb 612 struct xlog *log,
1da177e4
LT
613 xfs_daddr_t *return_head_blk)
614{
615 xfs_buf_t *bp;
616 xfs_caddr_t offset;
617 xfs_daddr_t new_blk, first_blk, start_blk, last_blk, head_blk;
618 int num_scan_bblks;
619 uint first_half_cycle, last_half_cycle;
620 uint stop_on_cycle;
621 int error, log_bbnum = log->l_logBBsize;
622
623 /* Is the end of the log device zeroed? */
624 if ((error = xlog_find_zeroed(log, &first_blk)) == -1) {
625 *return_head_blk = first_blk;
626
627 /* Is the whole lot zeroed? */
628 if (!first_blk) {
629 /* Linux XFS shouldn't generate totally zeroed logs -
630 * mkfs etc write a dummy unmount record to a fresh
631 * log so we can store the uuid in there
632 */
a0fa2b67 633 xfs_warn(log->l_mp, "totally zeroed log");
1da177e4
LT
634 }
635
636 return 0;
637 } else if (error) {
a0fa2b67 638 xfs_warn(log->l_mp, "empty log check failed");
1da177e4
LT
639 return error;
640 }
641
642 first_blk = 0; /* get cycle # of 1st block */
643 bp = xlog_get_bp(log, 1);
644 if (!bp)
645 return ENOMEM;
076e6acb
CH
646
647 error = xlog_bread(log, 0, 1, bp, &offset);
648 if (error)
1da177e4 649 goto bp_err;
076e6acb 650
03bea6fe 651 first_half_cycle = xlog_get_cycle(offset);
1da177e4
LT
652
653 last_blk = head_blk = log_bbnum - 1; /* get cycle # of last block */
076e6acb
CH
654 error = xlog_bread(log, last_blk, 1, bp, &offset);
655 if (error)
1da177e4 656 goto bp_err;
076e6acb 657
03bea6fe 658 last_half_cycle = xlog_get_cycle(offset);
1da177e4
LT
659 ASSERT(last_half_cycle != 0);
660
661 /*
662 * If the 1st half cycle number is equal to the last half cycle number,
663 * then the entire log is stamped with the same cycle number. In this
664 * case, head_blk can't be set to zero (which makes sense). The below
665 * math doesn't work out properly with head_blk equal to zero. Instead,
666 * we set it to log_bbnum which is an invalid block number, but this
667 * value makes the math correct. If head_blk doesn't changed through
668 * all the tests below, *head_blk is set to zero at the very end rather
669 * than log_bbnum. In a sense, log_bbnum and zero are the same block
670 * in a circular file.
671 */
672 if (first_half_cycle == last_half_cycle) {
673 /*
674 * In this case we believe that the entire log should have
675 * cycle number last_half_cycle. We need to scan backwards
676 * from the end verifying that there are no holes still
677 * containing last_half_cycle - 1. If we find such a hole,
678 * then the start of that hole will be the new head. The
679 * simple case looks like
680 * x | x ... | x - 1 | x
681 * Another case that fits this picture would be
682 * x | x + 1 | x ... | x
c41564b5 683 * In this case the head really is somewhere at the end of the
1da177e4
LT
684 * log, as one of the latest writes at the beginning was
685 * incomplete.
686 * One more case is
687 * x | x + 1 | x ... | x - 1 | x
688 * This is really the combination of the above two cases, and
689 * the head has to end up at the start of the x-1 hole at the
690 * end of the log.
691 *
692 * In the 256k log case, we will read from the beginning to the
693 * end of the log and search for cycle numbers equal to x-1.
694 * We don't worry about the x+1 blocks that we encounter,
695 * because we know that they cannot be the head since the log
696 * started with x.
697 */
698 head_blk = log_bbnum;
699 stop_on_cycle = last_half_cycle - 1;
700 } else {
701 /*
702 * In this case we want to find the first block with cycle
703 * number matching last_half_cycle. We expect the log to be
704 * some variation on
3f943d85 705 * x + 1 ... | x ... | x
1da177e4
LT
706 * The first block with cycle number x (last_half_cycle) will
707 * be where the new head belongs. First we do a binary search
708 * for the first occurrence of last_half_cycle. The binary
709 * search may not be totally accurate, so then we scan back
710 * from there looking for occurrences of last_half_cycle before
711 * us. If that backwards scan wraps around the beginning of
712 * the log, then we look for occurrences of last_half_cycle - 1
713 * at the end of the log. The cases we're looking for look
714 * like
3f943d85
AE
715 * v binary search stopped here
716 * x + 1 ... | x | x + 1 | x ... | x
717 * ^ but we want to locate this spot
1da177e4 718 * or
1da177e4 719 * <---------> less than scan distance
3f943d85
AE
720 * x + 1 ... | x ... | x - 1 | x
721 * ^ we want to locate this spot
1da177e4
LT
722 */
723 stop_on_cycle = last_half_cycle;
724 if ((error = xlog_find_cycle_start(log, bp, first_blk,
725 &head_blk, last_half_cycle)))
726 goto bp_err;
727 }
728
729 /*
730 * Now validate the answer. Scan back some number of maximum possible
731 * blocks and make sure each one has the expected cycle number. The
732 * maximum is determined by the total possible amount of buffering
733 * in the in-core log. The following number can be made tighter if
734 * we actually look at the block size of the filesystem.
735 */
736 num_scan_bblks = XLOG_TOTAL_REC_SHIFT(log);
737 if (head_blk >= num_scan_bblks) {
738 /*
739 * We are guaranteed that the entire check can be performed
740 * in one buffer.
741 */
742 start_blk = head_blk - num_scan_bblks;
743 if ((error = xlog_find_verify_cycle(log,
744 start_blk, num_scan_bblks,
745 stop_on_cycle, &new_blk)))
746 goto bp_err;
747 if (new_blk != -1)
748 head_blk = new_blk;
749 } else { /* need to read 2 parts of log */
750 /*
751 * We are going to scan backwards in the log in two parts.
752 * First we scan the physical end of the log. In this part
753 * of the log, we are looking for blocks with cycle number
754 * last_half_cycle - 1.
755 * If we find one, then we know that the log starts there, as
756 * we've found a hole that didn't get written in going around
757 * the end of the physical log. The simple case for this is
758 * x + 1 ... | x ... | x - 1 | x
759 * <---------> less than scan distance
760 * If all of the blocks at the end of the log have cycle number
761 * last_half_cycle, then we check the blocks at the start of
762 * the log looking for occurrences of last_half_cycle. If we
763 * find one, then our current estimate for the location of the
764 * first occurrence of last_half_cycle is wrong and we move
765 * back to the hole we've found. This case looks like
766 * x + 1 ... | x | x + 1 | x ...
767 * ^ binary search stopped here
768 * Another case we need to handle that only occurs in 256k
769 * logs is
770 * x + 1 ... | x ... | x+1 | x ...
771 * ^ binary search stops here
772 * In a 256k log, the scan at the end of the log will see the
773 * x + 1 blocks. We need to skip past those since that is
774 * certainly not the head of the log. By searching for
775 * last_half_cycle-1 we accomplish that.
776 */
1da177e4 777 ASSERT(head_blk <= INT_MAX &&
3f943d85
AE
778 (xfs_daddr_t) num_scan_bblks >= head_blk);
779 start_blk = log_bbnum - (num_scan_bblks - head_blk);
1da177e4
LT
780 if ((error = xlog_find_verify_cycle(log, start_blk,
781 num_scan_bblks - (int)head_blk,
782 (stop_on_cycle - 1), &new_blk)))
783 goto bp_err;
784 if (new_blk != -1) {
785 head_blk = new_blk;
9db127ed 786 goto validate_head;
1da177e4
LT
787 }
788
789 /*
790 * Scan beginning of log now. The last part of the physical
791 * log is good. This scan needs to verify that it doesn't find
792 * the last_half_cycle.
793 */
794 start_blk = 0;
795 ASSERT(head_blk <= INT_MAX);
796 if ((error = xlog_find_verify_cycle(log,
797 start_blk, (int)head_blk,
798 stop_on_cycle, &new_blk)))
799 goto bp_err;
800 if (new_blk != -1)
801 head_blk = new_blk;
802 }
803
9db127ed 804validate_head:
1da177e4
LT
805 /*
806 * Now we need to make sure head_blk is not pointing to a block in
807 * the middle of a log record.
808 */
809 num_scan_bblks = XLOG_REC_SHIFT(log);
810 if (head_blk >= num_scan_bblks) {
811 start_blk = head_blk - num_scan_bblks; /* don't read head_blk */
812
813 /* start ptr at last block ptr before head_blk */
814 if ((error = xlog_find_verify_log_record(log, start_blk,
815 &head_blk, 0)) == -1) {
816 error = XFS_ERROR(EIO);
817 goto bp_err;
818 } else if (error)
819 goto bp_err;
820 } else {
821 start_blk = 0;
822 ASSERT(head_blk <= INT_MAX);
823 if ((error = xlog_find_verify_log_record(log, start_blk,
824 &head_blk, 0)) == -1) {
825 /* We hit the beginning of the log during our search */
3f943d85 826 start_blk = log_bbnum - (num_scan_bblks - head_blk);
1da177e4
LT
827 new_blk = log_bbnum;
828 ASSERT(start_blk <= INT_MAX &&
829 (xfs_daddr_t) log_bbnum-start_blk >= 0);
830 ASSERT(head_blk <= INT_MAX);
831 if ((error = xlog_find_verify_log_record(log,
832 start_blk, &new_blk,
833 (int)head_blk)) == -1) {
834 error = XFS_ERROR(EIO);
835 goto bp_err;
836 } else if (error)
837 goto bp_err;
838 if (new_blk != log_bbnum)
839 head_blk = new_blk;
840 } else if (error)
841 goto bp_err;
842 }
843
844 xlog_put_bp(bp);
845 if (head_blk == log_bbnum)
846 *return_head_blk = 0;
847 else
848 *return_head_blk = head_blk;
849 /*
850 * When returning here, we have a good block number. Bad block
851 * means that during a previous crash, we didn't have a clean break
852 * from cycle number N to cycle number N-1. In this case, we need
853 * to find the first block with cycle number N-1.
854 */
855 return 0;
856
857 bp_err:
858 xlog_put_bp(bp);
859
860 if (error)
a0fa2b67 861 xfs_warn(log->l_mp, "failed to find log head");
1da177e4
LT
862 return error;
863}
864
865/*
866 * Find the sync block number or the tail of the log.
867 *
868 * This will be the block number of the last record to have its
869 * associated buffers synced to disk. Every log record header has
870 * a sync lsn embedded in it. LSNs hold block numbers, so it is easy
871 * to get a sync block number. The only concern is to figure out which
872 * log record header to believe.
873 *
874 * The following algorithm uses the log record header with the largest
875 * lsn. The entire log record does not need to be valid. We only care
876 * that the header is valid.
877 *
878 * We could speed up search by using current head_blk buffer, but it is not
879 * available.
880 */
5d77c0dc 881STATIC int
1da177e4 882xlog_find_tail(
9a8d2fdb 883 struct xlog *log,
1da177e4 884 xfs_daddr_t *head_blk,
65be6054 885 xfs_daddr_t *tail_blk)
1da177e4
LT
886{
887 xlog_rec_header_t *rhead;
888 xlog_op_header_t *op_head;
889 xfs_caddr_t offset = NULL;
890 xfs_buf_t *bp;
891 int error, i, found;
892 xfs_daddr_t umount_data_blk;
893 xfs_daddr_t after_umount_blk;
894 xfs_lsn_t tail_lsn;
895 int hblks;
896
897 found = 0;
898
899 /*
900 * Find previous log record
901 */
902 if ((error = xlog_find_head(log, head_blk)))
903 return error;
904
905 bp = xlog_get_bp(log, 1);
906 if (!bp)
907 return ENOMEM;
908 if (*head_blk == 0) { /* special case */
076e6acb
CH
909 error = xlog_bread(log, 0, 1, bp, &offset);
910 if (error)
9db127ed 911 goto done;
076e6acb 912
03bea6fe 913 if (xlog_get_cycle(offset) == 0) {
1da177e4
LT
914 *tail_blk = 0;
915 /* leave all other log inited values alone */
9db127ed 916 goto done;
1da177e4
LT
917 }
918 }
919
920 /*
921 * Search backwards looking for log record header block
922 */
923 ASSERT(*head_blk < INT_MAX);
924 for (i = (int)(*head_blk) - 1; i >= 0; i--) {
076e6acb
CH
925 error = xlog_bread(log, i, 1, bp, &offset);
926 if (error)
9db127ed 927 goto done;
076e6acb 928
69ef921b 929 if (*(__be32 *)offset == cpu_to_be32(XLOG_HEADER_MAGIC_NUM)) {
1da177e4
LT
930 found = 1;
931 break;
932 }
933 }
934 /*
935 * If we haven't found the log record header block, start looking
936 * again from the end of the physical log. XXXmiken: There should be
937 * a check here to make sure we didn't search more than N blocks in
938 * the previous code.
939 */
940 if (!found) {
941 for (i = log->l_logBBsize - 1; i >= (int)(*head_blk); i--) {
076e6acb
CH
942 error = xlog_bread(log, i, 1, bp, &offset);
943 if (error)
9db127ed 944 goto done;
076e6acb 945
69ef921b
CH
946 if (*(__be32 *)offset ==
947 cpu_to_be32(XLOG_HEADER_MAGIC_NUM)) {
1da177e4
LT
948 found = 2;
949 break;
950 }
951 }
952 }
953 if (!found) {
a0fa2b67 954 xfs_warn(log->l_mp, "%s: couldn't find sync record", __func__);
1da177e4
LT
955 ASSERT(0);
956 return XFS_ERROR(EIO);
957 }
958
959 /* find blk_no of tail of log */
960 rhead = (xlog_rec_header_t *)offset;
b53e675d 961 *tail_blk = BLOCK_LSN(be64_to_cpu(rhead->h_tail_lsn));
1da177e4
LT
962
963 /*
964 * Reset log values according to the state of the log when we
965 * crashed. In the case where head_blk == 0, we bump curr_cycle
966 * one because the next write starts a new cycle rather than
967 * continuing the cycle of the last good log record. At this
968 * point we have guaranteed that all partial log records have been
969 * accounted for. Therefore, we know that the last good log record
970 * written was complete and ended exactly on the end boundary
971 * of the physical log.
972 */
973 log->l_prev_block = i;
974 log->l_curr_block = (int)*head_blk;
b53e675d 975 log->l_curr_cycle = be32_to_cpu(rhead->h_cycle);
1da177e4
LT
976 if (found == 2)
977 log->l_curr_cycle++;
1c3cb9ec 978 atomic64_set(&log->l_tail_lsn, be64_to_cpu(rhead->h_tail_lsn));
84f3c683 979 atomic64_set(&log->l_last_sync_lsn, be64_to_cpu(rhead->h_lsn));
28496968 980 xlog_assign_grant_head(&log->l_reserve_head.grant, log->l_curr_cycle,
a69ed03c 981 BBTOB(log->l_curr_block));
28496968 982 xlog_assign_grant_head(&log->l_write_head.grant, log->l_curr_cycle,
a69ed03c 983 BBTOB(log->l_curr_block));
1da177e4
LT
984
985 /*
986 * Look for unmount record. If we find it, then we know there
987 * was a clean unmount. Since 'i' could be the last block in
988 * the physical log, we convert to a log block before comparing
989 * to the head_blk.
990 *
991 * Save the current tail lsn to use to pass to
992 * xlog_clear_stale_blocks() below. We won't want to clear the
993 * unmount record if there is one, so we pass the lsn of the
994 * unmount record rather than the block after it.
995 */
62118709 996 if (xfs_sb_version_haslogv2(&log->l_mp->m_sb)) {
b53e675d
CH
997 int h_size = be32_to_cpu(rhead->h_size);
998 int h_version = be32_to_cpu(rhead->h_version);
1da177e4
LT
999
1000 if ((h_version & XLOG_VERSION_2) &&
1001 (h_size > XLOG_HEADER_CYCLE_SIZE)) {
1002 hblks = h_size / XLOG_HEADER_CYCLE_SIZE;
1003 if (h_size % XLOG_HEADER_CYCLE_SIZE)
1004 hblks++;
1005 } else {
1006 hblks = 1;
1007 }
1008 } else {
1009 hblks = 1;
1010 }
1011 after_umount_blk = (i + hblks + (int)
b53e675d 1012 BTOBB(be32_to_cpu(rhead->h_len))) % log->l_logBBsize;
1c3cb9ec 1013 tail_lsn = atomic64_read(&log->l_tail_lsn);
1da177e4 1014 if (*head_blk == after_umount_blk &&
b53e675d 1015 be32_to_cpu(rhead->h_num_logops) == 1) {
1da177e4 1016 umount_data_blk = (i + hblks) % log->l_logBBsize;
076e6acb
CH
1017 error = xlog_bread(log, umount_data_blk, 1, bp, &offset);
1018 if (error)
9db127ed 1019 goto done;
076e6acb 1020
1da177e4
LT
1021 op_head = (xlog_op_header_t *)offset;
1022 if (op_head->oh_flags & XLOG_UNMOUNT_TRANS) {
1023 /*
1024 * Set tail and last sync so that newly written
1025 * log records will point recovery to after the
1026 * current unmount record.
1027 */
1c3cb9ec
DC
1028 xlog_assign_atomic_lsn(&log->l_tail_lsn,
1029 log->l_curr_cycle, after_umount_blk);
1030 xlog_assign_atomic_lsn(&log->l_last_sync_lsn,
1031 log->l_curr_cycle, after_umount_blk);
1da177e4 1032 *tail_blk = after_umount_blk;
92821e2b
DC
1033
1034 /*
1035 * Note that the unmount was clean. If the unmount
1036 * was not clean, we need to know this to rebuild the
1037 * superblock counters from the perag headers if we
1038 * have a filesystem using non-persistent counters.
1039 */
1040 log->l_mp->m_flags |= XFS_MOUNT_WAS_CLEAN;
1da177e4
LT
1041 }
1042 }
1043
1044 /*
1045 * Make sure that there are no blocks in front of the head
1046 * with the same cycle number as the head. This can happen
1047 * because we allow multiple outstanding log writes concurrently,
1048 * and the later writes might make it out before earlier ones.
1049 *
1050 * We use the lsn from before modifying it so that we'll never
1051 * overwrite the unmount record after a clean unmount.
1052 *
1053 * Do this only if we are going to recover the filesystem
1054 *
1055 * NOTE: This used to say "if (!readonly)"
1056 * However on Linux, we can & do recover a read-only filesystem.
1057 * We only skip recovery if NORECOVERY is specified on mount,
1058 * in which case we would not be here.
1059 *
1060 * But... if the -device- itself is readonly, just skip this.
1061 * We can't recover this device anyway, so it won't matter.
1062 */
9db127ed 1063 if (!xfs_readonly_buftarg(log->l_mp->m_logdev_targp))
1da177e4 1064 error = xlog_clear_stale_blocks(log, tail_lsn);
1da177e4 1065
9db127ed 1066done:
1da177e4
LT
1067 xlog_put_bp(bp);
1068
1069 if (error)
a0fa2b67 1070 xfs_warn(log->l_mp, "failed to locate log tail");
1da177e4
LT
1071 return error;
1072}
1073
1074/*
1075 * Is the log zeroed at all?
1076 *
1077 * The last binary search should be changed to perform an X block read
1078 * once X becomes small enough. You can then search linearly through
1079 * the X blocks. This will cut down on the number of reads we need to do.
1080 *
1081 * If the log is partially zeroed, this routine will pass back the blkno
1082 * of the first block with cycle number 0. It won't have a complete LR
1083 * preceding it.
1084 *
1085 * Return:
1086 * 0 => the log is completely written to
1087 * -1 => use *blk_no as the first block of the log
1088 * >0 => error has occurred
1089 */
a8272ce0 1090STATIC int
1da177e4 1091xlog_find_zeroed(
9a8d2fdb 1092 struct xlog *log,
1da177e4
LT
1093 xfs_daddr_t *blk_no)
1094{
1095 xfs_buf_t *bp;
1096 xfs_caddr_t offset;
1097 uint first_cycle, last_cycle;
1098 xfs_daddr_t new_blk, last_blk, start_blk;
1099 xfs_daddr_t num_scan_bblks;
1100 int error, log_bbnum = log->l_logBBsize;
1101
6fdf8ccc
NS
1102 *blk_no = 0;
1103
1da177e4
LT
1104 /* check totally zeroed log */
1105 bp = xlog_get_bp(log, 1);
1106 if (!bp)
1107 return ENOMEM;
076e6acb
CH
1108 error = xlog_bread(log, 0, 1, bp, &offset);
1109 if (error)
1da177e4 1110 goto bp_err;
076e6acb 1111
03bea6fe 1112 first_cycle = xlog_get_cycle(offset);
1da177e4
LT
1113 if (first_cycle == 0) { /* completely zeroed log */
1114 *blk_no = 0;
1115 xlog_put_bp(bp);
1116 return -1;
1117 }
1118
1119 /* check partially zeroed log */
076e6acb
CH
1120 error = xlog_bread(log, log_bbnum-1, 1, bp, &offset);
1121 if (error)
1da177e4 1122 goto bp_err;
076e6acb 1123
03bea6fe 1124 last_cycle = xlog_get_cycle(offset);
1da177e4
LT
1125 if (last_cycle != 0) { /* log completely written to */
1126 xlog_put_bp(bp);
1127 return 0;
1128 } else if (first_cycle != 1) {
1129 /*
1130 * If the cycle of the last block is zero, the cycle of
1131 * the first block must be 1. If it's not, maybe we're
1132 * not looking at a log... Bail out.
1133 */
a0fa2b67
DC
1134 xfs_warn(log->l_mp,
1135 "Log inconsistent or not a log (last==0, first!=1)");
1da177e4
LT
1136 return XFS_ERROR(EINVAL);
1137 }
1138
1139 /* we have a partially zeroed log */
1140 last_blk = log_bbnum-1;
1141 if ((error = xlog_find_cycle_start(log, bp, 0, &last_blk, 0)))
1142 goto bp_err;
1143
1144 /*
1145 * Validate the answer. Because there is no way to guarantee that
1146 * the entire log is made up of log records which are the same size,
1147 * we scan over the defined maximum blocks. At this point, the maximum
1148 * is not chosen to mean anything special. XXXmiken
1149 */
1150 num_scan_bblks = XLOG_TOTAL_REC_SHIFT(log);
1151 ASSERT(num_scan_bblks <= INT_MAX);
1152
1153 if (last_blk < num_scan_bblks)
1154 num_scan_bblks = last_blk;
1155 start_blk = last_blk - num_scan_bblks;
1156
1157 /*
1158 * We search for any instances of cycle number 0 that occur before
1159 * our current estimate of the head. What we're trying to detect is
1160 * 1 ... | 0 | 1 | 0...
1161 * ^ binary search ends here
1162 */
1163 if ((error = xlog_find_verify_cycle(log, start_blk,
1164 (int)num_scan_bblks, 0, &new_blk)))
1165 goto bp_err;
1166 if (new_blk != -1)
1167 last_blk = new_blk;
1168
1169 /*
1170 * Potentially backup over partial log record write. We don't need
1171 * to search the end of the log because we know it is zero.
1172 */
1173 if ((error = xlog_find_verify_log_record(log, start_blk,
1174 &last_blk, 0)) == -1) {
1175 error = XFS_ERROR(EIO);
1176 goto bp_err;
1177 } else if (error)
1178 goto bp_err;
1179
1180 *blk_no = last_blk;
1181bp_err:
1182 xlog_put_bp(bp);
1183 if (error)
1184 return error;
1185 return -1;
1186}
1187
1188/*
1189 * These are simple subroutines used by xlog_clear_stale_blocks() below
1190 * to initialize a buffer full of empty log record headers and write
1191 * them into the log.
1192 */
1193STATIC void
1194xlog_add_record(
9a8d2fdb 1195 struct xlog *log,
1da177e4
LT
1196 xfs_caddr_t buf,
1197 int cycle,
1198 int block,
1199 int tail_cycle,
1200 int tail_block)
1201{
1202 xlog_rec_header_t *recp = (xlog_rec_header_t *)buf;
1203
1204 memset(buf, 0, BBSIZE);
b53e675d
CH
1205 recp->h_magicno = cpu_to_be32(XLOG_HEADER_MAGIC_NUM);
1206 recp->h_cycle = cpu_to_be32(cycle);
1207 recp->h_version = cpu_to_be32(
62118709 1208 xfs_sb_version_haslogv2(&log->l_mp->m_sb) ? 2 : 1);
b53e675d
CH
1209 recp->h_lsn = cpu_to_be64(xlog_assign_lsn(cycle, block));
1210 recp->h_tail_lsn = cpu_to_be64(xlog_assign_lsn(tail_cycle, tail_block));
1211 recp->h_fmt = cpu_to_be32(XLOG_FMT);
1da177e4
LT
1212 memcpy(&recp->h_fs_uuid, &log->l_mp->m_sb.sb_uuid, sizeof(uuid_t));
1213}
1214
1215STATIC int
1216xlog_write_log_records(
9a8d2fdb 1217 struct xlog *log,
1da177e4
LT
1218 int cycle,
1219 int start_block,
1220 int blocks,
1221 int tail_cycle,
1222 int tail_block)
1223{
1224 xfs_caddr_t offset;
1225 xfs_buf_t *bp;
1226 int balign, ealign;
69ce58f0 1227 int sectbb = log->l_sectBBsize;
1da177e4
LT
1228 int end_block = start_block + blocks;
1229 int bufblks;
1230 int error = 0;
1231 int i, j = 0;
1232
6881a229
AE
1233 /*
1234 * Greedily allocate a buffer big enough to handle the full
1235 * range of basic blocks to be written. If that fails, try
1236 * a smaller size. We need to be able to write at least a
1237 * log sector, or we're out of luck.
1238 */
1da177e4 1239 bufblks = 1 << ffs(blocks);
81158e0c
DC
1240 while (bufblks > log->l_logBBsize)
1241 bufblks >>= 1;
1da177e4
LT
1242 while (!(bp = xlog_get_bp(log, bufblks))) {
1243 bufblks >>= 1;
69ce58f0 1244 if (bufblks < sectbb)
1da177e4
LT
1245 return ENOMEM;
1246 }
1247
1248 /* We may need to do a read at the start to fill in part of
1249 * the buffer in the starting sector not covered by the first
1250 * write below.
1251 */
5c17f533 1252 balign = round_down(start_block, sectbb);
1da177e4 1253 if (balign != start_block) {
076e6acb
CH
1254 error = xlog_bread_noalign(log, start_block, 1, bp);
1255 if (error)
1256 goto out_put_bp;
1257
1da177e4
LT
1258 j = start_block - balign;
1259 }
1260
1261 for (i = start_block; i < end_block; i += bufblks) {
1262 int bcount, endcount;
1263
1264 bcount = min(bufblks, end_block - start_block);
1265 endcount = bcount - j;
1266
1267 /* We may need to do a read at the end to fill in part of
1268 * the buffer in the final sector not covered by the write.
1269 * If this is the same sector as the above read, skip it.
1270 */
5c17f533 1271 ealign = round_down(end_block, sectbb);
1da177e4 1272 if (j == 0 && (start_block + endcount > ealign)) {
62926044 1273 offset = bp->b_addr + BBTOB(ealign - start_block);
44396476
DC
1274 error = xlog_bread_offset(log, ealign, sectbb,
1275 bp, offset);
076e6acb
CH
1276 if (error)
1277 break;
1278
1da177e4
LT
1279 }
1280
1281 offset = xlog_align(log, start_block, endcount, bp);
1282 for (; j < endcount; j++) {
1283 xlog_add_record(log, offset, cycle, i+j,
1284 tail_cycle, tail_block);
1285 offset += BBSIZE;
1286 }
1287 error = xlog_bwrite(log, start_block, endcount, bp);
1288 if (error)
1289 break;
1290 start_block += endcount;
1291 j = 0;
1292 }
076e6acb
CH
1293
1294 out_put_bp:
1da177e4
LT
1295 xlog_put_bp(bp);
1296 return error;
1297}
1298
1299/*
1300 * This routine is called to blow away any incomplete log writes out
1301 * in front of the log head. We do this so that we won't become confused
1302 * if we come up, write only a little bit more, and then crash again.
1303 * If we leave the partial log records out there, this situation could
1304 * cause us to think those partial writes are valid blocks since they
1305 * have the current cycle number. We get rid of them by overwriting them
1306 * with empty log records with the old cycle number rather than the
1307 * current one.
1308 *
1309 * The tail lsn is passed in rather than taken from
1310 * the log so that we will not write over the unmount record after a
1311 * clean unmount in a 512 block log. Doing so would leave the log without
1312 * any valid log records in it until a new one was written. If we crashed
1313 * during that time we would not be able to recover.
1314 */
1315STATIC int
1316xlog_clear_stale_blocks(
9a8d2fdb 1317 struct xlog *log,
1da177e4
LT
1318 xfs_lsn_t tail_lsn)
1319{
1320 int tail_cycle, head_cycle;
1321 int tail_block, head_block;
1322 int tail_distance, max_distance;
1323 int distance;
1324 int error;
1325
1326 tail_cycle = CYCLE_LSN(tail_lsn);
1327 tail_block = BLOCK_LSN(tail_lsn);
1328 head_cycle = log->l_curr_cycle;
1329 head_block = log->l_curr_block;
1330
1331 /*
1332 * Figure out the distance between the new head of the log
1333 * and the tail. We want to write over any blocks beyond the
1334 * head that we may have written just before the crash, but
1335 * we don't want to overwrite the tail of the log.
1336 */
1337 if (head_cycle == tail_cycle) {
1338 /*
1339 * The tail is behind the head in the physical log,
1340 * so the distance from the head to the tail is the
1341 * distance from the head to the end of the log plus
1342 * the distance from the beginning of the log to the
1343 * tail.
1344 */
1345 if (unlikely(head_block < tail_block || head_block >= log->l_logBBsize)) {
1346 XFS_ERROR_REPORT("xlog_clear_stale_blocks(1)",
1347 XFS_ERRLEVEL_LOW, log->l_mp);
1348 return XFS_ERROR(EFSCORRUPTED);
1349 }
1350 tail_distance = tail_block + (log->l_logBBsize - head_block);
1351 } else {
1352 /*
1353 * The head is behind the tail in the physical log,
1354 * so the distance from the head to the tail is just
1355 * the tail block minus the head block.
1356 */
1357 if (unlikely(head_block >= tail_block || head_cycle != (tail_cycle + 1))){
1358 XFS_ERROR_REPORT("xlog_clear_stale_blocks(2)",
1359 XFS_ERRLEVEL_LOW, log->l_mp);
1360 return XFS_ERROR(EFSCORRUPTED);
1361 }
1362 tail_distance = tail_block - head_block;
1363 }
1364
1365 /*
1366 * If the head is right up against the tail, we can't clear
1367 * anything.
1368 */
1369 if (tail_distance <= 0) {
1370 ASSERT(tail_distance == 0);
1371 return 0;
1372 }
1373
1374 max_distance = XLOG_TOTAL_REC_SHIFT(log);
1375 /*
1376 * Take the smaller of the maximum amount of outstanding I/O
1377 * we could have and the distance to the tail to clear out.
1378 * We take the smaller so that we don't overwrite the tail and
1379 * we don't waste all day writing from the head to the tail
1380 * for no reason.
1381 */
1382 max_distance = MIN(max_distance, tail_distance);
1383
1384 if ((head_block + max_distance) <= log->l_logBBsize) {
1385 /*
1386 * We can stomp all the blocks we need to without
1387 * wrapping around the end of the log. Just do it
1388 * in a single write. Use the cycle number of the
1389 * current cycle minus one so that the log will look like:
1390 * n ... | n - 1 ...
1391 */
1392 error = xlog_write_log_records(log, (head_cycle - 1),
1393 head_block, max_distance, tail_cycle,
1394 tail_block);
1395 if (error)
1396 return error;
1397 } else {
1398 /*
1399 * We need to wrap around the end of the physical log in
1400 * order to clear all the blocks. Do it in two separate
1401 * I/Os. The first write should be from the head to the
1402 * end of the physical log, and it should use the current
1403 * cycle number minus one just like above.
1404 */
1405 distance = log->l_logBBsize - head_block;
1406 error = xlog_write_log_records(log, (head_cycle - 1),
1407 head_block, distance, tail_cycle,
1408 tail_block);
1409
1410 if (error)
1411 return error;
1412
1413 /*
1414 * Now write the blocks at the start of the physical log.
1415 * This writes the remainder of the blocks we want to clear.
1416 * It uses the current cycle number since we're now on the
1417 * same cycle as the head so that we get:
1418 * n ... n ... | n - 1 ...
1419 * ^^^^^ blocks we're writing
1420 */
1421 distance = max_distance - (log->l_logBBsize - head_block);
1422 error = xlog_write_log_records(log, head_cycle, 0, distance,
1423 tail_cycle, tail_block);
1424 if (error)
1425 return error;
1426 }
1427
1428 return 0;
1429}
1430
1431/******************************************************************************
1432 *
1433 * Log recover routines
1434 *
1435 ******************************************************************************
1436 */
1437
1438STATIC xlog_recover_t *
1439xlog_recover_find_tid(
f0a76953 1440 struct hlist_head *head,
1da177e4
LT
1441 xlog_tid_t tid)
1442{
f0a76953
DC
1443 xlog_recover_t *trans;
1444 struct hlist_node *n;
1da177e4 1445
f0a76953
DC
1446 hlist_for_each_entry(trans, n, head, r_list) {
1447 if (trans->r_log_tid == tid)
1448 return trans;
1da177e4 1449 }
f0a76953 1450 return NULL;
1da177e4
LT
1451}
1452
1453STATIC void
f0a76953
DC
1454xlog_recover_new_tid(
1455 struct hlist_head *head,
1456 xlog_tid_t tid,
1457 xfs_lsn_t lsn)
1da177e4 1458{
f0a76953
DC
1459 xlog_recover_t *trans;
1460
1461 trans = kmem_zalloc(sizeof(xlog_recover_t), KM_SLEEP);
1462 trans->r_log_tid = tid;
1463 trans->r_lsn = lsn;
1464 INIT_LIST_HEAD(&trans->r_itemq);
1465
1466 INIT_HLIST_NODE(&trans->r_list);
1467 hlist_add_head(&trans->r_list, head);
1da177e4
LT
1468}
1469
1470STATIC void
1471xlog_recover_add_item(
f0a76953 1472 struct list_head *head)
1da177e4
LT
1473{
1474 xlog_recover_item_t *item;
1475
1476 item = kmem_zalloc(sizeof(xlog_recover_item_t), KM_SLEEP);
f0a76953
DC
1477 INIT_LIST_HEAD(&item->ri_list);
1478 list_add_tail(&item->ri_list, head);
1da177e4
LT
1479}
1480
1481STATIC int
1482xlog_recover_add_to_cont_trans(
ad223e60
MT
1483 struct xlog *log,
1484 struct xlog_recover *trans,
1da177e4
LT
1485 xfs_caddr_t dp,
1486 int len)
1487{
1488 xlog_recover_item_t *item;
1489 xfs_caddr_t ptr, old_ptr;
1490 int old_len;
1491
f0a76953 1492 if (list_empty(&trans->r_itemq)) {
1da177e4
LT
1493 /* finish copying rest of trans header */
1494 xlog_recover_add_item(&trans->r_itemq);
1495 ptr = (xfs_caddr_t) &trans->r_theader +
1496 sizeof(xfs_trans_header_t) - len;
1497 memcpy(ptr, dp, len); /* d, s, l */
1498 return 0;
1499 }
f0a76953
DC
1500 /* take the tail entry */
1501 item = list_entry(trans->r_itemq.prev, xlog_recover_item_t, ri_list);
1da177e4
LT
1502
1503 old_ptr = item->ri_buf[item->ri_cnt-1].i_addr;
1504 old_len = item->ri_buf[item->ri_cnt-1].i_len;
1505
45053603 1506 ptr = kmem_realloc(old_ptr, len+old_len, old_len, KM_SLEEP);
1da177e4
LT
1507 memcpy(&ptr[old_len], dp, len); /* d, s, l */
1508 item->ri_buf[item->ri_cnt-1].i_len += len;
1509 item->ri_buf[item->ri_cnt-1].i_addr = ptr;
9abbc539 1510 trace_xfs_log_recover_item_add_cont(log, trans, item, 0);
1da177e4
LT
1511 return 0;
1512}
1513
1514/*
1515 * The next region to add is the start of a new region. It could be
1516 * a whole region or it could be the first part of a new region. Because
1517 * of this, the assumption here is that the type and size fields of all
1518 * format structures fit into the first 32 bits of the structure.
1519 *
1520 * This works because all regions must be 32 bit aligned. Therefore, we
1521 * either have both fields or we have neither field. In the case we have
1522 * neither field, the data part of the region is zero length. We only have
1523 * a log_op_header and can throw away the header since a new one will appear
1524 * later. If we have at least 4 bytes, then we can determine how many regions
1525 * will appear in the current log item.
1526 */
1527STATIC int
1528xlog_recover_add_to_trans(
ad223e60
MT
1529 struct xlog *log,
1530 struct xlog_recover *trans,
1da177e4
LT
1531 xfs_caddr_t dp,
1532 int len)
1533{
1534 xfs_inode_log_format_t *in_f; /* any will do */
1535 xlog_recover_item_t *item;
1536 xfs_caddr_t ptr;
1537
1538 if (!len)
1539 return 0;
f0a76953 1540 if (list_empty(&trans->r_itemq)) {
5a792c45
DC
1541 /* we need to catch log corruptions here */
1542 if (*(uint *)dp != XFS_TRANS_HEADER_MAGIC) {
a0fa2b67
DC
1543 xfs_warn(log->l_mp, "%s: bad header magic number",
1544 __func__);
5a792c45
DC
1545 ASSERT(0);
1546 return XFS_ERROR(EIO);
1547 }
1da177e4
LT
1548 if (len == sizeof(xfs_trans_header_t))
1549 xlog_recover_add_item(&trans->r_itemq);
1550 memcpy(&trans->r_theader, dp, len); /* d, s, l */
1551 return 0;
1552 }
1553
1554 ptr = kmem_alloc(len, KM_SLEEP);
1555 memcpy(ptr, dp, len);
1556 in_f = (xfs_inode_log_format_t *)ptr;
1557
f0a76953
DC
1558 /* take the tail entry */
1559 item = list_entry(trans->r_itemq.prev, xlog_recover_item_t, ri_list);
1560 if (item->ri_total != 0 &&
1561 item->ri_total == item->ri_cnt) {
1562 /* tail item is in use, get a new one */
1da177e4 1563 xlog_recover_add_item(&trans->r_itemq);
f0a76953
DC
1564 item = list_entry(trans->r_itemq.prev,
1565 xlog_recover_item_t, ri_list);
1da177e4 1566 }
1da177e4
LT
1567
1568 if (item->ri_total == 0) { /* first region to be added */
e8fa6b48
CH
1569 if (in_f->ilf_size == 0 ||
1570 in_f->ilf_size > XLOG_MAX_REGIONS_IN_ITEM) {
a0fa2b67
DC
1571 xfs_warn(log->l_mp,
1572 "bad number of regions (%d) in inode log format",
e8fa6b48
CH
1573 in_f->ilf_size);
1574 ASSERT(0);
1575 return XFS_ERROR(EIO);
1576 }
1577
1578 item->ri_total = in_f->ilf_size;
1579 item->ri_buf =
1580 kmem_zalloc(item->ri_total * sizeof(xfs_log_iovec_t),
1581 KM_SLEEP);
1da177e4
LT
1582 }
1583 ASSERT(item->ri_total > item->ri_cnt);
1584 /* Description region is ri_buf[0] */
1585 item->ri_buf[item->ri_cnt].i_addr = ptr;
1586 item->ri_buf[item->ri_cnt].i_len = len;
1587 item->ri_cnt++;
9abbc539 1588 trace_xfs_log_recover_item_add(log, trans, item, 0);
1da177e4
LT
1589 return 0;
1590}
1591
f0a76953
DC
1592/*
1593 * Sort the log items in the transaction. Cancelled buffers need
1594 * to be put first so they are processed before any items that might
1595 * modify the buffers. If they are cancelled, then the modifications
1596 * don't need to be replayed.
1597 */
1da177e4
LT
1598STATIC int
1599xlog_recover_reorder_trans(
ad223e60
MT
1600 struct xlog *log,
1601 struct xlog_recover *trans,
9abbc539 1602 int pass)
1da177e4 1603{
f0a76953
DC
1604 xlog_recover_item_t *item, *n;
1605 LIST_HEAD(sort_list);
1606
1607 list_splice_init(&trans->r_itemq, &sort_list);
1608 list_for_each_entry_safe(item, n, &sort_list, ri_list) {
4e0d5f92 1609 xfs_buf_log_format_t *buf_f = item->ri_buf[0].i_addr;
1da177e4 1610
f0a76953 1611 switch (ITEM_TYPE(item)) {
1da177e4 1612 case XFS_LI_BUF:
c1155410 1613 if (!(buf_f->blf_flags & XFS_BLF_CANCEL)) {
9abbc539
DC
1614 trace_xfs_log_recover_item_reorder_head(log,
1615 trans, item, pass);
f0a76953 1616 list_move(&item->ri_list, &trans->r_itemq);
1da177e4
LT
1617 break;
1618 }
1619 case XFS_LI_INODE:
1da177e4
LT
1620 case XFS_LI_DQUOT:
1621 case XFS_LI_QUOTAOFF:
1622 case XFS_LI_EFD:
1623 case XFS_LI_EFI:
9abbc539
DC
1624 trace_xfs_log_recover_item_reorder_tail(log,
1625 trans, item, pass);
f0a76953 1626 list_move_tail(&item->ri_list, &trans->r_itemq);
1da177e4
LT
1627 break;
1628 default:
a0fa2b67
DC
1629 xfs_warn(log->l_mp,
1630 "%s: unrecognized type of log operation",
1631 __func__);
1da177e4
LT
1632 ASSERT(0);
1633 return XFS_ERROR(EIO);
1634 }
f0a76953
DC
1635 }
1636 ASSERT(list_empty(&sort_list));
1da177e4
LT
1637 return 0;
1638}
1639
1640/*
1641 * Build up the table of buf cancel records so that we don't replay
1642 * cancelled data in the second pass. For buffer records that are
1643 * not cancel records, there is nothing to do here so we just return.
1644 *
1645 * If we get a cancel record which is already in the table, this indicates
1646 * that the buffer was cancelled multiple times. In order to ensure
1647 * that during pass 2 we keep the record in the table until we reach its
1648 * last occurrence in the log, we keep a reference count in the cancel
1649 * record in the table to tell us how many times we expect to see this
1650 * record during the second pass.
1651 */
c9f71f5f
CH
1652STATIC int
1653xlog_recover_buffer_pass1(
ad223e60
MT
1654 struct xlog *log,
1655 struct xlog_recover_item *item)
1da177e4 1656{
c9f71f5f 1657 xfs_buf_log_format_t *buf_f = item->ri_buf[0].i_addr;
d5689eaa
CH
1658 struct list_head *bucket;
1659 struct xfs_buf_cancel *bcp;
1da177e4
LT
1660
1661 /*
1662 * If this isn't a cancel buffer item, then just return.
1663 */
e2714bf8 1664 if (!(buf_f->blf_flags & XFS_BLF_CANCEL)) {
9abbc539 1665 trace_xfs_log_recover_buf_not_cancel(log, buf_f);
c9f71f5f 1666 return 0;
9abbc539 1667 }
1da177e4
LT
1668
1669 /*
d5689eaa
CH
1670 * Insert an xfs_buf_cancel record into the hash table of them.
1671 * If there is already an identical record, bump its reference count.
1da177e4 1672 */
d5689eaa
CH
1673 bucket = XLOG_BUF_CANCEL_BUCKET(log, buf_f->blf_blkno);
1674 list_for_each_entry(bcp, bucket, bc_list) {
1675 if (bcp->bc_blkno == buf_f->blf_blkno &&
1676 bcp->bc_len == buf_f->blf_len) {
1677 bcp->bc_refcount++;
9abbc539 1678 trace_xfs_log_recover_buf_cancel_ref_inc(log, buf_f);
c9f71f5f 1679 return 0;
1da177e4 1680 }
d5689eaa
CH
1681 }
1682
1683 bcp = kmem_alloc(sizeof(struct xfs_buf_cancel), KM_SLEEP);
1684 bcp->bc_blkno = buf_f->blf_blkno;
1685 bcp->bc_len = buf_f->blf_len;
1da177e4 1686 bcp->bc_refcount = 1;
d5689eaa
CH
1687 list_add_tail(&bcp->bc_list, bucket);
1688
9abbc539 1689 trace_xfs_log_recover_buf_cancel_add(log, buf_f);
c9f71f5f 1690 return 0;
1da177e4
LT
1691}
1692
1693/*
1694 * Check to see whether the buffer being recovered has a corresponding
1695 * entry in the buffer cancel record table. If it does then return 1
1696 * so that it will be cancelled, otherwise return 0. If the buffer is
c1155410 1697 * actually a buffer cancel item (XFS_BLF_CANCEL is set), then decrement
1da177e4
LT
1698 * the refcount on the entry in the table and remove it from the table
1699 * if this is the last reference.
1700 *
1701 * We remove the cancel record from the table when we encounter its
1702 * last occurrence in the log so that if the same buffer is re-used
1703 * again after its last cancellation we actually replay the changes
1704 * made at that point.
1705 */
1706STATIC int
1707xlog_check_buffer_cancelled(
ad223e60 1708 struct xlog *log,
1da177e4
LT
1709 xfs_daddr_t blkno,
1710 uint len,
1711 ushort flags)
1712{
d5689eaa
CH
1713 struct list_head *bucket;
1714 struct xfs_buf_cancel *bcp;
1da177e4
LT
1715
1716 if (log->l_buf_cancel_table == NULL) {
1717 /*
1718 * There is nothing in the table built in pass one,
1719 * so this buffer must not be cancelled.
1720 */
c1155410 1721 ASSERT(!(flags & XFS_BLF_CANCEL));
1da177e4
LT
1722 return 0;
1723 }
1724
1da177e4 1725 /*
d5689eaa 1726 * Search for an entry in the cancel table that matches our buffer.
1da177e4 1727 */
d5689eaa
CH
1728 bucket = XLOG_BUF_CANCEL_BUCKET(log, blkno);
1729 list_for_each_entry(bcp, bucket, bc_list) {
1730 if (bcp->bc_blkno == blkno && bcp->bc_len == len)
1731 goto found;
1da177e4 1732 }
d5689eaa 1733
1da177e4 1734 /*
d5689eaa
CH
1735 * We didn't find a corresponding entry in the table, so return 0 so
1736 * that the buffer is NOT cancelled.
1da177e4 1737 */
c1155410 1738 ASSERT(!(flags & XFS_BLF_CANCEL));
1da177e4 1739 return 0;
d5689eaa
CH
1740
1741found:
1742 /*
1743 * We've go a match, so return 1 so that the recovery of this buffer
1744 * is cancelled. If this buffer is actually a buffer cancel log
1745 * item, then decrement the refcount on the one in the table and
1746 * remove it if this is the last reference.
1747 */
1748 if (flags & XFS_BLF_CANCEL) {
1749 if (--bcp->bc_refcount == 0) {
1750 list_del(&bcp->bc_list);
1751 kmem_free(bcp);
1752 }
1753 }
1754 return 1;
1da177e4
LT
1755}
1756
1da177e4 1757/*
e2714bf8
CH
1758 * Perform recovery for a buffer full of inodes. In these buffers, the only
1759 * data which should be recovered is that which corresponds to the
1760 * di_next_unlinked pointers in the on disk inode structures. The rest of the
1761 * data for the inodes is always logged through the inodes themselves rather
1762 * than the inode buffer and is recovered in xlog_recover_inode_pass2().
1da177e4 1763 *
e2714bf8
CH
1764 * The only time when buffers full of inodes are fully recovered is when the
1765 * buffer is full of newly allocated inodes. In this case the buffer will
1766 * not be marked as an inode buffer and so will be sent to
1767 * xlog_recover_do_reg_buffer() below during recovery.
1da177e4
LT
1768 */
1769STATIC int
1770xlog_recover_do_inode_buffer(
e2714bf8 1771 struct xfs_mount *mp,
1da177e4 1772 xlog_recover_item_t *item,
e2714bf8 1773 struct xfs_buf *bp,
1da177e4
LT
1774 xfs_buf_log_format_t *buf_f)
1775{
1776 int i;
e2714bf8
CH
1777 int item_index = 0;
1778 int bit = 0;
1779 int nbits = 0;
1780 int reg_buf_offset = 0;
1781 int reg_buf_bytes = 0;
1da177e4
LT
1782 int next_unlinked_offset;
1783 int inodes_per_buf;
1784 xfs_agino_t *logged_nextp;
1785 xfs_agino_t *buffer_nextp;
1da177e4 1786
9abbc539
DC
1787 trace_xfs_log_recover_buf_inode_buf(mp->m_log, buf_f);
1788
aa0e8833 1789 inodes_per_buf = BBTOB(bp->b_io_length) >> mp->m_sb.sb_inodelog;
1da177e4
LT
1790 for (i = 0; i < inodes_per_buf; i++) {
1791 next_unlinked_offset = (i * mp->m_sb.sb_inodesize) +
1792 offsetof(xfs_dinode_t, di_next_unlinked);
1793
1794 while (next_unlinked_offset >=
1795 (reg_buf_offset + reg_buf_bytes)) {
1796 /*
1797 * The next di_next_unlinked field is beyond
1798 * the current logged region. Find the next
1799 * logged region that contains or is beyond
1800 * the current di_next_unlinked field.
1801 */
1802 bit += nbits;
e2714bf8
CH
1803 bit = xfs_next_bit(buf_f->blf_data_map,
1804 buf_f->blf_map_size, bit);
1da177e4
LT
1805
1806 /*
1807 * If there are no more logged regions in the
1808 * buffer, then we're done.
1809 */
e2714bf8 1810 if (bit == -1)
1da177e4 1811 return 0;
1da177e4 1812
e2714bf8
CH
1813 nbits = xfs_contig_bits(buf_f->blf_data_map,
1814 buf_f->blf_map_size, bit);
1da177e4 1815 ASSERT(nbits > 0);
c1155410
DC
1816 reg_buf_offset = bit << XFS_BLF_SHIFT;
1817 reg_buf_bytes = nbits << XFS_BLF_SHIFT;
1da177e4
LT
1818 item_index++;
1819 }
1820
1821 /*
1822 * If the current logged region starts after the current
1823 * di_next_unlinked field, then move on to the next
1824 * di_next_unlinked field.
1825 */
e2714bf8 1826 if (next_unlinked_offset < reg_buf_offset)
1da177e4 1827 continue;
1da177e4
LT
1828
1829 ASSERT(item->ri_buf[item_index].i_addr != NULL);
c1155410 1830 ASSERT((item->ri_buf[item_index].i_len % XFS_BLF_CHUNK) == 0);
aa0e8833
DC
1831 ASSERT((reg_buf_offset + reg_buf_bytes) <=
1832 BBTOB(bp->b_io_length));
1da177e4
LT
1833
1834 /*
1835 * The current logged region contains a copy of the
1836 * current di_next_unlinked field. Extract its value
1837 * and copy it to the buffer copy.
1838 */
4e0d5f92
CH
1839 logged_nextp = item->ri_buf[item_index].i_addr +
1840 next_unlinked_offset - reg_buf_offset;
1da177e4 1841 if (unlikely(*logged_nextp == 0)) {
a0fa2b67
DC
1842 xfs_alert(mp,
1843 "Bad inode buffer log record (ptr = 0x%p, bp = 0x%p). "
1844 "Trying to replay bad (0) inode di_next_unlinked field.",
1da177e4
LT
1845 item, bp);
1846 XFS_ERROR_REPORT("xlog_recover_do_inode_buf",
1847 XFS_ERRLEVEL_LOW, mp);
1848 return XFS_ERROR(EFSCORRUPTED);
1849 }
1850
1851 buffer_nextp = (xfs_agino_t *)xfs_buf_offset(bp,
1852 next_unlinked_offset);
87c199c2 1853 *buffer_nextp = *logged_nextp;
1da177e4
LT
1854 }
1855
1856 return 0;
1857}
1858
1859/*
1860 * Perform a 'normal' buffer recovery. Each logged region of the
1861 * buffer should be copied over the corresponding region in the
1862 * given buffer. The bitmap in the buf log format structure indicates
1863 * where to place the logged data.
1864 */
1da177e4
LT
1865STATIC void
1866xlog_recover_do_reg_buffer(
9abbc539 1867 struct xfs_mount *mp,
1da177e4 1868 xlog_recover_item_t *item,
e2714bf8 1869 struct xfs_buf *bp,
1da177e4
LT
1870 xfs_buf_log_format_t *buf_f)
1871{
1872 int i;
1873 int bit;
1874 int nbits;
1da177e4
LT
1875 int error;
1876
9abbc539
DC
1877 trace_xfs_log_recover_buf_reg_buf(mp->m_log, buf_f);
1878
1da177e4
LT
1879 bit = 0;
1880 i = 1; /* 0 is the buf format structure */
1881 while (1) {
e2714bf8
CH
1882 bit = xfs_next_bit(buf_f->blf_data_map,
1883 buf_f->blf_map_size, bit);
1da177e4
LT
1884 if (bit == -1)
1885 break;
e2714bf8
CH
1886 nbits = xfs_contig_bits(buf_f->blf_data_map,
1887 buf_f->blf_map_size, bit);
1da177e4 1888 ASSERT(nbits > 0);
4b80916b 1889 ASSERT(item->ri_buf[i].i_addr != NULL);
c1155410 1890 ASSERT(item->ri_buf[i].i_len % XFS_BLF_CHUNK == 0);
aa0e8833
DC
1891 ASSERT(BBTOB(bp->b_io_length) >=
1892 ((uint)bit << XFS_BLF_SHIFT) + (nbits << XFS_BLF_SHIFT));
1da177e4
LT
1893
1894 /*
1895 * Do a sanity check if this is a dquot buffer. Just checking
1896 * the first dquot in the buffer should do. XXXThis is
1897 * probably a good thing to do for other buf types also.
1898 */
1899 error = 0;
c8ad20ff 1900 if (buf_f->blf_flags &
c1155410 1901 (XFS_BLF_UDQUOT_BUF|XFS_BLF_PDQUOT_BUF|XFS_BLF_GDQUOT_BUF)) {
0c5e1ce8 1902 if (item->ri_buf[i].i_addr == NULL) {
a0fa2b67 1903 xfs_alert(mp,
0c5e1ce8
CH
1904 "XFS: NULL dquot in %s.", __func__);
1905 goto next;
1906 }
8ec6dba2 1907 if (item->ri_buf[i].i_len < sizeof(xfs_disk_dquot_t)) {
a0fa2b67 1908 xfs_alert(mp,
0c5e1ce8
CH
1909 "XFS: dquot too small (%d) in %s.",
1910 item->ri_buf[i].i_len, __func__);
1911 goto next;
1912 }
a0fa2b67 1913 error = xfs_qm_dqcheck(mp, item->ri_buf[i].i_addr,
1da177e4
LT
1914 -1, 0, XFS_QMOPT_DOWARN,
1915 "dquot_buf_recover");
0c5e1ce8
CH
1916 if (error)
1917 goto next;
1da177e4 1918 }
0c5e1ce8
CH
1919
1920 memcpy(xfs_buf_offset(bp,
c1155410 1921 (uint)bit << XFS_BLF_SHIFT), /* dest */
0c5e1ce8 1922 item->ri_buf[i].i_addr, /* source */
c1155410 1923 nbits<<XFS_BLF_SHIFT); /* length */
0c5e1ce8 1924 next:
1da177e4
LT
1925 i++;
1926 bit += nbits;
1927 }
1928
1929 /* Shouldn't be any more regions */
1930 ASSERT(i == item->ri_total);
1931}
1932
1933/*
1934 * Do some primitive error checking on ondisk dquot data structures.
1935 */
1936int
1937xfs_qm_dqcheck(
a0fa2b67 1938 struct xfs_mount *mp,
1da177e4
LT
1939 xfs_disk_dquot_t *ddq,
1940 xfs_dqid_t id,
1941 uint type, /* used only when IO_dorepair is true */
1942 uint flags,
1943 char *str)
1944{
1945 xfs_dqblk_t *d = (xfs_dqblk_t *)ddq;
1946 int errs = 0;
1947
1948 /*
1949 * We can encounter an uninitialized dquot buffer for 2 reasons:
1950 * 1. If we crash while deleting the quotainode(s), and those blks got
1951 * used for user data. This is because we take the path of regular
1952 * file deletion; however, the size field of quotainodes is never
1953 * updated, so all the tricks that we play in itruncate_finish
1954 * don't quite matter.
1955 *
1956 * 2. We don't play the quota buffers when there's a quotaoff logitem.
1957 * But the allocation will be replayed so we'll end up with an
1958 * uninitialized quota block.
1959 *
1960 * This is all fine; things are still consistent, and we haven't lost
1961 * any quota information. Just don't complain about bad dquot blks.
1962 */
69ef921b 1963 if (ddq->d_magic != cpu_to_be16(XFS_DQUOT_MAGIC)) {
1da177e4 1964 if (flags & XFS_QMOPT_DOWARN)
a0fa2b67 1965 xfs_alert(mp,
1da177e4 1966 "%s : XFS dquot ID 0x%x, magic 0x%x != 0x%x",
1149d96a 1967 str, id, be16_to_cpu(ddq->d_magic), XFS_DQUOT_MAGIC);
1da177e4
LT
1968 errs++;
1969 }
1149d96a 1970 if (ddq->d_version != XFS_DQUOT_VERSION) {
1da177e4 1971 if (flags & XFS_QMOPT_DOWARN)
a0fa2b67 1972 xfs_alert(mp,
1da177e4 1973 "%s : XFS dquot ID 0x%x, version 0x%x != 0x%x",
1149d96a 1974 str, id, ddq->d_version, XFS_DQUOT_VERSION);
1da177e4
LT
1975 errs++;
1976 }
1977
1149d96a
CH
1978 if (ddq->d_flags != XFS_DQ_USER &&
1979 ddq->d_flags != XFS_DQ_PROJ &&
1980 ddq->d_flags != XFS_DQ_GROUP) {
1da177e4 1981 if (flags & XFS_QMOPT_DOWARN)
a0fa2b67 1982 xfs_alert(mp,
1da177e4 1983 "%s : XFS dquot ID 0x%x, unknown flags 0x%x",
1149d96a 1984 str, id, ddq->d_flags);
1da177e4
LT
1985 errs++;
1986 }
1987
1149d96a 1988 if (id != -1 && id != be32_to_cpu(ddq->d_id)) {
1da177e4 1989 if (flags & XFS_QMOPT_DOWARN)
a0fa2b67 1990 xfs_alert(mp,
1da177e4
LT
1991 "%s : ondisk-dquot 0x%p, ID mismatch: "
1992 "0x%x expected, found id 0x%x",
1149d96a 1993 str, ddq, id, be32_to_cpu(ddq->d_id));
1da177e4
LT
1994 errs++;
1995 }
1996
1997 if (!errs && ddq->d_id) {
1149d96a 1998 if (ddq->d_blk_softlimit &&
d0a3fe67 1999 be64_to_cpu(ddq->d_bcount) >
1149d96a 2000 be64_to_cpu(ddq->d_blk_softlimit)) {
1da177e4
LT
2001 if (!ddq->d_btimer) {
2002 if (flags & XFS_QMOPT_DOWARN)
a0fa2b67
DC
2003 xfs_alert(mp,
2004 "%s : Dquot ID 0x%x (0x%p) BLK TIMER NOT STARTED",
1149d96a 2005 str, (int)be32_to_cpu(ddq->d_id), ddq);
1da177e4
LT
2006 errs++;
2007 }
2008 }
1149d96a 2009 if (ddq->d_ino_softlimit &&
d0a3fe67 2010 be64_to_cpu(ddq->d_icount) >
1149d96a 2011 be64_to_cpu(ddq->d_ino_softlimit)) {
1da177e4
LT
2012 if (!ddq->d_itimer) {
2013 if (flags & XFS_QMOPT_DOWARN)
a0fa2b67
DC
2014 xfs_alert(mp,
2015 "%s : Dquot ID 0x%x (0x%p) INODE TIMER NOT STARTED",
1149d96a 2016 str, (int)be32_to_cpu(ddq->d_id), ddq);
1da177e4
LT
2017 errs++;
2018 }
2019 }
1149d96a 2020 if (ddq->d_rtb_softlimit &&
d0a3fe67 2021 be64_to_cpu(ddq->d_rtbcount) >
1149d96a 2022 be64_to_cpu(ddq->d_rtb_softlimit)) {
1da177e4
LT
2023 if (!ddq->d_rtbtimer) {
2024 if (flags & XFS_QMOPT_DOWARN)
a0fa2b67
DC
2025 xfs_alert(mp,
2026 "%s : Dquot ID 0x%x (0x%p) RTBLK TIMER NOT STARTED",
1149d96a 2027 str, (int)be32_to_cpu(ddq->d_id), ddq);
1da177e4
LT
2028 errs++;
2029 }
2030 }
2031 }
2032
2033 if (!errs || !(flags & XFS_QMOPT_DQREPAIR))
2034 return errs;
2035
2036 if (flags & XFS_QMOPT_DOWARN)
a0fa2b67 2037 xfs_notice(mp, "Re-initializing dquot ID 0x%x", id);
1da177e4
LT
2038
2039 /*
2040 * Typically, a repair is only requested by quotacheck.
2041 */
2042 ASSERT(id != -1);
2043 ASSERT(flags & XFS_QMOPT_DQREPAIR);
2044 memset(d, 0, sizeof(xfs_dqblk_t));
1149d96a
CH
2045
2046 d->dd_diskdq.d_magic = cpu_to_be16(XFS_DQUOT_MAGIC);
2047 d->dd_diskdq.d_version = XFS_DQUOT_VERSION;
2048 d->dd_diskdq.d_flags = type;
2049 d->dd_diskdq.d_id = cpu_to_be32(id);
1da177e4
LT
2050
2051 return errs;
2052}
2053
2054/*
2055 * Perform a dquot buffer recovery.
2056 * Simple algorithm: if we have found a QUOTAOFF logitem of the same type
2057 * (ie. USR or GRP), then just toss this buffer away; don't recover it.
2058 * Else, treat it as a regular buffer and do recovery.
2059 */
2060STATIC void
2061xlog_recover_do_dquot_buffer(
9a8d2fdb
MT
2062 struct xfs_mount *mp,
2063 struct xlog *log,
2064 struct xlog_recover_item *item,
2065 struct xfs_buf *bp,
2066 struct xfs_buf_log_format *buf_f)
1da177e4
LT
2067{
2068 uint type;
2069
9abbc539
DC
2070 trace_xfs_log_recover_buf_dquot_buf(log, buf_f);
2071
1da177e4
LT
2072 /*
2073 * Filesystems are required to send in quota flags at mount time.
2074 */
2075 if (mp->m_qflags == 0) {
2076 return;
2077 }
2078
2079 type = 0;
c1155410 2080 if (buf_f->blf_flags & XFS_BLF_UDQUOT_BUF)
1da177e4 2081 type |= XFS_DQ_USER;
c1155410 2082 if (buf_f->blf_flags & XFS_BLF_PDQUOT_BUF)
c8ad20ff 2083 type |= XFS_DQ_PROJ;
c1155410 2084 if (buf_f->blf_flags & XFS_BLF_GDQUOT_BUF)
1da177e4
LT
2085 type |= XFS_DQ_GROUP;
2086 /*
2087 * This type of quotas was turned off, so ignore this buffer
2088 */
2089 if (log->l_quotaoffs_flag & type)
2090 return;
2091
9abbc539 2092 xlog_recover_do_reg_buffer(mp, item, bp, buf_f);
1da177e4
LT
2093}
2094
2095/*
2096 * This routine replays a modification made to a buffer at runtime.
2097 * There are actually two types of buffer, regular and inode, which
2098 * are handled differently. Inode buffers are handled differently
2099 * in that we only recover a specific set of data from them, namely
2100 * the inode di_next_unlinked fields. This is because all other inode
2101 * data is actually logged via inode records and any data we replay
2102 * here which overlaps that may be stale.
2103 *
2104 * When meta-data buffers are freed at run time we log a buffer item
c1155410 2105 * with the XFS_BLF_CANCEL bit set to indicate that previous copies
1da177e4
LT
2106 * of the buffer in the log should not be replayed at recovery time.
2107 * This is so that if the blocks covered by the buffer are reused for
2108 * file data before we crash we don't end up replaying old, freed
2109 * meta-data into a user's file.
2110 *
2111 * To handle the cancellation of buffer log items, we make two passes
2112 * over the log during recovery. During the first we build a table of
2113 * those buffers which have been cancelled, and during the second we
2114 * only replay those buffers which do not have corresponding cancel
2115 * records in the table. See xlog_recover_do_buffer_pass[1,2] above
2116 * for more details on the implementation of the table of cancel records.
2117 */
2118STATIC int
c9f71f5f 2119xlog_recover_buffer_pass2(
9a8d2fdb
MT
2120 struct xlog *log,
2121 struct list_head *buffer_list,
2122 struct xlog_recover_item *item)
1da177e4 2123{
4e0d5f92 2124 xfs_buf_log_format_t *buf_f = item->ri_buf[0].i_addr;
e2714bf8 2125 xfs_mount_t *mp = log->l_mp;
1da177e4
LT
2126 xfs_buf_t *bp;
2127 int error;
6ad112bf 2128 uint buf_flags;
1da177e4 2129
c9f71f5f
CH
2130 /*
2131 * In this pass we only want to recover all the buffers which have
2132 * not been cancelled and are not cancellation buffers themselves.
2133 */
2134 if (xlog_check_buffer_cancelled(log, buf_f->blf_blkno,
2135 buf_f->blf_len, buf_f->blf_flags)) {
2136 trace_xfs_log_recover_buf_cancel(log, buf_f);
1da177e4 2137 return 0;
1da177e4 2138 }
c9f71f5f 2139
9abbc539 2140 trace_xfs_log_recover_buf_recover(log, buf_f);
1da177e4 2141
a8acad70 2142 buf_flags = 0;
611c9946
DC
2143 if (buf_f->blf_flags & XFS_BLF_INODE_BUF)
2144 buf_flags |= XBF_UNMAPPED;
6ad112bf 2145
e2714bf8
CH
2146 bp = xfs_buf_read(mp->m_ddev_targp, buf_f->blf_blkno, buf_f->blf_len,
2147 buf_flags);
ac4d6888
CS
2148 if (!bp)
2149 return XFS_ERROR(ENOMEM);
e5702805 2150 error = bp->b_error;
5a52c2a5 2151 if (error) {
901796af 2152 xfs_buf_ioerror_alert(bp, "xlog_recover_do..(read#1)");
1da177e4
LT
2153 xfs_buf_relse(bp);
2154 return error;
2155 }
2156
e2714bf8 2157 if (buf_f->blf_flags & XFS_BLF_INODE_BUF) {
1da177e4 2158 error = xlog_recover_do_inode_buffer(mp, item, bp, buf_f);
e2714bf8 2159 } else if (buf_f->blf_flags &
c1155410 2160 (XFS_BLF_UDQUOT_BUF|XFS_BLF_PDQUOT_BUF|XFS_BLF_GDQUOT_BUF)) {
1da177e4
LT
2161 xlog_recover_do_dquot_buffer(mp, log, item, bp, buf_f);
2162 } else {
9abbc539 2163 xlog_recover_do_reg_buffer(mp, item, bp, buf_f);
1da177e4
LT
2164 }
2165 if (error)
2166 return XFS_ERROR(error);
2167
2168 /*
2169 * Perform delayed write on the buffer. Asynchronous writes will be
2170 * slower when taking into account all the buffers to be flushed.
2171 *
2172 * Also make sure that only inode buffers with good sizes stay in
2173 * the buffer cache. The kernel moves inodes in buffers of 1 block
2174 * or XFS_INODE_CLUSTER_SIZE bytes, whichever is bigger. The inode
2175 * buffers in the log can be a different size if the log was generated
2176 * by an older kernel using unclustered inode buffers or a newer kernel
2177 * running with a different inode cluster size. Regardless, if the
2178 * the inode buffer size isn't MAX(blocksize, XFS_INODE_CLUSTER_SIZE)
2179 * for *our* value of XFS_INODE_CLUSTER_SIZE, then we need to keep
2180 * the buffer out of the buffer cache so that the buffer won't
2181 * overlap with future reads of those inodes.
2182 */
2183 if (XFS_DINODE_MAGIC ==
b53e675d 2184 be16_to_cpu(*((__be16 *)xfs_buf_offset(bp, 0))) &&
aa0e8833 2185 (BBTOB(bp->b_io_length) != MAX(log->l_mp->m_sb.sb_blocksize,
1da177e4 2186 (__uint32_t)XFS_INODE_CLUSTER_SIZE(log->l_mp)))) {
c867cb61 2187 xfs_buf_stale(bp);
c2b006c1 2188 error = xfs_bwrite(bp);
1da177e4 2189 } else {
ebad861b 2190 ASSERT(bp->b_target->bt_mount == mp);
cb669ca5 2191 bp->b_iodone = xlog_recover_iodone;
43ff2122 2192 xfs_buf_delwri_queue(bp, buffer_list);
1da177e4
LT
2193 }
2194
c2b006c1
CH
2195 xfs_buf_relse(bp);
2196 return error;
1da177e4
LT
2197}
2198
2199STATIC int
c9f71f5f 2200xlog_recover_inode_pass2(
9a8d2fdb
MT
2201 struct xlog *log,
2202 struct list_head *buffer_list,
2203 struct xlog_recover_item *item)
1da177e4
LT
2204{
2205 xfs_inode_log_format_t *in_f;
c9f71f5f 2206 xfs_mount_t *mp = log->l_mp;
1da177e4 2207 xfs_buf_t *bp;
1da177e4 2208 xfs_dinode_t *dip;
1da177e4
LT
2209 int len;
2210 xfs_caddr_t src;
2211 xfs_caddr_t dest;
2212 int error;
2213 int attr_index;
2214 uint fields;
347d1c01 2215 xfs_icdinode_t *dicp;
6d192a9b 2216 int need_free = 0;
1da177e4 2217
6d192a9b 2218 if (item->ri_buf[0].i_len == sizeof(xfs_inode_log_format_t)) {
4e0d5f92 2219 in_f = item->ri_buf[0].i_addr;
6d192a9b 2220 } else {
4e0d5f92 2221 in_f = kmem_alloc(sizeof(xfs_inode_log_format_t), KM_SLEEP);
6d192a9b
TS
2222 need_free = 1;
2223 error = xfs_inode_item_format_convert(&item->ri_buf[0], in_f);
2224 if (error)
2225 goto error;
2226 }
1da177e4
LT
2227
2228 /*
2229 * Inode buffers can be freed, look out for it,
2230 * and do not replay the inode.
2231 */
a1941895
CH
2232 if (xlog_check_buffer_cancelled(log, in_f->ilf_blkno,
2233 in_f->ilf_len, 0)) {
6d192a9b 2234 error = 0;
9abbc539 2235 trace_xfs_log_recover_inode_cancel(log, in_f);
6d192a9b
TS
2236 goto error;
2237 }
9abbc539 2238 trace_xfs_log_recover_inode_recover(log, in_f);
1da177e4 2239
a8acad70 2240 bp = xfs_buf_read(mp->m_ddev_targp, in_f->ilf_blkno, in_f->ilf_len, 0);
ac4d6888
CS
2241 if (!bp) {
2242 error = ENOMEM;
2243 goto error;
2244 }
e5702805 2245 error = bp->b_error;
5a52c2a5 2246 if (error) {
901796af 2247 xfs_buf_ioerror_alert(bp, "xlog_recover_do..(read#2)");
1da177e4 2248 xfs_buf_relse(bp);
6d192a9b 2249 goto error;
1da177e4 2250 }
1da177e4 2251 ASSERT(in_f->ilf_fields & XFS_ILOG_CORE);
a1941895 2252 dip = (xfs_dinode_t *)xfs_buf_offset(bp, in_f->ilf_boffset);
1da177e4
LT
2253
2254 /*
2255 * Make sure the place we're flushing out to really looks
2256 * like an inode!
2257 */
69ef921b 2258 if (unlikely(dip->di_magic != cpu_to_be16(XFS_DINODE_MAGIC))) {
1da177e4 2259 xfs_buf_relse(bp);
a0fa2b67
DC
2260 xfs_alert(mp,
2261 "%s: Bad inode magic number, dip = 0x%p, dino bp = 0x%p, ino = %Ld",
2262 __func__, dip, bp, in_f->ilf_ino);
c9f71f5f 2263 XFS_ERROR_REPORT("xlog_recover_inode_pass2(1)",
1da177e4 2264 XFS_ERRLEVEL_LOW, mp);
6d192a9b
TS
2265 error = EFSCORRUPTED;
2266 goto error;
1da177e4 2267 }
4e0d5f92 2268 dicp = item->ri_buf[1].i_addr;
1da177e4
LT
2269 if (unlikely(dicp->di_magic != XFS_DINODE_MAGIC)) {
2270 xfs_buf_relse(bp);
a0fa2b67
DC
2271 xfs_alert(mp,
2272 "%s: Bad inode log record, rec ptr 0x%p, ino %Ld",
2273 __func__, item, in_f->ilf_ino);
c9f71f5f 2274 XFS_ERROR_REPORT("xlog_recover_inode_pass2(2)",
1da177e4 2275 XFS_ERRLEVEL_LOW, mp);
6d192a9b
TS
2276 error = EFSCORRUPTED;
2277 goto error;
1da177e4
LT
2278 }
2279
2280 /* Skip replay when the on disk inode is newer than the log one */
81591fe2 2281 if (dicp->di_flushiter < be16_to_cpu(dip->di_flushiter)) {
1da177e4
LT
2282 /*
2283 * Deal with the wrap case, DI_MAX_FLUSH is less
2284 * than smaller numbers
2285 */
81591fe2 2286 if (be16_to_cpu(dip->di_flushiter) == DI_MAX_FLUSH &&
347d1c01 2287 dicp->di_flushiter < (DI_MAX_FLUSH >> 1)) {
1da177e4
LT
2288 /* do nothing */
2289 } else {
2290 xfs_buf_relse(bp);
9abbc539 2291 trace_xfs_log_recover_inode_skip(log, in_f);
6d192a9b
TS
2292 error = 0;
2293 goto error;
1da177e4
LT
2294 }
2295 }
2296 /* Take the opportunity to reset the flush iteration count */
2297 dicp->di_flushiter = 0;
2298
abbede1b 2299 if (unlikely(S_ISREG(dicp->di_mode))) {
1da177e4
LT
2300 if ((dicp->di_format != XFS_DINODE_FMT_EXTENTS) &&
2301 (dicp->di_format != XFS_DINODE_FMT_BTREE)) {
c9f71f5f 2302 XFS_CORRUPTION_ERROR("xlog_recover_inode_pass2(3)",
1da177e4
LT
2303 XFS_ERRLEVEL_LOW, mp, dicp);
2304 xfs_buf_relse(bp);
a0fa2b67
DC
2305 xfs_alert(mp,
2306 "%s: Bad regular inode log record, rec ptr 0x%p, "
2307 "ino ptr = 0x%p, ino bp = 0x%p, ino %Ld",
2308 __func__, item, dip, bp, in_f->ilf_ino);
6d192a9b
TS
2309 error = EFSCORRUPTED;
2310 goto error;
1da177e4 2311 }
abbede1b 2312 } else if (unlikely(S_ISDIR(dicp->di_mode))) {
1da177e4
LT
2313 if ((dicp->di_format != XFS_DINODE_FMT_EXTENTS) &&
2314 (dicp->di_format != XFS_DINODE_FMT_BTREE) &&
2315 (dicp->di_format != XFS_DINODE_FMT_LOCAL)) {
c9f71f5f 2316 XFS_CORRUPTION_ERROR("xlog_recover_inode_pass2(4)",
1da177e4
LT
2317 XFS_ERRLEVEL_LOW, mp, dicp);
2318 xfs_buf_relse(bp);
a0fa2b67
DC
2319 xfs_alert(mp,
2320 "%s: Bad dir inode log record, rec ptr 0x%p, "
2321 "ino ptr = 0x%p, ino bp = 0x%p, ino %Ld",
2322 __func__, item, dip, bp, in_f->ilf_ino);
6d192a9b
TS
2323 error = EFSCORRUPTED;
2324 goto error;
1da177e4
LT
2325 }
2326 }
2327 if (unlikely(dicp->di_nextents + dicp->di_anextents > dicp->di_nblocks)){
c9f71f5f 2328 XFS_CORRUPTION_ERROR("xlog_recover_inode_pass2(5)",
1da177e4
LT
2329 XFS_ERRLEVEL_LOW, mp, dicp);
2330 xfs_buf_relse(bp);
a0fa2b67
DC
2331 xfs_alert(mp,
2332 "%s: Bad inode log record, rec ptr 0x%p, dino ptr 0x%p, "
2333 "dino bp 0x%p, ino %Ld, total extents = %d, nblocks = %Ld",
2334 __func__, item, dip, bp, in_f->ilf_ino,
1da177e4
LT
2335 dicp->di_nextents + dicp->di_anextents,
2336 dicp->di_nblocks);
6d192a9b
TS
2337 error = EFSCORRUPTED;
2338 goto error;
1da177e4
LT
2339 }
2340 if (unlikely(dicp->di_forkoff > mp->m_sb.sb_inodesize)) {
c9f71f5f 2341 XFS_CORRUPTION_ERROR("xlog_recover_inode_pass2(6)",
1da177e4
LT
2342 XFS_ERRLEVEL_LOW, mp, dicp);
2343 xfs_buf_relse(bp);
a0fa2b67
DC
2344 xfs_alert(mp,
2345 "%s: Bad inode log record, rec ptr 0x%p, dino ptr 0x%p, "
2346 "dino bp 0x%p, ino %Ld, forkoff 0x%x", __func__,
c9f71f5f 2347 item, dip, bp, in_f->ilf_ino, dicp->di_forkoff);
6d192a9b
TS
2348 error = EFSCORRUPTED;
2349 goto error;
1da177e4 2350 }
81591fe2 2351 if (unlikely(item->ri_buf[1].i_len > sizeof(struct xfs_icdinode))) {
c9f71f5f 2352 XFS_CORRUPTION_ERROR("xlog_recover_inode_pass2(7)",
1da177e4
LT
2353 XFS_ERRLEVEL_LOW, mp, dicp);
2354 xfs_buf_relse(bp);
a0fa2b67
DC
2355 xfs_alert(mp,
2356 "%s: Bad inode log record length %d, rec ptr 0x%p",
2357 __func__, item->ri_buf[1].i_len, item);
6d192a9b
TS
2358 error = EFSCORRUPTED;
2359 goto error;
1da177e4
LT
2360 }
2361
2362 /* The core is in in-core format */
4e0d5f92 2363 xfs_dinode_to_disk(dip, item->ri_buf[1].i_addr);
1da177e4
LT
2364
2365 /* the rest is in on-disk format */
81591fe2
CH
2366 if (item->ri_buf[1].i_len > sizeof(struct xfs_icdinode)) {
2367 memcpy((xfs_caddr_t) dip + sizeof(struct xfs_icdinode),
2368 item->ri_buf[1].i_addr + sizeof(struct xfs_icdinode),
2369 item->ri_buf[1].i_len - sizeof(struct xfs_icdinode));
1da177e4
LT
2370 }
2371
2372 fields = in_f->ilf_fields;
2373 switch (fields & (XFS_ILOG_DEV | XFS_ILOG_UUID)) {
2374 case XFS_ILOG_DEV:
81591fe2 2375 xfs_dinode_put_rdev(dip, in_f->ilf_u.ilfu_rdev);
1da177e4
LT
2376 break;
2377 case XFS_ILOG_UUID:
81591fe2
CH
2378 memcpy(XFS_DFORK_DPTR(dip),
2379 &in_f->ilf_u.ilfu_uuid,
2380 sizeof(uuid_t));
1da177e4
LT
2381 break;
2382 }
2383
2384 if (in_f->ilf_size == 2)
2385 goto write_inode_buffer;
2386 len = item->ri_buf[2].i_len;
2387 src = item->ri_buf[2].i_addr;
2388 ASSERT(in_f->ilf_size <= 4);
2389 ASSERT((in_f->ilf_size == 3) || (fields & XFS_ILOG_AFORK));
2390 ASSERT(!(fields & XFS_ILOG_DFORK) ||
2391 (len == in_f->ilf_dsize));
2392
2393 switch (fields & XFS_ILOG_DFORK) {
2394 case XFS_ILOG_DDATA:
2395 case XFS_ILOG_DEXT:
81591fe2 2396 memcpy(XFS_DFORK_DPTR(dip), src, len);
1da177e4
LT
2397 break;
2398
2399 case XFS_ILOG_DBROOT:
7cc95a82 2400 xfs_bmbt_to_bmdr(mp, (struct xfs_btree_block *)src, len,
81591fe2 2401 (xfs_bmdr_block_t *)XFS_DFORK_DPTR(dip),
1da177e4
LT
2402 XFS_DFORK_DSIZE(dip, mp));
2403 break;
2404
2405 default:
2406 /*
2407 * There are no data fork flags set.
2408 */
2409 ASSERT((fields & XFS_ILOG_DFORK) == 0);
2410 break;
2411 }
2412
2413 /*
2414 * If we logged any attribute data, recover it. There may or
2415 * may not have been any other non-core data logged in this
2416 * transaction.
2417 */
2418 if (in_f->ilf_fields & XFS_ILOG_AFORK) {
2419 if (in_f->ilf_fields & XFS_ILOG_DFORK) {
2420 attr_index = 3;
2421 } else {
2422 attr_index = 2;
2423 }
2424 len = item->ri_buf[attr_index].i_len;
2425 src = item->ri_buf[attr_index].i_addr;
2426 ASSERT(len == in_f->ilf_asize);
2427
2428 switch (in_f->ilf_fields & XFS_ILOG_AFORK) {
2429 case XFS_ILOG_ADATA:
2430 case XFS_ILOG_AEXT:
2431 dest = XFS_DFORK_APTR(dip);
2432 ASSERT(len <= XFS_DFORK_ASIZE(dip, mp));
2433 memcpy(dest, src, len);
2434 break;
2435
2436 case XFS_ILOG_ABROOT:
2437 dest = XFS_DFORK_APTR(dip);
7cc95a82
CH
2438 xfs_bmbt_to_bmdr(mp, (struct xfs_btree_block *)src,
2439 len, (xfs_bmdr_block_t*)dest,
1da177e4
LT
2440 XFS_DFORK_ASIZE(dip, mp));
2441 break;
2442
2443 default:
a0fa2b67 2444 xfs_warn(log->l_mp, "%s: Invalid flag", __func__);
1da177e4
LT
2445 ASSERT(0);
2446 xfs_buf_relse(bp);
6d192a9b
TS
2447 error = EIO;
2448 goto error;
1da177e4
LT
2449 }
2450 }
2451
2452write_inode_buffer:
ebad861b 2453 ASSERT(bp->b_target->bt_mount == mp);
cb669ca5 2454 bp->b_iodone = xlog_recover_iodone;
43ff2122 2455 xfs_buf_delwri_queue(bp, buffer_list);
61551f1e 2456 xfs_buf_relse(bp);
6d192a9b
TS
2457error:
2458 if (need_free)
f0e2d93c 2459 kmem_free(in_f);
6d192a9b 2460 return XFS_ERROR(error);
1da177e4
LT
2461}
2462
2463/*
9a8d2fdb 2464 * Recover QUOTAOFF records. We simply make a note of it in the xlog
1da177e4
LT
2465 * structure, so that we know not to do any dquot item or dquot buffer recovery,
2466 * of that type.
2467 */
2468STATIC int
c9f71f5f 2469xlog_recover_quotaoff_pass1(
9a8d2fdb
MT
2470 struct xlog *log,
2471 struct xlog_recover_item *item)
1da177e4 2472{
c9f71f5f 2473 xfs_qoff_logformat_t *qoff_f = item->ri_buf[0].i_addr;
1da177e4
LT
2474 ASSERT(qoff_f);
2475
2476 /*
2477 * The logitem format's flag tells us if this was user quotaoff,
77a7cce4 2478 * group/project quotaoff or both.
1da177e4
LT
2479 */
2480 if (qoff_f->qf_flags & XFS_UQUOTA_ACCT)
2481 log->l_quotaoffs_flag |= XFS_DQ_USER;
77a7cce4
NS
2482 if (qoff_f->qf_flags & XFS_PQUOTA_ACCT)
2483 log->l_quotaoffs_flag |= XFS_DQ_PROJ;
1da177e4
LT
2484 if (qoff_f->qf_flags & XFS_GQUOTA_ACCT)
2485 log->l_quotaoffs_flag |= XFS_DQ_GROUP;
2486
2487 return (0);
2488}
2489
2490/*
2491 * Recover a dquot record
2492 */
2493STATIC int
c9f71f5f 2494xlog_recover_dquot_pass2(
9a8d2fdb
MT
2495 struct xlog *log,
2496 struct list_head *buffer_list,
2497 struct xlog_recover_item *item)
1da177e4 2498{
c9f71f5f 2499 xfs_mount_t *mp = log->l_mp;
1da177e4
LT
2500 xfs_buf_t *bp;
2501 struct xfs_disk_dquot *ddq, *recddq;
2502 int error;
2503 xfs_dq_logformat_t *dq_f;
2504 uint type;
2505
1da177e4
LT
2506
2507 /*
2508 * Filesystems are required to send in quota flags at mount time.
2509 */
2510 if (mp->m_qflags == 0)
2511 return (0);
2512
4e0d5f92
CH
2513 recddq = item->ri_buf[1].i_addr;
2514 if (recddq == NULL) {
a0fa2b67 2515 xfs_alert(log->l_mp, "NULL dquot in %s.", __func__);
0c5e1ce8
CH
2516 return XFS_ERROR(EIO);
2517 }
8ec6dba2 2518 if (item->ri_buf[1].i_len < sizeof(xfs_disk_dquot_t)) {
a0fa2b67 2519 xfs_alert(log->l_mp, "dquot too small (%d) in %s.",
0c5e1ce8
CH
2520 item->ri_buf[1].i_len, __func__);
2521 return XFS_ERROR(EIO);
2522 }
2523
1da177e4
LT
2524 /*
2525 * This type of quotas was turned off, so ignore this record.
2526 */
b53e675d 2527 type = recddq->d_flags & (XFS_DQ_USER | XFS_DQ_PROJ | XFS_DQ_GROUP);
1da177e4
LT
2528 ASSERT(type);
2529 if (log->l_quotaoffs_flag & type)
2530 return (0);
2531
2532 /*
2533 * At this point we know that quota was _not_ turned off.
2534 * Since the mount flags are not indicating to us otherwise, this
2535 * must mean that quota is on, and the dquot needs to be replayed.
2536 * Remember that we may not have fully recovered the superblock yet,
2537 * so we can't do the usual trick of looking at the SB quota bits.
2538 *
2539 * The other possibility, of course, is that the quota subsystem was
2540 * removed since the last mount - ENOSYS.
2541 */
4e0d5f92 2542 dq_f = item->ri_buf[0].i_addr;
1da177e4 2543 ASSERT(dq_f);
a0fa2b67
DC
2544 error = xfs_qm_dqcheck(mp, recddq, dq_f->qlf_id, 0, XFS_QMOPT_DOWARN,
2545 "xlog_recover_dquot_pass2 (log copy)");
2546 if (error)
1da177e4 2547 return XFS_ERROR(EIO);
1da177e4
LT
2548 ASSERT(dq_f->qlf_len == 1);
2549
7ca790a5
DC
2550 error = xfs_trans_read_buf(mp, NULL, mp->m_ddev_targp, dq_f->qlf_blkno,
2551 XFS_FSB_TO_BB(mp, dq_f->qlf_len), 0, &bp);
2552 if (error)
1da177e4 2553 return error;
7ca790a5 2554
1da177e4
LT
2555 ASSERT(bp);
2556 ddq = (xfs_disk_dquot_t *)xfs_buf_offset(bp, dq_f->qlf_boffset);
2557
2558 /*
2559 * At least the magic num portion should be on disk because this
2560 * was among a chunk of dquots created earlier, and we did some
2561 * minimal initialization then.
2562 */
a0fa2b67
DC
2563 error = xfs_qm_dqcheck(mp, ddq, dq_f->qlf_id, 0, XFS_QMOPT_DOWARN,
2564 "xlog_recover_dquot_pass2");
2565 if (error) {
1da177e4
LT
2566 xfs_buf_relse(bp);
2567 return XFS_ERROR(EIO);
2568 }
2569
2570 memcpy(ddq, recddq, item->ri_buf[1].i_len);
2571
2572 ASSERT(dq_f->qlf_size == 2);
ebad861b 2573 ASSERT(bp->b_target->bt_mount == mp);
cb669ca5 2574 bp->b_iodone = xlog_recover_iodone;
43ff2122 2575 xfs_buf_delwri_queue(bp, buffer_list);
61551f1e 2576 xfs_buf_relse(bp);
1da177e4
LT
2577
2578 return (0);
2579}
2580
2581/*
2582 * This routine is called to create an in-core extent free intent
2583 * item from the efi format structure which was logged on disk.
2584 * It allocates an in-core efi, copies the extents from the format
2585 * structure into it, and adds the efi to the AIL with the given
2586 * LSN.
2587 */
6d192a9b 2588STATIC int
c9f71f5f 2589xlog_recover_efi_pass2(
9a8d2fdb
MT
2590 struct xlog *log,
2591 struct xlog_recover_item *item,
2592 xfs_lsn_t lsn)
1da177e4 2593{
6d192a9b 2594 int error;
c9f71f5f 2595 xfs_mount_t *mp = log->l_mp;
1da177e4
LT
2596 xfs_efi_log_item_t *efip;
2597 xfs_efi_log_format_t *efi_formatp;
1da177e4 2598
4e0d5f92 2599 efi_formatp = item->ri_buf[0].i_addr;
1da177e4 2600
1da177e4 2601 efip = xfs_efi_init(mp, efi_formatp->efi_nextents);
6d192a9b
TS
2602 if ((error = xfs_efi_copy_format(&(item->ri_buf[0]),
2603 &(efip->efi_format)))) {
2604 xfs_efi_item_free(efip);
2605 return error;
2606 }
b199c8a4 2607 atomic_set(&efip->efi_next_extent, efi_formatp->efi_nextents);
1da177e4 2608
a9c21c1b 2609 spin_lock(&log->l_ailp->xa_lock);
1da177e4 2610 /*
783a2f65 2611 * xfs_trans_ail_update() drops the AIL lock.
1da177e4 2612 */
e6059949 2613 xfs_trans_ail_update(log->l_ailp, &efip->efi_item, lsn);
6d192a9b 2614 return 0;
1da177e4
LT
2615}
2616
2617
2618/*
2619 * This routine is called when an efd format structure is found in
2620 * a committed transaction in the log. It's purpose is to cancel
2621 * the corresponding efi if it was still in the log. To do this
2622 * it searches the AIL for the efi with an id equal to that in the
2623 * efd format structure. If we find it, we remove the efi from the
2624 * AIL and free it.
2625 */
c9f71f5f
CH
2626STATIC int
2627xlog_recover_efd_pass2(
9a8d2fdb
MT
2628 struct xlog *log,
2629 struct xlog_recover_item *item)
1da177e4 2630{
1da177e4
LT
2631 xfs_efd_log_format_t *efd_formatp;
2632 xfs_efi_log_item_t *efip = NULL;
2633 xfs_log_item_t *lip;
1da177e4 2634 __uint64_t efi_id;
27d8d5fe 2635 struct xfs_ail_cursor cur;
783a2f65 2636 struct xfs_ail *ailp = log->l_ailp;
1da177e4 2637
4e0d5f92 2638 efd_formatp = item->ri_buf[0].i_addr;
6d192a9b
TS
2639 ASSERT((item->ri_buf[0].i_len == (sizeof(xfs_efd_log_format_32_t) +
2640 ((efd_formatp->efd_nextents - 1) * sizeof(xfs_extent_32_t)))) ||
2641 (item->ri_buf[0].i_len == (sizeof(xfs_efd_log_format_64_t) +
2642 ((efd_formatp->efd_nextents - 1) * sizeof(xfs_extent_64_t)))));
1da177e4
LT
2643 efi_id = efd_formatp->efd_efi_id;
2644
2645 /*
2646 * Search for the efi with the id in the efd format structure
2647 * in the AIL.
2648 */
a9c21c1b
DC
2649 spin_lock(&ailp->xa_lock);
2650 lip = xfs_trans_ail_cursor_first(ailp, &cur, 0);
1da177e4
LT
2651 while (lip != NULL) {
2652 if (lip->li_type == XFS_LI_EFI) {
2653 efip = (xfs_efi_log_item_t *)lip;
2654 if (efip->efi_format.efi_id == efi_id) {
2655 /*
783a2f65 2656 * xfs_trans_ail_delete() drops the
1da177e4
LT
2657 * AIL lock.
2658 */
04913fdd
DC
2659 xfs_trans_ail_delete(ailp, lip,
2660 SHUTDOWN_CORRUPT_INCORE);
8ae2c0f6 2661 xfs_efi_item_free(efip);
a9c21c1b 2662 spin_lock(&ailp->xa_lock);
27d8d5fe 2663 break;
1da177e4
LT
2664 }
2665 }
a9c21c1b 2666 lip = xfs_trans_ail_cursor_next(ailp, &cur);
1da177e4 2667 }
a9c21c1b
DC
2668 xfs_trans_ail_cursor_done(ailp, &cur);
2669 spin_unlock(&ailp->xa_lock);
c9f71f5f
CH
2670
2671 return 0;
1da177e4
LT
2672}
2673
1da177e4
LT
2674/*
2675 * Free up any resources allocated by the transaction
2676 *
2677 * Remember that EFIs, EFDs, and IUNLINKs are handled later.
2678 */
2679STATIC void
2680xlog_recover_free_trans(
d0450948 2681 struct xlog_recover *trans)
1da177e4 2682{
f0a76953 2683 xlog_recover_item_t *item, *n;
1da177e4
LT
2684 int i;
2685
f0a76953
DC
2686 list_for_each_entry_safe(item, n, &trans->r_itemq, ri_list) {
2687 /* Free the regions in the item. */
2688 list_del(&item->ri_list);
2689 for (i = 0; i < item->ri_cnt; i++)
2690 kmem_free(item->ri_buf[i].i_addr);
1da177e4 2691 /* Free the item itself */
f0a76953
DC
2692 kmem_free(item->ri_buf);
2693 kmem_free(item);
2694 }
1da177e4 2695 /* Free the transaction recover structure */
f0e2d93c 2696 kmem_free(trans);
1da177e4
LT
2697}
2698
d0450948 2699STATIC int
c9f71f5f 2700xlog_recover_commit_pass1(
ad223e60
MT
2701 struct xlog *log,
2702 struct xlog_recover *trans,
2703 struct xlog_recover_item *item)
d0450948 2704{
c9f71f5f 2705 trace_xfs_log_recover_item_recover(log, trans, item, XLOG_RECOVER_PASS1);
d0450948
CH
2706
2707 switch (ITEM_TYPE(item)) {
2708 case XFS_LI_BUF:
c9f71f5f
CH
2709 return xlog_recover_buffer_pass1(log, item);
2710 case XFS_LI_QUOTAOFF:
2711 return xlog_recover_quotaoff_pass1(log, item);
d0450948 2712 case XFS_LI_INODE:
d0450948 2713 case XFS_LI_EFI:
d0450948 2714 case XFS_LI_EFD:
c9f71f5f
CH
2715 case XFS_LI_DQUOT:
2716 /* nothing to do in pass 1 */
d0450948 2717 return 0;
c9f71f5f 2718 default:
a0fa2b67
DC
2719 xfs_warn(log->l_mp, "%s: invalid item type (%d)",
2720 __func__, ITEM_TYPE(item));
c9f71f5f
CH
2721 ASSERT(0);
2722 return XFS_ERROR(EIO);
2723 }
2724}
2725
2726STATIC int
2727xlog_recover_commit_pass2(
ad223e60
MT
2728 struct xlog *log,
2729 struct xlog_recover *trans,
2730 struct list_head *buffer_list,
2731 struct xlog_recover_item *item)
c9f71f5f
CH
2732{
2733 trace_xfs_log_recover_item_recover(log, trans, item, XLOG_RECOVER_PASS2);
2734
2735 switch (ITEM_TYPE(item)) {
2736 case XFS_LI_BUF:
43ff2122 2737 return xlog_recover_buffer_pass2(log, buffer_list, item);
c9f71f5f 2738 case XFS_LI_INODE:
43ff2122 2739 return xlog_recover_inode_pass2(log, buffer_list, item);
c9f71f5f
CH
2740 case XFS_LI_EFI:
2741 return xlog_recover_efi_pass2(log, item, trans->r_lsn);
2742 case XFS_LI_EFD:
2743 return xlog_recover_efd_pass2(log, item);
d0450948 2744 case XFS_LI_DQUOT:
43ff2122 2745 return xlog_recover_dquot_pass2(log, buffer_list, item);
d0450948 2746 case XFS_LI_QUOTAOFF:
c9f71f5f
CH
2747 /* nothing to do in pass2 */
2748 return 0;
d0450948 2749 default:
a0fa2b67
DC
2750 xfs_warn(log->l_mp, "%s: invalid item type (%d)",
2751 __func__, ITEM_TYPE(item));
d0450948
CH
2752 ASSERT(0);
2753 return XFS_ERROR(EIO);
2754 }
2755}
2756
2757/*
2758 * Perform the transaction.
2759 *
2760 * If the transaction modifies a buffer or inode, do it now. Otherwise,
2761 * EFIs and EFDs get queued up by adding entries into the AIL for them.
2762 */
1da177e4
LT
2763STATIC int
2764xlog_recover_commit_trans(
ad223e60 2765 struct xlog *log,
d0450948 2766 struct xlog_recover *trans,
1da177e4
LT
2767 int pass)
2768{
43ff2122 2769 int error = 0, error2;
d0450948 2770 xlog_recover_item_t *item;
43ff2122 2771 LIST_HEAD (buffer_list);
1da177e4 2772
f0a76953 2773 hlist_del(&trans->r_list);
d0450948
CH
2774
2775 error = xlog_recover_reorder_trans(log, trans, pass);
2776 if (error)
1da177e4 2777 return error;
d0450948
CH
2778
2779 list_for_each_entry(item, &trans->r_itemq, ri_list) {
43ff2122
CH
2780 switch (pass) {
2781 case XLOG_RECOVER_PASS1:
c9f71f5f 2782 error = xlog_recover_commit_pass1(log, trans, item);
43ff2122
CH
2783 break;
2784 case XLOG_RECOVER_PASS2:
2785 error = xlog_recover_commit_pass2(log, trans,
2786 &buffer_list, item);
2787 break;
2788 default:
2789 ASSERT(0);
2790 }
2791
d0450948 2792 if (error)
43ff2122 2793 goto out;
d0450948
CH
2794 }
2795
2796 xlog_recover_free_trans(trans);
43ff2122
CH
2797
2798out:
2799 error2 = xfs_buf_delwri_submit(&buffer_list);
2800 return error ? error : error2;
1da177e4
LT
2801}
2802
2803STATIC int
2804xlog_recover_unmount_trans(
ad223e60
MT
2805 struct xlog *log,
2806 struct xlog_recover *trans)
1da177e4
LT
2807{
2808 /* Do nothing now */
a0fa2b67 2809 xfs_warn(log->l_mp, "%s: Unmount LR", __func__);
1da177e4
LT
2810 return 0;
2811}
2812
2813/*
2814 * There are two valid states of the r_state field. 0 indicates that the
2815 * transaction structure is in a normal state. We have either seen the
2816 * start of the transaction or the last operation we added was not a partial
2817 * operation. If the last operation we added to the transaction was a
2818 * partial operation, we need to mark r_state with XLOG_WAS_CONT_TRANS.
2819 *
2820 * NOTE: skip LRs with 0 data length.
2821 */
2822STATIC int
2823xlog_recover_process_data(
9a8d2fdb 2824 struct xlog *log,
f0a76953 2825 struct hlist_head rhash[],
9a8d2fdb 2826 struct xlog_rec_header *rhead,
1da177e4
LT
2827 xfs_caddr_t dp,
2828 int pass)
2829{
2830 xfs_caddr_t lp;
2831 int num_logops;
2832 xlog_op_header_t *ohead;
2833 xlog_recover_t *trans;
2834 xlog_tid_t tid;
2835 int error;
2836 unsigned long hash;
2837 uint flags;
2838
b53e675d
CH
2839 lp = dp + be32_to_cpu(rhead->h_len);
2840 num_logops = be32_to_cpu(rhead->h_num_logops);
1da177e4
LT
2841
2842 /* check the log format matches our own - else we can't recover */
2843 if (xlog_header_check_recover(log->l_mp, rhead))
2844 return (XFS_ERROR(EIO));
2845
2846 while ((dp < lp) && num_logops) {
2847 ASSERT(dp + sizeof(xlog_op_header_t) <= lp);
2848 ohead = (xlog_op_header_t *)dp;
2849 dp += sizeof(xlog_op_header_t);
2850 if (ohead->oh_clientid != XFS_TRANSACTION &&
2851 ohead->oh_clientid != XFS_LOG) {
a0fa2b67
DC
2852 xfs_warn(log->l_mp, "%s: bad clientid 0x%x",
2853 __func__, ohead->oh_clientid);
1da177e4
LT
2854 ASSERT(0);
2855 return (XFS_ERROR(EIO));
2856 }
67fcb7bf 2857 tid = be32_to_cpu(ohead->oh_tid);
1da177e4 2858 hash = XLOG_RHASH(tid);
f0a76953 2859 trans = xlog_recover_find_tid(&rhash[hash], tid);
1da177e4
LT
2860 if (trans == NULL) { /* not found; add new tid */
2861 if (ohead->oh_flags & XLOG_START_TRANS)
2862 xlog_recover_new_tid(&rhash[hash], tid,
b53e675d 2863 be64_to_cpu(rhead->h_lsn));
1da177e4 2864 } else {
9742bb93 2865 if (dp + be32_to_cpu(ohead->oh_len) > lp) {
a0fa2b67
DC
2866 xfs_warn(log->l_mp, "%s: bad length 0x%x",
2867 __func__, be32_to_cpu(ohead->oh_len));
9742bb93
LM
2868 WARN_ON(1);
2869 return (XFS_ERROR(EIO));
2870 }
1da177e4
LT
2871 flags = ohead->oh_flags & ~XLOG_END_TRANS;
2872 if (flags & XLOG_WAS_CONT_TRANS)
2873 flags &= ~XLOG_CONTINUE_TRANS;
2874 switch (flags) {
2875 case XLOG_COMMIT_TRANS:
2876 error = xlog_recover_commit_trans(log,
f0a76953 2877 trans, pass);
1da177e4
LT
2878 break;
2879 case XLOG_UNMOUNT_TRANS:
a0fa2b67 2880 error = xlog_recover_unmount_trans(log, trans);
1da177e4
LT
2881 break;
2882 case XLOG_WAS_CONT_TRANS:
9abbc539
DC
2883 error = xlog_recover_add_to_cont_trans(log,
2884 trans, dp,
2885 be32_to_cpu(ohead->oh_len));
1da177e4
LT
2886 break;
2887 case XLOG_START_TRANS:
a0fa2b67
DC
2888 xfs_warn(log->l_mp, "%s: bad transaction",
2889 __func__);
1da177e4
LT
2890 ASSERT(0);
2891 error = XFS_ERROR(EIO);
2892 break;
2893 case 0:
2894 case XLOG_CONTINUE_TRANS:
9abbc539 2895 error = xlog_recover_add_to_trans(log, trans,
67fcb7bf 2896 dp, be32_to_cpu(ohead->oh_len));
1da177e4
LT
2897 break;
2898 default:
a0fa2b67
DC
2899 xfs_warn(log->l_mp, "%s: bad flag 0x%x",
2900 __func__, flags);
1da177e4
LT
2901 ASSERT(0);
2902 error = XFS_ERROR(EIO);
2903 break;
2904 }
2905 if (error)
2906 return error;
2907 }
67fcb7bf 2908 dp += be32_to_cpu(ohead->oh_len);
1da177e4
LT
2909 num_logops--;
2910 }
2911 return 0;
2912}
2913
2914/*
2915 * Process an extent free intent item that was recovered from
2916 * the log. We need to free the extents that it describes.
2917 */
3c1e2bbe 2918STATIC int
1da177e4
LT
2919xlog_recover_process_efi(
2920 xfs_mount_t *mp,
2921 xfs_efi_log_item_t *efip)
2922{
2923 xfs_efd_log_item_t *efdp;
2924 xfs_trans_t *tp;
2925 int i;
3c1e2bbe 2926 int error = 0;
1da177e4
LT
2927 xfs_extent_t *extp;
2928 xfs_fsblock_t startblock_fsb;
2929
b199c8a4 2930 ASSERT(!test_bit(XFS_EFI_RECOVERED, &efip->efi_flags));
1da177e4
LT
2931
2932 /*
2933 * First check the validity of the extents described by the
2934 * EFI. If any are bad, then assume that all are bad and
2935 * just toss the EFI.
2936 */
2937 for (i = 0; i < efip->efi_format.efi_nextents; i++) {
2938 extp = &(efip->efi_format.efi_extents[i]);
2939 startblock_fsb = XFS_BB_TO_FSB(mp,
2940 XFS_FSB_TO_DADDR(mp, extp->ext_start));
2941 if ((startblock_fsb == 0) ||
2942 (extp->ext_len == 0) ||
2943 (startblock_fsb >= mp->m_sb.sb_dblocks) ||
2944 (extp->ext_len >= mp->m_sb.sb_agblocks)) {
2945 /*
2946 * This will pull the EFI from the AIL and
2947 * free the memory associated with it.
2948 */
2949 xfs_efi_release(efip, efip->efi_format.efi_nextents);
3c1e2bbe 2950 return XFS_ERROR(EIO);
1da177e4
LT
2951 }
2952 }
2953
2954 tp = xfs_trans_alloc(mp, 0);
3c1e2bbe 2955 error = xfs_trans_reserve(tp, 0, XFS_ITRUNCATE_LOG_RES(mp), 0, 0, 0);
fc6149d8
DC
2956 if (error)
2957 goto abort_error;
1da177e4
LT
2958 efdp = xfs_trans_get_efd(tp, efip, efip->efi_format.efi_nextents);
2959
2960 for (i = 0; i < efip->efi_format.efi_nextents; i++) {
2961 extp = &(efip->efi_format.efi_extents[i]);
fc6149d8
DC
2962 error = xfs_free_extent(tp, extp->ext_start, extp->ext_len);
2963 if (error)
2964 goto abort_error;
1da177e4
LT
2965 xfs_trans_log_efd_extent(tp, efdp, extp->ext_start,
2966 extp->ext_len);
2967 }
2968
b199c8a4 2969 set_bit(XFS_EFI_RECOVERED, &efip->efi_flags);
e5720eec 2970 error = xfs_trans_commit(tp, 0);
3c1e2bbe 2971 return error;
fc6149d8
DC
2972
2973abort_error:
2974 xfs_trans_cancel(tp, XFS_TRANS_ABORT);
2975 return error;
1da177e4
LT
2976}
2977
1da177e4
LT
2978/*
2979 * When this is called, all of the EFIs which did not have
2980 * corresponding EFDs should be in the AIL. What we do now
2981 * is free the extents associated with each one.
2982 *
2983 * Since we process the EFIs in normal transactions, they
2984 * will be removed at some point after the commit. This prevents
2985 * us from just walking down the list processing each one.
2986 * We'll use a flag in the EFI to skip those that we've already
2987 * processed and use the AIL iteration mechanism's generation
2988 * count to try to speed this up at least a bit.
2989 *
2990 * When we start, we know that the EFIs are the only things in
2991 * the AIL. As we process them, however, other items are added
2992 * to the AIL. Since everything added to the AIL must come after
2993 * everything already in the AIL, we stop processing as soon as
2994 * we see something other than an EFI in the AIL.
2995 */
3c1e2bbe 2996STATIC int
1da177e4 2997xlog_recover_process_efis(
9a8d2fdb 2998 struct xlog *log)
1da177e4
LT
2999{
3000 xfs_log_item_t *lip;
3001 xfs_efi_log_item_t *efip;
3c1e2bbe 3002 int error = 0;
27d8d5fe 3003 struct xfs_ail_cursor cur;
a9c21c1b 3004 struct xfs_ail *ailp;
1da177e4 3005
a9c21c1b
DC
3006 ailp = log->l_ailp;
3007 spin_lock(&ailp->xa_lock);
3008 lip = xfs_trans_ail_cursor_first(ailp, &cur, 0);
1da177e4
LT
3009 while (lip != NULL) {
3010 /*
3011 * We're done when we see something other than an EFI.
27d8d5fe 3012 * There should be no EFIs left in the AIL now.
1da177e4
LT
3013 */
3014 if (lip->li_type != XFS_LI_EFI) {
27d8d5fe 3015#ifdef DEBUG
a9c21c1b 3016 for (; lip; lip = xfs_trans_ail_cursor_next(ailp, &cur))
27d8d5fe
DC
3017 ASSERT(lip->li_type != XFS_LI_EFI);
3018#endif
1da177e4
LT
3019 break;
3020 }
3021
3022 /*
3023 * Skip EFIs that we've already processed.
3024 */
3025 efip = (xfs_efi_log_item_t *)lip;
b199c8a4 3026 if (test_bit(XFS_EFI_RECOVERED, &efip->efi_flags)) {
a9c21c1b 3027 lip = xfs_trans_ail_cursor_next(ailp, &cur);
1da177e4
LT
3028 continue;
3029 }
3030
a9c21c1b
DC
3031 spin_unlock(&ailp->xa_lock);
3032 error = xlog_recover_process_efi(log->l_mp, efip);
3033 spin_lock(&ailp->xa_lock);
27d8d5fe
DC
3034 if (error)
3035 goto out;
a9c21c1b 3036 lip = xfs_trans_ail_cursor_next(ailp, &cur);
1da177e4 3037 }
27d8d5fe 3038out:
a9c21c1b
DC
3039 xfs_trans_ail_cursor_done(ailp, &cur);
3040 spin_unlock(&ailp->xa_lock);
3c1e2bbe 3041 return error;
1da177e4
LT
3042}
3043
3044/*
3045 * This routine performs a transaction to null out a bad inode pointer
3046 * in an agi unlinked inode hash bucket.
3047 */
3048STATIC void
3049xlog_recover_clear_agi_bucket(
3050 xfs_mount_t *mp,
3051 xfs_agnumber_t agno,
3052 int bucket)
3053{
3054 xfs_trans_t *tp;
3055 xfs_agi_t *agi;
3056 xfs_buf_t *agibp;
3057 int offset;
3058 int error;
3059
3060 tp = xfs_trans_alloc(mp, XFS_TRANS_CLEAR_AGI_BUCKET);
5e1be0fb
CH
3061 error = xfs_trans_reserve(tp, 0, XFS_CLEAR_AGI_BUCKET_LOG_RES(mp),
3062 0, 0, 0);
e5720eec
DC
3063 if (error)
3064 goto out_abort;
1da177e4 3065
5e1be0fb
CH
3066 error = xfs_read_agi(mp, tp, agno, &agibp);
3067 if (error)
e5720eec 3068 goto out_abort;
1da177e4 3069
5e1be0fb 3070 agi = XFS_BUF_TO_AGI(agibp);
16259e7d 3071 agi->agi_unlinked[bucket] = cpu_to_be32(NULLAGINO);
1da177e4
LT
3072 offset = offsetof(xfs_agi_t, agi_unlinked) +
3073 (sizeof(xfs_agino_t) * bucket);
3074 xfs_trans_log_buf(tp, agibp, offset,
3075 (offset + sizeof(xfs_agino_t) - 1));
3076
e5720eec
DC
3077 error = xfs_trans_commit(tp, 0);
3078 if (error)
3079 goto out_error;
3080 return;
3081
3082out_abort:
3083 xfs_trans_cancel(tp, XFS_TRANS_ABORT);
3084out_error:
a0fa2b67 3085 xfs_warn(mp, "%s: failed to clear agi %d. Continuing.", __func__, agno);
e5720eec 3086 return;
1da177e4
LT
3087}
3088
23fac50f
CH
3089STATIC xfs_agino_t
3090xlog_recover_process_one_iunlink(
3091 struct xfs_mount *mp,
3092 xfs_agnumber_t agno,
3093 xfs_agino_t agino,
3094 int bucket)
3095{
3096 struct xfs_buf *ibp;
3097 struct xfs_dinode *dip;
3098 struct xfs_inode *ip;
3099 xfs_ino_t ino;
3100 int error;
3101
3102 ino = XFS_AGINO_TO_INO(mp, agno, agino);
7b6259e7 3103 error = xfs_iget(mp, NULL, ino, 0, 0, &ip);
23fac50f
CH
3104 if (error)
3105 goto fail;
3106
3107 /*
3108 * Get the on disk inode to find the next inode in the bucket.
3109 */
475ee413 3110 error = xfs_imap_to_bp(mp, NULL, &ip->i_imap, &dip, &ibp, 0, 0);
23fac50f 3111 if (error)
0e446673 3112 goto fail_iput;
23fac50f 3113
23fac50f 3114 ASSERT(ip->i_d.di_nlink == 0);
0e446673 3115 ASSERT(ip->i_d.di_mode != 0);
23fac50f
CH
3116
3117 /* setup for the next pass */
3118 agino = be32_to_cpu(dip->di_next_unlinked);
3119 xfs_buf_relse(ibp);
3120
3121 /*
3122 * Prevent any DMAPI event from being sent when the reference on
3123 * the inode is dropped.
3124 */
3125 ip->i_d.di_dmevmask = 0;
3126
0e446673 3127 IRELE(ip);
23fac50f
CH
3128 return agino;
3129
0e446673
CH
3130 fail_iput:
3131 IRELE(ip);
23fac50f
CH
3132 fail:
3133 /*
3134 * We can't read in the inode this bucket points to, or this inode
3135 * is messed up. Just ditch this bucket of inodes. We will lose
3136 * some inodes and space, but at least we won't hang.
3137 *
3138 * Call xlog_recover_clear_agi_bucket() to perform a transaction to
3139 * clear the inode pointer in the bucket.
3140 */
3141 xlog_recover_clear_agi_bucket(mp, agno, bucket);
3142 return NULLAGINO;
3143}
3144
1da177e4
LT
3145/*
3146 * xlog_iunlink_recover
3147 *
3148 * This is called during recovery to process any inodes which
3149 * we unlinked but not freed when the system crashed. These
3150 * inodes will be on the lists in the AGI blocks. What we do
3151 * here is scan all the AGIs and fully truncate and free any
3152 * inodes found on the lists. Each inode is removed from the
3153 * lists when it has been fully truncated and is freed. The
3154 * freeing of the inode and its removal from the list must be
3155 * atomic.
3156 */
d96f8f89 3157STATIC void
1da177e4 3158xlog_recover_process_iunlinks(
9a8d2fdb 3159 struct xlog *log)
1da177e4
LT
3160{
3161 xfs_mount_t *mp;
3162 xfs_agnumber_t agno;
3163 xfs_agi_t *agi;
3164 xfs_buf_t *agibp;
1da177e4 3165 xfs_agino_t agino;
1da177e4
LT
3166 int bucket;
3167 int error;
3168 uint mp_dmevmask;
3169
3170 mp = log->l_mp;
3171
3172 /*
3173 * Prevent any DMAPI event from being sent while in this function.
3174 */
3175 mp_dmevmask = mp->m_dmevmask;
3176 mp->m_dmevmask = 0;
3177
3178 for (agno = 0; agno < mp->m_sb.sb_agcount; agno++) {
3179 /*
3180 * Find the agi for this ag.
3181 */
5e1be0fb
CH
3182 error = xfs_read_agi(mp, NULL, agno, &agibp);
3183 if (error) {
3184 /*
3185 * AGI is b0rked. Don't process it.
3186 *
3187 * We should probably mark the filesystem as corrupt
3188 * after we've recovered all the ag's we can....
3189 */
3190 continue;
1da177e4 3191 }
d97d32ed
JK
3192 /*
3193 * Unlock the buffer so that it can be acquired in the normal
3194 * course of the transaction to truncate and free each inode.
3195 * Because we are not racing with anyone else here for the AGI
3196 * buffer, we don't even need to hold it locked to read the
3197 * initial unlinked bucket entries out of the buffer. We keep
3198 * buffer reference though, so that it stays pinned in memory
3199 * while we need the buffer.
3200 */
1da177e4 3201 agi = XFS_BUF_TO_AGI(agibp);
d97d32ed 3202 xfs_buf_unlock(agibp);
1da177e4
LT
3203
3204 for (bucket = 0; bucket < XFS_AGI_UNLINKED_BUCKETS; bucket++) {
16259e7d 3205 agino = be32_to_cpu(agi->agi_unlinked[bucket]);
1da177e4 3206 while (agino != NULLAGINO) {
23fac50f
CH
3207 agino = xlog_recover_process_one_iunlink(mp,
3208 agno, agino, bucket);
1da177e4
LT
3209 }
3210 }
d97d32ed 3211 xfs_buf_rele(agibp);
1da177e4
LT
3212 }
3213
3214 mp->m_dmevmask = mp_dmevmask;
3215}
3216
3217
3218#ifdef DEBUG
3219STATIC void
3220xlog_pack_data_checksum(
9a8d2fdb
MT
3221 struct xlog *log,
3222 struct xlog_in_core *iclog,
3223 int size)
1da177e4
LT
3224{
3225 int i;
b53e675d 3226 __be32 *up;
1da177e4
LT
3227 uint chksum = 0;
3228
b53e675d 3229 up = (__be32 *)iclog->ic_datap;
1da177e4
LT
3230 /* divide length by 4 to get # words */
3231 for (i = 0; i < (size >> 2); i++) {
b53e675d 3232 chksum ^= be32_to_cpu(*up);
1da177e4
LT
3233 up++;
3234 }
b53e675d 3235 iclog->ic_header.h_chksum = cpu_to_be32(chksum);
1da177e4
LT
3236}
3237#else
3238#define xlog_pack_data_checksum(log, iclog, size)
3239#endif
3240
3241/*
3242 * Stamp cycle number in every block
3243 */
3244void
3245xlog_pack_data(
9a8d2fdb
MT
3246 struct xlog *log,
3247 struct xlog_in_core *iclog,
1da177e4
LT
3248 int roundoff)
3249{
3250 int i, j, k;
3251 int size = iclog->ic_offset + roundoff;
b53e675d 3252 __be32 cycle_lsn;
1da177e4 3253 xfs_caddr_t dp;
1da177e4
LT
3254
3255 xlog_pack_data_checksum(log, iclog, size);
3256
3257 cycle_lsn = CYCLE_LSN_DISK(iclog->ic_header.h_lsn);
3258
3259 dp = iclog->ic_datap;
3260 for (i = 0; i < BTOBB(size) &&
3261 i < (XLOG_HEADER_CYCLE_SIZE / BBSIZE); i++) {
b53e675d
CH
3262 iclog->ic_header.h_cycle_data[i] = *(__be32 *)dp;
3263 *(__be32 *)dp = cycle_lsn;
1da177e4
LT
3264 dp += BBSIZE;
3265 }
3266
62118709 3267 if (xfs_sb_version_haslogv2(&log->l_mp->m_sb)) {
b28708d6
CH
3268 xlog_in_core_2_t *xhdr = iclog->ic_data;
3269
1da177e4
LT
3270 for ( ; i < BTOBB(size); i++) {
3271 j = i / (XLOG_HEADER_CYCLE_SIZE / BBSIZE);
3272 k = i % (XLOG_HEADER_CYCLE_SIZE / BBSIZE);
b53e675d
CH
3273 xhdr[j].hic_xheader.xh_cycle_data[k] = *(__be32 *)dp;
3274 *(__be32 *)dp = cycle_lsn;
1da177e4
LT
3275 dp += BBSIZE;
3276 }
3277
3278 for (i = 1; i < log->l_iclog_heads; i++) {
3279 xhdr[i].hic_xheader.xh_cycle = cycle_lsn;
3280 }
3281 }
3282}
3283
1da177e4
LT
3284STATIC void
3285xlog_unpack_data(
9a8d2fdb 3286 struct xlog_rec_header *rhead,
1da177e4 3287 xfs_caddr_t dp,
9a8d2fdb 3288 struct xlog *log)
1da177e4
LT
3289{
3290 int i, j, k;
1da177e4 3291
b53e675d 3292 for (i = 0; i < BTOBB(be32_to_cpu(rhead->h_len)) &&
1da177e4 3293 i < (XLOG_HEADER_CYCLE_SIZE / BBSIZE); i++) {
b53e675d 3294 *(__be32 *)dp = *(__be32 *)&rhead->h_cycle_data[i];
1da177e4
LT
3295 dp += BBSIZE;
3296 }
3297
62118709 3298 if (xfs_sb_version_haslogv2(&log->l_mp->m_sb)) {
b28708d6 3299 xlog_in_core_2_t *xhdr = (xlog_in_core_2_t *)rhead;
b53e675d 3300 for ( ; i < BTOBB(be32_to_cpu(rhead->h_len)); i++) {
1da177e4
LT
3301 j = i / (XLOG_HEADER_CYCLE_SIZE / BBSIZE);
3302 k = i % (XLOG_HEADER_CYCLE_SIZE / BBSIZE);
b53e675d 3303 *(__be32 *)dp = xhdr[j].hic_xheader.xh_cycle_data[k];
1da177e4
LT
3304 dp += BBSIZE;
3305 }
3306 }
1da177e4
LT
3307}
3308
3309STATIC int
3310xlog_valid_rec_header(
9a8d2fdb
MT
3311 struct xlog *log,
3312 struct xlog_rec_header *rhead,
1da177e4
LT
3313 xfs_daddr_t blkno)
3314{
3315 int hlen;
3316
69ef921b 3317 if (unlikely(rhead->h_magicno != cpu_to_be32(XLOG_HEADER_MAGIC_NUM))) {
1da177e4
LT
3318 XFS_ERROR_REPORT("xlog_valid_rec_header(1)",
3319 XFS_ERRLEVEL_LOW, log->l_mp);
3320 return XFS_ERROR(EFSCORRUPTED);
3321 }
3322 if (unlikely(
3323 (!rhead->h_version ||
b53e675d 3324 (be32_to_cpu(rhead->h_version) & (~XLOG_VERSION_OKBITS))))) {
a0fa2b67 3325 xfs_warn(log->l_mp, "%s: unrecognised log version (%d).",
34a622b2 3326 __func__, be32_to_cpu(rhead->h_version));
1da177e4
LT
3327 return XFS_ERROR(EIO);
3328 }
3329
3330 /* LR body must have data or it wouldn't have been written */
b53e675d 3331 hlen = be32_to_cpu(rhead->h_len);
1da177e4
LT
3332 if (unlikely( hlen <= 0 || hlen > INT_MAX )) {
3333 XFS_ERROR_REPORT("xlog_valid_rec_header(2)",
3334 XFS_ERRLEVEL_LOW, log->l_mp);
3335 return XFS_ERROR(EFSCORRUPTED);
3336 }
3337 if (unlikely( blkno > log->l_logBBsize || blkno > INT_MAX )) {
3338 XFS_ERROR_REPORT("xlog_valid_rec_header(3)",
3339 XFS_ERRLEVEL_LOW, log->l_mp);
3340 return XFS_ERROR(EFSCORRUPTED);
3341 }
3342 return 0;
3343}
3344
3345/*
3346 * Read the log from tail to head and process the log records found.
3347 * Handle the two cases where the tail and head are in the same cycle
3348 * and where the active portion of the log wraps around the end of
3349 * the physical log separately. The pass parameter is passed through
3350 * to the routines called to process the data and is not looked at
3351 * here.
3352 */
3353STATIC int
3354xlog_do_recovery_pass(
9a8d2fdb 3355 struct xlog *log,
1da177e4
LT
3356 xfs_daddr_t head_blk,
3357 xfs_daddr_t tail_blk,
3358 int pass)
3359{
3360 xlog_rec_header_t *rhead;
3361 xfs_daddr_t blk_no;
fc5bc4c8 3362 xfs_caddr_t offset;
1da177e4
LT
3363 xfs_buf_t *hbp, *dbp;
3364 int error = 0, h_size;
3365 int bblks, split_bblks;
3366 int hblks, split_hblks, wrapped_hblks;
f0a76953 3367 struct hlist_head rhash[XLOG_RHASH_SIZE];
1da177e4
LT
3368
3369 ASSERT(head_blk != tail_blk);
3370
3371 /*
3372 * Read the header of the tail block and get the iclog buffer size from
3373 * h_size. Use this to tell how many sectors make up the log header.
3374 */
62118709 3375 if (xfs_sb_version_haslogv2(&log->l_mp->m_sb)) {
1da177e4
LT
3376 /*
3377 * When using variable length iclogs, read first sector of
3378 * iclog header and extract the header size from it. Get a
3379 * new hbp that is the correct size.
3380 */
3381 hbp = xlog_get_bp(log, 1);
3382 if (!hbp)
3383 return ENOMEM;
076e6acb
CH
3384
3385 error = xlog_bread(log, tail_blk, 1, hbp, &offset);
3386 if (error)
1da177e4 3387 goto bread_err1;
076e6acb 3388
1da177e4
LT
3389 rhead = (xlog_rec_header_t *)offset;
3390 error = xlog_valid_rec_header(log, rhead, tail_blk);
3391 if (error)
3392 goto bread_err1;
b53e675d
CH
3393 h_size = be32_to_cpu(rhead->h_size);
3394 if ((be32_to_cpu(rhead->h_version) & XLOG_VERSION_2) &&
1da177e4
LT
3395 (h_size > XLOG_HEADER_CYCLE_SIZE)) {
3396 hblks = h_size / XLOG_HEADER_CYCLE_SIZE;
3397 if (h_size % XLOG_HEADER_CYCLE_SIZE)
3398 hblks++;
3399 xlog_put_bp(hbp);
3400 hbp = xlog_get_bp(log, hblks);
3401 } else {
3402 hblks = 1;
3403 }
3404 } else {
69ce58f0 3405 ASSERT(log->l_sectBBsize == 1);
1da177e4
LT
3406 hblks = 1;
3407 hbp = xlog_get_bp(log, 1);
3408 h_size = XLOG_BIG_RECORD_BSIZE;
3409 }
3410
3411 if (!hbp)
3412 return ENOMEM;
3413 dbp = xlog_get_bp(log, BTOBB(h_size));
3414 if (!dbp) {
3415 xlog_put_bp(hbp);
3416 return ENOMEM;
3417 }
3418
3419 memset(rhash, 0, sizeof(rhash));
3420 if (tail_blk <= head_blk) {
3421 for (blk_no = tail_blk; blk_no < head_blk; ) {
076e6acb
CH
3422 error = xlog_bread(log, blk_no, hblks, hbp, &offset);
3423 if (error)
1da177e4 3424 goto bread_err2;
076e6acb 3425
1da177e4
LT
3426 rhead = (xlog_rec_header_t *)offset;
3427 error = xlog_valid_rec_header(log, rhead, blk_no);
3428 if (error)
3429 goto bread_err2;
3430
3431 /* blocks in data section */
b53e675d 3432 bblks = (int)BTOBB(be32_to_cpu(rhead->h_len));
076e6acb
CH
3433 error = xlog_bread(log, blk_no + hblks, bblks, dbp,
3434 &offset);
1da177e4
LT
3435 if (error)
3436 goto bread_err2;
076e6acb 3437
1da177e4
LT
3438 xlog_unpack_data(rhead, offset, log);
3439 if ((error = xlog_recover_process_data(log,
3440 rhash, rhead, offset, pass)))
3441 goto bread_err2;
3442 blk_no += bblks + hblks;
3443 }
3444 } else {
3445 /*
3446 * Perform recovery around the end of the physical log.
3447 * When the head is not on the same cycle number as the tail,
3448 * we can't do a sequential recovery as above.
3449 */
3450 blk_no = tail_blk;
3451 while (blk_no < log->l_logBBsize) {
3452 /*
3453 * Check for header wrapping around physical end-of-log
3454 */
62926044 3455 offset = hbp->b_addr;
1da177e4
LT
3456 split_hblks = 0;
3457 wrapped_hblks = 0;
3458 if (blk_no + hblks <= log->l_logBBsize) {
3459 /* Read header in one read */
076e6acb
CH
3460 error = xlog_bread(log, blk_no, hblks, hbp,
3461 &offset);
1da177e4
LT
3462 if (error)
3463 goto bread_err2;
1da177e4
LT
3464 } else {
3465 /* This LR is split across physical log end */
3466 if (blk_no != log->l_logBBsize) {
3467 /* some data before physical log end */
3468 ASSERT(blk_no <= INT_MAX);
3469 split_hblks = log->l_logBBsize - (int)blk_no;
3470 ASSERT(split_hblks > 0);
076e6acb
CH
3471 error = xlog_bread(log, blk_no,
3472 split_hblks, hbp,
3473 &offset);
3474 if (error)
1da177e4 3475 goto bread_err2;
1da177e4 3476 }
076e6acb 3477
1da177e4
LT
3478 /*
3479 * Note: this black magic still works with
3480 * large sector sizes (non-512) only because:
3481 * - we increased the buffer size originally
3482 * by 1 sector giving us enough extra space
3483 * for the second read;
3484 * - the log start is guaranteed to be sector
3485 * aligned;
3486 * - we read the log end (LR header start)
3487 * _first_, then the log start (LR header end)
3488 * - order is important.
3489 */
234f56ac 3490 wrapped_hblks = hblks - split_hblks;
44396476
DC
3491 error = xlog_bread_offset(log, 0,
3492 wrapped_hblks, hbp,
3493 offset + BBTOB(split_hblks));
1da177e4
LT
3494 if (error)
3495 goto bread_err2;
1da177e4
LT
3496 }
3497 rhead = (xlog_rec_header_t *)offset;
3498 error = xlog_valid_rec_header(log, rhead,
3499 split_hblks ? blk_no : 0);
3500 if (error)
3501 goto bread_err2;
3502
b53e675d 3503 bblks = (int)BTOBB(be32_to_cpu(rhead->h_len));
1da177e4
LT
3504 blk_no += hblks;
3505
3506 /* Read in data for log record */
3507 if (blk_no + bblks <= log->l_logBBsize) {
076e6acb
CH
3508 error = xlog_bread(log, blk_no, bblks, dbp,
3509 &offset);
1da177e4
LT
3510 if (error)
3511 goto bread_err2;
1da177e4
LT
3512 } else {
3513 /* This log record is split across the
3514 * physical end of log */
62926044 3515 offset = dbp->b_addr;
1da177e4
LT
3516 split_bblks = 0;
3517 if (blk_no != log->l_logBBsize) {
3518 /* some data is before the physical
3519 * end of log */
3520 ASSERT(!wrapped_hblks);
3521 ASSERT(blk_no <= INT_MAX);
3522 split_bblks =
3523 log->l_logBBsize - (int)blk_no;
3524 ASSERT(split_bblks > 0);
076e6acb
CH
3525 error = xlog_bread(log, blk_no,
3526 split_bblks, dbp,
3527 &offset);
3528 if (error)
1da177e4 3529 goto bread_err2;
1da177e4 3530 }
076e6acb 3531
1da177e4
LT
3532 /*
3533 * Note: this black magic still works with
3534 * large sector sizes (non-512) only because:
3535 * - we increased the buffer size originally
3536 * by 1 sector giving us enough extra space
3537 * for the second read;
3538 * - the log start is guaranteed to be sector
3539 * aligned;
3540 * - we read the log end (LR header start)
3541 * _first_, then the log start (LR header end)
3542 * - order is important.
3543 */
44396476
DC
3544 error = xlog_bread_offset(log, 0,
3545 bblks - split_bblks, hbp,
3546 offset + BBTOB(split_bblks));
076e6acb
CH
3547 if (error)
3548 goto bread_err2;
1da177e4
LT
3549 }
3550 xlog_unpack_data(rhead, offset, log);
3551 if ((error = xlog_recover_process_data(log, rhash,
3552 rhead, offset, pass)))
3553 goto bread_err2;
3554 blk_no += bblks;
3555 }
3556
3557 ASSERT(blk_no >= log->l_logBBsize);
3558 blk_no -= log->l_logBBsize;
3559
3560 /* read first part of physical log */
3561 while (blk_no < head_blk) {
076e6acb
CH
3562 error = xlog_bread(log, blk_no, hblks, hbp, &offset);
3563 if (error)
1da177e4 3564 goto bread_err2;
076e6acb 3565
1da177e4
LT
3566 rhead = (xlog_rec_header_t *)offset;
3567 error = xlog_valid_rec_header(log, rhead, blk_no);
3568 if (error)
3569 goto bread_err2;
076e6acb 3570
b53e675d 3571 bblks = (int)BTOBB(be32_to_cpu(rhead->h_len));
076e6acb
CH
3572 error = xlog_bread(log, blk_no+hblks, bblks, dbp,
3573 &offset);
3574 if (error)
1da177e4 3575 goto bread_err2;
076e6acb 3576
1da177e4
LT
3577 xlog_unpack_data(rhead, offset, log);
3578 if ((error = xlog_recover_process_data(log, rhash,
3579 rhead, offset, pass)))
3580 goto bread_err2;
3581 blk_no += bblks + hblks;
3582 }
3583 }
3584
3585 bread_err2:
3586 xlog_put_bp(dbp);
3587 bread_err1:
3588 xlog_put_bp(hbp);
3589 return error;
3590}
3591
3592/*
3593 * Do the recovery of the log. We actually do this in two phases.
3594 * The two passes are necessary in order to implement the function
3595 * of cancelling a record written into the log. The first pass
3596 * determines those things which have been cancelled, and the
3597 * second pass replays log items normally except for those which
3598 * have been cancelled. The handling of the replay and cancellations
3599 * takes place in the log item type specific routines.
3600 *
3601 * The table of items which have cancel records in the log is allocated
3602 * and freed at this level, since only here do we know when all of
3603 * the log recovery has been completed.
3604 */
3605STATIC int
3606xlog_do_log_recovery(
9a8d2fdb 3607 struct xlog *log,
1da177e4
LT
3608 xfs_daddr_t head_blk,
3609 xfs_daddr_t tail_blk)
3610{
d5689eaa 3611 int error, i;
1da177e4
LT
3612
3613 ASSERT(head_blk != tail_blk);
3614
3615 /*
3616 * First do a pass to find all of the cancelled buf log items.
3617 * Store them in the buf_cancel_table for use in the second pass.
3618 */
d5689eaa
CH
3619 log->l_buf_cancel_table = kmem_zalloc(XLOG_BC_TABLE_SIZE *
3620 sizeof(struct list_head),
1da177e4 3621 KM_SLEEP);
d5689eaa
CH
3622 for (i = 0; i < XLOG_BC_TABLE_SIZE; i++)
3623 INIT_LIST_HEAD(&log->l_buf_cancel_table[i]);
3624
1da177e4
LT
3625 error = xlog_do_recovery_pass(log, head_blk, tail_blk,
3626 XLOG_RECOVER_PASS1);
3627 if (error != 0) {
f0e2d93c 3628 kmem_free(log->l_buf_cancel_table);
1da177e4
LT
3629 log->l_buf_cancel_table = NULL;
3630 return error;
3631 }
3632 /*
3633 * Then do a second pass to actually recover the items in the log.
3634 * When it is complete free the table of buf cancel items.
3635 */
3636 error = xlog_do_recovery_pass(log, head_blk, tail_blk,
3637 XLOG_RECOVER_PASS2);
3638#ifdef DEBUG
6d192a9b 3639 if (!error) {
1da177e4
LT
3640 int i;
3641
3642 for (i = 0; i < XLOG_BC_TABLE_SIZE; i++)
d5689eaa 3643 ASSERT(list_empty(&log->l_buf_cancel_table[i]));
1da177e4
LT
3644 }
3645#endif /* DEBUG */
3646
f0e2d93c 3647 kmem_free(log->l_buf_cancel_table);
1da177e4
LT
3648 log->l_buf_cancel_table = NULL;
3649
3650 return error;
3651}
3652
3653/*
3654 * Do the actual recovery
3655 */
3656STATIC int
3657xlog_do_recover(
9a8d2fdb 3658 struct xlog *log,
1da177e4
LT
3659 xfs_daddr_t head_blk,
3660 xfs_daddr_t tail_blk)
3661{
3662 int error;
3663 xfs_buf_t *bp;
3664 xfs_sb_t *sbp;
3665
3666 /*
3667 * First replay the images in the log.
3668 */
3669 error = xlog_do_log_recovery(log, head_blk, tail_blk);
43ff2122 3670 if (error)
1da177e4 3671 return error;
1da177e4
LT
3672
3673 /*
3674 * If IO errors happened during recovery, bail out.
3675 */
3676 if (XFS_FORCED_SHUTDOWN(log->l_mp)) {
3677 return (EIO);
3678 }
3679
3680 /*
3681 * We now update the tail_lsn since much of the recovery has completed
3682 * and there may be space available to use. If there were no extent
3683 * or iunlinks, we can free up the entire log and set the tail_lsn to
3684 * be the last_sync_lsn. This was set in xlog_find_tail to be the
3685 * lsn of the last known good LR on disk. If there are extent frees
3686 * or iunlinks they will have some entries in the AIL; so we look at
3687 * the AIL to determine how to set the tail_lsn.
3688 */
3689 xlog_assign_tail_lsn(log->l_mp);
3690
3691 /*
3692 * Now that we've finished replaying all buffer and inode
3693 * updates, re-read in the superblock.
3694 */
3695 bp = xfs_getsb(log->l_mp, 0);
3696 XFS_BUF_UNDONE(bp);
bebf963f 3697 ASSERT(!(XFS_BUF_ISWRITE(bp)));
1da177e4 3698 XFS_BUF_READ(bp);
bebf963f 3699 XFS_BUF_UNASYNC(bp);
1da177e4 3700 xfsbdstrat(log->l_mp, bp);
1a1a3e97 3701 error = xfs_buf_iowait(bp);
d64e31a2 3702 if (error) {
901796af 3703 xfs_buf_ioerror_alert(bp, __func__);
1da177e4
LT
3704 ASSERT(0);
3705 xfs_buf_relse(bp);
3706 return error;
3707 }
3708
3709 /* Convert superblock from on-disk format */
3710 sbp = &log->l_mp->m_sb;
6bd92a23 3711 xfs_sb_from_disk(log->l_mp, XFS_BUF_TO_SBP(bp));
1da177e4 3712 ASSERT(sbp->sb_magicnum == XFS_SB_MAGIC);
62118709 3713 ASSERT(xfs_sb_good_version(sbp));
1da177e4
LT
3714 xfs_buf_relse(bp);
3715
5478eead
LM
3716 /* We've re-read the superblock so re-initialize per-cpu counters */
3717 xfs_icsb_reinit_counters(log->l_mp);
3718
1da177e4
LT
3719 xlog_recover_check_summary(log);
3720
3721 /* Normal transactions can now occur */
3722 log->l_flags &= ~XLOG_ACTIVE_RECOVERY;
3723 return 0;
3724}
3725
3726/*
3727 * Perform recovery and re-initialize some log variables in xlog_find_tail.
3728 *
3729 * Return error or zero.
3730 */
3731int
3732xlog_recover(
9a8d2fdb 3733 struct xlog *log)
1da177e4
LT
3734{
3735 xfs_daddr_t head_blk, tail_blk;
3736 int error;
3737
3738 /* find the tail of the log */
65be6054 3739 if ((error = xlog_find_tail(log, &head_blk, &tail_blk)))
1da177e4
LT
3740 return error;
3741
3742 if (tail_blk != head_blk) {
3743 /* There used to be a comment here:
3744 *
3745 * disallow recovery on read-only mounts. note -- mount
3746 * checks for ENOSPC and turns it into an intelligent
3747 * error message.
3748 * ...but this is no longer true. Now, unless you specify
3749 * NORECOVERY (in which case this function would never be
3750 * called), we just go ahead and recover. We do this all
3751 * under the vfs layer, so we can get away with it unless
3752 * the device itself is read-only, in which case we fail.
3753 */
3a02ee18 3754 if ((error = xfs_dev_is_read_only(log->l_mp, "recovery"))) {
1da177e4
LT
3755 return error;
3756 }
3757
a0fa2b67
DC
3758 xfs_notice(log->l_mp, "Starting recovery (logdev: %s)",
3759 log->l_mp->m_logname ? log->l_mp->m_logname
3760 : "internal");
1da177e4
LT
3761
3762 error = xlog_do_recover(log, head_blk, tail_blk);
3763 log->l_flags |= XLOG_RECOVERY_NEEDED;
3764 }
3765 return error;
3766}
3767
3768/*
3769 * In the first part of recovery we replay inodes and buffers and build
3770 * up the list of extent free items which need to be processed. Here
3771 * we process the extent free items and clean up the on disk unlinked
3772 * inode lists. This is separated from the first part of recovery so
3773 * that the root and real-time bitmap inodes can be read in from disk in
3774 * between the two stages. This is necessary so that we can free space
3775 * in the real-time portion of the file system.
3776 */
3777int
3778xlog_recover_finish(
9a8d2fdb 3779 struct xlog *log)
1da177e4
LT
3780{
3781 /*
3782 * Now we're ready to do the transactions needed for the
3783 * rest of recovery. Start with completing all the extent
3784 * free intent records and then process the unlinked inode
3785 * lists. At this point, we essentially run in normal mode
3786 * except that we're still performing recovery actions
3787 * rather than accepting new requests.
3788 */
3789 if (log->l_flags & XLOG_RECOVERY_NEEDED) {
3c1e2bbe
DC
3790 int error;
3791 error = xlog_recover_process_efis(log);
3792 if (error) {
a0fa2b67 3793 xfs_alert(log->l_mp, "Failed to recover EFIs");
3c1e2bbe
DC
3794 return error;
3795 }
1da177e4
LT
3796 /*
3797 * Sync the log to get all the EFIs out of the AIL.
3798 * This isn't absolutely necessary, but it helps in
3799 * case the unlink transactions would have problems
3800 * pushing the EFIs out of the way.
3801 */
a14a348b 3802 xfs_log_force(log->l_mp, XFS_LOG_SYNC);
1da177e4 3803
4249023a 3804 xlog_recover_process_iunlinks(log);
1da177e4
LT
3805
3806 xlog_recover_check_summary(log);
3807
a0fa2b67
DC
3808 xfs_notice(log->l_mp, "Ending recovery (logdev: %s)",
3809 log->l_mp->m_logname ? log->l_mp->m_logname
3810 : "internal");
1da177e4
LT
3811 log->l_flags &= ~XLOG_RECOVERY_NEEDED;
3812 } else {
a0fa2b67 3813 xfs_info(log->l_mp, "Ending clean mount");
1da177e4
LT
3814 }
3815 return 0;
3816}
3817
3818
3819#if defined(DEBUG)
3820/*
3821 * Read all of the agf and agi counters and check that they
3822 * are consistent with the superblock counters.
3823 */
3824void
3825xlog_recover_check_summary(
9a8d2fdb 3826 struct xlog *log)
1da177e4
LT
3827{
3828 xfs_mount_t *mp;
3829 xfs_agf_t *agfp;
1da177e4
LT
3830 xfs_buf_t *agfbp;
3831 xfs_buf_t *agibp;
1da177e4
LT
3832 xfs_agnumber_t agno;
3833 __uint64_t freeblks;
3834 __uint64_t itotal;
3835 __uint64_t ifree;
5e1be0fb 3836 int error;
1da177e4
LT
3837
3838 mp = log->l_mp;
3839
3840 freeblks = 0LL;
3841 itotal = 0LL;
3842 ifree = 0LL;
3843 for (agno = 0; agno < mp->m_sb.sb_agcount; agno++) {
4805621a
FCH
3844 error = xfs_read_agf(mp, NULL, agno, 0, &agfbp);
3845 if (error) {
a0fa2b67
DC
3846 xfs_alert(mp, "%s agf read failed agno %d error %d",
3847 __func__, agno, error);
4805621a
FCH
3848 } else {
3849 agfp = XFS_BUF_TO_AGF(agfbp);
3850 freeblks += be32_to_cpu(agfp->agf_freeblks) +
3851 be32_to_cpu(agfp->agf_flcount);
3852 xfs_buf_relse(agfbp);
1da177e4 3853 }
1da177e4 3854
5e1be0fb 3855 error = xfs_read_agi(mp, NULL, agno, &agibp);
a0fa2b67
DC
3856 if (error) {
3857 xfs_alert(mp, "%s agi read failed agno %d error %d",
3858 __func__, agno, error);
3859 } else {
5e1be0fb 3860 struct xfs_agi *agi = XFS_BUF_TO_AGI(agibp);
16259e7d 3861
5e1be0fb
CH
3862 itotal += be32_to_cpu(agi->agi_count);
3863 ifree += be32_to_cpu(agi->agi_freecount);
3864 xfs_buf_relse(agibp);
3865 }
1da177e4 3866 }
1da177e4
LT
3867}
3868#endif /* DEBUG */
This page took 0.839409 seconds and 5 git commands to generate.