1 /* 2 * Copyright (c) 2007-2008 The DragonFly Project. All rights reserved. 3 * 4 * This code is derived from software contributed to The DragonFly Project 5 * by Matthew Dillon <dillon@backplane.com> 6 * 7 * Redistribution and use in source and binary forms, with or without 8 * modification, are permitted provided that the following conditions 9 * are met: 10 * 11 * 1. Redistributions of source code must retain the above copyright 12 * notice, this list of conditions and the following disclaimer. 13 * 2. Redistributions in binary form must reproduce the above copyright 14 * notice, this list of conditions and the following disclaimer in 15 * the documentation and/or other materials provided with the 16 * distribution. 17 * 3. Neither the name of The DragonFly Project nor the names of its 18 * contributors may be used to endorse or promote products derived 19 * from this software without specific, prior written permission. 20 * 21 * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS 22 * ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT 23 * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS 24 * FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE 25 * COPYRIGHT HOLDERS OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, 26 * INCIDENTAL, SPECIAL, EXEMPLARY OR CONSEQUENTIAL DAMAGES (INCLUDING, 27 * BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; 28 * LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED 29 * AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, 30 * OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT 31 * OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF 32 * SUCH DAMAGE. 33 */ 34 35 #include "hammer.h" 36 #include <vm/vm_extern.h> 37 38 static int hammer_unload_inode(struct hammer_inode *ip); 39 static void hammer_free_inode(hammer_inode_t ip); 40 static void hammer_flush_inode_core(hammer_inode_t ip, 41 hammer_flush_group_t flg, int flags); 42 static int hammer_setup_child_callback(hammer_record_t rec, void *data); 43 #if 0 44 static int hammer_syncgrp_child_callback(hammer_record_t rec, void *data); 45 #endif 46 static int hammer_setup_parent_inodes(hammer_inode_t ip, int depth, 47 hammer_flush_group_t flg); 48 static int hammer_setup_parent_inodes_helper(hammer_record_t record, 49 int depth, hammer_flush_group_t flg); 50 static void hammer_inode_wakereclaims(hammer_inode_t ip); 51 static struct hammer_inostats *hammer_inode_inostats(hammer_mount_t hmp, 52 pid_t pid); 53 54 #ifdef DEBUG_TRUNCATE 55 extern struct hammer_inode *HammerTruncIp; 56 #endif 57 58 struct krate hammer_gen_krate = { 1 }; 59 60 /* 61 * RB-Tree support for inode structures 62 */ 63 int 64 hammer_ino_rb_compare(hammer_inode_t ip1, hammer_inode_t ip2) 65 { 66 if (ip1->obj_localization < ip2->obj_localization) 67 return(-1); 68 if (ip1->obj_localization > ip2->obj_localization) 69 return(1); 70 if (ip1->obj_id < ip2->obj_id) 71 return(-1); 72 if (ip1->obj_id > ip2->obj_id) 73 return(1); 74 if (ip1->obj_asof < ip2->obj_asof) 75 return(-1); 76 if (ip1->obj_asof > ip2->obj_asof) 77 return(1); 78 return(0); 79 } 80 81 int 82 hammer_redo_rb_compare(hammer_inode_t ip1, hammer_inode_t ip2) 83 { 84 if (ip1->redo_fifo_start < ip2->redo_fifo_start) 85 return(-1); 86 if (ip1->redo_fifo_start > ip2->redo_fifo_start) 87 return(1); 88 return(0); 89 } 90 91 /* 92 * RB-Tree support for inode structures / special LOOKUP_INFO 93 */ 94 static int 95 hammer_inode_info_cmp(hammer_inode_info_t info, hammer_inode_t ip) 96 { 97 if (info->obj_localization < ip->obj_localization) 98 return(-1); 99 if (info->obj_localization > ip->obj_localization) 100 return(1); 101 if (info->obj_id < ip->obj_id) 102 return(-1); 103 if (info->obj_id > ip->obj_id) 104 return(1); 105 if (info->obj_asof < ip->obj_asof) 106 return(-1); 107 if (info->obj_asof > ip->obj_asof) 108 return(1); 109 return(0); 110 } 111 112 /* 113 * Used by hammer_scan_inode_snapshots() to locate all of an object's 114 * snapshots. Note that the asof field is not tested, which we can get 115 * away with because it is the lowest-priority field. 116 */ 117 static int 118 hammer_inode_info_cmp_all_history(hammer_inode_t ip, void *data) 119 { 120 hammer_inode_info_t info = data; 121 122 if (ip->obj_localization > info->obj_localization) 123 return(1); 124 if (ip->obj_localization < info->obj_localization) 125 return(-1); 126 if (ip->obj_id > info->obj_id) 127 return(1); 128 if (ip->obj_id < info->obj_id) 129 return(-1); 130 return(0); 131 } 132 133 /* 134 * Used by hammer_unload_pseudofs() to locate all inodes associated with 135 * a particular PFS. 136 */ 137 static int 138 hammer_inode_pfs_cmp(hammer_inode_t ip, void *data) 139 { 140 u_int32_t localization = *(u_int32_t *)data; 141 if (ip->obj_localization > localization) 142 return(1); 143 if (ip->obj_localization < localization) 144 return(-1); 145 return(0); 146 } 147 148 /* 149 * RB-Tree support for pseudofs structures 150 */ 151 static int 152 hammer_pfs_rb_compare(hammer_pseudofs_inmem_t p1, hammer_pseudofs_inmem_t p2) 153 { 154 if (p1->localization < p2->localization) 155 return(-1); 156 if (p1->localization > p2->localization) 157 return(1); 158 return(0); 159 } 160 161 162 RB_GENERATE(hammer_ino_rb_tree, hammer_inode, rb_node, hammer_ino_rb_compare); 163 RB_GENERATE_XLOOKUP(hammer_ino_rb_tree, INFO, hammer_inode, rb_node, 164 hammer_inode_info_cmp, hammer_inode_info_t); 165 RB_GENERATE2(hammer_pfs_rb_tree, hammer_pseudofs_inmem, rb_node, 166 hammer_pfs_rb_compare, u_int32_t, localization); 167 168 /* 169 * The kernel is not actively referencing this vnode but is still holding 170 * it cached. 171 * 172 * This is called from the frontend. 173 * 174 * MPALMOSTSAFE 175 */ 176 int 177 hammer_vop_inactive(struct vop_inactive_args *ap) 178 { 179 struct hammer_inode *ip = VTOI(ap->a_vp); 180 hammer_mount_t hmp; 181 182 /* 183 * Degenerate case 184 */ 185 if (ip == NULL) { 186 vrecycle(ap->a_vp); 187 return(0); 188 } 189 190 /* 191 * If the inode no longer has visibility in the filesystem try to 192 * recycle it immediately, even if the inode is dirty. Recycling 193 * it quickly allows the system to reclaim buffer cache and VM 194 * resources which can matter a lot in a heavily loaded system. 195 * 196 * This can deadlock in vfsync() if we aren't careful. 197 * 198 * Do not queue the inode to the flusher if we still have visibility, 199 * otherwise namespace calls such as chmod will unnecessarily generate 200 * multiple inode updates. 201 */ 202 if (ip->ino_data.nlinks == 0) { 203 hmp = ip->hmp; 204 lwkt_gettoken(&hmp->fs_token); 205 hammer_inode_unloadable_check(ip, 0); 206 if (ip->flags & HAMMER_INODE_MODMASK) 207 hammer_flush_inode(ip, 0); 208 lwkt_reltoken(&hmp->fs_token); 209 vrecycle(ap->a_vp); 210 } 211 return(0); 212 } 213 214 /* 215 * Release the vnode association. This is typically (but not always) 216 * the last reference on the inode. 217 * 218 * Once the association is lost we are on our own with regards to 219 * flushing the inode. 220 * 221 * We must interlock ip->vp so hammer_get_vnode() can avoid races. 222 */ 223 int 224 hammer_vop_reclaim(struct vop_reclaim_args *ap) 225 { 226 struct hammer_inode *ip; 227 hammer_mount_t hmp; 228 struct vnode *vp; 229 230 vp = ap->a_vp; 231 232 if ((ip = vp->v_data) != NULL) { 233 hmp = ip->hmp; 234 lwkt_gettoken(&hmp->fs_token); 235 hammer_lock_ex(&ip->lock); 236 vp->v_data = NULL; 237 ip->vp = NULL; 238 239 if ((ip->flags & HAMMER_INODE_RECLAIM) == 0) { 240 ++hammer_count_reclaims; 241 ++hmp->count_reclaims; 242 ip->flags |= HAMMER_INODE_RECLAIM; 243 } 244 hammer_unlock(&ip->lock); 245 hammer_rel_inode(ip, 1); 246 lwkt_reltoken(&hmp->fs_token); 247 } 248 return(0); 249 } 250 251 /* 252 * Return a locked vnode for the specified inode. The inode must be 253 * referenced but NOT LOCKED on entry and will remain referenced on 254 * return. 255 * 256 * Called from the frontend. 257 */ 258 int 259 hammer_get_vnode(struct hammer_inode *ip, struct vnode **vpp) 260 { 261 hammer_mount_t hmp; 262 struct vnode *vp; 263 int error = 0; 264 u_int8_t obj_type; 265 266 hmp = ip->hmp; 267 268 for (;;) { 269 if ((vp = ip->vp) == NULL) { 270 error = getnewvnode(VT_HAMMER, hmp->mp, vpp, 0, 0); 271 if (error) 272 break; 273 hammer_lock_ex(&ip->lock); 274 if (ip->vp != NULL) { 275 hammer_unlock(&ip->lock); 276 vp = *vpp; 277 vp->v_type = VBAD; 278 vx_put(vp); 279 continue; 280 } 281 hammer_ref(&ip->lock); 282 vp = *vpp; 283 ip->vp = vp; 284 285 obj_type = ip->ino_data.obj_type; 286 vp->v_type = hammer_get_vnode_type(obj_type); 287 288 hammer_inode_wakereclaims(ip); 289 290 switch(ip->ino_data.obj_type) { 291 case HAMMER_OBJTYPE_CDEV: 292 case HAMMER_OBJTYPE_BDEV: 293 vp->v_ops = &hmp->mp->mnt_vn_spec_ops; 294 addaliasu(vp, ip->ino_data.rmajor, 295 ip->ino_data.rminor); 296 break; 297 case HAMMER_OBJTYPE_FIFO: 298 vp->v_ops = &hmp->mp->mnt_vn_fifo_ops; 299 break; 300 case HAMMER_OBJTYPE_REGFILE: 301 break; 302 default: 303 break; 304 } 305 306 /* 307 * Only mark as the root vnode if the ip is not 308 * historical, otherwise the VFS cache will get 309 * confused. The other half of the special handling 310 * is in hammer_vop_nlookupdotdot(). 311 * 312 * Pseudo-filesystem roots can be accessed via 313 * non-root filesystem paths and setting VROOT may 314 * confuse the namecache. Set VPFSROOT instead. 315 */ 316 if (ip->obj_id == HAMMER_OBJID_ROOT && 317 ip->obj_asof == hmp->asof) { 318 if (ip->obj_localization == 0) 319 vsetflags(vp, VROOT); 320 else 321 vsetflags(vp, VPFSROOT); 322 } 323 324 vp->v_data = (void *)ip; 325 /* vnode locked by getnewvnode() */ 326 /* make related vnode dirty if inode dirty? */ 327 hammer_unlock(&ip->lock); 328 if (vp->v_type == VREG) { 329 vinitvmio(vp, ip->ino_data.size, 330 hammer_blocksize(ip->ino_data.size), 331 hammer_blockoff(ip->ino_data.size)); 332 } 333 break; 334 } 335 336 /* 337 * Interlock vnode clearing. This does not prevent the 338 * vnode from going into a reclaimed state but it does 339 * prevent it from being destroyed or reused so the vget() 340 * will properly fail. 341 */ 342 hammer_lock_ex(&ip->lock); 343 if ((vp = ip->vp) == NULL) { 344 hammer_unlock(&ip->lock); 345 continue; 346 } 347 vhold_interlocked(vp); 348 hammer_unlock(&ip->lock); 349 350 /* 351 * loop if the vget fails (aka races), or if the vp 352 * no longer matches ip->vp. 353 */ 354 if (vget(vp, LK_EXCLUSIVE) == 0) { 355 if (vp == ip->vp) { 356 vdrop(vp); 357 break; 358 } 359 vput(vp); 360 } 361 vdrop(vp); 362 } 363 *vpp = vp; 364 return(error); 365 } 366 367 /* 368 * Locate all copies of the inode for obj_id compatible with the specified 369 * asof, reference, and issue the related call-back. This routine is used 370 * for direct-io invalidation and does not create any new inodes. 371 */ 372 void 373 hammer_scan_inode_snapshots(hammer_mount_t hmp, hammer_inode_info_t iinfo, 374 int (*callback)(hammer_inode_t ip, void *data), 375 void *data) 376 { 377 hammer_ino_rb_tree_RB_SCAN(&hmp->rb_inos_root, 378 hammer_inode_info_cmp_all_history, 379 callback, iinfo); 380 } 381 382 /* 383 * Acquire a HAMMER inode. The returned inode is not locked. These functions 384 * do not attach or detach the related vnode (use hammer_get_vnode() for 385 * that). 386 * 387 * The flags argument is only applied for newly created inodes, and only 388 * certain flags are inherited. 389 * 390 * Called from the frontend. 391 */ 392 struct hammer_inode * 393 hammer_get_inode(hammer_transaction_t trans, hammer_inode_t dip, 394 int64_t obj_id, hammer_tid_t asof, u_int32_t localization, 395 int flags, int *errorp) 396 { 397 hammer_mount_t hmp = trans->hmp; 398 struct hammer_node_cache *cachep; 399 struct hammer_inode_info iinfo; 400 struct hammer_cursor cursor; 401 struct hammer_inode *ip; 402 403 404 /* 405 * Determine if we already have an inode cached. If we do then 406 * we are golden. 407 * 408 * If we find an inode with no vnode we have to mark the 409 * transaction such that hammer_inode_waitreclaims() is 410 * called later on to avoid building up an infinite number 411 * of inodes. Otherwise we can continue to * add new inodes 412 * faster then they can be disposed of, even with the tsleep 413 * delay. 414 * 415 * If we find a dummy inode we return a failure so dounlink 416 * (which does another lookup) doesn't try to mess with the 417 * link count. hammer_vop_nresolve() uses hammer_get_dummy_inode() 418 * to ref dummy inodes. 419 */ 420 iinfo.obj_id = obj_id; 421 iinfo.obj_asof = asof; 422 iinfo.obj_localization = localization; 423 loop: 424 ip = hammer_ino_rb_tree_RB_LOOKUP_INFO(&hmp->rb_inos_root, &iinfo); 425 if (ip) { 426 if (ip->flags & HAMMER_INODE_DUMMY) { 427 *errorp = ENOENT; 428 return(NULL); 429 } 430 hammer_ref(&ip->lock); 431 *errorp = 0; 432 return(ip); 433 } 434 435 /* 436 * Allocate a new inode structure and deal with races later. 437 */ 438 ip = kmalloc(sizeof(*ip), hmp->m_inodes, M_WAITOK|M_ZERO); 439 ++hammer_count_inodes; 440 ++hmp->count_inodes; 441 ip->obj_id = obj_id; 442 ip->obj_asof = iinfo.obj_asof; 443 ip->obj_localization = localization; 444 ip->hmp = hmp; 445 ip->flags = flags & HAMMER_INODE_RO; 446 ip->cache[0].ip = ip; 447 ip->cache[1].ip = ip; 448 ip->cache[2].ip = ip; 449 ip->cache[3].ip = ip; 450 if (hmp->ronly) 451 ip->flags |= HAMMER_INODE_RO; 452 ip->sync_trunc_off = ip->trunc_off = ip->save_trunc_off = 453 0x7FFFFFFFFFFFFFFFLL; 454 RB_INIT(&ip->rec_tree); 455 TAILQ_INIT(&ip->target_list); 456 hammer_ref(&ip->lock); 457 458 /* 459 * Locate the on-disk inode. If this is a PFS root we always 460 * access the current version of the root inode and (if it is not 461 * a master) always access information under it with a snapshot 462 * TID. 463 * 464 * We cache recent inode lookups in this directory in dip->cache[2]. 465 * If we can't find it we assume the inode we are looking for is 466 * close to the directory inode. 467 */ 468 retry: 469 cachep = NULL; 470 if (dip) { 471 if (dip->cache[2].node) 472 cachep = &dip->cache[2]; 473 else 474 cachep = &dip->cache[0]; 475 } 476 hammer_init_cursor(trans, &cursor, cachep, NULL); 477 cursor.key_beg.localization = localization + HAMMER_LOCALIZE_INODE; 478 cursor.key_beg.obj_id = ip->obj_id; 479 cursor.key_beg.key = 0; 480 cursor.key_beg.create_tid = 0; 481 cursor.key_beg.delete_tid = 0; 482 cursor.key_beg.rec_type = HAMMER_RECTYPE_INODE; 483 cursor.key_beg.obj_type = 0; 484 485 cursor.asof = iinfo.obj_asof; 486 cursor.flags = HAMMER_CURSOR_GET_LEAF | HAMMER_CURSOR_GET_DATA | 487 HAMMER_CURSOR_ASOF; 488 489 *errorp = hammer_btree_lookup(&cursor); 490 if (*errorp == EDEADLK) { 491 hammer_done_cursor(&cursor); 492 goto retry; 493 } 494 495 /* 496 * On success the B-Tree lookup will hold the appropriate 497 * buffer cache buffers and provide a pointer to the requested 498 * information. Copy the information to the in-memory inode 499 * and cache the B-Tree node to improve future operations. 500 */ 501 if (*errorp == 0) { 502 ip->ino_leaf = cursor.node->ondisk->elms[cursor.index].leaf; 503 ip->ino_data = cursor.data->inode; 504 505 /* 506 * cache[0] tries to cache the location of the object inode. 507 * The assumption is that it is near the directory inode. 508 * 509 * cache[1] tries to cache the location of the object data. 510 * We might have something in the governing directory from 511 * scan optimizations (see the strategy code in 512 * hammer_vnops.c). 513 * 514 * We update dip->cache[2], if possible, with the location 515 * of the object inode for future directory shortcuts. 516 */ 517 hammer_cache_node(&ip->cache[0], cursor.node); 518 if (dip) { 519 if (dip->cache[3].node) { 520 hammer_cache_node(&ip->cache[1], 521 dip->cache[3].node); 522 } 523 hammer_cache_node(&dip->cache[2], cursor.node); 524 } 525 526 /* 527 * The file should not contain any data past the file size 528 * stored in the inode. Setting save_trunc_off to the 529 * file size instead of max reduces B-Tree lookup overheads 530 * on append by allowing the flusher to avoid checking for 531 * record overwrites. 532 */ 533 ip->save_trunc_off = ip->ino_data.size; 534 535 /* 536 * Locate and assign the pseudofs management structure to 537 * the inode. 538 */ 539 if (dip && dip->obj_localization == ip->obj_localization) { 540 ip->pfsm = dip->pfsm; 541 hammer_ref(&ip->pfsm->lock); 542 } else { 543 ip->pfsm = hammer_load_pseudofs(trans, 544 ip->obj_localization, 545 errorp); 546 *errorp = 0; /* ignore ENOENT */ 547 } 548 } 549 550 /* 551 * The inode is placed on the red-black tree and will be synced to 552 * the media when flushed or by the filesystem sync. If this races 553 * another instantiation/lookup the insertion will fail. 554 */ 555 if (*errorp == 0) { 556 if (RB_INSERT(hammer_ino_rb_tree, &hmp->rb_inos_root, ip)) { 557 hammer_free_inode(ip); 558 hammer_done_cursor(&cursor); 559 goto loop; 560 } 561 ip->flags |= HAMMER_INODE_ONDISK; 562 } else { 563 if (ip->flags & HAMMER_INODE_RSV_INODES) { 564 ip->flags &= ~HAMMER_INODE_RSV_INODES; /* sanity */ 565 --hmp->rsv_inodes; 566 } 567 568 hammer_free_inode(ip); 569 ip = NULL; 570 } 571 hammer_done_cursor(&cursor); 572 573 /* 574 * NEWINODE is only set if the inode becomes dirty later, 575 * setting it here just leads to unnecessary stalls. 576 * 577 * trans->flags |= HAMMER_TRANSF_NEWINODE; 578 */ 579 return (ip); 580 } 581 582 /* 583 * Get a dummy inode to placemark a broken directory entry. 584 */ 585 struct hammer_inode * 586 hammer_get_dummy_inode(hammer_transaction_t trans, hammer_inode_t dip, 587 int64_t obj_id, hammer_tid_t asof, u_int32_t localization, 588 int flags, int *errorp) 589 { 590 hammer_mount_t hmp = trans->hmp; 591 struct hammer_inode_info iinfo; 592 struct hammer_inode *ip; 593 594 /* 595 * Determine if we already have an inode cached. If we do then 596 * we are golden. 597 * 598 * If we find an inode with no vnode we have to mark the 599 * transaction such that hammer_inode_waitreclaims() is 600 * called later on to avoid building up an infinite number 601 * of inodes. Otherwise we can continue to * add new inodes 602 * faster then they can be disposed of, even with the tsleep 603 * delay. 604 * 605 * If we find a non-fake inode we return an error. Only fake 606 * inodes can be returned by this routine. 607 */ 608 iinfo.obj_id = obj_id; 609 iinfo.obj_asof = asof; 610 iinfo.obj_localization = localization; 611 loop: 612 *errorp = 0; 613 ip = hammer_ino_rb_tree_RB_LOOKUP_INFO(&hmp->rb_inos_root, &iinfo); 614 if (ip) { 615 if ((ip->flags & HAMMER_INODE_DUMMY) == 0) { 616 *errorp = ENOENT; 617 return(NULL); 618 } 619 hammer_ref(&ip->lock); 620 return(ip); 621 } 622 623 /* 624 * Allocate a new inode structure and deal with races later. 625 */ 626 ip = kmalloc(sizeof(*ip), hmp->m_inodes, M_WAITOK|M_ZERO); 627 ++hammer_count_inodes; 628 ++hmp->count_inodes; 629 ip->obj_id = obj_id; 630 ip->obj_asof = iinfo.obj_asof; 631 ip->obj_localization = localization; 632 ip->hmp = hmp; 633 ip->flags = flags | HAMMER_INODE_RO | HAMMER_INODE_DUMMY; 634 ip->cache[0].ip = ip; 635 ip->cache[1].ip = ip; 636 ip->cache[2].ip = ip; 637 ip->cache[3].ip = ip; 638 ip->sync_trunc_off = ip->trunc_off = ip->save_trunc_off = 639 0x7FFFFFFFFFFFFFFFLL; 640 RB_INIT(&ip->rec_tree); 641 TAILQ_INIT(&ip->target_list); 642 hammer_ref(&ip->lock); 643 644 /* 645 * Populate the dummy inode. Leave everything zero'd out. 646 * 647 * (ip->ino_leaf and ip->ino_data) 648 * 649 * Make the dummy inode a FIFO object which most copy programs 650 * will properly ignore. 651 */ 652 ip->save_trunc_off = ip->ino_data.size; 653 ip->ino_data.obj_type = HAMMER_OBJTYPE_FIFO; 654 655 /* 656 * Locate and assign the pseudofs management structure to 657 * the inode. 658 */ 659 if (dip && dip->obj_localization == ip->obj_localization) { 660 ip->pfsm = dip->pfsm; 661 hammer_ref(&ip->pfsm->lock); 662 } else { 663 ip->pfsm = hammer_load_pseudofs(trans, ip->obj_localization, 664 errorp); 665 *errorp = 0; /* ignore ENOENT */ 666 } 667 668 /* 669 * The inode is placed on the red-black tree and will be synced to 670 * the media when flushed or by the filesystem sync. If this races 671 * another instantiation/lookup the insertion will fail. 672 * 673 * NOTE: Do not set HAMMER_INODE_ONDISK. The inode is a fake. 674 */ 675 if (*errorp == 0) { 676 if (RB_INSERT(hammer_ino_rb_tree, &hmp->rb_inos_root, ip)) { 677 hammer_free_inode(ip); 678 goto loop; 679 } 680 } else { 681 if (ip->flags & HAMMER_INODE_RSV_INODES) { 682 ip->flags &= ~HAMMER_INODE_RSV_INODES; /* sanity */ 683 --hmp->rsv_inodes; 684 } 685 hammer_free_inode(ip); 686 ip = NULL; 687 } 688 trans->flags |= HAMMER_TRANSF_NEWINODE; 689 return (ip); 690 } 691 692 /* 693 * Return a referenced inode only if it is in our inode cache. 694 * 695 * Dummy inodes do not count. 696 */ 697 struct hammer_inode * 698 hammer_find_inode(hammer_transaction_t trans, int64_t obj_id, 699 hammer_tid_t asof, u_int32_t localization) 700 { 701 hammer_mount_t hmp = trans->hmp; 702 struct hammer_inode_info iinfo; 703 struct hammer_inode *ip; 704 705 iinfo.obj_id = obj_id; 706 iinfo.obj_asof = asof; 707 iinfo.obj_localization = localization; 708 709 ip = hammer_ino_rb_tree_RB_LOOKUP_INFO(&hmp->rb_inos_root, &iinfo); 710 if (ip) { 711 if (ip->flags & HAMMER_INODE_DUMMY) 712 ip = NULL; 713 else 714 hammer_ref(&ip->lock); 715 } 716 return(ip); 717 } 718 719 /* 720 * Create a new filesystem object, returning the inode in *ipp. The 721 * returned inode will be referenced. The inode is created in-memory. 722 * 723 * If pfsm is non-NULL the caller wishes to create the root inode for 724 * a master PFS. 725 */ 726 int 727 hammer_create_inode(hammer_transaction_t trans, struct vattr *vap, 728 struct ucred *cred, 729 hammer_inode_t dip, const char *name, int namelen, 730 hammer_pseudofs_inmem_t pfsm, struct hammer_inode **ipp) 731 { 732 hammer_mount_t hmp; 733 hammer_inode_t ip; 734 uid_t xuid; 735 int error; 736 int64_t namekey; 737 u_int32_t dummy; 738 739 hmp = trans->hmp; 740 741 ip = kmalloc(sizeof(*ip), hmp->m_inodes, M_WAITOK|M_ZERO); 742 ++hammer_count_inodes; 743 ++hmp->count_inodes; 744 trans->flags |= HAMMER_TRANSF_NEWINODE; 745 746 if (pfsm) { 747 KKASSERT(pfsm->localization != 0); 748 ip->obj_id = HAMMER_OBJID_ROOT; 749 ip->obj_localization = pfsm->localization; 750 } else { 751 KKASSERT(dip != NULL); 752 namekey = hammer_directory_namekey(dip, name, namelen, &dummy); 753 ip->obj_id = hammer_alloc_objid(hmp, dip, namekey); 754 ip->obj_localization = dip->obj_localization; 755 } 756 757 KKASSERT(ip->obj_id != 0); 758 ip->obj_asof = hmp->asof; 759 ip->hmp = hmp; 760 ip->flush_state = HAMMER_FST_IDLE; 761 ip->flags = HAMMER_INODE_DDIRTY | 762 HAMMER_INODE_ATIME | HAMMER_INODE_MTIME; 763 ip->cache[0].ip = ip; 764 ip->cache[1].ip = ip; 765 ip->cache[2].ip = ip; 766 ip->cache[3].ip = ip; 767 768 ip->trunc_off = 0x7FFFFFFFFFFFFFFFLL; 769 /* ip->save_trunc_off = 0; (already zero) */ 770 RB_INIT(&ip->rec_tree); 771 TAILQ_INIT(&ip->target_list); 772 773 ip->ino_data.atime = trans->time; 774 ip->ino_data.mtime = trans->time; 775 ip->ino_data.size = 0; 776 ip->ino_data.nlinks = 0; 777 778 /* 779 * A nohistory designator on the parent directory is inherited by 780 * the child. We will do this even for pseudo-fs creation... the 781 * sysad can turn it off. 782 */ 783 if (dip) { 784 ip->ino_data.uflags = dip->ino_data.uflags & 785 (SF_NOHISTORY|UF_NOHISTORY|UF_NODUMP); 786 } 787 788 ip->ino_leaf.base.btype = HAMMER_BTREE_TYPE_RECORD; 789 ip->ino_leaf.base.localization = ip->obj_localization + 790 HAMMER_LOCALIZE_INODE; 791 ip->ino_leaf.base.obj_id = ip->obj_id; 792 ip->ino_leaf.base.key = 0; 793 ip->ino_leaf.base.create_tid = 0; 794 ip->ino_leaf.base.delete_tid = 0; 795 ip->ino_leaf.base.rec_type = HAMMER_RECTYPE_INODE; 796 ip->ino_leaf.base.obj_type = hammer_get_obj_type(vap->va_type); 797 798 ip->ino_data.obj_type = ip->ino_leaf.base.obj_type; 799 ip->ino_data.version = HAMMER_INODE_DATA_VERSION; 800 ip->ino_data.mode = vap->va_mode; 801 ip->ino_data.ctime = trans->time; 802 803 /* 804 * If we are running version 2 or greater directory entries are 805 * inode-localized instead of data-localized. 806 */ 807 if (trans->hmp->version >= HAMMER_VOL_VERSION_TWO) { 808 if (ip->ino_leaf.base.obj_type == HAMMER_OBJTYPE_DIRECTORY) { 809 ip->ino_data.cap_flags |= 810 HAMMER_INODE_CAP_DIR_LOCAL_INO; 811 } 812 } 813 if (trans->hmp->version >= HAMMER_VOL_VERSION_SIX) { 814 if (ip->ino_leaf.base.obj_type == HAMMER_OBJTYPE_DIRECTORY) { 815 ip->ino_data.cap_flags |= 816 HAMMER_INODE_CAP_DIRHASH_ALG1; 817 } 818 } 819 820 /* 821 * Setup the ".." pointer. This only needs to be done for directories 822 * but we do it for all objects as a recovery aid. 823 */ 824 if (dip) 825 ip->ino_data.parent_obj_id = dip->ino_leaf.base.obj_id; 826 #if 0 827 /* 828 * The parent_obj_localization field only applies to pseudo-fs roots. 829 * XXX this is no longer applicable, PFSs are no longer directly 830 * tied into the parent's directory structure. 831 */ 832 if (ip->ino_data.obj_type == HAMMER_OBJTYPE_DIRECTORY && 833 ip->obj_id == HAMMER_OBJID_ROOT) { 834 ip->ino_data.ext.obj.parent_obj_localization = 835 dip->obj_localization; 836 } 837 #endif 838 839 switch(ip->ino_leaf.base.obj_type) { 840 case HAMMER_OBJTYPE_CDEV: 841 case HAMMER_OBJTYPE_BDEV: 842 ip->ino_data.rmajor = vap->va_rmajor; 843 ip->ino_data.rminor = vap->va_rminor; 844 break; 845 default: 846 break; 847 } 848 849 /* 850 * Calculate default uid/gid and overwrite with information from 851 * the vap. 852 */ 853 if (dip) { 854 xuid = hammer_to_unix_xid(&dip->ino_data.uid); 855 xuid = vop_helper_create_uid(hmp->mp, dip->ino_data.mode, 856 xuid, cred, &vap->va_mode); 857 } else { 858 xuid = 0; 859 } 860 ip->ino_data.mode = vap->va_mode; 861 862 if (vap->va_vaflags & VA_UID_UUID_VALID) 863 ip->ino_data.uid = vap->va_uid_uuid; 864 else if (vap->va_uid != (uid_t)VNOVAL) 865 hammer_guid_to_uuid(&ip->ino_data.uid, vap->va_uid); 866 else 867 hammer_guid_to_uuid(&ip->ino_data.uid, xuid); 868 869 if (vap->va_vaflags & VA_GID_UUID_VALID) 870 ip->ino_data.gid = vap->va_gid_uuid; 871 else if (vap->va_gid != (gid_t)VNOVAL) 872 hammer_guid_to_uuid(&ip->ino_data.gid, vap->va_gid); 873 else if (dip) 874 ip->ino_data.gid = dip->ino_data.gid; 875 876 hammer_ref(&ip->lock); 877 878 if (pfsm) { 879 ip->pfsm = pfsm; 880 hammer_ref(&pfsm->lock); 881 error = 0; 882 } else if (dip->obj_localization == ip->obj_localization) { 883 ip->pfsm = dip->pfsm; 884 hammer_ref(&ip->pfsm->lock); 885 error = 0; 886 } else { 887 ip->pfsm = hammer_load_pseudofs(trans, 888 ip->obj_localization, 889 &error); 890 error = 0; /* ignore ENOENT */ 891 } 892 893 if (error) { 894 hammer_free_inode(ip); 895 ip = NULL; 896 } else if (RB_INSERT(hammer_ino_rb_tree, &hmp->rb_inos_root, ip)) { 897 panic("hammer_create_inode: duplicate obj_id %llx", 898 (long long)ip->obj_id); 899 /* not reached */ 900 hammer_free_inode(ip); 901 } 902 *ipp = ip; 903 return(error); 904 } 905 906 /* 907 * Final cleanup / freeing of an inode structure 908 */ 909 static void 910 hammer_free_inode(hammer_inode_t ip) 911 { 912 struct hammer_mount *hmp; 913 914 hmp = ip->hmp; 915 KKASSERT(hammer_oneref(&ip->lock)); 916 hammer_uncache_node(&ip->cache[0]); 917 hammer_uncache_node(&ip->cache[1]); 918 hammer_uncache_node(&ip->cache[2]); 919 hammer_uncache_node(&ip->cache[3]); 920 hammer_inode_wakereclaims(ip); 921 if (ip->objid_cache) 922 hammer_clear_objid(ip); 923 --hammer_count_inodes; 924 --hmp->count_inodes; 925 if (ip->pfsm) { 926 hammer_rel_pseudofs(hmp, ip->pfsm); 927 ip->pfsm = NULL; 928 } 929 kfree(ip, hmp->m_inodes); 930 ip = NULL; 931 } 932 933 /* 934 * Retrieve pseudo-fs data. NULL will never be returned. 935 * 936 * If an error occurs *errorp will be set and a default template is returned, 937 * otherwise *errorp is set to 0. Typically when an error occurs it will 938 * be ENOENT. 939 */ 940 hammer_pseudofs_inmem_t 941 hammer_load_pseudofs(hammer_transaction_t trans, 942 u_int32_t localization, int *errorp) 943 { 944 hammer_mount_t hmp = trans->hmp; 945 hammer_inode_t ip; 946 hammer_pseudofs_inmem_t pfsm; 947 struct hammer_cursor cursor; 948 int bytes; 949 950 retry: 951 pfsm = RB_LOOKUP(hammer_pfs_rb_tree, &hmp->rb_pfsm_root, localization); 952 if (pfsm) { 953 hammer_ref(&pfsm->lock); 954 *errorp = 0; 955 return(pfsm); 956 } 957 958 /* 959 * PFS records are stored in the root inode (not the PFS root inode, 960 * but the real root). Avoid an infinite recursion if loading 961 * the PFS for the real root. 962 */ 963 if (localization) { 964 ip = hammer_get_inode(trans, NULL, HAMMER_OBJID_ROOT, 965 HAMMER_MAX_TID, 966 HAMMER_DEF_LOCALIZATION, 0, errorp); 967 } else { 968 ip = NULL; 969 } 970 971 pfsm = kmalloc(sizeof(*pfsm), hmp->m_misc, M_WAITOK | M_ZERO); 972 pfsm->localization = localization; 973 pfsm->pfsd.unique_uuid = trans->rootvol->ondisk->vol_fsid; 974 pfsm->pfsd.shared_uuid = pfsm->pfsd.unique_uuid; 975 976 hammer_init_cursor(trans, &cursor, (ip ? &ip->cache[1] : NULL), ip); 977 cursor.key_beg.localization = HAMMER_DEF_LOCALIZATION + 978 HAMMER_LOCALIZE_MISC; 979 cursor.key_beg.obj_id = HAMMER_OBJID_ROOT; 980 cursor.key_beg.create_tid = 0; 981 cursor.key_beg.delete_tid = 0; 982 cursor.key_beg.rec_type = HAMMER_RECTYPE_PFS; 983 cursor.key_beg.obj_type = 0; 984 cursor.key_beg.key = localization; 985 cursor.asof = HAMMER_MAX_TID; 986 cursor.flags |= HAMMER_CURSOR_ASOF; 987 988 if (ip) 989 *errorp = hammer_ip_lookup(&cursor); 990 else 991 *errorp = hammer_btree_lookup(&cursor); 992 if (*errorp == 0) { 993 *errorp = hammer_ip_resolve_data(&cursor); 994 if (*errorp == 0) { 995 if (cursor.data->pfsd.mirror_flags & 996 HAMMER_PFSD_DELETED) { 997 *errorp = ENOENT; 998 } else { 999 bytes = cursor.leaf->data_len; 1000 if (bytes > sizeof(pfsm->pfsd)) 1001 bytes = sizeof(pfsm->pfsd); 1002 bcopy(cursor.data, &pfsm->pfsd, bytes); 1003 } 1004 } 1005 } 1006 hammer_done_cursor(&cursor); 1007 1008 pfsm->fsid_udev = hammer_fsid_to_udev(&pfsm->pfsd.shared_uuid); 1009 hammer_ref(&pfsm->lock); 1010 if (ip) 1011 hammer_rel_inode(ip, 0); 1012 if (RB_INSERT(hammer_pfs_rb_tree, &hmp->rb_pfsm_root, pfsm)) { 1013 kfree(pfsm, hmp->m_misc); 1014 goto retry; 1015 } 1016 return(pfsm); 1017 } 1018 1019 /* 1020 * Store pseudo-fs data. The backend will automatically delete any prior 1021 * on-disk pseudo-fs data but we have to delete in-memory versions. 1022 */ 1023 int 1024 hammer_save_pseudofs(hammer_transaction_t trans, hammer_pseudofs_inmem_t pfsm) 1025 { 1026 struct hammer_cursor cursor; 1027 hammer_record_t record; 1028 hammer_inode_t ip; 1029 int error; 1030 1031 ip = hammer_get_inode(trans, NULL, HAMMER_OBJID_ROOT, HAMMER_MAX_TID, 1032 HAMMER_DEF_LOCALIZATION, 0, &error); 1033 retry: 1034 pfsm->fsid_udev = hammer_fsid_to_udev(&pfsm->pfsd.shared_uuid); 1035 hammer_init_cursor(trans, &cursor, &ip->cache[1], ip); 1036 cursor.key_beg.localization = ip->obj_localization + 1037 HAMMER_LOCALIZE_MISC; 1038 cursor.key_beg.obj_id = HAMMER_OBJID_ROOT; 1039 cursor.key_beg.create_tid = 0; 1040 cursor.key_beg.delete_tid = 0; 1041 cursor.key_beg.rec_type = HAMMER_RECTYPE_PFS; 1042 cursor.key_beg.obj_type = 0; 1043 cursor.key_beg.key = pfsm->localization; 1044 cursor.asof = HAMMER_MAX_TID; 1045 cursor.flags |= HAMMER_CURSOR_ASOF; 1046 1047 /* 1048 * Replace any in-memory version of the record. 1049 */ 1050 error = hammer_ip_lookup(&cursor); 1051 if (error == 0 && hammer_cursor_inmem(&cursor)) { 1052 record = cursor.iprec; 1053 if (record->flags & HAMMER_RECF_INTERLOCK_BE) { 1054 KKASSERT(cursor.deadlk_rec == NULL); 1055 hammer_ref(&record->lock); 1056 cursor.deadlk_rec = record; 1057 error = EDEADLK; 1058 } else { 1059 record->flags |= HAMMER_RECF_DELETED_FE; 1060 error = 0; 1061 } 1062 } 1063 1064 /* 1065 * Allocate replacement general record. The backend flush will 1066 * delete any on-disk version of the record. 1067 */ 1068 if (error == 0 || error == ENOENT) { 1069 record = hammer_alloc_mem_record(ip, sizeof(pfsm->pfsd)); 1070 record->type = HAMMER_MEM_RECORD_GENERAL; 1071 1072 record->leaf.base.localization = ip->obj_localization + 1073 HAMMER_LOCALIZE_MISC; 1074 record->leaf.base.rec_type = HAMMER_RECTYPE_PFS; 1075 record->leaf.base.key = pfsm->localization; 1076 record->leaf.data_len = sizeof(pfsm->pfsd); 1077 bcopy(&pfsm->pfsd, record->data, sizeof(pfsm->pfsd)); 1078 error = hammer_ip_add_record(trans, record); 1079 } 1080 hammer_done_cursor(&cursor); 1081 if (error == EDEADLK) 1082 goto retry; 1083 hammer_rel_inode(ip, 0); 1084 return(error); 1085 } 1086 1087 /* 1088 * Create a root directory for a PFS if one does not alredy exist. 1089 * 1090 * The PFS root stands alone so we must also bump the nlinks count 1091 * to prevent it from being destroyed on release. 1092 */ 1093 int 1094 hammer_mkroot_pseudofs(hammer_transaction_t trans, struct ucred *cred, 1095 hammer_pseudofs_inmem_t pfsm) 1096 { 1097 hammer_inode_t ip; 1098 struct vattr vap; 1099 int error; 1100 1101 ip = hammer_get_inode(trans, NULL, HAMMER_OBJID_ROOT, HAMMER_MAX_TID, 1102 pfsm->localization, 0, &error); 1103 if (ip == NULL) { 1104 vattr_null(&vap); 1105 vap.va_mode = 0755; 1106 vap.va_type = VDIR; 1107 error = hammer_create_inode(trans, &vap, cred, 1108 NULL, NULL, 0, 1109 pfsm, &ip); 1110 if (error == 0) { 1111 ++ip->ino_data.nlinks; 1112 hammer_modify_inode(trans, ip, HAMMER_INODE_DDIRTY); 1113 } 1114 } 1115 if (ip) 1116 hammer_rel_inode(ip, 0); 1117 return(error); 1118 } 1119 1120 /* 1121 * Unload any vnodes & inodes associated with a PFS, return ENOTEMPTY 1122 * if we are unable to disassociate all the inodes. 1123 */ 1124 static 1125 int 1126 hammer_unload_pseudofs_callback(hammer_inode_t ip, void *data) 1127 { 1128 int res; 1129 1130 hammer_ref(&ip->lock); 1131 if (hammer_isactive(&ip->lock) == 2 && ip->vp) 1132 vclean_unlocked(ip->vp); 1133 if (hammer_isactive(&ip->lock) == 1 && ip->vp == NULL) 1134 res = 0; 1135 else 1136 res = -1; /* stop, someone is using the inode */ 1137 hammer_rel_inode(ip, 0); 1138 return(res); 1139 } 1140 1141 int 1142 hammer_unload_pseudofs(hammer_transaction_t trans, u_int32_t localization) 1143 { 1144 int res; 1145 int try; 1146 1147 for (try = res = 0; try < 4; ++try) { 1148 res = hammer_ino_rb_tree_RB_SCAN(&trans->hmp->rb_inos_root, 1149 hammer_inode_pfs_cmp, 1150 hammer_unload_pseudofs_callback, 1151 &localization); 1152 if (res == 0 && try > 1) 1153 break; 1154 hammer_flusher_sync(trans->hmp); 1155 } 1156 if (res != 0) 1157 res = ENOTEMPTY; 1158 return(res); 1159 } 1160 1161 1162 /* 1163 * Release a reference on a PFS 1164 */ 1165 void 1166 hammer_rel_pseudofs(hammer_mount_t hmp, hammer_pseudofs_inmem_t pfsm) 1167 { 1168 hammer_rel(&pfsm->lock); 1169 if (hammer_norefs(&pfsm->lock)) { 1170 RB_REMOVE(hammer_pfs_rb_tree, &hmp->rb_pfsm_root, pfsm); 1171 kfree(pfsm, hmp->m_misc); 1172 } 1173 } 1174 1175 /* 1176 * Called by hammer_sync_inode(). 1177 */ 1178 static int 1179 hammer_update_inode(hammer_cursor_t cursor, hammer_inode_t ip) 1180 { 1181 hammer_transaction_t trans = cursor->trans; 1182 hammer_record_t record; 1183 int error; 1184 int redirty; 1185 1186 retry: 1187 error = 0; 1188 1189 /* 1190 * If the inode has a presence on-disk then locate it and mark 1191 * it deleted, setting DELONDISK. 1192 * 1193 * The record may or may not be physically deleted, depending on 1194 * the retention policy. 1195 */ 1196 if ((ip->flags & (HAMMER_INODE_ONDISK|HAMMER_INODE_DELONDISK)) == 1197 HAMMER_INODE_ONDISK) { 1198 hammer_normalize_cursor(cursor); 1199 cursor->key_beg.localization = ip->obj_localization + 1200 HAMMER_LOCALIZE_INODE; 1201 cursor->key_beg.obj_id = ip->obj_id; 1202 cursor->key_beg.key = 0; 1203 cursor->key_beg.create_tid = 0; 1204 cursor->key_beg.delete_tid = 0; 1205 cursor->key_beg.rec_type = HAMMER_RECTYPE_INODE; 1206 cursor->key_beg.obj_type = 0; 1207 cursor->asof = ip->obj_asof; 1208 cursor->flags &= ~HAMMER_CURSOR_INITMASK; 1209 cursor->flags |= HAMMER_CURSOR_GET_LEAF | HAMMER_CURSOR_ASOF; 1210 cursor->flags |= HAMMER_CURSOR_BACKEND; 1211 1212 error = hammer_btree_lookup(cursor); 1213 if (hammer_debug_inode) 1214 kprintf("IPDEL %p %08x %d", ip, ip->flags, error); 1215 1216 if (error == 0) { 1217 error = hammer_ip_delete_record(cursor, ip, trans->tid); 1218 if (hammer_debug_inode) 1219 kprintf(" error %d\n", error); 1220 if (error == 0) { 1221 ip->flags |= HAMMER_INODE_DELONDISK; 1222 } 1223 if (cursor->node) 1224 hammer_cache_node(&ip->cache[0], cursor->node); 1225 } 1226 if (error == EDEADLK) { 1227 hammer_done_cursor(cursor); 1228 error = hammer_init_cursor(trans, cursor, 1229 &ip->cache[0], ip); 1230 if (hammer_debug_inode) 1231 kprintf("IPDED %p %d\n", ip, error); 1232 if (error == 0) 1233 goto retry; 1234 } 1235 } 1236 1237 /* 1238 * Ok, write out the initial record or a new record (after deleting 1239 * the old one), unless the DELETED flag is set. This routine will 1240 * clear DELONDISK if it writes out a record. 1241 * 1242 * Update our inode statistics if this is the first application of 1243 * the inode on-disk. 1244 */ 1245 if (error == 0 && (ip->flags & HAMMER_INODE_DELETED) == 0) { 1246 /* 1247 * Generate a record and write it to the media. We clean-up 1248 * the state before releasing so we do not have to set-up 1249 * a flush_group. 1250 */ 1251 record = hammer_alloc_mem_record(ip, 0); 1252 record->type = HAMMER_MEM_RECORD_INODE; 1253 record->flush_state = HAMMER_FST_FLUSH; 1254 record->leaf = ip->sync_ino_leaf; 1255 record->leaf.base.create_tid = trans->tid; 1256 record->leaf.data_len = sizeof(ip->sync_ino_data); 1257 record->leaf.create_ts = trans->time32; 1258 record->data = (void *)&ip->sync_ino_data; 1259 record->flags |= HAMMER_RECF_INTERLOCK_BE; 1260 1261 /* 1262 * If this flag is set we cannot sync the new file size 1263 * because we haven't finished related truncations. The 1264 * inode will be flushed in another flush group to finish 1265 * the job. 1266 */ 1267 if ((ip->flags & HAMMER_INODE_WOULDBLOCK) && 1268 ip->sync_ino_data.size != ip->ino_data.size) { 1269 redirty = 1; 1270 ip->sync_ino_data.size = ip->ino_data.size; 1271 } else { 1272 redirty = 0; 1273 } 1274 1275 for (;;) { 1276 error = hammer_ip_sync_record_cursor(cursor, record); 1277 if (hammer_debug_inode) 1278 kprintf("GENREC %p rec %08x %d\n", 1279 ip, record->flags, error); 1280 if (error != EDEADLK) 1281 break; 1282 hammer_done_cursor(cursor); 1283 error = hammer_init_cursor(trans, cursor, 1284 &ip->cache[0], ip); 1285 if (hammer_debug_inode) 1286 kprintf("GENREC reinit %d\n", error); 1287 if (error) 1288 break; 1289 } 1290 1291 /* 1292 * Note: The record was never on the inode's record tree 1293 * so just wave our hands importantly and destroy it. 1294 */ 1295 record->flags |= HAMMER_RECF_COMMITTED; 1296 record->flags &= ~HAMMER_RECF_INTERLOCK_BE; 1297 record->flush_state = HAMMER_FST_IDLE; 1298 ++ip->rec_generation; 1299 hammer_rel_mem_record(record); 1300 1301 /* 1302 * Finish up. 1303 */ 1304 if (error == 0) { 1305 if (hammer_debug_inode) 1306 kprintf("CLEANDELOND %p %08x\n", ip, ip->flags); 1307 ip->sync_flags &= ~(HAMMER_INODE_DDIRTY | 1308 HAMMER_INODE_SDIRTY | 1309 HAMMER_INODE_ATIME | 1310 HAMMER_INODE_MTIME); 1311 ip->flags &= ~HAMMER_INODE_DELONDISK; 1312 if (redirty) 1313 ip->sync_flags |= HAMMER_INODE_DDIRTY; 1314 1315 /* 1316 * Root volume count of inodes 1317 */ 1318 hammer_sync_lock_sh(trans); 1319 if ((ip->flags & HAMMER_INODE_ONDISK) == 0) { 1320 hammer_modify_volume_field(trans, 1321 trans->rootvol, 1322 vol0_stat_inodes); 1323 ++ip->hmp->rootvol->ondisk->vol0_stat_inodes; 1324 hammer_modify_volume_done(trans->rootvol); 1325 ip->flags |= HAMMER_INODE_ONDISK; 1326 if (hammer_debug_inode) 1327 kprintf("NOWONDISK %p\n", ip); 1328 } 1329 hammer_sync_unlock(trans); 1330 } 1331 } 1332 1333 /* 1334 * If the inode has been destroyed, clean out any left-over flags 1335 * that may have been set by the frontend. 1336 */ 1337 if (error == 0 && (ip->flags & HAMMER_INODE_DELETED)) { 1338 ip->sync_flags &= ~(HAMMER_INODE_DDIRTY | 1339 HAMMER_INODE_SDIRTY | 1340 HAMMER_INODE_ATIME | 1341 HAMMER_INODE_MTIME); 1342 } 1343 return(error); 1344 } 1345 1346 /* 1347 * Update only the itimes fields. 1348 * 1349 * ATIME can be updated without generating any UNDO. MTIME is updated 1350 * with UNDO so it is guaranteed to be synchronized properly in case of 1351 * a crash. 1352 * 1353 * Neither field is included in the B-Tree leaf element's CRC, which is how 1354 * we can get away with updating ATIME the way we do. 1355 */ 1356 static int 1357 hammer_update_itimes(hammer_cursor_t cursor, hammer_inode_t ip) 1358 { 1359 hammer_transaction_t trans = cursor->trans; 1360 int error; 1361 1362 retry: 1363 if ((ip->flags & (HAMMER_INODE_ONDISK|HAMMER_INODE_DELONDISK)) != 1364 HAMMER_INODE_ONDISK) { 1365 return(0); 1366 } 1367 1368 hammer_normalize_cursor(cursor); 1369 cursor->key_beg.localization = ip->obj_localization + 1370 HAMMER_LOCALIZE_INODE; 1371 cursor->key_beg.obj_id = ip->obj_id; 1372 cursor->key_beg.key = 0; 1373 cursor->key_beg.create_tid = 0; 1374 cursor->key_beg.delete_tid = 0; 1375 cursor->key_beg.rec_type = HAMMER_RECTYPE_INODE; 1376 cursor->key_beg.obj_type = 0; 1377 cursor->asof = ip->obj_asof; 1378 cursor->flags &= ~HAMMER_CURSOR_INITMASK; 1379 cursor->flags |= HAMMER_CURSOR_ASOF; 1380 cursor->flags |= HAMMER_CURSOR_GET_LEAF; 1381 cursor->flags |= HAMMER_CURSOR_GET_DATA; 1382 cursor->flags |= HAMMER_CURSOR_BACKEND; 1383 1384 error = hammer_btree_lookup(cursor); 1385 if (error == 0) { 1386 hammer_cache_node(&ip->cache[0], cursor->node); 1387 if (ip->sync_flags & HAMMER_INODE_MTIME) { 1388 /* 1389 * Updating MTIME requires an UNDO. Just cover 1390 * both atime and mtime. 1391 */ 1392 hammer_sync_lock_sh(trans); 1393 hammer_modify_buffer(trans, cursor->data_buffer, 1394 HAMMER_ITIMES_BASE(&cursor->data->inode), 1395 HAMMER_ITIMES_BYTES); 1396 cursor->data->inode.atime = ip->sync_ino_data.atime; 1397 cursor->data->inode.mtime = ip->sync_ino_data.mtime; 1398 hammer_modify_buffer_done(cursor->data_buffer); 1399 hammer_sync_unlock(trans); 1400 } else if (ip->sync_flags & HAMMER_INODE_ATIME) { 1401 /* 1402 * Updating atime only can be done in-place with 1403 * no UNDO. 1404 */ 1405 hammer_sync_lock_sh(trans); 1406 hammer_modify_buffer(trans, cursor->data_buffer, 1407 NULL, 0); 1408 cursor->data->inode.atime = ip->sync_ino_data.atime; 1409 hammer_modify_buffer_done(cursor->data_buffer); 1410 hammer_sync_unlock(trans); 1411 } 1412 ip->sync_flags &= ~(HAMMER_INODE_ATIME | HAMMER_INODE_MTIME); 1413 } 1414 if (error == EDEADLK) { 1415 hammer_done_cursor(cursor); 1416 error = hammer_init_cursor(trans, cursor, 1417 &ip->cache[0], ip); 1418 if (error == 0) 1419 goto retry; 1420 } 1421 return(error); 1422 } 1423 1424 /* 1425 * Release a reference on an inode, flush as requested. 1426 * 1427 * On the last reference we queue the inode to the flusher for its final 1428 * disposition. 1429 */ 1430 void 1431 hammer_rel_inode(struct hammer_inode *ip, int flush) 1432 { 1433 /*hammer_mount_t hmp = ip->hmp;*/ 1434 1435 /* 1436 * Handle disposition when dropping the last ref. 1437 */ 1438 for (;;) { 1439 if (hammer_oneref(&ip->lock)) { 1440 /* 1441 * Determine whether on-disk action is needed for 1442 * the inode's final disposition. 1443 */ 1444 KKASSERT(ip->vp == NULL); 1445 hammer_inode_unloadable_check(ip, 0); 1446 if (ip->flags & HAMMER_INODE_MODMASK) { 1447 hammer_flush_inode(ip, 0); 1448 } else if (hammer_oneref(&ip->lock)) { 1449 hammer_unload_inode(ip); 1450 break; 1451 } 1452 } else { 1453 if (flush) 1454 hammer_flush_inode(ip, 0); 1455 1456 /* 1457 * The inode still has multiple refs, try to drop 1458 * one ref. 1459 */ 1460 KKASSERT(hammer_isactive(&ip->lock) >= 1); 1461 if (hammer_isactive(&ip->lock) > 1) { 1462 hammer_rel(&ip->lock); 1463 break; 1464 } 1465 } 1466 } 1467 } 1468 1469 /* 1470 * Unload and destroy the specified inode. Must be called with one remaining 1471 * reference. The reference is disposed of. 1472 * 1473 * The inode must be completely clean. 1474 */ 1475 static int 1476 hammer_unload_inode(struct hammer_inode *ip) 1477 { 1478 hammer_mount_t hmp = ip->hmp; 1479 1480 KASSERT(hammer_oneref(&ip->lock), 1481 ("hammer_unload_inode: %d refs", hammer_isactive(&ip->lock))); 1482 KKASSERT(ip->vp == NULL); 1483 KKASSERT(ip->flush_state == HAMMER_FST_IDLE); 1484 KKASSERT(ip->cursor_ip_refs == 0); 1485 KKASSERT(hammer_notlocked(&ip->lock)); 1486 KKASSERT((ip->flags & HAMMER_INODE_MODMASK) == 0); 1487 1488 KKASSERT(RB_EMPTY(&ip->rec_tree)); 1489 KKASSERT(TAILQ_EMPTY(&ip->target_list)); 1490 1491 if (ip->flags & HAMMER_INODE_RDIRTY) { 1492 RB_REMOVE(hammer_redo_rb_tree, &hmp->rb_redo_root, ip); 1493 ip->flags &= ~HAMMER_INODE_RDIRTY; 1494 } 1495 RB_REMOVE(hammer_ino_rb_tree, &hmp->rb_inos_root, ip); 1496 1497 hammer_free_inode(ip); 1498 return(0); 1499 } 1500 1501 /* 1502 * Called during unmounting if a critical error occured. The in-memory 1503 * inode and all related structures are destroyed. 1504 * 1505 * If a critical error did not occur the unmount code calls the standard 1506 * release and asserts that the inode is gone. 1507 */ 1508 int 1509 hammer_destroy_inode_callback(struct hammer_inode *ip, void *data __unused) 1510 { 1511 hammer_record_t rec; 1512 1513 /* 1514 * Get rid of the inodes in-memory records, regardless of their 1515 * state, and clear the mod-mask. 1516 */ 1517 while ((rec = TAILQ_FIRST(&ip->target_list)) != NULL) { 1518 TAILQ_REMOVE(&ip->target_list, rec, target_entry); 1519 rec->target_ip = NULL; 1520 if (rec->flush_state == HAMMER_FST_SETUP) 1521 rec->flush_state = HAMMER_FST_IDLE; 1522 } 1523 while ((rec = RB_ROOT(&ip->rec_tree)) != NULL) { 1524 if (rec->flush_state == HAMMER_FST_FLUSH) 1525 --rec->flush_group->refs; 1526 else 1527 hammer_ref(&rec->lock); 1528 KKASSERT(hammer_oneref(&rec->lock)); 1529 rec->flush_state = HAMMER_FST_IDLE; 1530 rec->flush_group = NULL; 1531 rec->flags |= HAMMER_RECF_DELETED_FE; /* wave hands */ 1532 rec->flags |= HAMMER_RECF_DELETED_BE; /* wave hands */ 1533 ++ip->rec_generation; 1534 hammer_rel_mem_record(rec); 1535 } 1536 ip->flags &= ~HAMMER_INODE_MODMASK; 1537 ip->sync_flags &= ~HAMMER_INODE_MODMASK; 1538 KKASSERT(ip->vp == NULL); 1539 1540 /* 1541 * Remove the inode from any flush group, force it idle. FLUSH 1542 * and SETUP states have an inode ref. 1543 */ 1544 switch(ip->flush_state) { 1545 case HAMMER_FST_FLUSH: 1546 RB_REMOVE(hammer_fls_rb_tree, &ip->flush_group->flush_tree, ip); 1547 --ip->flush_group->refs; 1548 ip->flush_group = NULL; 1549 /* fall through */ 1550 case HAMMER_FST_SETUP: 1551 hammer_rel(&ip->lock); 1552 ip->flush_state = HAMMER_FST_IDLE; 1553 /* fall through */ 1554 case HAMMER_FST_IDLE: 1555 break; 1556 } 1557 1558 /* 1559 * There shouldn't be any associated vnode. The unload needs at 1560 * least one ref, if we do have a vp steal its ip ref. 1561 */ 1562 if (ip->vp) { 1563 kprintf("hammer_destroy_inode_callback: Unexpected " 1564 "vnode association ip %p vp %p\n", ip, ip->vp); 1565 ip->vp->v_data = NULL; 1566 ip->vp = NULL; 1567 } else { 1568 hammer_ref(&ip->lock); 1569 } 1570 hammer_unload_inode(ip); 1571 return(0); 1572 } 1573 1574 /* 1575 * Called on mount -u when switching from RW to RO or vise-versa. Adjust 1576 * the read-only flag for cached inodes. 1577 * 1578 * This routine is called from a RB_SCAN(). 1579 */ 1580 int 1581 hammer_reload_inode(hammer_inode_t ip, void *arg __unused) 1582 { 1583 hammer_mount_t hmp = ip->hmp; 1584 1585 if (hmp->ronly || hmp->asof != HAMMER_MAX_TID) 1586 ip->flags |= HAMMER_INODE_RO; 1587 else 1588 ip->flags &= ~HAMMER_INODE_RO; 1589 return(0); 1590 } 1591 1592 /* 1593 * A transaction has modified an inode, requiring updates as specified by 1594 * the passed flags. 1595 * 1596 * HAMMER_INODE_DDIRTY: Inode data has been updated, not incl mtime/atime, 1597 * and not including size changes due to write-append 1598 * (but other size changes are included). 1599 * HAMMER_INODE_SDIRTY: Inode data has been updated, size changes due to 1600 * write-append. 1601 * HAMMER_INODE_XDIRTY: Dirty in-memory records 1602 * HAMMER_INODE_BUFS: Dirty buffer cache buffers 1603 * HAMMER_INODE_DELETED: Inode record/data must be deleted 1604 * HAMMER_INODE_ATIME/MTIME: mtime/atime has been updated 1605 */ 1606 void 1607 hammer_modify_inode(hammer_transaction_t trans, hammer_inode_t ip, int flags) 1608 { 1609 /* 1610 * ronly of 0 or 2 does not trigger assertion. 1611 * 2 is a special error state 1612 */ 1613 KKASSERT(ip->hmp->ronly != 1 || 1614 (flags & (HAMMER_INODE_DDIRTY | HAMMER_INODE_XDIRTY | 1615 HAMMER_INODE_SDIRTY | 1616 HAMMER_INODE_BUFS | HAMMER_INODE_DELETED | 1617 HAMMER_INODE_ATIME | HAMMER_INODE_MTIME)) == 0); 1618 if ((ip->flags & HAMMER_INODE_RSV_INODES) == 0) { 1619 ip->flags |= HAMMER_INODE_RSV_INODES; 1620 ++ip->hmp->rsv_inodes; 1621 } 1622 1623 /* 1624 * Set the NEWINODE flag in the transaction if the inode 1625 * transitions to a dirty state. This is used to track 1626 * the load on the inode cache. 1627 */ 1628 if (trans && 1629 (ip->flags & HAMMER_INODE_MODMASK) == 0 && 1630 (flags & HAMMER_INODE_MODMASK)) { 1631 trans->flags |= HAMMER_TRANSF_NEWINODE; 1632 } 1633 1634 ip->flags |= flags; 1635 } 1636 1637 /* 1638 * Attempt to quickly update the atime for a hammer inode. Return 0 on 1639 * success, -1 on failure. 1640 * 1641 * We attempt to update the atime with only the ip lock and not the 1642 * whole filesystem lock in order to improve concurrency. We can only 1643 * do this safely if the ATIME flag is already pending on the inode. 1644 * 1645 * This function is called via a vnops path (ip pointer is stable) without 1646 * fs_token held. 1647 */ 1648 int 1649 hammer_update_atime_quick(hammer_inode_t ip) 1650 { 1651 struct timeval tv; 1652 int res = -1; 1653 1654 if ((ip->flags & HAMMER_INODE_RO) || 1655 (ip->hmp->mp->mnt_flag & MNT_NOATIME)) { 1656 /* 1657 * Silently indicate success on read-only mount/snap 1658 */ 1659 res = 0; 1660 } else if (ip->flags & HAMMER_INODE_ATIME) { 1661 /* 1662 * Double check with inode lock held against backend. This 1663 * is only safe if all we need to do is update 1664 * ino_data.atime. 1665 */ 1666 getmicrotime(&tv); 1667 hammer_lock_ex(&ip->lock); 1668 if (ip->flags & HAMMER_INODE_ATIME) { 1669 ip->ino_data.atime = 1670 (unsigned long)tv.tv_sec * 1000000ULL + tv.tv_usec; 1671 res = 0; 1672 } 1673 hammer_unlock(&ip->lock); 1674 } 1675 return res; 1676 } 1677 1678 /* 1679 * Request that an inode be flushed. This whole mess cannot block and may 1680 * recurse (if not synchronous). Once requested HAMMER will attempt to 1681 * actively flush the inode until the flush can be done. 1682 * 1683 * The inode may already be flushing, or may be in a setup state. We can 1684 * place the inode in a flushing state if it is currently idle and flag it 1685 * to reflush if it is currently flushing. 1686 * 1687 * Upon return if the inode could not be flushed due to a setup 1688 * dependancy, then it will be automatically flushed when the dependancy 1689 * is satisfied. 1690 */ 1691 void 1692 hammer_flush_inode(hammer_inode_t ip, int flags) 1693 { 1694 hammer_mount_t hmp; 1695 hammer_flush_group_t flg; 1696 int good; 1697 1698 /* 1699 * fill_flush_group is the first flush group we may be able to 1700 * continue filling, it may be open or closed but it will always 1701 * be past the currently flushing (running) flg. 1702 * 1703 * next_flush_group is the next open flush group. 1704 */ 1705 hmp = ip->hmp; 1706 while ((flg = hmp->fill_flush_group) != NULL) { 1707 KKASSERT(flg->running == 0); 1708 if (flg->total_count + flg->refs <= ip->hmp->undo_rec_limit && 1709 flg->total_count <= hammer_autoflush) { 1710 break; 1711 } 1712 hmp->fill_flush_group = TAILQ_NEXT(flg, flush_entry); 1713 hammer_flusher_async(ip->hmp, flg); 1714 } 1715 if (flg == NULL) { 1716 flg = kmalloc(sizeof(*flg), hmp->m_misc, M_WAITOK|M_ZERO); 1717 flg->seq = hmp->flusher.next++; 1718 if (hmp->next_flush_group == NULL) 1719 hmp->next_flush_group = flg; 1720 if (hmp->fill_flush_group == NULL) 1721 hmp->fill_flush_group = flg; 1722 RB_INIT(&flg->flush_tree); 1723 TAILQ_INSERT_TAIL(&hmp->flush_group_list, flg, flush_entry); 1724 } 1725 1726 /* 1727 * Trivial 'nothing to flush' case. If the inode is in a SETUP 1728 * state we have to put it back into an IDLE state so we can 1729 * drop the extra ref. 1730 * 1731 * If we have a parent dependancy we must still fall through 1732 * so we can run it. 1733 */ 1734 if ((ip->flags & HAMMER_INODE_MODMASK) == 0) { 1735 if (ip->flush_state == HAMMER_FST_SETUP && 1736 TAILQ_EMPTY(&ip->target_list)) { 1737 ip->flush_state = HAMMER_FST_IDLE; 1738 hammer_rel_inode(ip, 0); 1739 } 1740 if (ip->flush_state == HAMMER_FST_IDLE) 1741 return; 1742 } 1743 1744 /* 1745 * Our flush action will depend on the current state. 1746 */ 1747 switch(ip->flush_state) { 1748 case HAMMER_FST_IDLE: 1749 /* 1750 * We have no dependancies and can flush immediately. Some 1751 * our children may not be flushable so we have to re-test 1752 * with that additional knowledge. 1753 */ 1754 hammer_flush_inode_core(ip, flg, flags); 1755 break; 1756 case HAMMER_FST_SETUP: 1757 /* 1758 * Recurse upwards through dependancies via target_list 1759 * and start their flusher actions going if possible. 1760 * 1761 * 'good' is our connectivity. -1 means we have none and 1762 * can't flush, 0 means there weren't any dependancies, and 1763 * 1 means we have good connectivity. 1764 */ 1765 good = hammer_setup_parent_inodes(ip, 0, flg); 1766 1767 if (good >= 0) { 1768 /* 1769 * We can continue if good >= 0. Determine how 1770 * many records under our inode can be flushed (and 1771 * mark them). 1772 */ 1773 hammer_flush_inode_core(ip, flg, flags); 1774 } else { 1775 /* 1776 * Parent has no connectivity, tell it to flush 1777 * us as soon as it does. 1778 * 1779 * The REFLUSH flag is also needed to trigger 1780 * dependancy wakeups. 1781 */ 1782 ip->flags |= HAMMER_INODE_CONN_DOWN | 1783 HAMMER_INODE_REFLUSH; 1784 if (flags & HAMMER_FLUSH_SIGNAL) { 1785 ip->flags |= HAMMER_INODE_RESIGNAL; 1786 hammer_flusher_async(ip->hmp, flg); 1787 } 1788 } 1789 break; 1790 case HAMMER_FST_FLUSH: 1791 /* 1792 * We are already flushing, flag the inode to reflush 1793 * if needed after it completes its current flush. 1794 * 1795 * The REFLUSH flag is also needed to trigger 1796 * dependancy wakeups. 1797 */ 1798 if ((ip->flags & HAMMER_INODE_REFLUSH) == 0) 1799 ip->flags |= HAMMER_INODE_REFLUSH; 1800 if (flags & HAMMER_FLUSH_SIGNAL) { 1801 ip->flags |= HAMMER_INODE_RESIGNAL; 1802 hammer_flusher_async(ip->hmp, flg); 1803 } 1804 break; 1805 } 1806 } 1807 1808 /* 1809 * Scan ip->target_list, which is a list of records owned by PARENTS to our 1810 * ip which reference our ip. 1811 * 1812 * XXX This is a huge mess of recursive code, but not one bit of it blocks 1813 * so for now do not ref/deref the structures. Note that if we use the 1814 * ref/rel code later, the rel CAN block. 1815 */ 1816 static int 1817 hammer_setup_parent_inodes(hammer_inode_t ip, int depth, 1818 hammer_flush_group_t flg) 1819 { 1820 hammer_record_t depend; 1821 int good; 1822 int r; 1823 1824 /* 1825 * If we hit our recursion limit and we have parent dependencies 1826 * We cannot continue. Returning < 0 will cause us to be flagged 1827 * for reflush. Returning -2 cuts off additional dependency checks 1828 * because they are likely to also hit the depth limit. 1829 * 1830 * We cannot return < 0 if there are no dependencies or there might 1831 * not be anything to wakeup (ip). 1832 */ 1833 if (depth == 20 && TAILQ_FIRST(&ip->target_list)) { 1834 krateprintf(&hammer_gen_krate, 1835 "HAMMER Warning: depth limit reached on " 1836 "setup recursion, inode %p %016llx\n", 1837 ip, (long long)ip->obj_id); 1838 return(-2); 1839 } 1840 1841 /* 1842 * Scan dependencies 1843 */ 1844 good = 0; 1845 TAILQ_FOREACH(depend, &ip->target_list, target_entry) { 1846 r = hammer_setup_parent_inodes_helper(depend, depth, flg); 1847 KKASSERT(depend->target_ip == ip); 1848 if (r < 0 && good == 0) 1849 good = -1; 1850 if (r > 0) 1851 good = 1; 1852 1853 /* 1854 * If we failed due to the recursion depth limit then stop 1855 * now. 1856 */ 1857 if (r == -2) 1858 break; 1859 } 1860 return(good); 1861 } 1862 1863 /* 1864 * This helper function takes a record representing the dependancy between 1865 * the parent inode and child inode. 1866 * 1867 * record->ip = parent inode 1868 * record->target_ip = child inode 1869 * 1870 * We are asked to recurse upwards and convert the record from SETUP 1871 * to FLUSH if possible. 1872 * 1873 * Return 1 if the record gives us connectivity 1874 * 1875 * Return 0 if the record is not relevant 1876 * 1877 * Return -1 if we can't resolve the dependancy and there is no connectivity. 1878 */ 1879 static int 1880 hammer_setup_parent_inodes_helper(hammer_record_t record, int depth, 1881 hammer_flush_group_t flg) 1882 { 1883 hammer_inode_t pip; 1884 int good; 1885 1886 KKASSERT(record->flush_state != HAMMER_FST_IDLE); 1887 pip = record->ip; 1888 1889 /* 1890 * If the record is already flushing, is it in our flush group? 1891 * 1892 * If it is in our flush group but it is a general record or a 1893 * delete-on-disk, it does not improve our connectivity (return 0), 1894 * and if the target inode is not trying to destroy itself we can't 1895 * allow the operation yet anyway (the second return -1). 1896 */ 1897 if (record->flush_state == HAMMER_FST_FLUSH) { 1898 /* 1899 * If not in our flush group ask the parent to reflush 1900 * us as soon as possible. 1901 */ 1902 if (record->flush_group != flg) { 1903 pip->flags |= HAMMER_INODE_REFLUSH; 1904 record->target_ip->flags |= HAMMER_INODE_CONN_DOWN; 1905 return(-1); 1906 } 1907 1908 /* 1909 * If in our flush group everything is already set up, 1910 * just return whether the record will improve our 1911 * visibility or not. 1912 */ 1913 if (record->type == HAMMER_MEM_RECORD_ADD) 1914 return(1); 1915 return(0); 1916 } 1917 1918 /* 1919 * It must be a setup record. Try to resolve the setup dependancies 1920 * by recursing upwards so we can place ip on the flush list. 1921 * 1922 * Limit ourselves to 20 levels of recursion to avoid blowing out 1923 * the kernel stack. If we hit the recursion limit we can't flush 1924 * until the parent flushes. The parent will flush independantly 1925 * on its own and ultimately a deep recursion will be resolved. 1926 */ 1927 KKASSERT(record->flush_state == HAMMER_FST_SETUP); 1928 1929 good = hammer_setup_parent_inodes(pip, depth + 1, flg); 1930 1931 /* 1932 * If good < 0 the parent has no connectivity and we cannot safely 1933 * flush the directory entry, which also means we can't flush our 1934 * ip. Flag us for downward recursion once the parent's 1935 * connectivity is resolved. Flag the parent for [re]flush or it 1936 * may not check for downward recursions. 1937 */ 1938 if (good < 0) { 1939 pip->flags |= HAMMER_INODE_REFLUSH; 1940 record->target_ip->flags |= HAMMER_INODE_CONN_DOWN; 1941 return(good); 1942 } 1943 1944 /* 1945 * We are go, place the parent inode in a flushing state so we can 1946 * place its record in a flushing state. Note that the parent 1947 * may already be flushing. The record must be in the same flush 1948 * group as the parent. 1949 */ 1950 if (pip->flush_state != HAMMER_FST_FLUSH) 1951 hammer_flush_inode_core(pip, flg, HAMMER_FLUSH_RECURSION); 1952 KKASSERT(pip->flush_state == HAMMER_FST_FLUSH); 1953 1954 /* 1955 * It is possible for a rename to create a loop in the recursion 1956 * and revisit a record. This will result in the record being 1957 * placed in a flush state unexpectedly. This check deals with 1958 * the case. 1959 */ 1960 if (record->flush_state == HAMMER_FST_FLUSH) { 1961 if (record->type == HAMMER_MEM_RECORD_ADD) 1962 return(1); 1963 return(0); 1964 } 1965 1966 KKASSERT(record->flush_state == HAMMER_FST_SETUP); 1967 1968 #if 0 1969 if (record->type == HAMMER_MEM_RECORD_DEL && 1970 (record->target_ip->flags & (HAMMER_INODE_DELETED|HAMMER_INODE_DELONDISK)) == 0) { 1971 /* 1972 * Regardless of flushing state we cannot sync this path if the 1973 * record represents a delete-on-disk but the target inode 1974 * is not ready to sync its own deletion. 1975 * 1976 * XXX need to count effective nlinks to determine whether 1977 * the flush is ok, otherwise removing a hardlink will 1978 * just leave the DEL record to rot. 1979 */ 1980 record->target_ip->flags |= HAMMER_INODE_REFLUSH; 1981 return(-1); 1982 } else 1983 #endif 1984 if (pip->flush_group == flg) { 1985 /* 1986 * Because we have not calculated nlinks yet we can just 1987 * set records to the flush state if the parent is in 1988 * the same flush group as we are. 1989 */ 1990 record->flush_state = HAMMER_FST_FLUSH; 1991 record->flush_group = flg; 1992 ++record->flush_group->refs; 1993 hammer_ref(&record->lock); 1994 1995 /* 1996 * A general directory-add contributes to our visibility. 1997 * 1998 * Otherwise it is probably a directory-delete or 1999 * delete-on-disk record and does not contribute to our 2000 * visbility (but we can still flush it). 2001 */ 2002 if (record->type == HAMMER_MEM_RECORD_ADD) 2003 return(1); 2004 return(0); 2005 } else { 2006 /* 2007 * If the parent is not in our flush group we cannot 2008 * flush this record yet, there is no visibility. 2009 * We tell the parent to reflush and mark ourselves 2010 * so the parent knows it should flush us too. 2011 */ 2012 pip->flags |= HAMMER_INODE_REFLUSH; 2013 record->target_ip->flags |= HAMMER_INODE_CONN_DOWN; 2014 return(-1); 2015 } 2016 } 2017 2018 /* 2019 * This is the core routine placing an inode into the FST_FLUSH state. 2020 */ 2021 static void 2022 hammer_flush_inode_core(hammer_inode_t ip, hammer_flush_group_t flg, int flags) 2023 { 2024 hammer_mount_t hmp = ip->hmp; 2025 int go_count; 2026 2027 /* 2028 * Set flush state and prevent the flusher from cycling into 2029 * the next flush group. Do not place the ip on the list yet. 2030 * Inodes not in the idle state get an extra reference. 2031 */ 2032 KKASSERT(ip->flush_state != HAMMER_FST_FLUSH); 2033 if (ip->flush_state == HAMMER_FST_IDLE) 2034 hammer_ref(&ip->lock); 2035 ip->flush_state = HAMMER_FST_FLUSH; 2036 ip->flush_group = flg; 2037 ++hmp->flusher.group_lock; 2038 ++hmp->count_iqueued; 2039 ++hammer_count_iqueued; 2040 ++flg->total_count; 2041 hammer_redo_fifo_start_flush(ip); 2042 2043 #if 0 2044 /* 2045 * We need to be able to vfsync/truncate from the backend. 2046 * 2047 * XXX Any truncation from the backend will acquire the vnode 2048 * independently. 2049 */ 2050 KKASSERT((ip->flags & HAMMER_INODE_VHELD) == 0); 2051 if (ip->vp && (ip->vp->v_flag & VINACTIVE) == 0) { 2052 ip->flags |= HAMMER_INODE_VHELD; 2053 vref(ip->vp); 2054 } 2055 #endif 2056 2057 /* 2058 * Figure out how many in-memory records we can actually flush 2059 * (not including inode meta-data, buffers, etc). 2060 */ 2061 KKASSERT((ip->flags & HAMMER_INODE_WOULDBLOCK) == 0); 2062 if (flags & HAMMER_FLUSH_RECURSION) { 2063 /* 2064 * If this is a upwards recursion we do not want to 2065 * recurse down again! 2066 */ 2067 go_count = 1; 2068 #if 0 2069 } else if (ip->flags & HAMMER_INODE_WOULDBLOCK) { 2070 /* 2071 * No new records are added if we must complete a flush 2072 * from a previous cycle, but we do have to move the records 2073 * from the previous cycle to the current one. 2074 */ 2075 #if 0 2076 go_count = RB_SCAN(hammer_rec_rb_tree, &ip->rec_tree, NULL, 2077 hammer_syncgrp_child_callback, NULL); 2078 #endif 2079 go_count = 1; 2080 #endif 2081 } else { 2082 /* 2083 * Normal flush, scan records and bring them into the flush. 2084 * Directory adds and deletes are usually skipped (they are 2085 * grouped with the related inode rather then with the 2086 * directory). 2087 * 2088 * go_count can be negative, which means the scan aborted 2089 * due to the flush group being over-full and we should 2090 * flush what we have. 2091 */ 2092 go_count = RB_SCAN(hammer_rec_rb_tree, &ip->rec_tree, NULL, 2093 hammer_setup_child_callback, NULL); 2094 } 2095 2096 /* 2097 * This is a more involved test that includes go_count. If we 2098 * can't flush, flag the inode and return. If go_count is 0 we 2099 * were are unable to flush any records in our rec_tree and 2100 * must ignore the XDIRTY flag. 2101 */ 2102 if (go_count == 0) { 2103 if ((ip->flags & HAMMER_INODE_MODMASK_NOXDIRTY) == 0) { 2104 --hmp->count_iqueued; 2105 --hammer_count_iqueued; 2106 2107 --flg->total_count; 2108 ip->flush_state = HAMMER_FST_SETUP; 2109 ip->flush_group = NULL; 2110 if (flags & HAMMER_FLUSH_SIGNAL) { 2111 ip->flags |= HAMMER_INODE_REFLUSH | 2112 HAMMER_INODE_RESIGNAL; 2113 } else { 2114 ip->flags |= HAMMER_INODE_REFLUSH; 2115 } 2116 #if 0 2117 if (ip->flags & HAMMER_INODE_VHELD) { 2118 ip->flags &= ~HAMMER_INODE_VHELD; 2119 vrele(ip->vp); 2120 } 2121 #endif 2122 2123 /* 2124 * REFLUSH is needed to trigger dependancy wakeups 2125 * when an inode is in SETUP. 2126 */ 2127 ip->flags |= HAMMER_INODE_REFLUSH; 2128 if (--hmp->flusher.group_lock == 0) 2129 wakeup(&hmp->flusher.group_lock); 2130 return; 2131 } 2132 } 2133 2134 /* 2135 * Snapshot the state of the inode for the backend flusher. 2136 * 2137 * We continue to retain save_trunc_off even when all truncations 2138 * have been resolved as an optimization to determine if we can 2139 * skip the B-Tree lookup for overwrite deletions. 2140 * 2141 * NOTE: The DELETING flag is a mod flag, but it is also sticky, 2142 * and stays in ip->flags. Once set, it stays set until the 2143 * inode is destroyed. 2144 */ 2145 if (ip->flags & HAMMER_INODE_TRUNCATED) { 2146 KKASSERT((ip->sync_flags & HAMMER_INODE_TRUNCATED) == 0); 2147 ip->sync_trunc_off = ip->trunc_off; 2148 ip->trunc_off = 0x7FFFFFFFFFFFFFFFLL; 2149 ip->flags &= ~HAMMER_INODE_TRUNCATED; 2150 ip->sync_flags |= HAMMER_INODE_TRUNCATED; 2151 2152 /* 2153 * The save_trunc_off used to cache whether the B-Tree 2154 * holds any records past that point is not used until 2155 * after the truncation has succeeded, so we can safely 2156 * set it now. 2157 */ 2158 if (ip->save_trunc_off > ip->sync_trunc_off) 2159 ip->save_trunc_off = ip->sync_trunc_off; 2160 } 2161 ip->sync_flags |= (ip->flags & HAMMER_INODE_MODMASK & 2162 ~HAMMER_INODE_TRUNCATED); 2163 ip->sync_ino_leaf = ip->ino_leaf; 2164 ip->sync_ino_data = ip->ino_data; 2165 ip->flags &= ~HAMMER_INODE_MODMASK | HAMMER_INODE_TRUNCATED; 2166 #ifdef DEBUG_TRUNCATE 2167 if ((ip->sync_flags & HAMMER_INODE_TRUNCATED) && ip == HammerTruncIp) 2168 kprintf("truncateS %016llx\n", ip->sync_trunc_off); 2169 #endif 2170 2171 /* 2172 * The flusher list inherits our inode and reference. 2173 */ 2174 KKASSERT(flg->running == 0); 2175 RB_INSERT(hammer_fls_rb_tree, &flg->flush_tree, ip); 2176 if (--hmp->flusher.group_lock == 0) 2177 wakeup(&hmp->flusher.group_lock); 2178 2179 /* 2180 * Auto-flush the group if it grows too large. Make sure the 2181 * inode reclaim wait pipeline continues to work. 2182 */ 2183 if (flg->total_count >= hammer_autoflush || 2184 flg->total_count >= hammer_limit_reclaims / 4) { 2185 if (hmp->fill_flush_group == flg) 2186 hmp->fill_flush_group = TAILQ_NEXT(flg, flush_entry); 2187 hammer_flusher_async(hmp, flg); 2188 } 2189 } 2190 2191 /* 2192 * Callback for scan of ip->rec_tree. Try to include each record in our 2193 * flush. ip->flush_group has been set but the inode has not yet been 2194 * moved into a flushing state. 2195 * 2196 * If we get stuck on a record we have to set HAMMER_INODE_REFLUSH on 2197 * both inodes. 2198 * 2199 * We return 1 for any record placed or found in FST_FLUSH, which prevents 2200 * the caller from shortcutting the flush. 2201 */ 2202 static int 2203 hammer_setup_child_callback(hammer_record_t rec, void *data) 2204 { 2205 hammer_flush_group_t flg; 2206 hammer_inode_t target_ip; 2207 hammer_inode_t ip; 2208 int r; 2209 2210 /* 2211 * Records deleted or committed by the backend are ignored. 2212 * Note that the flush detects deleted frontend records at 2213 * multiple points to deal with races. This is just the first 2214 * line of defense. The only time HAMMER_RECF_DELETED_FE cannot 2215 * be set is when HAMMER_RECF_INTERLOCK_BE is set, because it 2216 * messes up link-count calculations. 2217 * 2218 * NOTE: Don't get confused between record deletion and, say, 2219 * directory entry deletion. The deletion of a directory entry 2220 * which is on-media has nothing to do with the record deletion 2221 * flags. 2222 */ 2223 if (rec->flags & (HAMMER_RECF_DELETED_FE | HAMMER_RECF_DELETED_BE | 2224 HAMMER_RECF_COMMITTED)) { 2225 if (rec->flush_state == HAMMER_FST_FLUSH) { 2226 KKASSERT(rec->flush_group == rec->ip->flush_group); 2227 r = 1; 2228 } else { 2229 r = 0; 2230 } 2231 return(r); 2232 } 2233 2234 /* 2235 * If the record is in an idle state it has no dependancies and 2236 * can be flushed. 2237 */ 2238 ip = rec->ip; 2239 flg = ip->flush_group; 2240 r = 0; 2241 2242 switch(rec->flush_state) { 2243 case HAMMER_FST_IDLE: 2244 /* 2245 * The record has no setup dependancy, we can flush it. 2246 */ 2247 KKASSERT(rec->target_ip == NULL); 2248 rec->flush_state = HAMMER_FST_FLUSH; 2249 rec->flush_group = flg; 2250 ++flg->refs; 2251 hammer_ref(&rec->lock); 2252 r = 1; 2253 break; 2254 case HAMMER_FST_SETUP: 2255 /* 2256 * The record has a setup dependancy. These are typically 2257 * directory entry adds and deletes. Such entries will be 2258 * flushed when their inodes are flushed so we do not 2259 * usually have to add them to the flush here. However, 2260 * if the target_ip has set HAMMER_INODE_CONN_DOWN then 2261 * it is asking us to flush this record (and it). 2262 */ 2263 target_ip = rec->target_ip; 2264 KKASSERT(target_ip != NULL); 2265 KKASSERT(target_ip->flush_state != HAMMER_FST_IDLE); 2266 2267 /* 2268 * If the target IP is already flushing in our group 2269 * we could associate the record, but target_ip has 2270 * already synced ino_data to sync_ino_data and we 2271 * would also have to adjust nlinks. Plus there are 2272 * ordering issues for adds and deletes. 2273 * 2274 * Reflush downward if this is an ADD, and upward if 2275 * this is a DEL. 2276 */ 2277 if (target_ip->flush_state == HAMMER_FST_FLUSH) { 2278 if (rec->type == HAMMER_MEM_RECORD_ADD) 2279 ip->flags |= HAMMER_INODE_REFLUSH; 2280 else 2281 target_ip->flags |= HAMMER_INODE_REFLUSH; 2282 break; 2283 } 2284 2285 /* 2286 * Target IP is not yet flushing. This can get complex 2287 * because we have to be careful about the recursion. 2288 * 2289 * Directories create an issue for us in that if a flush 2290 * of a directory is requested the expectation is to flush 2291 * any pending directory entries, but this will cause the 2292 * related inodes to recursively flush as well. We can't 2293 * really defer the operation so just get as many as we 2294 * can and 2295 */ 2296 #if 0 2297 if ((target_ip->flags & HAMMER_INODE_RECLAIM) == 0 && 2298 (target_ip->flags & HAMMER_INODE_CONN_DOWN) == 0) { 2299 /* 2300 * We aren't reclaiming and the target ip was not 2301 * previously prevented from flushing due to this 2302 * record dependancy. Do not flush this record. 2303 */ 2304 /*r = 0;*/ 2305 } else 2306 #endif 2307 if (flg->total_count + flg->refs > 2308 ip->hmp->undo_rec_limit) { 2309 /* 2310 * Our flush group is over-full and we risk blowing 2311 * out the UNDO FIFO. Stop the scan, flush what we 2312 * have, then reflush the directory. 2313 * 2314 * The directory may be forced through multiple 2315 * flush groups before it can be completely 2316 * flushed. 2317 */ 2318 ip->flags |= HAMMER_INODE_RESIGNAL | 2319 HAMMER_INODE_REFLUSH; 2320 r = -1; 2321 } else if (rec->type == HAMMER_MEM_RECORD_ADD) { 2322 /* 2323 * If the target IP is not flushing we can force 2324 * it to flush, even if it is unable to write out 2325 * any of its own records we have at least one in 2326 * hand that we CAN deal with. 2327 */ 2328 rec->flush_state = HAMMER_FST_FLUSH; 2329 rec->flush_group = flg; 2330 ++flg->refs; 2331 hammer_ref(&rec->lock); 2332 hammer_flush_inode_core(target_ip, flg, 2333 HAMMER_FLUSH_RECURSION); 2334 r = 1; 2335 } else { 2336 /* 2337 * General or delete-on-disk record. 2338 * 2339 * XXX this needs help. If a delete-on-disk we could 2340 * disconnect the target. If the target has its own 2341 * dependancies they really need to be flushed. 2342 * 2343 * XXX 2344 */ 2345 rec->flush_state = HAMMER_FST_FLUSH; 2346 rec->flush_group = flg; 2347 ++flg->refs; 2348 hammer_ref(&rec->lock); 2349 hammer_flush_inode_core(target_ip, flg, 2350 HAMMER_FLUSH_RECURSION); 2351 r = 1; 2352 } 2353 break; 2354 case HAMMER_FST_FLUSH: 2355 /* 2356 * The record could be part of a previous flush group if the 2357 * inode is a directory (the record being a directory entry). 2358 * Once the flush group was closed a hammer_test_inode() 2359 * function can cause a new flush group to be setup, placing 2360 * the directory inode itself in a new flush group. 2361 * 2362 * When associated with a previous flush group we count it 2363 * as if it were in our current flush group, since it will 2364 * effectively be flushed by the time we flush our current 2365 * flush group. 2366 */ 2367 KKASSERT( 2368 rec->ip->ino_data.obj_type == HAMMER_OBJTYPE_DIRECTORY || 2369 rec->flush_group == flg); 2370 r = 1; 2371 break; 2372 } 2373 return(r); 2374 } 2375 2376 #if 0 2377 /* 2378 * This version just moves records already in a flush state to the new 2379 * flush group and that is it. 2380 */ 2381 static int 2382 hammer_syncgrp_child_callback(hammer_record_t rec, void *data) 2383 { 2384 hammer_inode_t ip = rec->ip; 2385 2386 switch(rec->flush_state) { 2387 case HAMMER_FST_FLUSH: 2388 KKASSERT(rec->flush_group == ip->flush_group); 2389 break; 2390 default: 2391 break; 2392 } 2393 return(0); 2394 } 2395 #endif 2396 2397 /* 2398 * Wait for a previously queued flush to complete. 2399 * 2400 * If a critical error occured we don't try to wait. 2401 */ 2402 void 2403 hammer_wait_inode(hammer_inode_t ip) 2404 { 2405 /* 2406 * The inode can be in a SETUP state in which case RESIGNAL 2407 * should be set. If RESIGNAL is not set then the previous 2408 * flush completed and a later operation placed the inode 2409 * in a passive setup state again, so we're done. 2410 * 2411 * The inode can be in a FLUSH state in which case we 2412 * can just wait for completion. 2413 */ 2414 while (ip->flush_state == HAMMER_FST_FLUSH || 2415 (ip->flush_state == HAMMER_FST_SETUP && 2416 (ip->flags & HAMMER_INODE_RESIGNAL))) { 2417 /* 2418 * Don't try to flush on a critical error 2419 */ 2420 if (ip->hmp->flags & HAMMER_MOUNT_CRITICAL_ERROR) 2421 break; 2422 2423 /* 2424 * If the inode was already being flushed its flg 2425 * may not have been queued to the backend. We 2426 * have to make sure it gets queued or we can wind 2427 * up blocked or deadlocked (particularly if we are 2428 * the vnlru thread). 2429 */ 2430 if (ip->flush_state == HAMMER_FST_FLUSH) { 2431 KKASSERT(ip->flush_group); 2432 if (ip->flush_group->closed == 0) { 2433 if (hammer_debug_inode) { 2434 kprintf("hammer: debug: forcing " 2435 "async flush ip %016jx\n", 2436 (intmax_t)ip->obj_id); 2437 } 2438 hammer_flusher_async(ip->hmp, 2439 ip->flush_group); 2440 continue; /* retest */ 2441 } 2442 } 2443 2444 /* 2445 * In a flush state with the flg queued to the backend 2446 * or in a setup state with RESIGNAL set, we can safely 2447 * wait. 2448 */ 2449 ip->flags |= HAMMER_INODE_FLUSHW; 2450 tsleep(&ip->flags, 0, "hmrwin", 0); 2451 } 2452 2453 #if 0 2454 /* 2455 * The inode may have been in a passive setup state, 2456 * call flush to make sure we get signaled. 2457 */ 2458 if (ip->flush_state == HAMMER_FST_SETUP) 2459 hammer_flush_inode(ip, HAMMER_FLUSH_SIGNAL); 2460 #endif 2461 2462 } 2463 2464 /* 2465 * Called by the backend code when a flush has been completed. 2466 * The inode has already been removed from the flush list. 2467 * 2468 * A pipelined flush can occur, in which case we must re-enter the 2469 * inode on the list and re-copy its fields. 2470 */ 2471 void 2472 hammer_flush_inode_done(hammer_inode_t ip, int error) 2473 { 2474 hammer_mount_t hmp; 2475 int dorel; 2476 2477 KKASSERT(ip->flush_state == HAMMER_FST_FLUSH); 2478 2479 hmp = ip->hmp; 2480 2481 /* 2482 * Auto-reflush if the backend could not completely flush 2483 * the inode. This fixes a case where a deferred buffer flush 2484 * could cause fsync to return early. 2485 */ 2486 if (ip->sync_flags & HAMMER_INODE_MODMASK) 2487 ip->flags |= HAMMER_INODE_REFLUSH; 2488 2489 /* 2490 * Merge left-over flags back into the frontend and fix the state. 2491 * Incomplete truncations are retained by the backend. 2492 */ 2493 ip->error = error; 2494 ip->flags |= ip->sync_flags & ~HAMMER_INODE_TRUNCATED; 2495 ip->sync_flags &= HAMMER_INODE_TRUNCATED; 2496 2497 /* 2498 * The backend may have adjusted nlinks, so if the adjusted nlinks 2499 * does not match the fronttend set the frontend's DDIRTY flag again. 2500 */ 2501 if (ip->ino_data.nlinks != ip->sync_ino_data.nlinks) 2502 ip->flags |= HAMMER_INODE_DDIRTY; 2503 2504 /* 2505 * Fix up the dirty buffer status. 2506 */ 2507 if (ip->vp && RB_ROOT(&ip->vp->v_rbdirty_tree)) { 2508 ip->flags |= HAMMER_INODE_BUFS; 2509 } 2510 hammer_redo_fifo_end_flush(ip); 2511 2512 /* 2513 * Re-set the XDIRTY flag if some of the inode's in-memory records 2514 * could not be flushed. 2515 */ 2516 KKASSERT((RB_EMPTY(&ip->rec_tree) && 2517 (ip->flags & HAMMER_INODE_XDIRTY) == 0) || 2518 (!RB_EMPTY(&ip->rec_tree) && 2519 (ip->flags & HAMMER_INODE_XDIRTY) != 0)); 2520 2521 /* 2522 * Do not lose track of inodes which no longer have vnode 2523 * assocations, otherwise they may never get flushed again. 2524 * 2525 * The reflush flag can be set superfluously, causing extra pain 2526 * for no reason. If the inode is no longer modified it no longer 2527 * needs to be flushed. 2528 */ 2529 if (ip->flags & HAMMER_INODE_MODMASK) { 2530 if (ip->vp == NULL) 2531 ip->flags |= HAMMER_INODE_REFLUSH; 2532 } else { 2533 ip->flags &= ~HAMMER_INODE_REFLUSH; 2534 } 2535 2536 /* 2537 * Adjust the flush state. 2538 */ 2539 if (ip->flags & HAMMER_INODE_WOULDBLOCK) { 2540 /* 2541 * We were unable to flush out all our records, leave the 2542 * inode in a flush state and in the current flush group. 2543 * The flush group will be re-run. 2544 * 2545 * This occurs if the UNDO block gets too full or there is 2546 * too much dirty meta-data and allows the flusher to 2547 * finalize the UNDO block and then re-flush. 2548 */ 2549 ip->flags &= ~HAMMER_INODE_WOULDBLOCK; 2550 dorel = 0; 2551 } else { 2552 /* 2553 * Remove from the flush_group 2554 */ 2555 RB_REMOVE(hammer_fls_rb_tree, &ip->flush_group->flush_tree, ip); 2556 ip->flush_group = NULL; 2557 2558 #if 0 2559 /* 2560 * Clean up the vnode ref and tracking counts. 2561 */ 2562 if (ip->flags & HAMMER_INODE_VHELD) { 2563 ip->flags &= ~HAMMER_INODE_VHELD; 2564 vrele(ip->vp); 2565 } 2566 #endif 2567 --hmp->count_iqueued; 2568 --hammer_count_iqueued; 2569 2570 /* 2571 * And adjust the state. 2572 */ 2573 if (TAILQ_EMPTY(&ip->target_list) && RB_EMPTY(&ip->rec_tree)) { 2574 ip->flush_state = HAMMER_FST_IDLE; 2575 dorel = 1; 2576 } else { 2577 ip->flush_state = HAMMER_FST_SETUP; 2578 dorel = 0; 2579 } 2580 2581 /* 2582 * If the frontend is waiting for a flush to complete, 2583 * wake it up. 2584 */ 2585 if (ip->flags & HAMMER_INODE_FLUSHW) { 2586 ip->flags &= ~HAMMER_INODE_FLUSHW; 2587 wakeup(&ip->flags); 2588 } 2589 2590 /* 2591 * If the frontend made more changes and requested another 2592 * flush, then try to get it running. 2593 * 2594 * Reflushes are aborted when the inode is errored out. 2595 */ 2596 if (ip->flags & HAMMER_INODE_REFLUSH) { 2597 ip->flags &= ~HAMMER_INODE_REFLUSH; 2598 if (ip->flags & HAMMER_INODE_RESIGNAL) { 2599 ip->flags &= ~HAMMER_INODE_RESIGNAL; 2600 hammer_flush_inode(ip, HAMMER_FLUSH_SIGNAL); 2601 } else { 2602 hammer_flush_inode(ip, 0); 2603 } 2604 } 2605 } 2606 2607 /* 2608 * If we have no parent dependancies we can clear CONN_DOWN 2609 */ 2610 if (TAILQ_EMPTY(&ip->target_list)) 2611 ip->flags &= ~HAMMER_INODE_CONN_DOWN; 2612 2613 /* 2614 * If the inode is now clean drop the space reservation. 2615 */ 2616 if ((ip->flags & HAMMER_INODE_MODMASK) == 0 && 2617 (ip->flags & HAMMER_INODE_RSV_INODES)) { 2618 ip->flags &= ~HAMMER_INODE_RSV_INODES; 2619 --hmp->rsv_inodes; 2620 } 2621 2622 ip->flags &= ~HAMMER_INODE_SLAVEFLUSH; 2623 2624 if (dorel) 2625 hammer_rel_inode(ip, 0); 2626 } 2627 2628 /* 2629 * Called from hammer_sync_inode() to synchronize in-memory records 2630 * to the media. 2631 */ 2632 static int 2633 hammer_sync_record_callback(hammer_record_t record, void *data) 2634 { 2635 hammer_cursor_t cursor = data; 2636 hammer_transaction_t trans = cursor->trans; 2637 hammer_mount_t hmp = trans->hmp; 2638 int error; 2639 2640 /* 2641 * Skip records that do not belong to the current flush. 2642 */ 2643 ++hammer_stats_record_iterations; 2644 if (record->flush_state != HAMMER_FST_FLUSH) 2645 return(0); 2646 2647 #if 1 2648 if (record->flush_group != record->ip->flush_group) { 2649 kprintf("sync_record %p ip %p bad flush group %p %p\n", record, record->ip, record->flush_group ,record->ip->flush_group); 2650 if (hammer_debug_critical) 2651 Debugger("blah2"); 2652 return(0); 2653 } 2654 #endif 2655 KKASSERT(record->flush_group == record->ip->flush_group); 2656 2657 /* 2658 * Interlock the record using the BE flag. Once BE is set the 2659 * frontend cannot change the state of FE. 2660 * 2661 * NOTE: If FE is set prior to us setting BE we still sync the 2662 * record out, but the flush completion code converts it to 2663 * a delete-on-disk record instead of destroying it. 2664 */ 2665 KKASSERT((record->flags & HAMMER_RECF_INTERLOCK_BE) == 0); 2666 record->flags |= HAMMER_RECF_INTERLOCK_BE; 2667 2668 /* 2669 * The backend has already disposed of the record. 2670 */ 2671 if (record->flags & (HAMMER_RECF_DELETED_BE | HAMMER_RECF_COMMITTED)) { 2672 error = 0; 2673 goto done; 2674 } 2675 2676 /* 2677 * If the whole inode is being deleted and all on-disk records will 2678 * be deleted very soon, we can't sync any new records to disk 2679 * because they will be deleted in the same transaction they were 2680 * created in (delete_tid == create_tid), which will assert. 2681 * 2682 * XXX There may be a case with RECORD_ADD with DELETED_FE set 2683 * that we currently panic on. 2684 */ 2685 if (record->ip->sync_flags & HAMMER_INODE_DELETING) { 2686 switch(record->type) { 2687 case HAMMER_MEM_RECORD_DATA: 2688 /* 2689 * We don't have to do anything, if the record was 2690 * committed the space will have been accounted for 2691 * in the blockmap. 2692 */ 2693 /* fall through */ 2694 case HAMMER_MEM_RECORD_GENERAL: 2695 /* 2696 * Set deleted-by-backend flag. Do not set the 2697 * backend committed flag, because we are throwing 2698 * the record away. 2699 */ 2700 record->flags |= HAMMER_RECF_DELETED_BE; 2701 ++record->ip->rec_generation; 2702 error = 0; 2703 goto done; 2704 case HAMMER_MEM_RECORD_ADD: 2705 panic("hammer_sync_record_callback: illegal add " 2706 "during inode deletion record %p", record); 2707 break; /* NOT REACHED */ 2708 case HAMMER_MEM_RECORD_INODE: 2709 panic("hammer_sync_record_callback: attempt to " 2710 "sync inode record %p?", record); 2711 break; /* NOT REACHED */ 2712 case HAMMER_MEM_RECORD_DEL: 2713 /* 2714 * Follow through and issue the on-disk deletion 2715 */ 2716 break; 2717 } 2718 } 2719 2720 /* 2721 * If DELETED_FE is set special handling is needed for directory 2722 * entries. Dependant pieces related to the directory entry may 2723 * have already been synced to disk. If this occurs we have to 2724 * sync the directory entry and then change the in-memory record 2725 * from an ADD to a DELETE to cover the fact that it's been 2726 * deleted by the frontend. 2727 * 2728 * A directory delete covering record (MEM_RECORD_DEL) can never 2729 * be deleted by the frontend. 2730 * 2731 * Any other record type (aka DATA) can be deleted by the frontend. 2732 * XXX At the moment the flusher must skip it because there may 2733 * be another data record in the flush group for the same block, 2734 * meaning that some frontend data changes can leak into the backend's 2735 * synchronization point. 2736 */ 2737 if (record->flags & HAMMER_RECF_DELETED_FE) { 2738 if (record->type == HAMMER_MEM_RECORD_ADD) { 2739 /* 2740 * Convert a front-end deleted directory-add to 2741 * a directory-delete entry later. 2742 */ 2743 record->flags |= HAMMER_RECF_CONVERT_DELETE; 2744 } else { 2745 /* 2746 * Dispose of the record (race case). Mark as 2747 * deleted by backend (and not committed). 2748 */ 2749 KKASSERT(record->type != HAMMER_MEM_RECORD_DEL); 2750 record->flags |= HAMMER_RECF_DELETED_BE; 2751 ++record->ip->rec_generation; 2752 error = 0; 2753 goto done; 2754 } 2755 } 2756 2757 /* 2758 * Assign the create_tid for new records. Deletions already 2759 * have the record's entire key properly set up. 2760 */ 2761 if (record->type != HAMMER_MEM_RECORD_DEL) { 2762 record->leaf.base.create_tid = trans->tid; 2763 record->leaf.create_ts = trans->time32; 2764 } 2765 2766 /* 2767 * This actually moves the record to the on-media B-Tree. We 2768 * must also generate REDO_TERM entries in the UNDO/REDO FIFO 2769 * indicating that the related REDO_WRITE(s) have been committed. 2770 * 2771 * During recovery any REDO_TERM's within the nominal recovery span 2772 * are ignored since the related meta-data is being undone, causing 2773 * any matching REDO_WRITEs to execute. The REDO_TERMs outside 2774 * the nominal recovery span will match against REDO_WRITEs and 2775 * prevent them from being executed (because the meta-data has 2776 * already been synchronized). 2777 */ 2778 if (record->flags & HAMMER_RECF_REDO) { 2779 KKASSERT(record->type == HAMMER_MEM_RECORD_DATA); 2780 hammer_generate_redo(trans, record->ip, 2781 record->leaf.base.key - 2782 record->leaf.data_len, 2783 HAMMER_REDO_TERM_WRITE, 2784 NULL, 2785 record->leaf.data_len); 2786 } 2787 2788 for (;;) { 2789 error = hammer_ip_sync_record_cursor(cursor, record); 2790 if (error != EDEADLK) 2791 break; 2792 hammer_done_cursor(cursor); 2793 error = hammer_init_cursor(trans, cursor, &record->ip->cache[0], 2794 record->ip); 2795 if (error) 2796 break; 2797 } 2798 record->flags &= ~HAMMER_RECF_CONVERT_DELETE; 2799 2800 if (error) 2801 error = -error; 2802 done: 2803 hammer_flush_record_done(record, error); 2804 2805 /* 2806 * Do partial finalization if we have built up too many dirty 2807 * buffers. Otherwise a buffer cache deadlock can occur when 2808 * doing things like creating tens of thousands of tiny files. 2809 * 2810 * We must release our cursor lock to avoid a 3-way deadlock 2811 * due to the exclusive sync lock the finalizer must get. 2812 * 2813 * WARNING: See warnings in hammer_unlock_cursor() function. 2814 */ 2815 if (hammer_flusher_meta_limit(hmp) || 2816 vm_page_count_severe()) { 2817 hammer_unlock_cursor(cursor); 2818 hammer_flusher_finalize(trans, 0); 2819 hammer_lock_cursor(cursor); 2820 } 2821 return(error); 2822 } 2823 2824 /* 2825 * Backend function called by the flusher to sync an inode to media. 2826 */ 2827 int 2828 hammer_sync_inode(hammer_transaction_t trans, hammer_inode_t ip) 2829 { 2830 struct hammer_cursor cursor; 2831 hammer_node_t tmp_node; 2832 hammer_record_t depend; 2833 hammer_record_t next; 2834 int error, tmp_error; 2835 u_int64_t nlinks; 2836 2837 if ((ip->sync_flags & HAMMER_INODE_MODMASK) == 0) 2838 return(0); 2839 2840 error = hammer_init_cursor(trans, &cursor, &ip->cache[1], ip); 2841 if (error) 2842 goto done; 2843 2844 /* 2845 * Any directory records referencing this inode which are not in 2846 * our current flush group must adjust our nlink count for the 2847 * purposes of synchronizating to disk. 2848 * 2849 * Records which are in our flush group can be unlinked from our 2850 * inode now, potentially allowing the inode to be physically 2851 * deleted. 2852 * 2853 * This cannot block. 2854 */ 2855 nlinks = ip->ino_data.nlinks; 2856 next = TAILQ_FIRST(&ip->target_list); 2857 while ((depend = next) != NULL) { 2858 next = TAILQ_NEXT(depend, target_entry); 2859 if (depend->flush_state == HAMMER_FST_FLUSH && 2860 depend->flush_group == ip->flush_group) { 2861 /* 2862 * If this is an ADD that was deleted by the frontend 2863 * the frontend nlinks count will have already been 2864 * decremented, but the backend is going to sync its 2865 * directory entry and must account for it. The 2866 * record will be converted to a delete-on-disk when 2867 * it gets synced. 2868 * 2869 * If the ADD was not deleted by the frontend we 2870 * can remove the dependancy from our target_list. 2871 */ 2872 if (depend->flags & HAMMER_RECF_DELETED_FE) { 2873 ++nlinks; 2874 } else { 2875 TAILQ_REMOVE(&ip->target_list, depend, 2876 target_entry); 2877 depend->target_ip = NULL; 2878 } 2879 } else if ((depend->flags & HAMMER_RECF_DELETED_FE) == 0) { 2880 /* 2881 * Not part of our flush group and not deleted by 2882 * the front-end, adjust the link count synced to 2883 * the media (undo what the frontend did when it 2884 * queued the record). 2885 */ 2886 KKASSERT((depend->flags & HAMMER_RECF_DELETED_BE) == 0); 2887 switch(depend->type) { 2888 case HAMMER_MEM_RECORD_ADD: 2889 --nlinks; 2890 break; 2891 case HAMMER_MEM_RECORD_DEL: 2892 ++nlinks; 2893 break; 2894 default: 2895 break; 2896 } 2897 } 2898 } 2899 2900 /* 2901 * Set dirty if we had to modify the link count. 2902 */ 2903 if (ip->sync_ino_data.nlinks != nlinks) { 2904 KKASSERT((int64_t)nlinks >= 0); 2905 ip->sync_ino_data.nlinks = nlinks; 2906 ip->sync_flags |= HAMMER_INODE_DDIRTY; 2907 } 2908 2909 /* 2910 * If there is a trunction queued destroy any data past the (aligned) 2911 * truncation point. Userland will have dealt with the buffer 2912 * containing the truncation point for us. 2913 * 2914 * We don't flush pending frontend data buffers until after we've 2915 * dealt with the truncation. 2916 */ 2917 if (ip->sync_flags & HAMMER_INODE_TRUNCATED) { 2918 /* 2919 * Interlock trunc_off. The VOP front-end may continue to 2920 * make adjustments to it while we are blocked. 2921 */ 2922 off_t trunc_off; 2923 off_t aligned_trunc_off; 2924 int blkmask; 2925 2926 trunc_off = ip->sync_trunc_off; 2927 blkmask = hammer_blocksize(trunc_off) - 1; 2928 aligned_trunc_off = (trunc_off + blkmask) & ~(int64_t)blkmask; 2929 2930 /* 2931 * Delete any whole blocks on-media. The front-end has 2932 * already cleaned out any partial block and made it 2933 * pending. The front-end may have updated trunc_off 2934 * while we were blocked so we only use sync_trunc_off. 2935 * 2936 * This operation can blow out the buffer cache, EWOULDBLOCK 2937 * means we were unable to complete the deletion. The 2938 * deletion will update sync_trunc_off in that case. 2939 */ 2940 error = hammer_ip_delete_range(&cursor, ip, 2941 aligned_trunc_off, 2942 0x7FFFFFFFFFFFFFFFLL, 2); 2943 if (error == EWOULDBLOCK) { 2944 ip->flags |= HAMMER_INODE_WOULDBLOCK; 2945 error = 0; 2946 goto defer_buffer_flush; 2947 } 2948 2949 if (error) 2950 goto done; 2951 2952 /* 2953 * Generate a REDO_TERM_TRUNC entry in the UNDO/REDO FIFO. 2954 * 2955 * XXX we do this even if we did not previously generate 2956 * a REDO_TRUNC record. This operation may enclosed the 2957 * range for multiple prior truncation entries in the REDO 2958 * log. 2959 */ 2960 if (trans->hmp->version >= HAMMER_VOL_VERSION_FOUR && 2961 (ip->flags & HAMMER_INODE_RDIRTY)) { 2962 hammer_generate_redo(trans, ip, aligned_trunc_off, 2963 HAMMER_REDO_TERM_TRUNC, 2964 NULL, 0); 2965 } 2966 2967 /* 2968 * Clear the truncation flag on the backend after we have 2969 * completed the deletions. Backend data is now good again 2970 * (including new records we are about to sync, below). 2971 * 2972 * Leave sync_trunc_off intact. As we write additional 2973 * records the backend will update sync_trunc_off. This 2974 * tells the backend whether it can skip the overwrite 2975 * test. This should work properly even when the backend 2976 * writes full blocks where the truncation point straddles 2977 * the block because the comparison is against the base 2978 * offset of the record. 2979 */ 2980 ip->sync_flags &= ~HAMMER_INODE_TRUNCATED; 2981 /* ip->sync_trunc_off = 0x7FFFFFFFFFFFFFFFLL; */ 2982 } else { 2983 error = 0; 2984 } 2985 2986 /* 2987 * Now sync related records. These will typically be directory 2988 * entries, records tracking direct-writes, or delete-on-disk records. 2989 */ 2990 if (error == 0) { 2991 tmp_error = RB_SCAN(hammer_rec_rb_tree, &ip->rec_tree, NULL, 2992 hammer_sync_record_callback, &cursor); 2993 if (tmp_error < 0) 2994 tmp_error = -error; 2995 if (tmp_error) 2996 error = tmp_error; 2997 } 2998 hammer_cache_node(&ip->cache[1], cursor.node); 2999 3000 /* 3001 * Re-seek for inode update, assuming our cache hasn't been ripped 3002 * out from under us. 3003 */ 3004 if (error == 0) { 3005 tmp_node = hammer_ref_node_safe(trans, &ip->cache[0], &error); 3006 if (tmp_node) { 3007 hammer_cursor_downgrade(&cursor); 3008 hammer_lock_sh(&tmp_node->lock); 3009 if ((tmp_node->flags & HAMMER_NODE_DELETED) == 0) 3010 hammer_cursor_seek(&cursor, tmp_node, 0); 3011 hammer_unlock(&tmp_node->lock); 3012 hammer_rel_node(tmp_node); 3013 } 3014 error = 0; 3015 } 3016 3017 /* 3018 * If we are deleting the inode the frontend had better not have 3019 * any active references on elements making up the inode. 3020 * 3021 * The call to hammer_ip_delete_clean() cleans up auxillary records 3022 * but not DB or DATA records. Those must have already been deleted 3023 * by the normal truncation mechanic. 3024 */ 3025 if (error == 0 && ip->sync_ino_data.nlinks == 0 && 3026 RB_EMPTY(&ip->rec_tree) && 3027 (ip->sync_flags & HAMMER_INODE_DELETING) && 3028 (ip->flags & HAMMER_INODE_DELETED) == 0) { 3029 int count1 = 0; 3030 3031 error = hammer_ip_delete_clean(&cursor, ip, &count1); 3032 if (error == 0) { 3033 ip->flags |= HAMMER_INODE_DELETED; 3034 ip->sync_flags &= ~HAMMER_INODE_DELETING; 3035 ip->sync_flags &= ~HAMMER_INODE_TRUNCATED; 3036 KKASSERT(RB_EMPTY(&ip->rec_tree)); 3037 3038 /* 3039 * Set delete_tid in both the frontend and backend 3040 * copy of the inode record. The DELETED flag handles 3041 * this, do not set DDIRTY. 3042 */ 3043 ip->ino_leaf.base.delete_tid = trans->tid; 3044 ip->sync_ino_leaf.base.delete_tid = trans->tid; 3045 ip->ino_leaf.delete_ts = trans->time32; 3046 ip->sync_ino_leaf.delete_ts = trans->time32; 3047 3048 3049 /* 3050 * Adjust the inode count in the volume header 3051 */ 3052 hammer_sync_lock_sh(trans); 3053 if (ip->flags & HAMMER_INODE_ONDISK) { 3054 hammer_modify_volume_field(trans, 3055 trans->rootvol, 3056 vol0_stat_inodes); 3057 --ip->hmp->rootvol->ondisk->vol0_stat_inodes; 3058 hammer_modify_volume_done(trans->rootvol); 3059 } 3060 hammer_sync_unlock(trans); 3061 } 3062 } 3063 3064 if (error) 3065 goto done; 3066 ip->sync_flags &= ~HAMMER_INODE_BUFS; 3067 3068 defer_buffer_flush: 3069 /* 3070 * Now update the inode's on-disk inode-data and/or on-disk record. 3071 * DELETED and ONDISK are managed only in ip->flags. 3072 * 3073 * In the case of a defered buffer flush we still update the on-disk 3074 * inode to satisfy visibility requirements if there happen to be 3075 * directory dependancies. 3076 */ 3077 switch(ip->flags & (HAMMER_INODE_DELETED | HAMMER_INODE_ONDISK)) { 3078 case HAMMER_INODE_DELETED|HAMMER_INODE_ONDISK: 3079 /* 3080 * If deleted and on-disk, don't set any additional flags. 3081 * the delete flag takes care of things. 3082 * 3083 * Clear flags which may have been set by the frontend. 3084 */ 3085 ip->sync_flags &= ~(HAMMER_INODE_DDIRTY | HAMMER_INODE_XDIRTY | 3086 HAMMER_INODE_SDIRTY | 3087 HAMMER_INODE_ATIME | HAMMER_INODE_MTIME | 3088 HAMMER_INODE_DELETING); 3089 break; 3090 case HAMMER_INODE_DELETED: 3091 /* 3092 * Take care of the case where a deleted inode was never 3093 * flushed to the disk in the first place. 3094 * 3095 * Clear flags which may have been set by the frontend. 3096 */ 3097 ip->sync_flags &= ~(HAMMER_INODE_DDIRTY | HAMMER_INODE_XDIRTY | 3098 HAMMER_INODE_SDIRTY | 3099 HAMMER_INODE_ATIME | HAMMER_INODE_MTIME | 3100 HAMMER_INODE_DELETING); 3101 while (RB_ROOT(&ip->rec_tree)) { 3102 hammer_record_t record = RB_ROOT(&ip->rec_tree); 3103 hammer_ref(&record->lock); 3104 KKASSERT(hammer_oneref(&record->lock)); 3105 record->flags |= HAMMER_RECF_DELETED_BE; 3106 ++record->ip->rec_generation; 3107 hammer_rel_mem_record(record); 3108 } 3109 break; 3110 case HAMMER_INODE_ONDISK: 3111 /* 3112 * If already on-disk, do not set any additional flags. 3113 */ 3114 break; 3115 default: 3116 /* 3117 * If not on-disk and not deleted, set DDIRTY to force 3118 * an initial record to be written. 3119 * 3120 * Also set the create_tid in both the frontend and backend 3121 * copy of the inode record. 3122 */ 3123 ip->ino_leaf.base.create_tid = trans->tid; 3124 ip->ino_leaf.create_ts = trans->time32; 3125 ip->sync_ino_leaf.base.create_tid = trans->tid; 3126 ip->sync_ino_leaf.create_ts = trans->time32; 3127 ip->sync_flags |= HAMMER_INODE_DDIRTY; 3128 break; 3129 } 3130 3131 /* 3132 * If DDIRTY or SDIRTY is set, write out a new record. 3133 * If the inode is already on-disk the old record is marked as 3134 * deleted. 3135 * 3136 * If DELETED is set hammer_update_inode() will delete the existing 3137 * record without writing out a new one. 3138 * 3139 * If *ONLY* the ITIMES flag is set we can update the record in-place. 3140 */ 3141 if (ip->flags & HAMMER_INODE_DELETED) { 3142 error = hammer_update_inode(&cursor, ip); 3143 } else 3144 if (!(ip->sync_flags & (HAMMER_INODE_DDIRTY | HAMMER_INODE_SDIRTY)) && 3145 (ip->sync_flags & (HAMMER_INODE_ATIME | HAMMER_INODE_MTIME))) { 3146 error = hammer_update_itimes(&cursor, ip); 3147 } else 3148 if (ip->sync_flags & (HAMMER_INODE_DDIRTY | HAMMER_INODE_SDIRTY | 3149 HAMMER_INODE_ATIME | HAMMER_INODE_MTIME)) { 3150 error = hammer_update_inode(&cursor, ip); 3151 } 3152 done: 3153 if (error) { 3154 hammer_critical_error(ip->hmp, ip, error, 3155 "while syncing inode"); 3156 } 3157 hammer_done_cursor(&cursor); 3158 return(error); 3159 } 3160 3161 /* 3162 * This routine is called when the OS is no longer actively referencing 3163 * the inode (but might still be keeping it cached), or when releasing 3164 * the last reference to an inode. 3165 * 3166 * At this point if the inode's nlinks count is zero we want to destroy 3167 * it, which may mean destroying it on-media too. 3168 */ 3169 void 3170 hammer_inode_unloadable_check(hammer_inode_t ip, int getvp) 3171 { 3172 struct vnode *vp; 3173 3174 /* 3175 * Set the DELETING flag when the link count drops to 0 and the 3176 * OS no longer has any opens on the inode. 3177 * 3178 * The backend will clear DELETING (a mod flag) and set DELETED 3179 * (a state flag) when it is actually able to perform the 3180 * operation. 3181 * 3182 * Don't reflag the deletion if the flusher is currently syncing 3183 * one that was already flagged. A previously set DELETING flag 3184 * may bounce around flags and sync_flags until the operation is 3185 * completely done. 3186 * 3187 * Do not attempt to modify a snapshot inode (one set to read-only). 3188 */ 3189 if (ip->ino_data.nlinks == 0 && 3190 ((ip->flags | ip->sync_flags) & (HAMMER_INODE_RO|HAMMER_INODE_DELETING|HAMMER_INODE_DELETED)) == 0) { 3191 ip->flags |= HAMMER_INODE_DELETING; 3192 ip->flags |= HAMMER_INODE_TRUNCATED; 3193 ip->trunc_off = 0; 3194 vp = NULL; 3195 if (getvp) { 3196 if (hammer_get_vnode(ip, &vp) != 0) 3197 return; 3198 } 3199 3200 /* 3201 * Final cleanup 3202 */ 3203 if (ip->vp) 3204 nvtruncbuf(ip->vp, 0, HAMMER_BUFSIZE, 0, 0); 3205 if (getvp) 3206 vput(vp); 3207 } 3208 } 3209 3210 /* 3211 * After potentially resolving a dependancy the inode is tested 3212 * to determine whether it needs to be reflushed. 3213 */ 3214 void 3215 hammer_test_inode(hammer_inode_t ip) 3216 { 3217 if (ip->flags & HAMMER_INODE_REFLUSH) { 3218 ip->flags &= ~HAMMER_INODE_REFLUSH; 3219 hammer_ref(&ip->lock); 3220 if (ip->flags & HAMMER_INODE_RESIGNAL) { 3221 ip->flags &= ~HAMMER_INODE_RESIGNAL; 3222 hammer_flush_inode(ip, HAMMER_FLUSH_SIGNAL); 3223 } else { 3224 hammer_flush_inode(ip, 0); 3225 } 3226 hammer_rel_inode(ip, 0); 3227 } 3228 } 3229 3230 /* 3231 * Clear the RECLAIM flag on an inode. This occurs when the inode is 3232 * reassociated with a vp or just before it gets freed. 3233 * 3234 * Pipeline wakeups to threads blocked due to an excessive number of 3235 * detached inodes. This typically occurs when atime updates accumulate 3236 * while scanning a directory tree. 3237 */ 3238 static void 3239 hammer_inode_wakereclaims(hammer_inode_t ip) 3240 { 3241 struct hammer_reclaim *reclaim; 3242 hammer_mount_t hmp = ip->hmp; 3243 3244 if ((ip->flags & HAMMER_INODE_RECLAIM) == 0) 3245 return; 3246 3247 --hammer_count_reclaims; 3248 --hmp->count_reclaims; 3249 ip->flags &= ~HAMMER_INODE_RECLAIM; 3250 3251 if ((reclaim = TAILQ_FIRST(&hmp->reclaim_list)) != NULL) { 3252 KKASSERT(reclaim->count > 0); 3253 if (--reclaim->count == 0) { 3254 TAILQ_REMOVE(&hmp->reclaim_list, reclaim, entry); 3255 wakeup(reclaim); 3256 } 3257 } 3258 } 3259 3260 /* 3261 * Setup our reclaim pipeline. We only let so many detached (and dirty) 3262 * inodes build up before we start blocking. This routine is called 3263 * if a new inode is created or an inode is loaded from media. 3264 * 3265 * When we block we don't care *which* inode has finished reclaiming, 3266 * as long as one does. 3267 * 3268 * The reclaim pipeline is primarily governed by the auto-flush which is 3269 * 1/4 hammer_limit_reclaims. We don't want to block if the count is 3270 * less than 1/2 hammer_limit_reclaims. From 1/2 to full count is 3271 * dynamically governed. 3272 */ 3273 void 3274 hammer_inode_waitreclaims(hammer_transaction_t trans) 3275 { 3276 hammer_mount_t hmp = trans->hmp; 3277 struct hammer_reclaim reclaim; 3278 int lower_limit; 3279 3280 /* 3281 * Track inode load, delay if the number of reclaiming inodes is 3282 * between 2/4 and 4/4 hammer_limit_reclaims, depending. 3283 */ 3284 if (curthread->td_proc) { 3285 struct hammer_inostats *stats; 3286 3287 stats = hammer_inode_inostats(hmp, curthread->td_proc->p_pid); 3288 ++stats->count; 3289 3290 if (stats->count > hammer_limit_reclaims / 2) 3291 stats->count = hammer_limit_reclaims / 2; 3292 lower_limit = hammer_limit_reclaims - stats->count; 3293 if (hammer_debug_general & 0x10000) { 3294 kprintf("pid %5d limit %d\n", 3295 (int)curthread->td_proc->p_pid, lower_limit); 3296 } 3297 } else { 3298 lower_limit = hammer_limit_reclaims * 3 / 4; 3299 } 3300 if (hmp->count_reclaims >= lower_limit) { 3301 reclaim.count = 1; 3302 TAILQ_INSERT_TAIL(&hmp->reclaim_list, &reclaim, entry); 3303 tsleep(&reclaim, 0, "hmrrcm", hz); 3304 if (reclaim.count > 0) 3305 TAILQ_REMOVE(&hmp->reclaim_list, &reclaim, entry); 3306 } 3307 } 3308 3309 /* 3310 * Keep track of reclaim statistics on a per-pid basis using a loose 3311 * 4-way set associative hash table. Collisions inherit the count of 3312 * the previous entry. 3313 * 3314 * NOTE: We want to be careful here to limit the chain size. If the chain 3315 * size is too large a pid will spread its stats out over too many 3316 * entries under certain types of heavy filesystem activity and 3317 * wind up not delaying long enough. 3318 */ 3319 static 3320 struct hammer_inostats * 3321 hammer_inode_inostats(hammer_mount_t hmp, pid_t pid) 3322 { 3323 struct hammer_inostats *stats; 3324 int delta; 3325 int chain; 3326 static volatile int iterator; /* we don't care about MP races */ 3327 3328 /* 3329 * Chain up to 4 times to find our entry. 3330 */ 3331 for (chain = 0; chain < 4; ++chain) { 3332 stats = &hmp->inostats[(pid + chain) & HAMMER_INOSTATS_HMASK]; 3333 if (stats->pid == pid) 3334 break; 3335 } 3336 3337 /* 3338 * Replace one of the four chaining entries with our new entry. 3339 */ 3340 if (chain == 4) { 3341 stats = &hmp->inostats[(pid + (iterator++ & 3)) & 3342 HAMMER_INOSTATS_HMASK]; 3343 stats->pid = pid; 3344 } 3345 3346 /* 3347 * Decay the entry 3348 */ 3349 if (stats->count && stats->ltick != ticks) { 3350 delta = ticks - stats->ltick; 3351 stats->ltick = ticks; 3352 if (delta <= 0 || delta > hz * 60) 3353 stats->count = 0; 3354 else 3355 stats->count = stats->count * hz / (hz + delta); 3356 } 3357 if (hammer_debug_general & 0x10000) 3358 kprintf("pid %5d stats %d\n", (int)pid, stats->count); 3359 return (stats); 3360 } 3361 3362 #if 0 3363 3364 /* 3365 * XXX not used, doesn't work very well due to the large batching nature 3366 * of flushes. 3367 * 3368 * A larger then normal backlog of inodes is sitting in the flusher, 3369 * enforce a general slowdown to let it catch up. This routine is only 3370 * called on completion of a non-flusher-related transaction which 3371 * performed B-Tree node I/O. 3372 * 3373 * It is possible for the flusher to stall in a continuous load. 3374 * blogbench -i1000 -o seems to do a good job generating this sort of load. 3375 * If the flusher is unable to catch up the inode count can bloat until 3376 * we run out of kvm. 3377 * 3378 * This is a bit of a hack. 3379 */ 3380 void 3381 hammer_inode_waithard(hammer_mount_t hmp) 3382 { 3383 /* 3384 * Hysteresis. 3385 */ 3386 if (hmp->flags & HAMMER_MOUNT_FLUSH_RECOVERY) { 3387 if (hmp->count_reclaims < hammer_limit_reclaims / 2 && 3388 hmp->count_iqueued < hmp->count_inodes / 20) { 3389 hmp->flags &= ~HAMMER_MOUNT_FLUSH_RECOVERY; 3390 return; 3391 } 3392 } else { 3393 if (hmp->count_reclaims < hammer_limit_reclaims || 3394 hmp->count_iqueued < hmp->count_inodes / 10) { 3395 return; 3396 } 3397 hmp->flags |= HAMMER_MOUNT_FLUSH_RECOVERY; 3398 } 3399 3400 /* 3401 * Block for one flush cycle. 3402 */ 3403 hammer_flusher_wait_next(hmp); 3404 } 3405 3406 #endif 3407