1 /* 2 * Copyright (c) 2000-2003,2005 Silicon Graphics, Inc. 3 * Copyright (c) 2013 Red Hat, Inc. 4 * All Rights Reserved. 5 * 6 * This program is free software; you can redistribute it and/or 7 * modify it under the terms of the GNU General Public License as 8 * published by the Free Software Foundation. 9 * 10 * This program is distributed in the hope that it would be useful, 11 * but WITHOUT ANY WARRANTY; without even the implied warranty of 12 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 13 * GNU General Public License for more details. 14 * 15 * You should have received a copy of the GNU General Public License 16 * along with this program; if not, write the Free Software Foundation, 17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA 18 */ 19 #include "xfs.h" 20 #include "xfs_fs.h" 21 #include "xfs_format.h" 22 #include "xfs_log_format.h" 23 #include "xfs_trans_resv.h" 24 #include "xfs_mount.h" 25 #include "xfs_da_format.h" 26 #include "xfs_da_btree.h" 27 #include "xfs_inode.h" 28 #include "xfs_bmap.h" 29 #include "xfs_dir2.h" 30 #include "xfs_dir2_priv.h" 31 #include "xfs_error.h" 32 #include "xfs_trace.h" 33 #include "xfs_trans.h" 34 #include "xfs_buf_item.h" 35 #include "xfs_cksum.h" 36 #include "xfs_log.h" 37 38 /* 39 * Local function declarations. 40 */ 41 static int xfs_dir2_leaf_lookup_int(xfs_da_args_t *args, struct xfs_buf **lbpp, 42 int *indexp, struct xfs_buf **dbpp); 43 static void xfs_dir3_leaf_log_bests(struct xfs_da_args *args, 44 struct xfs_buf *bp, int first, int last); 45 static void xfs_dir3_leaf_log_tail(struct xfs_da_args *args, 46 struct xfs_buf *bp); 47 48 /* 49 * Check the internal consistency of a leaf1 block. 50 * Pop an assert if something is wrong. 51 */ 52 #ifdef DEBUG 53 #define xfs_dir3_leaf_check(dp, bp) \ 54 do { \ 55 if (!xfs_dir3_leaf1_check((dp), (bp))) \ 56 ASSERT(0); \ 57 } while (0); 58 59 STATIC bool 60 xfs_dir3_leaf1_check( 61 struct xfs_inode *dp, 62 struct xfs_buf *bp) 63 { 64 struct xfs_dir2_leaf *leaf = bp->b_addr; 65 struct xfs_dir3_icleaf_hdr leafhdr; 66 67 dp->d_ops->leaf_hdr_from_disk(&leafhdr, leaf); 68 69 if (leafhdr.magic == XFS_DIR3_LEAF1_MAGIC) { 70 struct xfs_dir3_leaf_hdr *leaf3 = bp->b_addr; 71 if (be64_to_cpu(leaf3->info.blkno) != bp->b_bn) 72 return false; 73 } else if (leafhdr.magic != XFS_DIR2_LEAF1_MAGIC) 74 return false; 75 76 return xfs_dir3_leaf_check_int(dp->i_mount, dp, &leafhdr, leaf); 77 } 78 #else 79 #define xfs_dir3_leaf_check(dp, bp) 80 #endif 81 82 bool 83 xfs_dir3_leaf_check_int( 84 struct xfs_mount *mp, 85 struct xfs_inode *dp, 86 struct xfs_dir3_icleaf_hdr *hdr, 87 struct xfs_dir2_leaf *leaf) 88 { 89 struct xfs_dir2_leaf_entry *ents; 90 xfs_dir2_leaf_tail_t *ltp; 91 int stale; 92 int i; 93 const struct xfs_dir_ops *ops; 94 struct xfs_dir3_icleaf_hdr leafhdr; 95 struct xfs_da_geometry *geo = mp->m_dir_geo; 96 97 /* 98 * we can be passed a null dp here from a verifier, so we need to go the 99 * hard way to get them. 100 */ 101 ops = xfs_dir_get_ops(mp, dp); 102 103 if (!hdr) { 104 ops->leaf_hdr_from_disk(&leafhdr, leaf); 105 hdr = &leafhdr; 106 } 107 108 ents = ops->leaf_ents_p(leaf); 109 ltp = xfs_dir2_leaf_tail_p(geo, leaf); 110 111 /* 112 * XXX (dgc): This value is not restrictive enough. 113 * Should factor in the size of the bests table as well. 114 * We can deduce a value for that from di_size. 115 */ 116 if (hdr->count > ops->leaf_max_ents(geo)) 117 return false; 118 119 /* Leaves and bests don't overlap in leaf format. */ 120 if ((hdr->magic == XFS_DIR2_LEAF1_MAGIC || 121 hdr->magic == XFS_DIR3_LEAF1_MAGIC) && 122 (char *)&ents[hdr->count] > (char *)xfs_dir2_leaf_bests_p(ltp)) 123 return false; 124 125 /* Check hash value order, count stale entries. */ 126 for (i = stale = 0; i < hdr->count; i++) { 127 if (i + 1 < hdr->count) { 128 if (be32_to_cpu(ents[i].hashval) > 129 be32_to_cpu(ents[i + 1].hashval)) 130 return false; 131 } 132 if (ents[i].address == cpu_to_be32(XFS_DIR2_NULL_DATAPTR)) 133 stale++; 134 } 135 if (hdr->stale != stale) 136 return false; 137 return true; 138 } 139 140 /* 141 * We verify the magic numbers before decoding the leaf header so that on debug 142 * kernels we don't get assertion failures in xfs_dir3_leaf_hdr_from_disk() due 143 * to incorrect magic numbers. 144 */ 145 static bool 146 xfs_dir3_leaf_verify( 147 struct xfs_buf *bp, 148 __uint16_t magic) 149 { 150 struct xfs_mount *mp = bp->b_target->bt_mount; 151 struct xfs_dir2_leaf *leaf = bp->b_addr; 152 153 ASSERT(magic == XFS_DIR2_LEAF1_MAGIC || magic == XFS_DIR2_LEAFN_MAGIC); 154 155 if (xfs_sb_version_hascrc(&mp->m_sb)) { 156 struct xfs_dir3_leaf_hdr *leaf3 = bp->b_addr; 157 __uint16_t magic3; 158 159 magic3 = (magic == XFS_DIR2_LEAF1_MAGIC) ? XFS_DIR3_LEAF1_MAGIC 160 : XFS_DIR3_LEAFN_MAGIC; 161 162 if (leaf3->info.hdr.magic != cpu_to_be16(magic3)) 163 return false; 164 if (!uuid_equal(&leaf3->info.uuid, &mp->m_sb.sb_meta_uuid)) 165 return false; 166 if (be64_to_cpu(leaf3->info.blkno) != bp->b_bn) 167 return false; 168 if (!xfs_log_check_lsn(mp, be64_to_cpu(leaf3->info.lsn))) 169 return false; 170 } else { 171 if (leaf->hdr.info.magic != cpu_to_be16(magic)) 172 return false; 173 } 174 175 return xfs_dir3_leaf_check_int(mp, NULL, NULL, leaf); 176 } 177 178 static void 179 __read_verify( 180 struct xfs_buf *bp, 181 __uint16_t magic) 182 { 183 struct xfs_mount *mp = bp->b_target->bt_mount; 184 185 if (xfs_sb_version_hascrc(&mp->m_sb) && 186 !xfs_buf_verify_cksum(bp, XFS_DIR3_LEAF_CRC_OFF)) 187 xfs_buf_ioerror(bp, -EFSBADCRC); 188 else if (!xfs_dir3_leaf_verify(bp, magic)) 189 xfs_buf_ioerror(bp, -EFSCORRUPTED); 190 191 if (bp->b_error) 192 xfs_verifier_error(bp); 193 } 194 195 static void 196 __write_verify( 197 struct xfs_buf *bp, 198 __uint16_t magic) 199 { 200 struct xfs_mount *mp = bp->b_target->bt_mount; 201 struct xfs_buf_log_item *bip = bp->b_fspriv; 202 struct xfs_dir3_leaf_hdr *hdr3 = bp->b_addr; 203 204 if (!xfs_dir3_leaf_verify(bp, magic)) { 205 xfs_buf_ioerror(bp, -EFSCORRUPTED); 206 xfs_verifier_error(bp); 207 return; 208 } 209 210 if (!xfs_sb_version_hascrc(&mp->m_sb)) 211 return; 212 213 if (bip) 214 hdr3->info.lsn = cpu_to_be64(bip->bli_item.li_lsn); 215 216 xfs_buf_update_cksum(bp, XFS_DIR3_LEAF_CRC_OFF); 217 } 218 219 static void 220 xfs_dir3_leaf1_read_verify( 221 struct xfs_buf *bp) 222 { 223 __read_verify(bp, XFS_DIR2_LEAF1_MAGIC); 224 } 225 226 static void 227 xfs_dir3_leaf1_write_verify( 228 struct xfs_buf *bp) 229 { 230 __write_verify(bp, XFS_DIR2_LEAF1_MAGIC); 231 } 232 233 static void 234 xfs_dir3_leafn_read_verify( 235 struct xfs_buf *bp) 236 { 237 __read_verify(bp, XFS_DIR2_LEAFN_MAGIC); 238 } 239 240 static void 241 xfs_dir3_leafn_write_verify( 242 struct xfs_buf *bp) 243 { 244 __write_verify(bp, XFS_DIR2_LEAFN_MAGIC); 245 } 246 247 const struct xfs_buf_ops xfs_dir3_leaf1_buf_ops = { 248 .name = "xfs_dir3_leaf1", 249 .verify_read = xfs_dir3_leaf1_read_verify, 250 .verify_write = xfs_dir3_leaf1_write_verify, 251 }; 252 253 const struct xfs_buf_ops xfs_dir3_leafn_buf_ops = { 254 .name = "xfs_dir3_leafn", 255 .verify_read = xfs_dir3_leafn_read_verify, 256 .verify_write = xfs_dir3_leafn_write_verify, 257 }; 258 259 static int 260 xfs_dir3_leaf_read( 261 struct xfs_trans *tp, 262 struct xfs_inode *dp, 263 xfs_dablk_t fbno, 264 xfs_daddr_t mappedbno, 265 struct xfs_buf **bpp) 266 { 267 int err; 268 269 err = xfs_da_read_buf(tp, dp, fbno, mappedbno, bpp, 270 XFS_DATA_FORK, &xfs_dir3_leaf1_buf_ops); 271 if (!err && tp) 272 xfs_trans_buf_set_type(tp, *bpp, XFS_BLFT_DIR_LEAF1_BUF); 273 return err; 274 } 275 276 int 277 xfs_dir3_leafn_read( 278 struct xfs_trans *tp, 279 struct xfs_inode *dp, 280 xfs_dablk_t fbno, 281 xfs_daddr_t mappedbno, 282 struct xfs_buf **bpp) 283 { 284 int err; 285 286 err = xfs_da_read_buf(tp, dp, fbno, mappedbno, bpp, 287 XFS_DATA_FORK, &xfs_dir3_leafn_buf_ops); 288 if (!err && tp) 289 xfs_trans_buf_set_type(tp, *bpp, XFS_BLFT_DIR_LEAFN_BUF); 290 return err; 291 } 292 293 /* 294 * Initialize a new leaf block, leaf1 or leafn magic accepted. 295 */ 296 static void 297 xfs_dir3_leaf_init( 298 struct xfs_mount *mp, 299 struct xfs_trans *tp, 300 struct xfs_buf *bp, 301 xfs_ino_t owner, 302 __uint16_t type) 303 { 304 struct xfs_dir2_leaf *leaf = bp->b_addr; 305 306 ASSERT(type == XFS_DIR2_LEAF1_MAGIC || type == XFS_DIR2_LEAFN_MAGIC); 307 308 if (xfs_sb_version_hascrc(&mp->m_sb)) { 309 struct xfs_dir3_leaf_hdr *leaf3 = bp->b_addr; 310 311 memset(leaf3, 0, sizeof(*leaf3)); 312 313 leaf3->info.hdr.magic = (type == XFS_DIR2_LEAF1_MAGIC) 314 ? cpu_to_be16(XFS_DIR3_LEAF1_MAGIC) 315 : cpu_to_be16(XFS_DIR3_LEAFN_MAGIC); 316 leaf3->info.blkno = cpu_to_be64(bp->b_bn); 317 leaf3->info.owner = cpu_to_be64(owner); 318 uuid_copy(&leaf3->info.uuid, &mp->m_sb.sb_meta_uuid); 319 } else { 320 memset(leaf, 0, sizeof(*leaf)); 321 leaf->hdr.info.magic = cpu_to_be16(type); 322 } 323 324 /* 325 * If it's a leaf-format directory initialize the tail. 326 * Caller is responsible for initialising the bests table. 327 */ 328 if (type == XFS_DIR2_LEAF1_MAGIC) { 329 struct xfs_dir2_leaf_tail *ltp; 330 331 ltp = xfs_dir2_leaf_tail_p(mp->m_dir_geo, leaf); 332 ltp->bestcount = 0; 333 bp->b_ops = &xfs_dir3_leaf1_buf_ops; 334 xfs_trans_buf_set_type(tp, bp, XFS_BLFT_DIR_LEAF1_BUF); 335 } else { 336 bp->b_ops = &xfs_dir3_leafn_buf_ops; 337 xfs_trans_buf_set_type(tp, bp, XFS_BLFT_DIR_LEAFN_BUF); 338 } 339 } 340 341 int 342 xfs_dir3_leaf_get_buf( 343 xfs_da_args_t *args, 344 xfs_dir2_db_t bno, 345 struct xfs_buf **bpp, 346 __uint16_t magic) 347 { 348 struct xfs_inode *dp = args->dp; 349 struct xfs_trans *tp = args->trans; 350 struct xfs_mount *mp = dp->i_mount; 351 struct xfs_buf *bp; 352 int error; 353 354 ASSERT(magic == XFS_DIR2_LEAF1_MAGIC || magic == XFS_DIR2_LEAFN_MAGIC); 355 ASSERT(bno >= xfs_dir2_byte_to_db(args->geo, XFS_DIR2_LEAF_OFFSET) && 356 bno < xfs_dir2_byte_to_db(args->geo, XFS_DIR2_FREE_OFFSET)); 357 358 error = xfs_da_get_buf(tp, dp, xfs_dir2_db_to_da(args->geo, bno), 359 -1, &bp, XFS_DATA_FORK); 360 if (error) 361 return error; 362 363 xfs_dir3_leaf_init(mp, tp, bp, dp->i_ino, magic); 364 xfs_dir3_leaf_log_header(args, bp); 365 if (magic == XFS_DIR2_LEAF1_MAGIC) 366 xfs_dir3_leaf_log_tail(args, bp); 367 *bpp = bp; 368 return 0; 369 } 370 371 /* 372 * Convert a block form directory to a leaf form directory. 373 */ 374 int /* error */ 375 xfs_dir2_block_to_leaf( 376 xfs_da_args_t *args, /* operation arguments */ 377 struct xfs_buf *dbp) /* input block's buffer */ 378 { 379 __be16 *bestsp; /* leaf's bestsp entries */ 380 xfs_dablk_t blkno; /* leaf block's bno */ 381 xfs_dir2_data_hdr_t *hdr; /* block header */ 382 xfs_dir2_leaf_entry_t *blp; /* block's leaf entries */ 383 xfs_dir2_block_tail_t *btp; /* block's tail */ 384 xfs_inode_t *dp; /* incore directory inode */ 385 int error; /* error return code */ 386 struct xfs_buf *lbp; /* leaf block's buffer */ 387 xfs_dir2_db_t ldb; /* leaf block's bno */ 388 xfs_dir2_leaf_t *leaf; /* leaf structure */ 389 xfs_dir2_leaf_tail_t *ltp; /* leaf's tail */ 390 int needlog; /* need to log block header */ 391 int needscan; /* need to rescan bestfree */ 392 xfs_trans_t *tp; /* transaction pointer */ 393 struct xfs_dir2_data_free *bf; 394 struct xfs_dir2_leaf_entry *ents; 395 struct xfs_dir3_icleaf_hdr leafhdr; 396 397 trace_xfs_dir2_block_to_leaf(args); 398 399 dp = args->dp; 400 tp = args->trans; 401 /* 402 * Add the leaf block to the inode. 403 * This interface will only put blocks in the leaf/node range. 404 * Since that's empty now, we'll get the root (block 0 in range). 405 */ 406 if ((error = xfs_da_grow_inode(args, &blkno))) { 407 return error; 408 } 409 ldb = xfs_dir2_da_to_db(args->geo, blkno); 410 ASSERT(ldb == xfs_dir2_byte_to_db(args->geo, XFS_DIR2_LEAF_OFFSET)); 411 /* 412 * Initialize the leaf block, get a buffer for it. 413 */ 414 error = xfs_dir3_leaf_get_buf(args, ldb, &lbp, XFS_DIR2_LEAF1_MAGIC); 415 if (error) 416 return error; 417 418 leaf = lbp->b_addr; 419 hdr = dbp->b_addr; 420 xfs_dir3_data_check(dp, dbp); 421 btp = xfs_dir2_block_tail_p(args->geo, hdr); 422 blp = xfs_dir2_block_leaf_p(btp); 423 bf = dp->d_ops->data_bestfree_p(hdr); 424 ents = dp->d_ops->leaf_ents_p(leaf); 425 426 /* 427 * Set the counts in the leaf header. 428 */ 429 dp->d_ops->leaf_hdr_from_disk(&leafhdr, leaf); 430 leafhdr.count = be32_to_cpu(btp->count); 431 leafhdr.stale = be32_to_cpu(btp->stale); 432 dp->d_ops->leaf_hdr_to_disk(leaf, &leafhdr); 433 xfs_dir3_leaf_log_header(args, lbp); 434 435 /* 436 * Could compact these but I think we always do the conversion 437 * after squeezing out stale entries. 438 */ 439 memcpy(ents, blp, be32_to_cpu(btp->count) * sizeof(xfs_dir2_leaf_entry_t)); 440 xfs_dir3_leaf_log_ents(args, lbp, 0, leafhdr.count - 1); 441 needscan = 0; 442 needlog = 1; 443 /* 444 * Make the space formerly occupied by the leaf entries and block 445 * tail be free. 446 */ 447 xfs_dir2_data_make_free(args, dbp, 448 (xfs_dir2_data_aoff_t)((char *)blp - (char *)hdr), 449 (xfs_dir2_data_aoff_t)((char *)hdr + args->geo->blksize - 450 (char *)blp), 451 &needlog, &needscan); 452 /* 453 * Fix up the block header, make it a data block. 454 */ 455 dbp->b_ops = &xfs_dir3_data_buf_ops; 456 xfs_trans_buf_set_type(tp, dbp, XFS_BLFT_DIR_DATA_BUF); 457 if (hdr->magic == cpu_to_be32(XFS_DIR2_BLOCK_MAGIC)) 458 hdr->magic = cpu_to_be32(XFS_DIR2_DATA_MAGIC); 459 else 460 hdr->magic = cpu_to_be32(XFS_DIR3_DATA_MAGIC); 461 462 if (needscan) 463 xfs_dir2_data_freescan(dp, hdr, &needlog); 464 /* 465 * Set up leaf tail and bests table. 466 */ 467 ltp = xfs_dir2_leaf_tail_p(args->geo, leaf); 468 ltp->bestcount = cpu_to_be32(1); 469 bestsp = xfs_dir2_leaf_bests_p(ltp); 470 bestsp[0] = bf[0].length; 471 /* 472 * Log the data header and leaf bests table. 473 */ 474 if (needlog) 475 xfs_dir2_data_log_header(args, dbp); 476 xfs_dir3_leaf_check(dp, lbp); 477 xfs_dir3_data_check(dp, dbp); 478 xfs_dir3_leaf_log_bests(args, lbp, 0, 0); 479 return 0; 480 } 481 482 STATIC void 483 xfs_dir3_leaf_find_stale( 484 struct xfs_dir3_icleaf_hdr *leafhdr, 485 struct xfs_dir2_leaf_entry *ents, 486 int index, 487 int *lowstale, 488 int *highstale) 489 { 490 /* 491 * Find the first stale entry before our index, if any. 492 */ 493 for (*lowstale = index - 1; *lowstale >= 0; --*lowstale) { 494 if (ents[*lowstale].address == 495 cpu_to_be32(XFS_DIR2_NULL_DATAPTR)) 496 break; 497 } 498 499 /* 500 * Find the first stale entry at or after our index, if any. 501 * Stop if the result would require moving more entries than using 502 * lowstale. 503 */ 504 for (*highstale = index; *highstale < leafhdr->count; ++*highstale) { 505 if (ents[*highstale].address == 506 cpu_to_be32(XFS_DIR2_NULL_DATAPTR)) 507 break; 508 if (*lowstale >= 0 && index - *lowstale <= *highstale - index) 509 break; 510 } 511 } 512 513 struct xfs_dir2_leaf_entry * 514 xfs_dir3_leaf_find_entry( 515 struct xfs_dir3_icleaf_hdr *leafhdr, 516 struct xfs_dir2_leaf_entry *ents, 517 int index, /* leaf table position */ 518 int compact, /* need to compact leaves */ 519 int lowstale, /* index of prev stale leaf */ 520 int highstale, /* index of next stale leaf */ 521 int *lfloglow, /* low leaf logging index */ 522 int *lfloghigh) /* high leaf logging index */ 523 { 524 if (!leafhdr->stale) { 525 xfs_dir2_leaf_entry_t *lep; /* leaf entry table pointer */ 526 527 /* 528 * Now we need to make room to insert the leaf entry. 529 * 530 * If there are no stale entries, just insert a hole at index. 531 */ 532 lep = &ents[index]; 533 if (index < leafhdr->count) 534 memmove(lep + 1, lep, 535 (leafhdr->count - index) * sizeof(*lep)); 536 537 /* 538 * Record low and high logging indices for the leaf. 539 */ 540 *lfloglow = index; 541 *lfloghigh = leafhdr->count++; 542 return lep; 543 } 544 545 /* 546 * There are stale entries. 547 * 548 * We will use one of them for the new entry. It's probably not at 549 * the right location, so we'll have to shift some up or down first. 550 * 551 * If we didn't compact before, we need to find the nearest stale 552 * entries before and after our insertion point. 553 */ 554 if (compact == 0) 555 xfs_dir3_leaf_find_stale(leafhdr, ents, index, 556 &lowstale, &highstale); 557 558 /* 559 * If the low one is better, use it. 560 */ 561 if (lowstale >= 0 && 562 (highstale == leafhdr->count || 563 index - lowstale - 1 < highstale - index)) { 564 ASSERT(index - lowstale - 1 >= 0); 565 ASSERT(ents[lowstale].address == 566 cpu_to_be32(XFS_DIR2_NULL_DATAPTR)); 567 568 /* 569 * Copy entries up to cover the stale entry and make room 570 * for the new entry. 571 */ 572 if (index - lowstale - 1 > 0) { 573 memmove(&ents[lowstale], &ents[lowstale + 1], 574 (index - lowstale - 1) * 575 sizeof(xfs_dir2_leaf_entry_t)); 576 } 577 *lfloglow = MIN(lowstale, *lfloglow); 578 *lfloghigh = MAX(index - 1, *lfloghigh); 579 leafhdr->stale--; 580 return &ents[index - 1]; 581 } 582 583 /* 584 * The high one is better, so use that one. 585 */ 586 ASSERT(highstale - index >= 0); 587 ASSERT(ents[highstale].address == cpu_to_be32(XFS_DIR2_NULL_DATAPTR)); 588 589 /* 590 * Copy entries down to cover the stale entry and make room for the 591 * new entry. 592 */ 593 if (highstale - index > 0) { 594 memmove(&ents[index + 1], &ents[index], 595 (highstale - index) * sizeof(xfs_dir2_leaf_entry_t)); 596 } 597 *lfloglow = MIN(index, *lfloglow); 598 *lfloghigh = MAX(highstale, *lfloghigh); 599 leafhdr->stale--; 600 return &ents[index]; 601 } 602 603 /* 604 * Add an entry to a leaf form directory. 605 */ 606 int /* error */ 607 xfs_dir2_leaf_addname( 608 xfs_da_args_t *args) /* operation arguments */ 609 { 610 __be16 *bestsp; /* freespace table in leaf */ 611 int compact; /* need to compact leaves */ 612 xfs_dir2_data_hdr_t *hdr; /* data block header */ 613 struct xfs_buf *dbp; /* data block buffer */ 614 xfs_dir2_data_entry_t *dep; /* data block entry */ 615 xfs_inode_t *dp; /* incore directory inode */ 616 xfs_dir2_data_unused_t *dup; /* data unused entry */ 617 int error; /* error return value */ 618 int grown; /* allocated new data block */ 619 int highstale; /* index of next stale leaf */ 620 int i; /* temporary, index */ 621 int index; /* leaf table position */ 622 struct xfs_buf *lbp; /* leaf's buffer */ 623 xfs_dir2_leaf_t *leaf; /* leaf structure */ 624 int length; /* length of new entry */ 625 xfs_dir2_leaf_entry_t *lep; /* leaf entry table pointer */ 626 int lfloglow; /* low leaf logging index */ 627 int lfloghigh; /* high leaf logging index */ 628 int lowstale; /* index of prev stale leaf */ 629 xfs_dir2_leaf_tail_t *ltp; /* leaf tail pointer */ 630 int needbytes; /* leaf block bytes needed */ 631 int needlog; /* need to log data header */ 632 int needscan; /* need to rescan data free */ 633 __be16 *tagp; /* end of data entry */ 634 xfs_trans_t *tp; /* transaction pointer */ 635 xfs_dir2_db_t use_block; /* data block number */ 636 struct xfs_dir2_data_free *bf; /* bestfree table */ 637 struct xfs_dir2_leaf_entry *ents; 638 struct xfs_dir3_icleaf_hdr leafhdr; 639 640 trace_xfs_dir2_leaf_addname(args); 641 642 dp = args->dp; 643 tp = args->trans; 644 645 error = xfs_dir3_leaf_read(tp, dp, args->geo->leafblk, -1, &lbp); 646 if (error) 647 return error; 648 649 /* 650 * Look up the entry by hash value and name. 651 * We know it's not there, our caller has already done a lookup. 652 * So the index is of the entry to insert in front of. 653 * But if there are dup hash values the index is of the first of those. 654 */ 655 index = xfs_dir2_leaf_search_hash(args, lbp); 656 leaf = lbp->b_addr; 657 ltp = xfs_dir2_leaf_tail_p(args->geo, leaf); 658 ents = dp->d_ops->leaf_ents_p(leaf); 659 dp->d_ops->leaf_hdr_from_disk(&leafhdr, leaf); 660 bestsp = xfs_dir2_leaf_bests_p(ltp); 661 length = dp->d_ops->data_entsize(args->namelen); 662 663 /* 664 * See if there are any entries with the same hash value 665 * and space in their block for the new entry. 666 * This is good because it puts multiple same-hash value entries 667 * in a data block, improving the lookup of those entries. 668 */ 669 for (use_block = -1, lep = &ents[index]; 670 index < leafhdr.count && be32_to_cpu(lep->hashval) == args->hashval; 671 index++, lep++) { 672 if (be32_to_cpu(lep->address) == XFS_DIR2_NULL_DATAPTR) 673 continue; 674 i = xfs_dir2_dataptr_to_db(args->geo, be32_to_cpu(lep->address)); 675 ASSERT(i < be32_to_cpu(ltp->bestcount)); 676 ASSERT(bestsp[i] != cpu_to_be16(NULLDATAOFF)); 677 if (be16_to_cpu(bestsp[i]) >= length) { 678 use_block = i; 679 break; 680 } 681 } 682 /* 683 * Didn't find a block yet, linear search all the data blocks. 684 */ 685 if (use_block == -1) { 686 for (i = 0; i < be32_to_cpu(ltp->bestcount); i++) { 687 /* 688 * Remember a block we see that's missing. 689 */ 690 if (bestsp[i] == cpu_to_be16(NULLDATAOFF) && 691 use_block == -1) 692 use_block = i; 693 else if (be16_to_cpu(bestsp[i]) >= length) { 694 use_block = i; 695 break; 696 } 697 } 698 } 699 /* 700 * How many bytes do we need in the leaf block? 701 */ 702 needbytes = 0; 703 if (!leafhdr.stale) 704 needbytes += sizeof(xfs_dir2_leaf_entry_t); 705 if (use_block == -1) 706 needbytes += sizeof(xfs_dir2_data_off_t); 707 708 /* 709 * Now kill use_block if it refers to a missing block, so we 710 * can use it as an indication of allocation needed. 711 */ 712 if (use_block != -1 && bestsp[use_block] == cpu_to_be16(NULLDATAOFF)) 713 use_block = -1; 714 /* 715 * If we don't have enough free bytes but we can make enough 716 * by compacting out stale entries, we'll do that. 717 */ 718 if ((char *)bestsp - (char *)&ents[leafhdr.count] < needbytes && 719 leafhdr.stale > 1) 720 compact = 1; 721 722 /* 723 * Otherwise if we don't have enough free bytes we need to 724 * convert to node form. 725 */ 726 else if ((char *)bestsp - (char *)&ents[leafhdr.count] < needbytes) { 727 /* 728 * Just checking or no space reservation, give up. 729 */ 730 if ((args->op_flags & XFS_DA_OP_JUSTCHECK) || 731 args->total == 0) { 732 xfs_trans_brelse(tp, lbp); 733 return -ENOSPC; 734 } 735 /* 736 * Convert to node form. 737 */ 738 error = xfs_dir2_leaf_to_node(args, lbp); 739 if (error) 740 return error; 741 /* 742 * Then add the new entry. 743 */ 744 return xfs_dir2_node_addname(args); 745 } 746 /* 747 * Otherwise it will fit without compaction. 748 */ 749 else 750 compact = 0; 751 /* 752 * If just checking, then it will fit unless we needed to allocate 753 * a new data block. 754 */ 755 if (args->op_flags & XFS_DA_OP_JUSTCHECK) { 756 xfs_trans_brelse(tp, lbp); 757 return use_block == -1 ? -ENOSPC : 0; 758 } 759 /* 760 * If no allocations are allowed, return now before we've 761 * changed anything. 762 */ 763 if (args->total == 0 && use_block == -1) { 764 xfs_trans_brelse(tp, lbp); 765 return -ENOSPC; 766 } 767 /* 768 * Need to compact the leaf entries, removing stale ones. 769 * Leave one stale entry behind - the one closest to our 770 * insertion index - and we'll shift that one to our insertion 771 * point later. 772 */ 773 if (compact) { 774 xfs_dir3_leaf_compact_x1(&leafhdr, ents, &index, &lowstale, 775 &highstale, &lfloglow, &lfloghigh); 776 } 777 /* 778 * There are stale entries, so we'll need log-low and log-high 779 * impossibly bad values later. 780 */ 781 else if (leafhdr.stale) { 782 lfloglow = leafhdr.count; 783 lfloghigh = -1; 784 } 785 /* 786 * If there was no data block space found, we need to allocate 787 * a new one. 788 */ 789 if (use_block == -1) { 790 /* 791 * Add the new data block. 792 */ 793 if ((error = xfs_dir2_grow_inode(args, XFS_DIR2_DATA_SPACE, 794 &use_block))) { 795 xfs_trans_brelse(tp, lbp); 796 return error; 797 } 798 /* 799 * Initialize the block. 800 */ 801 if ((error = xfs_dir3_data_init(args, use_block, &dbp))) { 802 xfs_trans_brelse(tp, lbp); 803 return error; 804 } 805 /* 806 * If we're adding a new data block on the end we need to 807 * extend the bests table. Copy it up one entry. 808 */ 809 if (use_block >= be32_to_cpu(ltp->bestcount)) { 810 bestsp--; 811 memmove(&bestsp[0], &bestsp[1], 812 be32_to_cpu(ltp->bestcount) * sizeof(bestsp[0])); 813 be32_add_cpu(<p->bestcount, 1); 814 xfs_dir3_leaf_log_tail(args, lbp); 815 xfs_dir3_leaf_log_bests(args, lbp, 0, 816 be32_to_cpu(ltp->bestcount) - 1); 817 } 818 /* 819 * If we're filling in a previously empty block just log it. 820 */ 821 else 822 xfs_dir3_leaf_log_bests(args, lbp, use_block, use_block); 823 hdr = dbp->b_addr; 824 bf = dp->d_ops->data_bestfree_p(hdr); 825 bestsp[use_block] = bf[0].length; 826 grown = 1; 827 } else { 828 /* 829 * Already had space in some data block. 830 * Just read that one in. 831 */ 832 error = xfs_dir3_data_read(tp, dp, 833 xfs_dir2_db_to_da(args->geo, use_block), 834 -1, &dbp); 835 if (error) { 836 xfs_trans_brelse(tp, lbp); 837 return error; 838 } 839 hdr = dbp->b_addr; 840 bf = dp->d_ops->data_bestfree_p(hdr); 841 grown = 0; 842 } 843 /* 844 * Point to the biggest freespace in our data block. 845 */ 846 dup = (xfs_dir2_data_unused_t *) 847 ((char *)hdr + be16_to_cpu(bf[0].offset)); 848 ASSERT(be16_to_cpu(dup->length) >= length); 849 needscan = needlog = 0; 850 /* 851 * Mark the initial part of our freespace in use for the new entry. 852 */ 853 xfs_dir2_data_use_free(args, dbp, dup, 854 (xfs_dir2_data_aoff_t)((char *)dup - (char *)hdr), length, 855 &needlog, &needscan); 856 /* 857 * Initialize our new entry (at last). 858 */ 859 dep = (xfs_dir2_data_entry_t *)dup; 860 dep->inumber = cpu_to_be64(args->inumber); 861 dep->namelen = args->namelen; 862 memcpy(dep->name, args->name, dep->namelen); 863 dp->d_ops->data_put_ftype(dep, args->filetype); 864 tagp = dp->d_ops->data_entry_tag_p(dep); 865 *tagp = cpu_to_be16((char *)dep - (char *)hdr); 866 /* 867 * Need to scan fix up the bestfree table. 868 */ 869 if (needscan) 870 xfs_dir2_data_freescan(dp, hdr, &needlog); 871 /* 872 * Need to log the data block's header. 873 */ 874 if (needlog) 875 xfs_dir2_data_log_header(args, dbp); 876 xfs_dir2_data_log_entry(args, dbp, dep); 877 /* 878 * If the bests table needs to be changed, do it. 879 * Log the change unless we've already done that. 880 */ 881 if (be16_to_cpu(bestsp[use_block]) != be16_to_cpu(bf[0].length)) { 882 bestsp[use_block] = bf[0].length; 883 if (!grown) 884 xfs_dir3_leaf_log_bests(args, lbp, use_block, use_block); 885 } 886 887 lep = xfs_dir3_leaf_find_entry(&leafhdr, ents, index, compact, lowstale, 888 highstale, &lfloglow, &lfloghigh); 889 890 /* 891 * Fill in the new leaf entry. 892 */ 893 lep->hashval = cpu_to_be32(args->hashval); 894 lep->address = cpu_to_be32( 895 xfs_dir2_db_off_to_dataptr(args->geo, use_block, 896 be16_to_cpu(*tagp))); 897 /* 898 * Log the leaf fields and give up the buffers. 899 */ 900 dp->d_ops->leaf_hdr_to_disk(leaf, &leafhdr); 901 xfs_dir3_leaf_log_header(args, lbp); 902 xfs_dir3_leaf_log_ents(args, lbp, lfloglow, lfloghigh); 903 xfs_dir3_leaf_check(dp, lbp); 904 xfs_dir3_data_check(dp, dbp); 905 return 0; 906 } 907 908 /* 909 * Compact out any stale entries in the leaf. 910 * Log the header and changed leaf entries, if any. 911 */ 912 void 913 xfs_dir3_leaf_compact( 914 xfs_da_args_t *args, /* operation arguments */ 915 struct xfs_dir3_icleaf_hdr *leafhdr, 916 struct xfs_buf *bp) /* leaf buffer */ 917 { 918 int from; /* source leaf index */ 919 xfs_dir2_leaf_t *leaf; /* leaf structure */ 920 int loglow; /* first leaf entry to log */ 921 int to; /* target leaf index */ 922 struct xfs_dir2_leaf_entry *ents; 923 struct xfs_inode *dp = args->dp; 924 925 leaf = bp->b_addr; 926 if (!leafhdr->stale) 927 return; 928 929 /* 930 * Compress out the stale entries in place. 931 */ 932 ents = dp->d_ops->leaf_ents_p(leaf); 933 for (from = to = 0, loglow = -1; from < leafhdr->count; from++) { 934 if (ents[from].address == cpu_to_be32(XFS_DIR2_NULL_DATAPTR)) 935 continue; 936 /* 937 * Only actually copy the entries that are different. 938 */ 939 if (from > to) { 940 if (loglow == -1) 941 loglow = to; 942 ents[to] = ents[from]; 943 } 944 to++; 945 } 946 /* 947 * Update and log the header, log the leaf entries. 948 */ 949 ASSERT(leafhdr->stale == from - to); 950 leafhdr->count -= leafhdr->stale; 951 leafhdr->stale = 0; 952 953 dp->d_ops->leaf_hdr_to_disk(leaf, leafhdr); 954 xfs_dir3_leaf_log_header(args, bp); 955 if (loglow != -1) 956 xfs_dir3_leaf_log_ents(args, bp, loglow, to - 1); 957 } 958 959 /* 960 * Compact the leaf entries, removing stale ones. 961 * Leave one stale entry behind - the one closest to our 962 * insertion index - and the caller will shift that one to our insertion 963 * point later. 964 * Return new insertion index, where the remaining stale entry is, 965 * and leaf logging indices. 966 */ 967 void 968 xfs_dir3_leaf_compact_x1( 969 struct xfs_dir3_icleaf_hdr *leafhdr, 970 struct xfs_dir2_leaf_entry *ents, 971 int *indexp, /* insertion index */ 972 int *lowstalep, /* out: stale entry before us */ 973 int *highstalep, /* out: stale entry after us */ 974 int *lowlogp, /* out: low log index */ 975 int *highlogp) /* out: high log index */ 976 { 977 int from; /* source copy index */ 978 int highstale; /* stale entry at/after index */ 979 int index; /* insertion index */ 980 int keepstale; /* source index of kept stale */ 981 int lowstale; /* stale entry before index */ 982 int newindex=0; /* new insertion index */ 983 int to; /* destination copy index */ 984 985 ASSERT(leafhdr->stale > 1); 986 index = *indexp; 987 988 xfs_dir3_leaf_find_stale(leafhdr, ents, index, &lowstale, &highstale); 989 990 /* 991 * Pick the better of lowstale and highstale. 992 */ 993 if (lowstale >= 0 && 994 (highstale == leafhdr->count || 995 index - lowstale <= highstale - index)) 996 keepstale = lowstale; 997 else 998 keepstale = highstale; 999 /* 1000 * Copy the entries in place, removing all the stale entries 1001 * except keepstale. 1002 */ 1003 for (from = to = 0; from < leafhdr->count; from++) { 1004 /* 1005 * Notice the new value of index. 1006 */ 1007 if (index == from) 1008 newindex = to; 1009 if (from != keepstale && 1010 ents[from].address == cpu_to_be32(XFS_DIR2_NULL_DATAPTR)) { 1011 if (from == to) 1012 *lowlogp = to; 1013 continue; 1014 } 1015 /* 1016 * Record the new keepstale value for the insertion. 1017 */ 1018 if (from == keepstale) 1019 lowstale = highstale = to; 1020 /* 1021 * Copy only the entries that have moved. 1022 */ 1023 if (from > to) 1024 ents[to] = ents[from]; 1025 to++; 1026 } 1027 ASSERT(from > to); 1028 /* 1029 * If the insertion point was past the last entry, 1030 * set the new insertion point accordingly. 1031 */ 1032 if (index == from) 1033 newindex = to; 1034 *indexp = newindex; 1035 /* 1036 * Adjust the leaf header values. 1037 */ 1038 leafhdr->count -= from - to; 1039 leafhdr->stale = 1; 1040 /* 1041 * Remember the low/high stale value only in the "right" 1042 * direction. 1043 */ 1044 if (lowstale >= newindex) 1045 lowstale = -1; 1046 else 1047 highstale = leafhdr->count; 1048 *highlogp = leafhdr->count - 1; 1049 *lowstalep = lowstale; 1050 *highstalep = highstale; 1051 } 1052 1053 /* 1054 * Log the bests entries indicated from a leaf1 block. 1055 */ 1056 static void 1057 xfs_dir3_leaf_log_bests( 1058 struct xfs_da_args *args, 1059 struct xfs_buf *bp, /* leaf buffer */ 1060 int first, /* first entry to log */ 1061 int last) /* last entry to log */ 1062 { 1063 __be16 *firstb; /* pointer to first entry */ 1064 __be16 *lastb; /* pointer to last entry */ 1065 struct xfs_dir2_leaf *leaf = bp->b_addr; 1066 xfs_dir2_leaf_tail_t *ltp; /* leaf tail structure */ 1067 1068 ASSERT(leaf->hdr.info.magic == cpu_to_be16(XFS_DIR2_LEAF1_MAGIC) || 1069 leaf->hdr.info.magic == cpu_to_be16(XFS_DIR3_LEAF1_MAGIC)); 1070 1071 ltp = xfs_dir2_leaf_tail_p(args->geo, leaf); 1072 firstb = xfs_dir2_leaf_bests_p(ltp) + first; 1073 lastb = xfs_dir2_leaf_bests_p(ltp) + last; 1074 xfs_trans_log_buf(args->trans, bp, 1075 (uint)((char *)firstb - (char *)leaf), 1076 (uint)((char *)lastb - (char *)leaf + sizeof(*lastb) - 1)); 1077 } 1078 1079 /* 1080 * Log the leaf entries indicated from a leaf1 or leafn block. 1081 */ 1082 void 1083 xfs_dir3_leaf_log_ents( 1084 struct xfs_da_args *args, 1085 struct xfs_buf *bp, 1086 int first, 1087 int last) 1088 { 1089 xfs_dir2_leaf_entry_t *firstlep; /* pointer to first entry */ 1090 xfs_dir2_leaf_entry_t *lastlep; /* pointer to last entry */ 1091 struct xfs_dir2_leaf *leaf = bp->b_addr; 1092 struct xfs_dir2_leaf_entry *ents; 1093 1094 ASSERT(leaf->hdr.info.magic == cpu_to_be16(XFS_DIR2_LEAF1_MAGIC) || 1095 leaf->hdr.info.magic == cpu_to_be16(XFS_DIR3_LEAF1_MAGIC) || 1096 leaf->hdr.info.magic == cpu_to_be16(XFS_DIR2_LEAFN_MAGIC) || 1097 leaf->hdr.info.magic == cpu_to_be16(XFS_DIR3_LEAFN_MAGIC)); 1098 1099 ents = args->dp->d_ops->leaf_ents_p(leaf); 1100 firstlep = &ents[first]; 1101 lastlep = &ents[last]; 1102 xfs_trans_log_buf(args->trans, bp, 1103 (uint)((char *)firstlep - (char *)leaf), 1104 (uint)((char *)lastlep - (char *)leaf + sizeof(*lastlep) - 1)); 1105 } 1106 1107 /* 1108 * Log the header of the leaf1 or leafn block. 1109 */ 1110 void 1111 xfs_dir3_leaf_log_header( 1112 struct xfs_da_args *args, 1113 struct xfs_buf *bp) 1114 { 1115 struct xfs_dir2_leaf *leaf = bp->b_addr; 1116 1117 ASSERT(leaf->hdr.info.magic == cpu_to_be16(XFS_DIR2_LEAF1_MAGIC) || 1118 leaf->hdr.info.magic == cpu_to_be16(XFS_DIR3_LEAF1_MAGIC) || 1119 leaf->hdr.info.magic == cpu_to_be16(XFS_DIR2_LEAFN_MAGIC) || 1120 leaf->hdr.info.magic == cpu_to_be16(XFS_DIR3_LEAFN_MAGIC)); 1121 1122 xfs_trans_log_buf(args->trans, bp, 1123 (uint)((char *)&leaf->hdr - (char *)leaf), 1124 args->dp->d_ops->leaf_hdr_size - 1); 1125 } 1126 1127 /* 1128 * Log the tail of the leaf1 block. 1129 */ 1130 STATIC void 1131 xfs_dir3_leaf_log_tail( 1132 struct xfs_da_args *args, 1133 struct xfs_buf *bp) 1134 { 1135 struct xfs_dir2_leaf *leaf = bp->b_addr; 1136 xfs_dir2_leaf_tail_t *ltp; /* leaf tail structure */ 1137 1138 ASSERT(leaf->hdr.info.magic == cpu_to_be16(XFS_DIR2_LEAF1_MAGIC) || 1139 leaf->hdr.info.magic == cpu_to_be16(XFS_DIR3_LEAF1_MAGIC) || 1140 leaf->hdr.info.magic == cpu_to_be16(XFS_DIR2_LEAFN_MAGIC) || 1141 leaf->hdr.info.magic == cpu_to_be16(XFS_DIR3_LEAFN_MAGIC)); 1142 1143 ltp = xfs_dir2_leaf_tail_p(args->geo, leaf); 1144 xfs_trans_log_buf(args->trans, bp, (uint)((char *)ltp - (char *)leaf), 1145 (uint)(args->geo->blksize - 1)); 1146 } 1147 1148 /* 1149 * Look up the entry referred to by args in the leaf format directory. 1150 * Most of the work is done by the xfs_dir2_leaf_lookup_int routine which 1151 * is also used by the node-format code. 1152 */ 1153 int 1154 xfs_dir2_leaf_lookup( 1155 xfs_da_args_t *args) /* operation arguments */ 1156 { 1157 struct xfs_buf *dbp; /* data block buffer */ 1158 xfs_dir2_data_entry_t *dep; /* data block entry */ 1159 xfs_inode_t *dp; /* incore directory inode */ 1160 int error; /* error return code */ 1161 int index; /* found entry index */ 1162 struct xfs_buf *lbp; /* leaf buffer */ 1163 xfs_dir2_leaf_t *leaf; /* leaf structure */ 1164 xfs_dir2_leaf_entry_t *lep; /* leaf entry */ 1165 xfs_trans_t *tp; /* transaction pointer */ 1166 struct xfs_dir2_leaf_entry *ents; 1167 1168 trace_xfs_dir2_leaf_lookup(args); 1169 1170 /* 1171 * Look up name in the leaf block, returning both buffers and index. 1172 */ 1173 if ((error = xfs_dir2_leaf_lookup_int(args, &lbp, &index, &dbp))) { 1174 return error; 1175 } 1176 tp = args->trans; 1177 dp = args->dp; 1178 xfs_dir3_leaf_check(dp, lbp); 1179 leaf = lbp->b_addr; 1180 ents = dp->d_ops->leaf_ents_p(leaf); 1181 /* 1182 * Get to the leaf entry and contained data entry address. 1183 */ 1184 lep = &ents[index]; 1185 1186 /* 1187 * Point to the data entry. 1188 */ 1189 dep = (xfs_dir2_data_entry_t *) 1190 ((char *)dbp->b_addr + 1191 xfs_dir2_dataptr_to_off(args->geo, be32_to_cpu(lep->address))); 1192 /* 1193 * Return the found inode number & CI name if appropriate 1194 */ 1195 args->inumber = be64_to_cpu(dep->inumber); 1196 args->filetype = dp->d_ops->data_get_ftype(dep); 1197 error = xfs_dir_cilookup_result(args, dep->name, dep->namelen); 1198 xfs_trans_brelse(tp, dbp); 1199 xfs_trans_brelse(tp, lbp); 1200 return error; 1201 } 1202 1203 /* 1204 * Look up name/hash in the leaf block. 1205 * Fill in indexp with the found index, and dbpp with the data buffer. 1206 * If not found dbpp will be NULL, and ENOENT comes back. 1207 * lbpp will always be filled in with the leaf buffer unless there's an error. 1208 */ 1209 static int /* error */ 1210 xfs_dir2_leaf_lookup_int( 1211 xfs_da_args_t *args, /* operation arguments */ 1212 struct xfs_buf **lbpp, /* out: leaf buffer */ 1213 int *indexp, /* out: index in leaf block */ 1214 struct xfs_buf **dbpp) /* out: data buffer */ 1215 { 1216 xfs_dir2_db_t curdb = -1; /* current data block number */ 1217 struct xfs_buf *dbp = NULL; /* data buffer */ 1218 xfs_dir2_data_entry_t *dep; /* data entry */ 1219 xfs_inode_t *dp; /* incore directory inode */ 1220 int error; /* error return code */ 1221 int index; /* index in leaf block */ 1222 struct xfs_buf *lbp; /* leaf buffer */ 1223 xfs_dir2_leaf_entry_t *lep; /* leaf entry */ 1224 xfs_dir2_leaf_t *leaf; /* leaf structure */ 1225 xfs_mount_t *mp; /* filesystem mount point */ 1226 xfs_dir2_db_t newdb; /* new data block number */ 1227 xfs_trans_t *tp; /* transaction pointer */ 1228 xfs_dir2_db_t cidb = -1; /* case match data block no. */ 1229 enum xfs_dacmp cmp; /* name compare result */ 1230 struct xfs_dir2_leaf_entry *ents; 1231 struct xfs_dir3_icleaf_hdr leafhdr; 1232 1233 dp = args->dp; 1234 tp = args->trans; 1235 mp = dp->i_mount; 1236 1237 error = xfs_dir3_leaf_read(tp, dp, args->geo->leafblk, -1, &lbp); 1238 if (error) 1239 return error; 1240 1241 *lbpp = lbp; 1242 leaf = lbp->b_addr; 1243 xfs_dir3_leaf_check(dp, lbp); 1244 ents = dp->d_ops->leaf_ents_p(leaf); 1245 dp->d_ops->leaf_hdr_from_disk(&leafhdr, leaf); 1246 1247 /* 1248 * Look for the first leaf entry with our hash value. 1249 */ 1250 index = xfs_dir2_leaf_search_hash(args, lbp); 1251 /* 1252 * Loop over all the entries with the right hash value 1253 * looking to match the name. 1254 */ 1255 for (lep = &ents[index]; 1256 index < leafhdr.count && be32_to_cpu(lep->hashval) == args->hashval; 1257 lep++, index++) { 1258 /* 1259 * Skip over stale leaf entries. 1260 */ 1261 if (be32_to_cpu(lep->address) == XFS_DIR2_NULL_DATAPTR) 1262 continue; 1263 /* 1264 * Get the new data block number. 1265 */ 1266 newdb = xfs_dir2_dataptr_to_db(args->geo, 1267 be32_to_cpu(lep->address)); 1268 /* 1269 * If it's not the same as the old data block number, 1270 * need to pitch the old one and read the new one. 1271 */ 1272 if (newdb != curdb) { 1273 if (dbp) 1274 xfs_trans_brelse(tp, dbp); 1275 error = xfs_dir3_data_read(tp, dp, 1276 xfs_dir2_db_to_da(args->geo, newdb), 1277 -1, &dbp); 1278 if (error) { 1279 xfs_trans_brelse(tp, lbp); 1280 return error; 1281 } 1282 curdb = newdb; 1283 } 1284 /* 1285 * Point to the data entry. 1286 */ 1287 dep = (xfs_dir2_data_entry_t *)((char *)dbp->b_addr + 1288 xfs_dir2_dataptr_to_off(args->geo, 1289 be32_to_cpu(lep->address))); 1290 /* 1291 * Compare name and if it's an exact match, return the index 1292 * and buffer. If it's the first case-insensitive match, store 1293 * the index and buffer and continue looking for an exact match. 1294 */ 1295 cmp = mp->m_dirnameops->compname(args, dep->name, dep->namelen); 1296 if (cmp != XFS_CMP_DIFFERENT && cmp != args->cmpresult) { 1297 args->cmpresult = cmp; 1298 *indexp = index; 1299 /* case exact match: return the current buffer. */ 1300 if (cmp == XFS_CMP_EXACT) { 1301 *dbpp = dbp; 1302 return 0; 1303 } 1304 cidb = curdb; 1305 } 1306 } 1307 ASSERT(args->op_flags & XFS_DA_OP_OKNOENT); 1308 /* 1309 * Here, we can only be doing a lookup (not a rename or remove). 1310 * If a case-insensitive match was found earlier, re-read the 1311 * appropriate data block if required and return it. 1312 */ 1313 if (args->cmpresult == XFS_CMP_CASE) { 1314 ASSERT(cidb != -1); 1315 if (cidb != curdb) { 1316 xfs_trans_brelse(tp, dbp); 1317 error = xfs_dir3_data_read(tp, dp, 1318 xfs_dir2_db_to_da(args->geo, cidb), 1319 -1, &dbp); 1320 if (error) { 1321 xfs_trans_brelse(tp, lbp); 1322 return error; 1323 } 1324 } 1325 *dbpp = dbp; 1326 return 0; 1327 } 1328 /* 1329 * No match found, return -ENOENT. 1330 */ 1331 ASSERT(cidb == -1); 1332 if (dbp) 1333 xfs_trans_brelse(tp, dbp); 1334 xfs_trans_brelse(tp, lbp); 1335 return -ENOENT; 1336 } 1337 1338 /* 1339 * Remove an entry from a leaf format directory. 1340 */ 1341 int /* error */ 1342 xfs_dir2_leaf_removename( 1343 xfs_da_args_t *args) /* operation arguments */ 1344 { 1345 __be16 *bestsp; /* leaf block best freespace */ 1346 xfs_dir2_data_hdr_t *hdr; /* data block header */ 1347 xfs_dir2_db_t db; /* data block number */ 1348 struct xfs_buf *dbp; /* data block buffer */ 1349 xfs_dir2_data_entry_t *dep; /* data entry structure */ 1350 xfs_inode_t *dp; /* incore directory inode */ 1351 int error; /* error return code */ 1352 xfs_dir2_db_t i; /* temporary data block # */ 1353 int index; /* index into leaf entries */ 1354 struct xfs_buf *lbp; /* leaf buffer */ 1355 xfs_dir2_leaf_t *leaf; /* leaf structure */ 1356 xfs_dir2_leaf_entry_t *lep; /* leaf entry */ 1357 xfs_dir2_leaf_tail_t *ltp; /* leaf tail structure */ 1358 int needlog; /* need to log data header */ 1359 int needscan; /* need to rescan data frees */ 1360 xfs_dir2_data_off_t oldbest; /* old value of best free */ 1361 struct xfs_dir2_data_free *bf; /* bestfree table */ 1362 struct xfs_dir2_leaf_entry *ents; 1363 struct xfs_dir3_icleaf_hdr leafhdr; 1364 1365 trace_xfs_dir2_leaf_removename(args); 1366 1367 /* 1368 * Lookup the leaf entry, get the leaf and data blocks read in. 1369 */ 1370 if ((error = xfs_dir2_leaf_lookup_int(args, &lbp, &index, &dbp))) { 1371 return error; 1372 } 1373 dp = args->dp; 1374 leaf = lbp->b_addr; 1375 hdr = dbp->b_addr; 1376 xfs_dir3_data_check(dp, dbp); 1377 bf = dp->d_ops->data_bestfree_p(hdr); 1378 dp->d_ops->leaf_hdr_from_disk(&leafhdr, leaf); 1379 ents = dp->d_ops->leaf_ents_p(leaf); 1380 /* 1381 * Point to the leaf entry, use that to point to the data entry. 1382 */ 1383 lep = &ents[index]; 1384 db = xfs_dir2_dataptr_to_db(args->geo, be32_to_cpu(lep->address)); 1385 dep = (xfs_dir2_data_entry_t *)((char *)hdr + 1386 xfs_dir2_dataptr_to_off(args->geo, be32_to_cpu(lep->address))); 1387 needscan = needlog = 0; 1388 oldbest = be16_to_cpu(bf[0].length); 1389 ltp = xfs_dir2_leaf_tail_p(args->geo, leaf); 1390 bestsp = xfs_dir2_leaf_bests_p(ltp); 1391 ASSERT(be16_to_cpu(bestsp[db]) == oldbest); 1392 /* 1393 * Mark the former data entry unused. 1394 */ 1395 xfs_dir2_data_make_free(args, dbp, 1396 (xfs_dir2_data_aoff_t)((char *)dep - (char *)hdr), 1397 dp->d_ops->data_entsize(dep->namelen), &needlog, &needscan); 1398 /* 1399 * We just mark the leaf entry stale by putting a null in it. 1400 */ 1401 leafhdr.stale++; 1402 dp->d_ops->leaf_hdr_to_disk(leaf, &leafhdr); 1403 xfs_dir3_leaf_log_header(args, lbp); 1404 1405 lep->address = cpu_to_be32(XFS_DIR2_NULL_DATAPTR); 1406 xfs_dir3_leaf_log_ents(args, lbp, index, index); 1407 1408 /* 1409 * Scan the freespace in the data block again if necessary, 1410 * log the data block header if necessary. 1411 */ 1412 if (needscan) 1413 xfs_dir2_data_freescan(dp, hdr, &needlog); 1414 if (needlog) 1415 xfs_dir2_data_log_header(args, dbp); 1416 /* 1417 * If the longest freespace in the data block has changed, 1418 * put the new value in the bests table and log that. 1419 */ 1420 if (be16_to_cpu(bf[0].length) != oldbest) { 1421 bestsp[db] = bf[0].length; 1422 xfs_dir3_leaf_log_bests(args, lbp, db, db); 1423 } 1424 xfs_dir3_data_check(dp, dbp); 1425 /* 1426 * If the data block is now empty then get rid of the data block. 1427 */ 1428 if (be16_to_cpu(bf[0].length) == 1429 args->geo->blksize - dp->d_ops->data_entry_offset) { 1430 ASSERT(db != args->geo->datablk); 1431 if ((error = xfs_dir2_shrink_inode(args, db, dbp))) { 1432 /* 1433 * Nope, can't get rid of it because it caused 1434 * allocation of a bmap btree block to do so. 1435 * Just go on, returning success, leaving the 1436 * empty block in place. 1437 */ 1438 if (error == -ENOSPC && args->total == 0) 1439 error = 0; 1440 xfs_dir3_leaf_check(dp, lbp); 1441 return error; 1442 } 1443 dbp = NULL; 1444 /* 1445 * If this is the last data block then compact the 1446 * bests table by getting rid of entries. 1447 */ 1448 if (db == be32_to_cpu(ltp->bestcount) - 1) { 1449 /* 1450 * Look for the last active entry (i). 1451 */ 1452 for (i = db - 1; i > 0; i--) { 1453 if (bestsp[i] != cpu_to_be16(NULLDATAOFF)) 1454 break; 1455 } 1456 /* 1457 * Copy the table down so inactive entries at the 1458 * end are removed. 1459 */ 1460 memmove(&bestsp[db - i], bestsp, 1461 (be32_to_cpu(ltp->bestcount) - (db - i)) * sizeof(*bestsp)); 1462 be32_add_cpu(<p->bestcount, -(db - i)); 1463 xfs_dir3_leaf_log_tail(args, lbp); 1464 xfs_dir3_leaf_log_bests(args, lbp, 0, 1465 be32_to_cpu(ltp->bestcount) - 1); 1466 } else 1467 bestsp[db] = cpu_to_be16(NULLDATAOFF); 1468 } 1469 /* 1470 * If the data block was not the first one, drop it. 1471 */ 1472 else if (db != args->geo->datablk) 1473 dbp = NULL; 1474 1475 xfs_dir3_leaf_check(dp, lbp); 1476 /* 1477 * See if we can convert to block form. 1478 */ 1479 return xfs_dir2_leaf_to_block(args, lbp, dbp); 1480 } 1481 1482 /* 1483 * Replace the inode number in a leaf format directory entry. 1484 */ 1485 int /* error */ 1486 xfs_dir2_leaf_replace( 1487 xfs_da_args_t *args) /* operation arguments */ 1488 { 1489 struct xfs_buf *dbp; /* data block buffer */ 1490 xfs_dir2_data_entry_t *dep; /* data block entry */ 1491 xfs_inode_t *dp; /* incore directory inode */ 1492 int error; /* error return code */ 1493 int index; /* index of leaf entry */ 1494 struct xfs_buf *lbp; /* leaf buffer */ 1495 xfs_dir2_leaf_t *leaf; /* leaf structure */ 1496 xfs_dir2_leaf_entry_t *lep; /* leaf entry */ 1497 xfs_trans_t *tp; /* transaction pointer */ 1498 struct xfs_dir2_leaf_entry *ents; 1499 1500 trace_xfs_dir2_leaf_replace(args); 1501 1502 /* 1503 * Look up the entry. 1504 */ 1505 if ((error = xfs_dir2_leaf_lookup_int(args, &lbp, &index, &dbp))) { 1506 return error; 1507 } 1508 dp = args->dp; 1509 leaf = lbp->b_addr; 1510 ents = dp->d_ops->leaf_ents_p(leaf); 1511 /* 1512 * Point to the leaf entry, get data address from it. 1513 */ 1514 lep = &ents[index]; 1515 /* 1516 * Point to the data entry. 1517 */ 1518 dep = (xfs_dir2_data_entry_t *) 1519 ((char *)dbp->b_addr + 1520 xfs_dir2_dataptr_to_off(args->geo, be32_to_cpu(lep->address))); 1521 ASSERT(args->inumber != be64_to_cpu(dep->inumber)); 1522 /* 1523 * Put the new inode number in, log it. 1524 */ 1525 dep->inumber = cpu_to_be64(args->inumber); 1526 dp->d_ops->data_put_ftype(dep, args->filetype); 1527 tp = args->trans; 1528 xfs_dir2_data_log_entry(args, dbp, dep); 1529 xfs_dir3_leaf_check(dp, lbp); 1530 xfs_trans_brelse(tp, lbp); 1531 return 0; 1532 } 1533 1534 /* 1535 * Return index in the leaf block (lbp) which is either the first 1536 * one with this hash value, or if there are none, the insert point 1537 * for that hash value. 1538 */ 1539 int /* index value */ 1540 xfs_dir2_leaf_search_hash( 1541 xfs_da_args_t *args, /* operation arguments */ 1542 struct xfs_buf *lbp) /* leaf buffer */ 1543 { 1544 xfs_dahash_t hash=0; /* hash from this entry */ 1545 xfs_dahash_t hashwant; /* hash value looking for */ 1546 int high; /* high leaf index */ 1547 int low; /* low leaf index */ 1548 xfs_dir2_leaf_t *leaf; /* leaf structure */ 1549 xfs_dir2_leaf_entry_t *lep; /* leaf entry */ 1550 int mid=0; /* current leaf index */ 1551 struct xfs_dir2_leaf_entry *ents; 1552 struct xfs_dir3_icleaf_hdr leafhdr; 1553 1554 leaf = lbp->b_addr; 1555 ents = args->dp->d_ops->leaf_ents_p(leaf); 1556 args->dp->d_ops->leaf_hdr_from_disk(&leafhdr, leaf); 1557 1558 /* 1559 * Note, the table cannot be empty, so we have to go through the loop. 1560 * Binary search the leaf entries looking for our hash value. 1561 */ 1562 for (lep = ents, low = 0, high = leafhdr.count - 1, 1563 hashwant = args->hashval; 1564 low <= high; ) { 1565 mid = (low + high) >> 1; 1566 if ((hash = be32_to_cpu(lep[mid].hashval)) == hashwant) 1567 break; 1568 if (hash < hashwant) 1569 low = mid + 1; 1570 else 1571 high = mid - 1; 1572 } 1573 /* 1574 * Found one, back up through all the equal hash values. 1575 */ 1576 if (hash == hashwant) { 1577 while (mid > 0 && be32_to_cpu(lep[mid - 1].hashval) == hashwant) { 1578 mid--; 1579 } 1580 } 1581 /* 1582 * Need to point to an entry higher than ours. 1583 */ 1584 else if (hash < hashwant) 1585 mid++; 1586 return mid; 1587 } 1588 1589 /* 1590 * Trim off a trailing data block. We know it's empty since the leaf 1591 * freespace table says so. 1592 */ 1593 int /* error */ 1594 xfs_dir2_leaf_trim_data( 1595 xfs_da_args_t *args, /* operation arguments */ 1596 struct xfs_buf *lbp, /* leaf buffer */ 1597 xfs_dir2_db_t db) /* data block number */ 1598 { 1599 __be16 *bestsp; /* leaf bests table */ 1600 struct xfs_buf *dbp; /* data block buffer */ 1601 xfs_inode_t *dp; /* incore directory inode */ 1602 int error; /* error return value */ 1603 xfs_dir2_leaf_t *leaf; /* leaf structure */ 1604 xfs_dir2_leaf_tail_t *ltp; /* leaf tail structure */ 1605 xfs_trans_t *tp; /* transaction pointer */ 1606 1607 dp = args->dp; 1608 tp = args->trans; 1609 /* 1610 * Read the offending data block. We need its buffer. 1611 */ 1612 error = xfs_dir3_data_read(tp, dp, xfs_dir2_db_to_da(args->geo, db), 1613 -1, &dbp); 1614 if (error) 1615 return error; 1616 1617 leaf = lbp->b_addr; 1618 ltp = xfs_dir2_leaf_tail_p(args->geo, leaf); 1619 1620 #ifdef DEBUG 1621 { 1622 struct xfs_dir2_data_hdr *hdr = dbp->b_addr; 1623 struct xfs_dir2_data_free *bf = dp->d_ops->data_bestfree_p(hdr); 1624 1625 ASSERT(hdr->magic == cpu_to_be32(XFS_DIR2_DATA_MAGIC) || 1626 hdr->magic == cpu_to_be32(XFS_DIR3_DATA_MAGIC)); 1627 ASSERT(be16_to_cpu(bf[0].length) == 1628 args->geo->blksize - dp->d_ops->data_entry_offset); 1629 ASSERT(db == be32_to_cpu(ltp->bestcount) - 1); 1630 } 1631 #endif 1632 1633 /* 1634 * Get rid of the data block. 1635 */ 1636 if ((error = xfs_dir2_shrink_inode(args, db, dbp))) { 1637 ASSERT(error != -ENOSPC); 1638 xfs_trans_brelse(tp, dbp); 1639 return error; 1640 } 1641 /* 1642 * Eliminate the last bests entry from the table. 1643 */ 1644 bestsp = xfs_dir2_leaf_bests_p(ltp); 1645 be32_add_cpu(<p->bestcount, -1); 1646 memmove(&bestsp[1], &bestsp[0], be32_to_cpu(ltp->bestcount) * sizeof(*bestsp)); 1647 xfs_dir3_leaf_log_tail(args, lbp); 1648 xfs_dir3_leaf_log_bests(args, lbp, 0, be32_to_cpu(ltp->bestcount) - 1); 1649 return 0; 1650 } 1651 1652 static inline size_t 1653 xfs_dir3_leaf_size( 1654 struct xfs_dir3_icleaf_hdr *hdr, 1655 int counts) 1656 { 1657 int entries; 1658 int hdrsize; 1659 1660 entries = hdr->count - hdr->stale; 1661 if (hdr->magic == XFS_DIR2_LEAF1_MAGIC || 1662 hdr->magic == XFS_DIR2_LEAFN_MAGIC) 1663 hdrsize = sizeof(struct xfs_dir2_leaf_hdr); 1664 else 1665 hdrsize = sizeof(struct xfs_dir3_leaf_hdr); 1666 1667 return hdrsize + entries * sizeof(xfs_dir2_leaf_entry_t) 1668 + counts * sizeof(xfs_dir2_data_off_t) 1669 + sizeof(xfs_dir2_leaf_tail_t); 1670 } 1671 1672 /* 1673 * Convert node form directory to leaf form directory. 1674 * The root of the node form dir needs to already be a LEAFN block. 1675 * Just return if we can't do anything. 1676 */ 1677 int /* error */ 1678 xfs_dir2_node_to_leaf( 1679 xfs_da_state_t *state) /* directory operation state */ 1680 { 1681 xfs_da_args_t *args; /* operation arguments */ 1682 xfs_inode_t *dp; /* incore directory inode */ 1683 int error; /* error return code */ 1684 struct xfs_buf *fbp; /* buffer for freespace block */ 1685 xfs_fileoff_t fo; /* freespace file offset */ 1686 xfs_dir2_free_t *free; /* freespace structure */ 1687 struct xfs_buf *lbp; /* buffer for leaf block */ 1688 xfs_dir2_leaf_tail_t *ltp; /* tail of leaf structure */ 1689 xfs_dir2_leaf_t *leaf; /* leaf structure */ 1690 xfs_mount_t *mp; /* filesystem mount point */ 1691 int rval; /* successful free trim? */ 1692 xfs_trans_t *tp; /* transaction pointer */ 1693 struct xfs_dir3_icleaf_hdr leafhdr; 1694 struct xfs_dir3_icfree_hdr freehdr; 1695 1696 /* 1697 * There's more than a leaf level in the btree, so there must 1698 * be multiple leafn blocks. Give up. 1699 */ 1700 if (state->path.active > 1) 1701 return 0; 1702 args = state->args; 1703 1704 trace_xfs_dir2_node_to_leaf(args); 1705 1706 mp = state->mp; 1707 dp = args->dp; 1708 tp = args->trans; 1709 /* 1710 * Get the last offset in the file. 1711 */ 1712 if ((error = xfs_bmap_last_offset(dp, &fo, XFS_DATA_FORK))) { 1713 return error; 1714 } 1715 fo -= args->geo->fsbcount; 1716 /* 1717 * If there are freespace blocks other than the first one, 1718 * take this opportunity to remove trailing empty freespace blocks 1719 * that may have been left behind during no-space-reservation 1720 * operations. 1721 */ 1722 while (fo > args->geo->freeblk) { 1723 if ((error = xfs_dir2_node_trim_free(args, fo, &rval))) { 1724 return error; 1725 } 1726 if (rval) 1727 fo -= args->geo->fsbcount; 1728 else 1729 return 0; 1730 } 1731 /* 1732 * Now find the block just before the freespace block. 1733 */ 1734 if ((error = xfs_bmap_last_before(tp, dp, &fo, XFS_DATA_FORK))) { 1735 return error; 1736 } 1737 /* 1738 * If it's not the single leaf block, give up. 1739 */ 1740 if (XFS_FSB_TO_B(mp, fo) > XFS_DIR2_LEAF_OFFSET + args->geo->blksize) 1741 return 0; 1742 lbp = state->path.blk[0].bp; 1743 leaf = lbp->b_addr; 1744 dp->d_ops->leaf_hdr_from_disk(&leafhdr, leaf); 1745 1746 ASSERT(leafhdr.magic == XFS_DIR2_LEAFN_MAGIC || 1747 leafhdr.magic == XFS_DIR3_LEAFN_MAGIC); 1748 1749 /* 1750 * Read the freespace block. 1751 */ 1752 error = xfs_dir2_free_read(tp, dp, args->geo->freeblk, &fbp); 1753 if (error) 1754 return error; 1755 free = fbp->b_addr; 1756 dp->d_ops->free_hdr_from_disk(&freehdr, free); 1757 1758 ASSERT(!freehdr.firstdb); 1759 1760 /* 1761 * Now see if the leafn and free data will fit in a leaf1. 1762 * If not, release the buffer and give up. 1763 */ 1764 if (xfs_dir3_leaf_size(&leafhdr, freehdr.nvalid) > args->geo->blksize) { 1765 xfs_trans_brelse(tp, fbp); 1766 return 0; 1767 } 1768 1769 /* 1770 * If the leaf has any stale entries in it, compress them out. 1771 */ 1772 if (leafhdr.stale) 1773 xfs_dir3_leaf_compact(args, &leafhdr, lbp); 1774 1775 lbp->b_ops = &xfs_dir3_leaf1_buf_ops; 1776 xfs_trans_buf_set_type(tp, lbp, XFS_BLFT_DIR_LEAF1_BUF); 1777 leafhdr.magic = (leafhdr.magic == XFS_DIR2_LEAFN_MAGIC) 1778 ? XFS_DIR2_LEAF1_MAGIC 1779 : XFS_DIR3_LEAF1_MAGIC; 1780 1781 /* 1782 * Set up the leaf tail from the freespace block. 1783 */ 1784 ltp = xfs_dir2_leaf_tail_p(args->geo, leaf); 1785 ltp->bestcount = cpu_to_be32(freehdr.nvalid); 1786 1787 /* 1788 * Set up the leaf bests table. 1789 */ 1790 memcpy(xfs_dir2_leaf_bests_p(ltp), dp->d_ops->free_bests_p(free), 1791 freehdr.nvalid * sizeof(xfs_dir2_data_off_t)); 1792 1793 dp->d_ops->leaf_hdr_to_disk(leaf, &leafhdr); 1794 xfs_dir3_leaf_log_header(args, lbp); 1795 xfs_dir3_leaf_log_bests(args, lbp, 0, be32_to_cpu(ltp->bestcount) - 1); 1796 xfs_dir3_leaf_log_tail(args, lbp); 1797 xfs_dir3_leaf_check(dp, lbp); 1798 1799 /* 1800 * Get rid of the freespace block. 1801 */ 1802 error = xfs_dir2_shrink_inode(args, 1803 xfs_dir2_byte_to_db(args->geo, XFS_DIR2_FREE_OFFSET), 1804 fbp); 1805 if (error) { 1806 /* 1807 * This can't fail here because it can only happen when 1808 * punching out the middle of an extent, and this is an 1809 * isolated block. 1810 */ 1811 ASSERT(error != -ENOSPC); 1812 return error; 1813 } 1814 fbp = NULL; 1815 /* 1816 * Now see if we can convert the single-leaf directory 1817 * down to a block form directory. 1818 * This routine always kills the dabuf for the leaf, so 1819 * eliminate it from the path. 1820 */ 1821 error = xfs_dir2_leaf_to_block(args, lbp, NULL); 1822 state->path.blk[0].bp = NULL; 1823 return error; 1824 } 1825