1 /* 2 * Copyright (c) 2000-2002,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_dir2.h" 29 #include "xfs_dir2_priv.h" 30 #include "xfs_error.h" 31 #include "xfs_trans.h" 32 #include "xfs_buf_item.h" 33 #include "xfs_cksum.h" 34 #include "xfs_log.h" 35 36 /* 37 * Check the consistency of the data block. 38 * The input can also be a block-format directory. 39 * Return NULL if the buffer is good, otherwise the address of the error. 40 */ 41 xfs_failaddr_t 42 __xfs_dir3_data_check( 43 struct xfs_inode *dp, /* incore inode pointer */ 44 struct xfs_buf *bp) /* data block's buffer */ 45 { 46 xfs_dir2_dataptr_t addr; /* addr for leaf lookup */ 47 xfs_dir2_data_free_t *bf; /* bestfree table */ 48 xfs_dir2_block_tail_t *btp=NULL; /* block tail */ 49 int count; /* count of entries found */ 50 xfs_dir2_data_hdr_t *hdr; /* data block header */ 51 xfs_dir2_data_entry_t *dep; /* data entry */ 52 xfs_dir2_data_free_t *dfp; /* bestfree entry */ 53 xfs_dir2_data_unused_t *dup; /* unused entry */ 54 char *endp; /* end of useful data */ 55 int freeseen; /* mask of bestfrees seen */ 56 xfs_dahash_t hash; /* hash of current name */ 57 int i; /* leaf index */ 58 int lastfree; /* last entry was unused */ 59 xfs_dir2_leaf_entry_t *lep=NULL; /* block leaf entries */ 60 xfs_mount_t *mp; /* filesystem mount point */ 61 char *p; /* current data position */ 62 int stale; /* count of stale leaves */ 63 struct xfs_name name; 64 const struct xfs_dir_ops *ops; 65 struct xfs_da_geometry *geo; 66 67 mp = bp->b_target->bt_mount; 68 geo = mp->m_dir_geo; 69 70 /* 71 * We can be passed a null dp here from a verifier, so we need to go the 72 * hard way to get them. 73 */ 74 ops = xfs_dir_get_ops(mp, dp); 75 76 /* 77 * If this isn't a directory, or we don't get handed the dir ops, 78 * something is seriously wrong. Bail out. 79 */ 80 if ((dp && !S_ISDIR(VFS_I(dp)->i_mode)) || 81 ops != xfs_dir_get_ops(mp, NULL)) 82 return __this_address; 83 84 hdr = bp->b_addr; 85 p = (char *)ops->data_entry_p(hdr); 86 87 switch (hdr->magic) { 88 case cpu_to_be32(XFS_DIR3_BLOCK_MAGIC): 89 case cpu_to_be32(XFS_DIR2_BLOCK_MAGIC): 90 btp = xfs_dir2_block_tail_p(geo, hdr); 91 lep = xfs_dir2_block_leaf_p(btp); 92 93 /* 94 * The number of leaf entries is limited by the size of the 95 * block and the amount of space used by the data entries. 96 * We don't know how much space is used by the data entries yet, 97 * so just ensure that the count falls somewhere inside the 98 * block right now. 99 */ 100 if (be32_to_cpu(btp->count) >= 101 ((char *)btp - p) / sizeof(struct xfs_dir2_leaf_entry)) 102 return __this_address; 103 break; 104 case cpu_to_be32(XFS_DIR3_DATA_MAGIC): 105 case cpu_to_be32(XFS_DIR2_DATA_MAGIC): 106 break; 107 default: 108 return __this_address; 109 } 110 endp = xfs_dir3_data_endp(geo, hdr); 111 if (!endp) 112 return __this_address; 113 114 /* 115 * Account for zero bestfree entries. 116 */ 117 bf = ops->data_bestfree_p(hdr); 118 count = lastfree = freeseen = 0; 119 if (!bf[0].length) { 120 if (bf[0].offset) 121 return __this_address; 122 freeseen |= 1 << 0; 123 } 124 if (!bf[1].length) { 125 if (bf[1].offset) 126 return __this_address; 127 freeseen |= 1 << 1; 128 } 129 if (!bf[2].length) { 130 if (bf[2].offset) 131 return __this_address; 132 freeseen |= 1 << 2; 133 } 134 135 if (be16_to_cpu(bf[0].length) < be16_to_cpu(bf[1].length)) 136 return __this_address; 137 if (be16_to_cpu(bf[1].length) < be16_to_cpu(bf[2].length)) 138 return __this_address; 139 /* 140 * Loop over the data/unused entries. 141 */ 142 while (p < endp) { 143 dup = (xfs_dir2_data_unused_t *)p; 144 /* 145 * If it's unused, look for the space in the bestfree table. 146 * If we find it, account for that, else make sure it 147 * doesn't need to be there. 148 */ 149 if (be16_to_cpu(dup->freetag) == XFS_DIR2_DATA_FREE_TAG) { 150 if (lastfree != 0) 151 return __this_address; 152 if (endp < p + be16_to_cpu(dup->length)) 153 return __this_address; 154 if (be16_to_cpu(*xfs_dir2_data_unused_tag_p(dup)) != 155 (char *)dup - (char *)hdr) 156 return __this_address; 157 dfp = xfs_dir2_data_freefind(hdr, bf, dup); 158 if (dfp) { 159 i = (int)(dfp - bf); 160 if ((freeseen & (1 << i)) != 0) 161 return __this_address; 162 freeseen |= 1 << i; 163 } else { 164 if (be16_to_cpu(dup->length) > 165 be16_to_cpu(bf[2].length)) 166 return __this_address; 167 } 168 p += be16_to_cpu(dup->length); 169 lastfree = 1; 170 continue; 171 } 172 /* 173 * It's a real entry. Validate the fields. 174 * If this is a block directory then make sure it's 175 * in the leaf section of the block. 176 * The linear search is crude but this is DEBUG code. 177 */ 178 dep = (xfs_dir2_data_entry_t *)p; 179 if (dep->namelen == 0) 180 return __this_address; 181 if (xfs_dir_ino_validate(mp, be64_to_cpu(dep->inumber))) 182 return __this_address; 183 if (endp < p + ops->data_entsize(dep->namelen)) 184 return __this_address; 185 if (be16_to_cpu(*ops->data_entry_tag_p(dep)) != 186 (char *)dep - (char *)hdr) 187 return __this_address; 188 if (ops->data_get_ftype(dep) >= XFS_DIR3_FT_MAX) 189 return __this_address; 190 count++; 191 lastfree = 0; 192 if (hdr->magic == cpu_to_be32(XFS_DIR2_BLOCK_MAGIC) || 193 hdr->magic == cpu_to_be32(XFS_DIR3_BLOCK_MAGIC)) { 194 addr = xfs_dir2_db_off_to_dataptr(geo, geo->datablk, 195 (xfs_dir2_data_aoff_t) 196 ((char *)dep - (char *)hdr)); 197 name.name = dep->name; 198 name.len = dep->namelen; 199 hash = mp->m_dirnameops->hashname(&name); 200 for (i = 0; i < be32_to_cpu(btp->count); i++) { 201 if (be32_to_cpu(lep[i].address) == addr && 202 be32_to_cpu(lep[i].hashval) == hash) 203 break; 204 } 205 if (i >= be32_to_cpu(btp->count)) 206 return __this_address; 207 } 208 p += ops->data_entsize(dep->namelen); 209 } 210 /* 211 * Need to have seen all the entries and all the bestfree slots. 212 */ 213 if (freeseen != 7) 214 return __this_address; 215 if (hdr->magic == cpu_to_be32(XFS_DIR2_BLOCK_MAGIC) || 216 hdr->magic == cpu_to_be32(XFS_DIR3_BLOCK_MAGIC)) { 217 for (i = stale = 0; i < be32_to_cpu(btp->count); i++) { 218 if (lep[i].address == 219 cpu_to_be32(XFS_DIR2_NULL_DATAPTR)) 220 stale++; 221 if (i > 0 && be32_to_cpu(lep[i].hashval) < 222 be32_to_cpu(lep[i - 1].hashval)) 223 return __this_address; 224 } 225 if (count != be32_to_cpu(btp->count) - be32_to_cpu(btp->stale)) 226 return __this_address; 227 if (stale != be32_to_cpu(btp->stale)) 228 return __this_address; 229 } 230 return NULL; 231 } 232 233 #ifdef DEBUG 234 void 235 xfs_dir3_data_check( 236 struct xfs_inode *dp, 237 struct xfs_buf *bp) 238 { 239 xfs_failaddr_t fa; 240 241 fa = __xfs_dir3_data_check(dp, bp); 242 if (!fa) 243 return; 244 xfs_corruption_error(__func__, XFS_ERRLEVEL_LOW, dp->i_mount, 245 bp->b_addr, __FILE__, __LINE__, fa); 246 ASSERT(0); 247 } 248 #endif 249 250 static xfs_failaddr_t 251 xfs_dir3_data_verify( 252 struct xfs_buf *bp) 253 { 254 struct xfs_mount *mp = bp->b_target->bt_mount; 255 struct xfs_dir3_blk_hdr *hdr3 = bp->b_addr; 256 257 if (xfs_sb_version_hascrc(&mp->m_sb)) { 258 if (hdr3->magic != cpu_to_be32(XFS_DIR3_DATA_MAGIC)) 259 return __this_address; 260 if (!uuid_equal(&hdr3->uuid, &mp->m_sb.sb_meta_uuid)) 261 return __this_address; 262 if (be64_to_cpu(hdr3->blkno) != bp->b_bn) 263 return __this_address; 264 if (!xfs_log_check_lsn(mp, be64_to_cpu(hdr3->lsn))) 265 return __this_address; 266 } else { 267 if (hdr3->magic != cpu_to_be32(XFS_DIR2_DATA_MAGIC)) 268 return __this_address; 269 } 270 return __xfs_dir3_data_check(NULL, bp); 271 } 272 273 /* 274 * Readahead of the first block of the directory when it is opened is completely 275 * oblivious to the format of the directory. Hence we can either get a block 276 * format buffer or a data format buffer on readahead. 277 */ 278 static void 279 xfs_dir3_data_reada_verify( 280 struct xfs_buf *bp) 281 { 282 struct xfs_dir2_data_hdr *hdr = bp->b_addr; 283 284 switch (hdr->magic) { 285 case cpu_to_be32(XFS_DIR2_BLOCK_MAGIC): 286 case cpu_to_be32(XFS_DIR3_BLOCK_MAGIC): 287 bp->b_ops = &xfs_dir3_block_buf_ops; 288 bp->b_ops->verify_read(bp); 289 return; 290 case cpu_to_be32(XFS_DIR2_DATA_MAGIC): 291 case cpu_to_be32(XFS_DIR3_DATA_MAGIC): 292 bp->b_ops = &xfs_dir3_data_buf_ops; 293 bp->b_ops->verify_read(bp); 294 return; 295 default: 296 xfs_verifier_error(bp, -EFSCORRUPTED, __this_address); 297 break; 298 } 299 } 300 301 static void 302 xfs_dir3_data_read_verify( 303 struct xfs_buf *bp) 304 { 305 struct xfs_mount *mp = bp->b_target->bt_mount; 306 xfs_failaddr_t fa; 307 308 if (xfs_sb_version_hascrc(&mp->m_sb) && 309 !xfs_buf_verify_cksum(bp, XFS_DIR3_DATA_CRC_OFF)) 310 xfs_verifier_error(bp, -EFSBADCRC, __this_address); 311 else { 312 fa = xfs_dir3_data_verify(bp); 313 if (fa) 314 xfs_verifier_error(bp, -EFSCORRUPTED, fa); 315 } 316 } 317 318 static void 319 xfs_dir3_data_write_verify( 320 struct xfs_buf *bp) 321 { 322 struct xfs_mount *mp = bp->b_target->bt_mount; 323 struct xfs_buf_log_item *bip = bp->b_log_item; 324 struct xfs_dir3_blk_hdr *hdr3 = bp->b_addr; 325 xfs_failaddr_t fa; 326 327 fa = xfs_dir3_data_verify(bp); 328 if (fa) { 329 xfs_verifier_error(bp, -EFSCORRUPTED, fa); 330 return; 331 } 332 333 if (!xfs_sb_version_hascrc(&mp->m_sb)) 334 return; 335 336 if (bip) 337 hdr3->lsn = cpu_to_be64(bip->bli_item.li_lsn); 338 339 xfs_buf_update_cksum(bp, XFS_DIR3_DATA_CRC_OFF); 340 } 341 342 const struct xfs_buf_ops xfs_dir3_data_buf_ops = { 343 .name = "xfs_dir3_data", 344 .verify_read = xfs_dir3_data_read_verify, 345 .verify_write = xfs_dir3_data_write_verify, 346 .verify_struct = xfs_dir3_data_verify, 347 }; 348 349 static const struct xfs_buf_ops xfs_dir3_data_reada_buf_ops = { 350 .name = "xfs_dir3_data_reada", 351 .verify_read = xfs_dir3_data_reada_verify, 352 .verify_write = xfs_dir3_data_write_verify, 353 }; 354 355 356 int 357 xfs_dir3_data_read( 358 struct xfs_trans *tp, 359 struct xfs_inode *dp, 360 xfs_dablk_t bno, 361 xfs_daddr_t mapped_bno, 362 struct xfs_buf **bpp) 363 { 364 int err; 365 366 err = xfs_da_read_buf(tp, dp, bno, mapped_bno, bpp, 367 XFS_DATA_FORK, &xfs_dir3_data_buf_ops); 368 if (!err && tp && *bpp) 369 xfs_trans_buf_set_type(tp, *bpp, XFS_BLFT_DIR_DATA_BUF); 370 return err; 371 } 372 373 int 374 xfs_dir3_data_readahead( 375 struct xfs_inode *dp, 376 xfs_dablk_t bno, 377 xfs_daddr_t mapped_bno) 378 { 379 return xfs_da_reada_buf(dp, bno, mapped_bno, 380 XFS_DATA_FORK, &xfs_dir3_data_reada_buf_ops); 381 } 382 383 /* 384 * Given a data block and an unused entry from that block, 385 * return the bestfree entry if any that corresponds to it. 386 */ 387 xfs_dir2_data_free_t * 388 xfs_dir2_data_freefind( 389 struct xfs_dir2_data_hdr *hdr, /* data block header */ 390 struct xfs_dir2_data_free *bf, /* bestfree table pointer */ 391 struct xfs_dir2_data_unused *dup) /* unused space */ 392 { 393 xfs_dir2_data_free_t *dfp; /* bestfree entry */ 394 xfs_dir2_data_aoff_t off; /* offset value needed */ 395 #ifdef DEBUG 396 int matched; /* matched the value */ 397 int seenzero; /* saw a 0 bestfree entry */ 398 #endif 399 400 off = (xfs_dir2_data_aoff_t)((char *)dup - (char *)hdr); 401 402 #ifdef DEBUG 403 /* 404 * Validate some consistency in the bestfree table. 405 * Check order, non-overlapping entries, and if we find the 406 * one we're looking for it has to be exact. 407 */ 408 ASSERT(hdr->magic == cpu_to_be32(XFS_DIR2_DATA_MAGIC) || 409 hdr->magic == cpu_to_be32(XFS_DIR3_DATA_MAGIC) || 410 hdr->magic == cpu_to_be32(XFS_DIR2_BLOCK_MAGIC) || 411 hdr->magic == cpu_to_be32(XFS_DIR3_BLOCK_MAGIC)); 412 for (dfp = &bf[0], seenzero = matched = 0; 413 dfp < &bf[XFS_DIR2_DATA_FD_COUNT]; 414 dfp++) { 415 if (!dfp->offset) { 416 ASSERT(!dfp->length); 417 seenzero = 1; 418 continue; 419 } 420 ASSERT(seenzero == 0); 421 if (be16_to_cpu(dfp->offset) == off) { 422 matched = 1; 423 ASSERT(dfp->length == dup->length); 424 } else if (off < be16_to_cpu(dfp->offset)) 425 ASSERT(off + be16_to_cpu(dup->length) <= be16_to_cpu(dfp->offset)); 426 else 427 ASSERT(be16_to_cpu(dfp->offset) + be16_to_cpu(dfp->length) <= off); 428 ASSERT(matched || be16_to_cpu(dfp->length) >= be16_to_cpu(dup->length)); 429 if (dfp > &bf[0]) 430 ASSERT(be16_to_cpu(dfp[-1].length) >= be16_to_cpu(dfp[0].length)); 431 } 432 #endif 433 /* 434 * If this is smaller than the smallest bestfree entry, 435 * it can't be there since they're sorted. 436 */ 437 if (be16_to_cpu(dup->length) < 438 be16_to_cpu(bf[XFS_DIR2_DATA_FD_COUNT - 1].length)) 439 return NULL; 440 /* 441 * Look at the three bestfree entries for our guy. 442 */ 443 for (dfp = &bf[0]; dfp < &bf[XFS_DIR2_DATA_FD_COUNT]; dfp++) { 444 if (!dfp->offset) 445 return NULL; 446 if (be16_to_cpu(dfp->offset) == off) 447 return dfp; 448 } 449 /* 450 * Didn't find it. This only happens if there are duplicate lengths. 451 */ 452 return NULL; 453 } 454 455 /* 456 * Insert an unused-space entry into the bestfree table. 457 */ 458 xfs_dir2_data_free_t * /* entry inserted */ 459 xfs_dir2_data_freeinsert( 460 struct xfs_dir2_data_hdr *hdr, /* data block pointer */ 461 struct xfs_dir2_data_free *dfp, /* bestfree table pointer */ 462 struct xfs_dir2_data_unused *dup, /* unused space */ 463 int *loghead) /* log the data header (out) */ 464 { 465 xfs_dir2_data_free_t new; /* new bestfree entry */ 466 467 ASSERT(hdr->magic == cpu_to_be32(XFS_DIR2_DATA_MAGIC) || 468 hdr->magic == cpu_to_be32(XFS_DIR2_BLOCK_MAGIC) || 469 hdr->magic == cpu_to_be32(XFS_DIR3_DATA_MAGIC) || 470 hdr->magic == cpu_to_be32(XFS_DIR3_BLOCK_MAGIC)); 471 472 new.length = dup->length; 473 new.offset = cpu_to_be16((char *)dup - (char *)hdr); 474 475 /* 476 * Insert at position 0, 1, or 2; or not at all. 477 */ 478 if (be16_to_cpu(new.length) > be16_to_cpu(dfp[0].length)) { 479 dfp[2] = dfp[1]; 480 dfp[1] = dfp[0]; 481 dfp[0] = new; 482 *loghead = 1; 483 return &dfp[0]; 484 } 485 if (be16_to_cpu(new.length) > be16_to_cpu(dfp[1].length)) { 486 dfp[2] = dfp[1]; 487 dfp[1] = new; 488 *loghead = 1; 489 return &dfp[1]; 490 } 491 if (be16_to_cpu(new.length) > be16_to_cpu(dfp[2].length)) { 492 dfp[2] = new; 493 *loghead = 1; 494 return &dfp[2]; 495 } 496 return NULL; 497 } 498 499 /* 500 * Remove a bestfree entry from the table. 501 */ 502 STATIC void 503 xfs_dir2_data_freeremove( 504 struct xfs_dir2_data_hdr *hdr, /* data block header */ 505 struct xfs_dir2_data_free *bf, /* bestfree table pointer */ 506 struct xfs_dir2_data_free *dfp, /* bestfree entry pointer */ 507 int *loghead) /* out: log data header */ 508 { 509 510 ASSERT(hdr->magic == cpu_to_be32(XFS_DIR2_DATA_MAGIC) || 511 hdr->magic == cpu_to_be32(XFS_DIR2_BLOCK_MAGIC) || 512 hdr->magic == cpu_to_be32(XFS_DIR3_DATA_MAGIC) || 513 hdr->magic == cpu_to_be32(XFS_DIR3_BLOCK_MAGIC)); 514 515 /* 516 * It's the first entry, slide the next 2 up. 517 */ 518 if (dfp == &bf[0]) { 519 bf[0] = bf[1]; 520 bf[1] = bf[2]; 521 } 522 /* 523 * It's the second entry, slide the 3rd entry up. 524 */ 525 else if (dfp == &bf[1]) 526 bf[1] = bf[2]; 527 /* 528 * Must be the last entry. 529 */ 530 else 531 ASSERT(dfp == &bf[2]); 532 /* 533 * Clear the 3rd entry, must be zero now. 534 */ 535 bf[2].length = 0; 536 bf[2].offset = 0; 537 *loghead = 1; 538 } 539 540 /* 541 * Given a data block, reconstruct its bestfree map. 542 */ 543 void 544 xfs_dir2_data_freescan_int( 545 struct xfs_da_geometry *geo, 546 const struct xfs_dir_ops *ops, 547 struct xfs_dir2_data_hdr *hdr, 548 int *loghead) 549 { 550 xfs_dir2_data_entry_t *dep; /* active data entry */ 551 xfs_dir2_data_unused_t *dup; /* unused data entry */ 552 struct xfs_dir2_data_free *bf; 553 char *endp; /* end of block's data */ 554 char *p; /* current entry pointer */ 555 556 ASSERT(hdr->magic == cpu_to_be32(XFS_DIR2_DATA_MAGIC) || 557 hdr->magic == cpu_to_be32(XFS_DIR3_DATA_MAGIC) || 558 hdr->magic == cpu_to_be32(XFS_DIR2_BLOCK_MAGIC) || 559 hdr->magic == cpu_to_be32(XFS_DIR3_BLOCK_MAGIC)); 560 561 /* 562 * Start by clearing the table. 563 */ 564 bf = ops->data_bestfree_p(hdr); 565 memset(bf, 0, sizeof(*bf) * XFS_DIR2_DATA_FD_COUNT); 566 *loghead = 1; 567 /* 568 * Set up pointers. 569 */ 570 p = (char *)ops->data_entry_p(hdr); 571 endp = xfs_dir3_data_endp(geo, hdr); 572 /* 573 * Loop over the block's entries. 574 */ 575 while (p < endp) { 576 dup = (xfs_dir2_data_unused_t *)p; 577 /* 578 * If it's a free entry, insert it. 579 */ 580 if (be16_to_cpu(dup->freetag) == XFS_DIR2_DATA_FREE_TAG) { 581 ASSERT((char *)dup - (char *)hdr == 582 be16_to_cpu(*xfs_dir2_data_unused_tag_p(dup))); 583 xfs_dir2_data_freeinsert(hdr, bf, dup, loghead); 584 p += be16_to_cpu(dup->length); 585 } 586 /* 587 * For active entries, check their tags and skip them. 588 */ 589 else { 590 dep = (xfs_dir2_data_entry_t *)p; 591 ASSERT((char *)dep - (char *)hdr == 592 be16_to_cpu(*ops->data_entry_tag_p(dep))); 593 p += ops->data_entsize(dep->namelen); 594 } 595 } 596 } 597 598 void 599 xfs_dir2_data_freescan( 600 struct xfs_inode *dp, 601 struct xfs_dir2_data_hdr *hdr, 602 int *loghead) 603 { 604 return xfs_dir2_data_freescan_int(dp->i_mount->m_dir_geo, dp->d_ops, 605 hdr, loghead); 606 } 607 608 /* 609 * Initialize a data block at the given block number in the directory. 610 * Give back the buffer for the created block. 611 */ 612 int /* error */ 613 xfs_dir3_data_init( 614 xfs_da_args_t *args, /* directory operation args */ 615 xfs_dir2_db_t blkno, /* logical dir block number */ 616 struct xfs_buf **bpp) /* output block buffer */ 617 { 618 struct xfs_buf *bp; /* block buffer */ 619 xfs_dir2_data_hdr_t *hdr; /* data block header */ 620 xfs_inode_t *dp; /* incore directory inode */ 621 xfs_dir2_data_unused_t *dup; /* unused entry pointer */ 622 struct xfs_dir2_data_free *bf; 623 int error; /* error return value */ 624 int i; /* bestfree index */ 625 xfs_mount_t *mp; /* filesystem mount point */ 626 xfs_trans_t *tp; /* transaction pointer */ 627 int t; /* temp */ 628 629 dp = args->dp; 630 mp = dp->i_mount; 631 tp = args->trans; 632 /* 633 * Get the buffer set up for the block. 634 */ 635 error = xfs_da_get_buf(tp, dp, xfs_dir2_db_to_da(args->geo, blkno), 636 -1, &bp, XFS_DATA_FORK); 637 if (error) 638 return error; 639 bp->b_ops = &xfs_dir3_data_buf_ops; 640 xfs_trans_buf_set_type(tp, bp, XFS_BLFT_DIR_DATA_BUF); 641 642 /* 643 * Initialize the header. 644 */ 645 hdr = bp->b_addr; 646 if (xfs_sb_version_hascrc(&mp->m_sb)) { 647 struct xfs_dir3_blk_hdr *hdr3 = bp->b_addr; 648 649 memset(hdr3, 0, sizeof(*hdr3)); 650 hdr3->magic = cpu_to_be32(XFS_DIR3_DATA_MAGIC); 651 hdr3->blkno = cpu_to_be64(bp->b_bn); 652 hdr3->owner = cpu_to_be64(dp->i_ino); 653 uuid_copy(&hdr3->uuid, &mp->m_sb.sb_meta_uuid); 654 655 } else 656 hdr->magic = cpu_to_be32(XFS_DIR2_DATA_MAGIC); 657 658 bf = dp->d_ops->data_bestfree_p(hdr); 659 bf[0].offset = cpu_to_be16(dp->d_ops->data_entry_offset); 660 for (i = 1; i < XFS_DIR2_DATA_FD_COUNT; i++) { 661 bf[i].length = 0; 662 bf[i].offset = 0; 663 } 664 665 /* 666 * Set up an unused entry for the block's body. 667 */ 668 dup = dp->d_ops->data_unused_p(hdr); 669 dup->freetag = cpu_to_be16(XFS_DIR2_DATA_FREE_TAG); 670 671 t = args->geo->blksize - (uint)dp->d_ops->data_entry_offset; 672 bf[0].length = cpu_to_be16(t); 673 dup->length = cpu_to_be16(t); 674 *xfs_dir2_data_unused_tag_p(dup) = cpu_to_be16((char *)dup - (char *)hdr); 675 /* 676 * Log it and return it. 677 */ 678 xfs_dir2_data_log_header(args, bp); 679 xfs_dir2_data_log_unused(args, bp, dup); 680 *bpp = bp; 681 return 0; 682 } 683 684 /* 685 * Log an active data entry from the block. 686 */ 687 void 688 xfs_dir2_data_log_entry( 689 struct xfs_da_args *args, 690 struct xfs_buf *bp, 691 xfs_dir2_data_entry_t *dep) /* data entry pointer */ 692 { 693 struct xfs_dir2_data_hdr *hdr = bp->b_addr; 694 695 ASSERT(hdr->magic == cpu_to_be32(XFS_DIR2_DATA_MAGIC) || 696 hdr->magic == cpu_to_be32(XFS_DIR3_DATA_MAGIC) || 697 hdr->magic == cpu_to_be32(XFS_DIR2_BLOCK_MAGIC) || 698 hdr->magic == cpu_to_be32(XFS_DIR3_BLOCK_MAGIC)); 699 700 xfs_trans_log_buf(args->trans, bp, (uint)((char *)dep - (char *)hdr), 701 (uint)((char *)(args->dp->d_ops->data_entry_tag_p(dep) + 1) - 702 (char *)hdr - 1)); 703 } 704 705 /* 706 * Log a data block header. 707 */ 708 void 709 xfs_dir2_data_log_header( 710 struct xfs_da_args *args, 711 struct xfs_buf *bp) 712 { 713 #ifdef DEBUG 714 struct xfs_dir2_data_hdr *hdr = bp->b_addr; 715 716 ASSERT(hdr->magic == cpu_to_be32(XFS_DIR2_DATA_MAGIC) || 717 hdr->magic == cpu_to_be32(XFS_DIR3_DATA_MAGIC) || 718 hdr->magic == cpu_to_be32(XFS_DIR2_BLOCK_MAGIC) || 719 hdr->magic == cpu_to_be32(XFS_DIR3_BLOCK_MAGIC)); 720 #endif 721 722 xfs_trans_log_buf(args->trans, bp, 0, 723 args->dp->d_ops->data_entry_offset - 1); 724 } 725 726 /* 727 * Log a data unused entry. 728 */ 729 void 730 xfs_dir2_data_log_unused( 731 struct xfs_da_args *args, 732 struct xfs_buf *bp, 733 xfs_dir2_data_unused_t *dup) /* data unused pointer */ 734 { 735 xfs_dir2_data_hdr_t *hdr = bp->b_addr; 736 737 ASSERT(hdr->magic == cpu_to_be32(XFS_DIR2_DATA_MAGIC) || 738 hdr->magic == cpu_to_be32(XFS_DIR3_DATA_MAGIC) || 739 hdr->magic == cpu_to_be32(XFS_DIR2_BLOCK_MAGIC) || 740 hdr->magic == cpu_to_be32(XFS_DIR3_BLOCK_MAGIC)); 741 742 /* 743 * Log the first part of the unused entry. 744 */ 745 xfs_trans_log_buf(args->trans, bp, (uint)((char *)dup - (char *)hdr), 746 (uint)((char *)&dup->length + sizeof(dup->length) - 747 1 - (char *)hdr)); 748 /* 749 * Log the end (tag) of the unused entry. 750 */ 751 xfs_trans_log_buf(args->trans, bp, 752 (uint)((char *)xfs_dir2_data_unused_tag_p(dup) - (char *)hdr), 753 (uint)((char *)xfs_dir2_data_unused_tag_p(dup) - (char *)hdr + 754 sizeof(xfs_dir2_data_off_t) - 1)); 755 } 756 757 /* 758 * Make a byte range in the data block unused. 759 * Its current contents are unimportant. 760 */ 761 void 762 xfs_dir2_data_make_free( 763 struct xfs_da_args *args, 764 struct xfs_buf *bp, 765 xfs_dir2_data_aoff_t offset, /* starting byte offset */ 766 xfs_dir2_data_aoff_t len, /* length in bytes */ 767 int *needlogp, /* out: log header */ 768 int *needscanp) /* out: regen bestfree */ 769 { 770 xfs_dir2_data_hdr_t *hdr; /* data block pointer */ 771 xfs_dir2_data_free_t *dfp; /* bestfree pointer */ 772 char *endptr; /* end of data area */ 773 int needscan; /* need to regen bestfree */ 774 xfs_dir2_data_unused_t *newdup; /* new unused entry */ 775 xfs_dir2_data_unused_t *postdup; /* unused entry after us */ 776 xfs_dir2_data_unused_t *prevdup; /* unused entry before us */ 777 struct xfs_dir2_data_free *bf; 778 779 hdr = bp->b_addr; 780 781 /* 782 * Figure out where the end of the data area is. 783 */ 784 endptr = xfs_dir3_data_endp(args->geo, hdr); 785 ASSERT(endptr != NULL); 786 787 /* 788 * If this isn't the start of the block, then back up to 789 * the previous entry and see if it's free. 790 */ 791 if (offset > args->dp->d_ops->data_entry_offset) { 792 __be16 *tagp; /* tag just before us */ 793 794 tagp = (__be16 *)((char *)hdr + offset) - 1; 795 prevdup = (xfs_dir2_data_unused_t *)((char *)hdr + be16_to_cpu(*tagp)); 796 if (be16_to_cpu(prevdup->freetag) != XFS_DIR2_DATA_FREE_TAG) 797 prevdup = NULL; 798 } else 799 prevdup = NULL; 800 /* 801 * If this isn't the end of the block, see if the entry after 802 * us is free. 803 */ 804 if ((char *)hdr + offset + len < endptr) { 805 postdup = 806 (xfs_dir2_data_unused_t *)((char *)hdr + offset + len); 807 if (be16_to_cpu(postdup->freetag) != XFS_DIR2_DATA_FREE_TAG) 808 postdup = NULL; 809 } else 810 postdup = NULL; 811 ASSERT(*needscanp == 0); 812 needscan = 0; 813 /* 814 * Previous and following entries are both free, 815 * merge everything into a single free entry. 816 */ 817 bf = args->dp->d_ops->data_bestfree_p(hdr); 818 if (prevdup && postdup) { 819 xfs_dir2_data_free_t *dfp2; /* another bestfree pointer */ 820 821 /* 822 * See if prevdup and/or postdup are in bestfree table. 823 */ 824 dfp = xfs_dir2_data_freefind(hdr, bf, prevdup); 825 dfp2 = xfs_dir2_data_freefind(hdr, bf, postdup); 826 /* 827 * We need a rescan unless there are exactly 2 free entries 828 * namely our two. Then we know what's happening, otherwise 829 * since the third bestfree is there, there might be more 830 * entries. 831 */ 832 needscan = (bf[2].length != 0); 833 /* 834 * Fix up the new big freespace. 835 */ 836 be16_add_cpu(&prevdup->length, len + be16_to_cpu(postdup->length)); 837 *xfs_dir2_data_unused_tag_p(prevdup) = 838 cpu_to_be16((char *)prevdup - (char *)hdr); 839 xfs_dir2_data_log_unused(args, bp, prevdup); 840 if (!needscan) { 841 /* 842 * Has to be the case that entries 0 and 1 are 843 * dfp and dfp2 (don't know which is which), and 844 * entry 2 is empty. 845 * Remove entry 1 first then entry 0. 846 */ 847 ASSERT(dfp && dfp2); 848 if (dfp == &bf[1]) { 849 dfp = &bf[0]; 850 ASSERT(dfp2 == dfp); 851 dfp2 = &bf[1]; 852 } 853 xfs_dir2_data_freeremove(hdr, bf, dfp2, needlogp); 854 xfs_dir2_data_freeremove(hdr, bf, dfp, needlogp); 855 /* 856 * Now insert the new entry. 857 */ 858 dfp = xfs_dir2_data_freeinsert(hdr, bf, prevdup, 859 needlogp); 860 ASSERT(dfp == &bf[0]); 861 ASSERT(dfp->length == prevdup->length); 862 ASSERT(!dfp[1].length); 863 ASSERT(!dfp[2].length); 864 } 865 } 866 /* 867 * The entry before us is free, merge with it. 868 */ 869 else if (prevdup) { 870 dfp = xfs_dir2_data_freefind(hdr, bf, prevdup); 871 be16_add_cpu(&prevdup->length, len); 872 *xfs_dir2_data_unused_tag_p(prevdup) = 873 cpu_to_be16((char *)prevdup - (char *)hdr); 874 xfs_dir2_data_log_unused(args, bp, prevdup); 875 /* 876 * If the previous entry was in the table, the new entry 877 * is longer, so it will be in the table too. Remove 878 * the old one and add the new one. 879 */ 880 if (dfp) { 881 xfs_dir2_data_freeremove(hdr, bf, dfp, needlogp); 882 xfs_dir2_data_freeinsert(hdr, bf, prevdup, needlogp); 883 } 884 /* 885 * Otherwise we need a scan if the new entry is big enough. 886 */ 887 else { 888 needscan = be16_to_cpu(prevdup->length) > 889 be16_to_cpu(bf[2].length); 890 } 891 } 892 /* 893 * The following entry is free, merge with it. 894 */ 895 else if (postdup) { 896 dfp = xfs_dir2_data_freefind(hdr, bf, postdup); 897 newdup = (xfs_dir2_data_unused_t *)((char *)hdr + offset); 898 newdup->freetag = cpu_to_be16(XFS_DIR2_DATA_FREE_TAG); 899 newdup->length = cpu_to_be16(len + be16_to_cpu(postdup->length)); 900 *xfs_dir2_data_unused_tag_p(newdup) = 901 cpu_to_be16((char *)newdup - (char *)hdr); 902 xfs_dir2_data_log_unused(args, bp, newdup); 903 /* 904 * If the following entry was in the table, the new entry 905 * is longer, so it will be in the table too. Remove 906 * the old one and add the new one. 907 */ 908 if (dfp) { 909 xfs_dir2_data_freeremove(hdr, bf, dfp, needlogp); 910 xfs_dir2_data_freeinsert(hdr, bf, newdup, needlogp); 911 } 912 /* 913 * Otherwise we need a scan if the new entry is big enough. 914 */ 915 else { 916 needscan = be16_to_cpu(newdup->length) > 917 be16_to_cpu(bf[2].length); 918 } 919 } 920 /* 921 * Neither neighbor is free. Make a new entry. 922 */ 923 else { 924 newdup = (xfs_dir2_data_unused_t *)((char *)hdr + offset); 925 newdup->freetag = cpu_to_be16(XFS_DIR2_DATA_FREE_TAG); 926 newdup->length = cpu_to_be16(len); 927 *xfs_dir2_data_unused_tag_p(newdup) = 928 cpu_to_be16((char *)newdup - (char *)hdr); 929 xfs_dir2_data_log_unused(args, bp, newdup); 930 xfs_dir2_data_freeinsert(hdr, bf, newdup, needlogp); 931 } 932 *needscanp = needscan; 933 } 934 935 /* 936 * Take a byte range out of an existing unused space and make it un-free. 937 */ 938 void 939 xfs_dir2_data_use_free( 940 struct xfs_da_args *args, 941 struct xfs_buf *bp, 942 xfs_dir2_data_unused_t *dup, /* unused entry */ 943 xfs_dir2_data_aoff_t offset, /* starting offset to use */ 944 xfs_dir2_data_aoff_t len, /* length to use */ 945 int *needlogp, /* out: need to log header */ 946 int *needscanp) /* out: need regen bestfree */ 947 { 948 xfs_dir2_data_hdr_t *hdr; /* data block header */ 949 xfs_dir2_data_free_t *dfp; /* bestfree pointer */ 950 int matchback; /* matches end of freespace */ 951 int matchfront; /* matches start of freespace */ 952 int needscan; /* need to regen bestfree */ 953 xfs_dir2_data_unused_t *newdup; /* new unused entry */ 954 xfs_dir2_data_unused_t *newdup2; /* another new unused entry */ 955 int oldlen; /* old unused entry's length */ 956 struct xfs_dir2_data_free *bf; 957 958 hdr = bp->b_addr; 959 ASSERT(hdr->magic == cpu_to_be32(XFS_DIR2_DATA_MAGIC) || 960 hdr->magic == cpu_to_be32(XFS_DIR3_DATA_MAGIC) || 961 hdr->magic == cpu_to_be32(XFS_DIR2_BLOCK_MAGIC) || 962 hdr->magic == cpu_to_be32(XFS_DIR3_BLOCK_MAGIC)); 963 ASSERT(be16_to_cpu(dup->freetag) == XFS_DIR2_DATA_FREE_TAG); 964 ASSERT(offset >= (char *)dup - (char *)hdr); 965 ASSERT(offset + len <= (char *)dup + be16_to_cpu(dup->length) - (char *)hdr); 966 ASSERT((char *)dup - (char *)hdr == be16_to_cpu(*xfs_dir2_data_unused_tag_p(dup))); 967 /* 968 * Look up the entry in the bestfree table. 969 */ 970 oldlen = be16_to_cpu(dup->length); 971 bf = args->dp->d_ops->data_bestfree_p(hdr); 972 dfp = xfs_dir2_data_freefind(hdr, bf, dup); 973 ASSERT(dfp || oldlen <= be16_to_cpu(bf[2].length)); 974 /* 975 * Check for alignment with front and back of the entry. 976 */ 977 matchfront = (char *)dup - (char *)hdr == offset; 978 matchback = (char *)dup + oldlen - (char *)hdr == offset + len; 979 ASSERT(*needscanp == 0); 980 needscan = 0; 981 /* 982 * If we matched it exactly we just need to get rid of it from 983 * the bestfree table. 984 */ 985 if (matchfront && matchback) { 986 if (dfp) { 987 needscan = (bf[2].offset != 0); 988 if (!needscan) 989 xfs_dir2_data_freeremove(hdr, bf, dfp, 990 needlogp); 991 } 992 } 993 /* 994 * We match the first part of the entry. 995 * Make a new entry with the remaining freespace. 996 */ 997 else if (matchfront) { 998 newdup = (xfs_dir2_data_unused_t *)((char *)hdr + offset + len); 999 newdup->freetag = cpu_to_be16(XFS_DIR2_DATA_FREE_TAG); 1000 newdup->length = cpu_to_be16(oldlen - len); 1001 *xfs_dir2_data_unused_tag_p(newdup) = 1002 cpu_to_be16((char *)newdup - (char *)hdr); 1003 xfs_dir2_data_log_unused(args, bp, newdup); 1004 /* 1005 * If it was in the table, remove it and add the new one. 1006 */ 1007 if (dfp) { 1008 xfs_dir2_data_freeremove(hdr, bf, dfp, needlogp); 1009 dfp = xfs_dir2_data_freeinsert(hdr, bf, newdup, 1010 needlogp); 1011 ASSERT(dfp != NULL); 1012 ASSERT(dfp->length == newdup->length); 1013 ASSERT(be16_to_cpu(dfp->offset) == (char *)newdup - (char *)hdr); 1014 /* 1015 * If we got inserted at the last slot, 1016 * that means we don't know if there was a better 1017 * choice for the last slot, or not. Rescan. 1018 */ 1019 needscan = dfp == &bf[2]; 1020 } 1021 } 1022 /* 1023 * We match the last part of the entry. 1024 * Trim the allocated space off the tail of the entry. 1025 */ 1026 else if (matchback) { 1027 newdup = dup; 1028 newdup->length = cpu_to_be16(((char *)hdr + offset) - (char *)newdup); 1029 *xfs_dir2_data_unused_tag_p(newdup) = 1030 cpu_to_be16((char *)newdup - (char *)hdr); 1031 xfs_dir2_data_log_unused(args, bp, newdup); 1032 /* 1033 * If it was in the table, remove it and add the new one. 1034 */ 1035 if (dfp) { 1036 xfs_dir2_data_freeremove(hdr, bf, dfp, needlogp); 1037 dfp = xfs_dir2_data_freeinsert(hdr, bf, newdup, 1038 needlogp); 1039 ASSERT(dfp != NULL); 1040 ASSERT(dfp->length == newdup->length); 1041 ASSERT(be16_to_cpu(dfp->offset) == (char *)newdup - (char *)hdr); 1042 /* 1043 * If we got inserted at the last slot, 1044 * that means we don't know if there was a better 1045 * choice for the last slot, or not. Rescan. 1046 */ 1047 needscan = dfp == &bf[2]; 1048 } 1049 } 1050 /* 1051 * Poking out the middle of an entry. 1052 * Make two new entries. 1053 */ 1054 else { 1055 newdup = dup; 1056 newdup->length = cpu_to_be16(((char *)hdr + offset) - (char *)newdup); 1057 *xfs_dir2_data_unused_tag_p(newdup) = 1058 cpu_to_be16((char *)newdup - (char *)hdr); 1059 xfs_dir2_data_log_unused(args, bp, newdup); 1060 newdup2 = (xfs_dir2_data_unused_t *)((char *)hdr + offset + len); 1061 newdup2->freetag = cpu_to_be16(XFS_DIR2_DATA_FREE_TAG); 1062 newdup2->length = cpu_to_be16(oldlen - len - be16_to_cpu(newdup->length)); 1063 *xfs_dir2_data_unused_tag_p(newdup2) = 1064 cpu_to_be16((char *)newdup2 - (char *)hdr); 1065 xfs_dir2_data_log_unused(args, bp, newdup2); 1066 /* 1067 * If the old entry was in the table, we need to scan 1068 * if the 3rd entry was valid, since these entries 1069 * are smaller than the old one. 1070 * If we don't need to scan that means there were 1 or 2 1071 * entries in the table, and removing the old and adding 1072 * the 2 new will work. 1073 */ 1074 if (dfp) { 1075 needscan = (bf[2].length != 0); 1076 if (!needscan) { 1077 xfs_dir2_data_freeremove(hdr, bf, dfp, 1078 needlogp); 1079 xfs_dir2_data_freeinsert(hdr, bf, newdup, 1080 needlogp); 1081 xfs_dir2_data_freeinsert(hdr, bf, newdup2, 1082 needlogp); 1083 } 1084 } 1085 } 1086 *needscanp = needscan; 1087 } 1088 1089 /* Find the end of the entry data in a data/block format dir block. */ 1090 void * 1091 xfs_dir3_data_endp( 1092 struct xfs_da_geometry *geo, 1093 struct xfs_dir2_data_hdr *hdr) 1094 { 1095 switch (hdr->magic) { 1096 case cpu_to_be32(XFS_DIR3_BLOCK_MAGIC): 1097 case cpu_to_be32(XFS_DIR2_BLOCK_MAGIC): 1098 return xfs_dir2_block_leaf_p(xfs_dir2_block_tail_p(geo, hdr)); 1099 case cpu_to_be32(XFS_DIR3_DATA_MAGIC): 1100 case cpu_to_be32(XFS_DIR2_DATA_MAGIC): 1101 return (char *)hdr + geo->blksize; 1102 default: 1103 return NULL; 1104 } 1105 } 1106