xfs: print name of verifier if it fails
[deliverable/linux.git] / fs / xfs / libxfs / xfs_alloc_btree.c
CommitLineData
1da177e4 1/*
7b718769
NS
2 * Copyright (c) 2000-2001,2005 Silicon Graphics, Inc.
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"
632b89e8 20#include "xfs_shared.h"
a4fbe6ab 21#include "xfs_format.h"
239880ef
DC
22#include "xfs_log_format.h"
23#include "xfs_trans_resv.h"
1da177e4 24#include "xfs_sb.h"
1da177e4 25#include "xfs_mount.h"
1da177e4 26#include "xfs_btree.h"
a4fbe6ab 27#include "xfs_alloc_btree.h"
1da177e4 28#include "xfs_alloc.h"
efc27b52 29#include "xfs_extent_busy.h"
1da177e4 30#include "xfs_error.h"
0b1b213f 31#include "xfs_trace.h"
ee1a47ab 32#include "xfs_cksum.h"
239880ef 33#include "xfs_trans.h"
1da177e4 34
1da177e4 35
278d0ca1
CH
36STATIC struct xfs_btree_cur *
37xfs_allocbt_dup_cursor(
38 struct xfs_btree_cur *cur)
39{
40 return xfs_allocbt_init_cursor(cur->bc_mp, cur->bc_tp,
41 cur->bc_private.a.agbp, cur->bc_private.a.agno,
42 cur->bc_btnum);
43}
44
344207ce
CH
45STATIC void
46xfs_allocbt_set_root(
47 struct xfs_btree_cur *cur,
48 union xfs_btree_ptr *ptr,
49 int inc)
50{
51 struct xfs_buf *agbp = cur->bc_private.a.agbp;
52 struct xfs_agf *agf = XFS_BUF_TO_AGF(agbp);
53 xfs_agnumber_t seqno = be32_to_cpu(agf->agf_seqno);
54 int btnum = cur->bc_btnum;
a862e0fd 55 struct xfs_perag *pag = xfs_perag_get(cur->bc_mp, seqno);
344207ce
CH
56
57 ASSERT(ptr->s != 0);
58
59 agf->agf_roots[btnum] = ptr->s;
60 be32_add_cpu(&agf->agf_levels[btnum], inc);
a862e0fd
DC
61 pag->pagf_levels[btnum] += inc;
62 xfs_perag_put(pag);
344207ce
CH
63
64 xfs_alloc_log_agf(cur->bc_tp, agbp, XFS_AGF_ROOTS | XFS_AGF_LEVELS);
65}
66
f5eb8e7c
CH
67STATIC int
68xfs_allocbt_alloc_block(
69 struct xfs_btree_cur *cur,
70 union xfs_btree_ptr *start,
71 union xfs_btree_ptr *new,
f5eb8e7c
CH
72 int *stat)
73{
74 int error;
75 xfs_agblock_t bno;
76
77 XFS_BTREE_TRACE_CURSOR(cur, XBT_ENTRY);
78
79 /* Allocate the new block from the freelist. If we can't, give up. */
80 error = xfs_alloc_get_freelist(cur->bc_tp, cur->bc_private.a.agbp,
81 &bno, 1);
82 if (error) {
83 XFS_BTREE_TRACE_CURSOR(cur, XBT_ERROR);
84 return error;
85 }
86
87 if (bno == NULLAGBLOCK) {
88 XFS_BTREE_TRACE_CURSOR(cur, XBT_EXIT);
89 *stat = 0;
90 return 0;
91 }
97d3ac75 92
4ecbfe63 93 xfs_extent_busy_reuse(cur->bc_mp, cur->bc_private.a.agno, bno, 1, false);
f5eb8e7c
CH
94
95 xfs_trans_agbtree_delta(cur->bc_tp, 1);
96 new->s = cpu_to_be32(bno);
97
98 XFS_BTREE_TRACE_CURSOR(cur, XBT_EXIT);
99 *stat = 1;
100 return 0;
101}
102
d4b3a4b7
CH
103STATIC int
104xfs_allocbt_free_block(
105 struct xfs_btree_cur *cur,
106 struct xfs_buf *bp)
107{
108 struct xfs_buf *agbp = cur->bc_private.a.agbp;
109 struct xfs_agf *agf = XFS_BUF_TO_AGF(agbp);
110 xfs_agblock_t bno;
111 int error;
112
b6e32227 113 bno = xfs_daddr_to_agbno(cur->bc_mp, XFS_BUF_ADDR(bp));
d4b3a4b7
CH
114 error = xfs_alloc_put_freelist(cur->bc_tp, agbp, NULL, bno, 1);
115 if (error)
116 return error;
117
4ecbfe63
DC
118 xfs_extent_busy_insert(cur->bc_tp, be32_to_cpu(agf->agf_seqno), bno, 1,
119 XFS_EXTENT_BUSY_SKIP_DISCARD);
d4b3a4b7 120 xfs_trans_agbtree_delta(cur->bc_tp, -1);
4c05f9ad
DC
121
122 xfs_trans_binval(cur->bc_tp, bp);
d4b3a4b7
CH
123 return 0;
124}
125
1da177e4 126/*
278d0ca1 127 * Update the longest extent in the AGF
1da177e4 128 */
278d0ca1
CH
129STATIC void
130xfs_allocbt_update_lastrec(
131 struct xfs_btree_cur *cur,
132 struct xfs_btree_block *block,
133 union xfs_btree_rec *rec,
134 int ptr,
135 int reason)
1da177e4 136{
278d0ca1
CH
137 struct xfs_agf *agf = XFS_BUF_TO_AGF(cur->bc_private.a.agbp);
138 xfs_agnumber_t seqno = be32_to_cpu(agf->agf_seqno);
a862e0fd 139 struct xfs_perag *pag;
278d0ca1 140 __be32 len;
91cca5df 141 int numrecs;
1da177e4 142
278d0ca1 143 ASSERT(cur->bc_btnum == XFS_BTNUM_CNT);
1da177e4 144
278d0ca1
CH
145 switch (reason) {
146 case LASTREC_UPDATE:
1da177e4 147 /*
278d0ca1
CH
148 * If this is the last leaf block and it's the last record,
149 * then update the size of the longest extent in the AG.
1da177e4 150 */
278d0ca1
CH
151 if (ptr != xfs_btree_get_numrecs(block))
152 return;
153 len = rec->alloc.ar_blockcount;
154 break;
4b22a571
CH
155 case LASTREC_INSREC:
156 if (be32_to_cpu(rec->alloc.ar_blockcount) <=
157 be32_to_cpu(agf->agf_longest))
158 return;
159 len = rec->alloc.ar_blockcount;
91cca5df
CH
160 break;
161 case LASTREC_DELREC:
162 numrecs = xfs_btree_get_numrecs(block);
163 if (ptr <= numrecs)
164 return;
165 ASSERT(ptr == numrecs + 1);
166
167 if (numrecs) {
168 xfs_alloc_rec_t *rrp;
169
136341b4 170 rrp = XFS_ALLOC_REC_ADDR(cur->bc_mp, block, numrecs);
91cca5df
CH
171 len = rrp->ar_blockcount;
172 } else {
173 len = 0;
174 }
175
4b22a571 176 break;
278d0ca1
CH
177 default:
178 ASSERT(0);
179 return;
1da177e4 180 }
561f7d17 181
278d0ca1 182 agf->agf_longest = len;
a862e0fd
DC
183 pag = xfs_perag_get(cur->bc_mp, seqno);
184 pag->pagf_longest = be32_to_cpu(len);
185 xfs_perag_put(pag);
278d0ca1 186 xfs_alloc_log_agf(cur->bc_tp, cur->bc_private.a.agbp, XFS_AGF_LONGEST);
561f7d17
CH
187}
188
91cca5df
CH
189STATIC int
190xfs_allocbt_get_minrecs(
191 struct xfs_btree_cur *cur,
192 int level)
193{
194 return cur->bc_mp->m_alloc_mnr[level != 0];
195}
196
ce5e42db
CH
197STATIC int
198xfs_allocbt_get_maxrecs(
199 struct xfs_btree_cur *cur,
200 int level)
201{
202 return cur->bc_mp->m_alloc_mxr[level != 0];
203}
204
fe033cc8
CH
205STATIC void
206xfs_allocbt_init_key_from_rec(
207 union xfs_btree_key *key,
208 union xfs_btree_rec *rec)
209{
210 ASSERT(rec->alloc.ar_startblock != 0);
211
212 key->alloc.ar_startblock = rec->alloc.ar_startblock;
213 key->alloc.ar_blockcount = rec->alloc.ar_blockcount;
214}
215
4b22a571
CH
216STATIC void
217xfs_allocbt_init_rec_from_key(
218 union xfs_btree_key *key,
219 union xfs_btree_rec *rec)
220{
221 ASSERT(key->alloc.ar_startblock != 0);
222
223 rec->alloc.ar_startblock = key->alloc.ar_startblock;
224 rec->alloc.ar_blockcount = key->alloc.ar_blockcount;
225}
226
227STATIC void
228xfs_allocbt_init_rec_from_cur(
229 struct xfs_btree_cur *cur,
230 union xfs_btree_rec *rec)
231{
232 ASSERT(cur->bc_rec.a.ar_startblock != 0);
233
234 rec->alloc.ar_startblock = cpu_to_be32(cur->bc_rec.a.ar_startblock);
235 rec->alloc.ar_blockcount = cpu_to_be32(cur->bc_rec.a.ar_blockcount);
236}
237
fe033cc8
CH
238STATIC void
239xfs_allocbt_init_ptr_from_cur(
240 struct xfs_btree_cur *cur,
241 union xfs_btree_ptr *ptr)
242{
243 struct xfs_agf *agf = XFS_BUF_TO_AGF(cur->bc_private.a.agbp);
244
245 ASSERT(cur->bc_private.a.agno == be32_to_cpu(agf->agf_seqno));
246 ASSERT(agf->agf_roots[cur->bc_btnum] != 0);
247
248 ptr->s = agf->agf_roots[cur->bc_btnum];
249}
250
251STATIC __int64_t
252xfs_allocbt_key_diff(
253 struct xfs_btree_cur *cur,
254 union xfs_btree_key *key)
255{
256 xfs_alloc_rec_incore_t *rec = &cur->bc_rec.a;
257 xfs_alloc_key_t *kp = &key->alloc;
258 __int64_t diff;
259
260 if (cur->bc_btnum == XFS_BTNUM_BNO) {
261 return (__int64_t)be32_to_cpu(kp->ar_startblock) -
262 rec->ar_startblock;
263 }
264
265 diff = (__int64_t)be32_to_cpu(kp->ar_blockcount) - rec->ar_blockcount;
266 if (diff)
267 return diff;
268
269 return (__int64_t)be32_to_cpu(kp->ar_startblock) - rec->ar_startblock;
270}
271
ee1a47ab 272static bool
612cfbfe 273xfs_allocbt_verify(
3d3e6f64
DC
274 struct xfs_buf *bp)
275{
276 struct xfs_mount *mp = bp->b_target->bt_mount;
277 struct xfs_btree_block *block = XFS_BUF_TO_BLOCK(bp);
278 struct xfs_perag *pag = bp->b_pag;
279 unsigned int level;
3d3e6f64
DC
280
281 /*
282 * magic number and level verification
283 *
ee1a47ab
CH
284 * During growfs operations, we can't verify the exact level or owner as
285 * the perag is not fully initialised and hence not attached to the
286 * buffer. In this case, check against the maximum tree depth.
287 *
288 * Similarly, during log recovery we will have a perag structure
289 * attached, but the agf information will not yet have been initialised
290 * from the on disk AGF. Again, we can only check against maximum limits
291 * in this case.
3d3e6f64
DC
292 */
293 level = be16_to_cpu(block->bb_level);
294 switch (block->bb_magic) {
ee1a47ab
CH
295 case cpu_to_be32(XFS_ABTB_CRC_MAGIC):
296 if (!xfs_sb_version_hascrc(&mp->m_sb))
297 return false;
ce748eaa 298 if (!uuid_equal(&block->bb_u.s.bb_uuid, &mp->m_sb.sb_meta_uuid))
ee1a47ab
CH
299 return false;
300 if (block->bb_u.s.bb_blkno != cpu_to_be64(bp->b_bn))
301 return false;
302 if (pag &&
303 be32_to_cpu(block->bb_u.s.bb_owner) != pag->pag_agno)
304 return false;
305 /* fall through */
3d3e6f64 306 case cpu_to_be32(XFS_ABTB_MAGIC):
ee1a47ab
CH
307 if (pag && pag->pagf_init) {
308 if (level >= pag->pagf_levels[XFS_BTNUM_BNOi])
309 return false;
310 } else if (level >= mp->m_ag_maxlevels)
311 return false;
3d3e6f64 312 break;
ee1a47ab
CH
313 case cpu_to_be32(XFS_ABTC_CRC_MAGIC):
314 if (!xfs_sb_version_hascrc(&mp->m_sb))
315 return false;
ce748eaa 316 if (!uuid_equal(&block->bb_u.s.bb_uuid, &mp->m_sb.sb_meta_uuid))
ee1a47ab
CH
317 return false;
318 if (block->bb_u.s.bb_blkno != cpu_to_be64(bp->b_bn))
319 return false;
320 if (pag &&
321 be32_to_cpu(block->bb_u.s.bb_owner) != pag->pag_agno)
322 return false;
323 /* fall through */
3d3e6f64 324 case cpu_to_be32(XFS_ABTC_MAGIC):
ee1a47ab
CH
325 if (pag && pag->pagf_init) {
326 if (level >= pag->pagf_levels[XFS_BTNUM_CNTi])
327 return false;
328 } else if (level >= mp->m_ag_maxlevels)
329 return false;
3d3e6f64
DC
330 break;
331 default:
ee1a47ab 332 return false;
3d3e6f64
DC
333 }
334
335 /* numrecs verification */
ee1a47ab
CH
336 if (be16_to_cpu(block->bb_numrecs) > mp->m_alloc_mxr[level != 0])
337 return false;
3d3e6f64
DC
338
339 /* sibling pointer verification */
ee1a47ab
CH
340 if (!block->bb_u.s.bb_leftsib ||
341 (be32_to_cpu(block->bb_u.s.bb_leftsib) >= mp->m_sb.sb_agblocks &&
342 block->bb_u.s.bb_leftsib != cpu_to_be32(NULLAGBLOCK)))
343 return false;
344 if (!block->bb_u.s.bb_rightsib ||
345 (be32_to_cpu(block->bb_u.s.bb_rightsib) >= mp->m_sb.sb_agblocks &&
346 block->bb_u.s.bb_rightsib != cpu_to_be32(NULLAGBLOCK)))
347 return false;
348
349 return true;
612cfbfe 350}
3d3e6f64 351
612cfbfe 352static void
1813dd64 353xfs_allocbt_read_verify(
612cfbfe
DC
354 struct xfs_buf *bp)
355{
ce5028cf 356 if (!xfs_btree_sblock_verify_crc(bp))
2451337d 357 xfs_buf_ioerror(bp, -EFSBADCRC);
ce5028cf 358 else if (!xfs_allocbt_verify(bp))
2451337d 359 xfs_buf_ioerror(bp, -EFSCORRUPTED);
ce5028cf
ES
360
361 if (bp->b_error) {
362 trace_xfs_btree_corrupt(bp, _RET_IP_);
363 xfs_verifier_error(bp);
ee1a47ab 364 }
612cfbfe
DC
365}
366
1813dd64
DC
367static void
368xfs_allocbt_write_verify(
612cfbfe
DC
369 struct xfs_buf *bp)
370{
ee1a47ab
CH
371 if (!xfs_allocbt_verify(bp)) {
372 trace_xfs_btree_corrupt(bp, _RET_IP_);
2451337d 373 xfs_buf_ioerror(bp, -EFSCORRUPTED);
ce5028cf 374 xfs_verifier_error(bp);
e0d2c23a 375 return;
ee1a47ab
CH
376 }
377 xfs_btree_sblock_calc_crc(bp);
378
3d3e6f64
DC
379}
380
1813dd64 381const struct xfs_buf_ops xfs_allocbt_buf_ops = {
233135b7 382 .name = "xfs_allocbt",
1813dd64
DC
383 .verify_read = xfs_allocbt_read_verify,
384 .verify_write = xfs_allocbt_write_verify,
385};
386
387
742ae1e3 388#if defined(DEBUG) || defined(XFS_WARN)
4a26e66e
CH
389STATIC int
390xfs_allocbt_keys_inorder(
391 struct xfs_btree_cur *cur,
392 union xfs_btree_key *k1,
393 union xfs_btree_key *k2)
394{
395 if (cur->bc_btnum == XFS_BTNUM_BNO) {
396 return be32_to_cpu(k1->alloc.ar_startblock) <
397 be32_to_cpu(k2->alloc.ar_startblock);
398 } else {
399 return be32_to_cpu(k1->alloc.ar_blockcount) <
400 be32_to_cpu(k2->alloc.ar_blockcount) ||
401 (k1->alloc.ar_blockcount == k2->alloc.ar_blockcount &&
402 be32_to_cpu(k1->alloc.ar_startblock) <
403 be32_to_cpu(k2->alloc.ar_startblock));
404 }
405}
406
407STATIC int
408xfs_allocbt_recs_inorder(
409 struct xfs_btree_cur *cur,
410 union xfs_btree_rec *r1,
411 union xfs_btree_rec *r2)
412{
413 if (cur->bc_btnum == XFS_BTNUM_BNO) {
414 return be32_to_cpu(r1->alloc.ar_startblock) +
415 be32_to_cpu(r1->alloc.ar_blockcount) <=
416 be32_to_cpu(r2->alloc.ar_startblock);
417 } else {
418 return be32_to_cpu(r1->alloc.ar_blockcount) <
419 be32_to_cpu(r2->alloc.ar_blockcount) ||
420 (r1->alloc.ar_blockcount == r2->alloc.ar_blockcount &&
421 be32_to_cpu(r1->alloc.ar_startblock) <
422 be32_to_cpu(r2->alloc.ar_startblock));
423 }
424}
425#endif /* DEBUG */
426
561f7d17 427static const struct xfs_btree_ops xfs_allocbt_ops = {
65f1eaea
CH
428 .rec_len = sizeof(xfs_alloc_rec_t),
429 .key_len = sizeof(xfs_alloc_key_t),
430
561f7d17 431 .dup_cursor = xfs_allocbt_dup_cursor,
344207ce 432 .set_root = xfs_allocbt_set_root,
f5eb8e7c 433 .alloc_block = xfs_allocbt_alloc_block,
d4b3a4b7 434 .free_block = xfs_allocbt_free_block,
278d0ca1 435 .update_lastrec = xfs_allocbt_update_lastrec,
91cca5df 436 .get_minrecs = xfs_allocbt_get_minrecs,
ce5e42db 437 .get_maxrecs = xfs_allocbt_get_maxrecs,
fe033cc8 438 .init_key_from_rec = xfs_allocbt_init_key_from_rec,
4b22a571
CH
439 .init_rec_from_key = xfs_allocbt_init_rec_from_key,
440 .init_rec_from_cur = xfs_allocbt_init_rec_from_cur,
fe033cc8
CH
441 .init_ptr_from_cur = xfs_allocbt_init_ptr_from_cur,
442 .key_diff = xfs_allocbt_key_diff,
1813dd64 443 .buf_ops = &xfs_allocbt_buf_ops,
742ae1e3 444#if defined(DEBUG) || defined(XFS_WARN)
4a26e66e
CH
445 .keys_inorder = xfs_allocbt_keys_inorder,
446 .recs_inorder = xfs_allocbt_recs_inorder,
447#endif
561f7d17
CH
448};
449
450/*
451 * Allocate a new allocation btree cursor.
452 */
453struct xfs_btree_cur * /* new alloc btree cursor */
454xfs_allocbt_init_cursor(
455 struct xfs_mount *mp, /* file system mount point */
456 struct xfs_trans *tp, /* transaction pointer */
457 struct xfs_buf *agbp, /* buffer for agf structure */
458 xfs_agnumber_t agno, /* allocation group number */
459 xfs_btnum_t btnum) /* btree identifier */
460{
461 struct xfs_agf *agf = XFS_BUF_TO_AGF(agbp);
462 struct xfs_btree_cur *cur;
463
464 ASSERT(btnum == XFS_BTNUM_BNO || btnum == XFS_BTNUM_CNT);
465
466 cur = kmem_zone_zalloc(xfs_btree_cur_zone, KM_SLEEP);
467
468 cur->bc_tp = tp;
469 cur->bc_mp = mp;
561f7d17
CH
470 cur->bc_btnum = btnum;
471 cur->bc_blocklog = mp->m_sb.sb_blocklog;
561f7d17 472 cur->bc_ops = &xfs_allocbt_ops;
dec58f1d
CH
473
474 if (btnum == XFS_BTNUM_CNT) {
475 cur->bc_nlevels = be32_to_cpu(agf->agf_levels[XFS_BTNUM_CNT]);
278d0ca1 476 cur->bc_flags = XFS_BTREE_LASTREC_UPDATE;
dec58f1d
CH
477 } else {
478 cur->bc_nlevels = be32_to_cpu(agf->agf_levels[XFS_BTNUM_BNO]);
479 }
561f7d17
CH
480
481 cur->bc_private.a.agbp = agbp;
482 cur->bc_private.a.agno = agno;
483
ee1a47ab
CH
484 if (xfs_sb_version_hascrc(&mp->m_sb))
485 cur->bc_flags |= XFS_BTREE_CRC_BLOCKS;
486
561f7d17
CH
487 return cur;
488}
60197e8d
CH
489
490/*
491 * Calculate number of records in an alloc btree block.
492 */
493int
494xfs_allocbt_maxrecs(
495 struct xfs_mount *mp,
496 int blocklen,
497 int leaf)
498{
7cc95a82 499 blocklen -= XFS_ALLOC_BLOCK_LEN(mp);
60197e8d
CH
500
501 if (leaf)
502 return blocklen / sizeof(xfs_alloc_rec_t);
503 return blocklen / (sizeof(xfs_alloc_key_t) + sizeof(xfs_alloc_ptr_t));
504}
This page took 0.840462 seconds and 5 git commands to generate.