1 1.293 perseant /* $NetBSD: lfs_segment.c,v 1.293 2025/09/17 04:37:47 perseant Exp $ */ 2 1.2 cgd 3 1.15 perseant /*- 4 1.101 perseant * Copyright (c) 1999, 2000, 2001, 2002, 2003 The NetBSD Foundation, Inc. 5 1.15 perseant * All rights reserved. 6 1.15 perseant * 7 1.15 perseant * This code is derived from software contributed to The NetBSD Foundation 8 1.15 perseant * by Konrad E. Schroder <perseant (at) hhhh.org>. 9 1.15 perseant * 10 1.15 perseant * Redistribution and use in source and binary forms, with or without 11 1.15 perseant * modification, are permitted provided that the following conditions 12 1.15 perseant * are met: 13 1.15 perseant * 1. Redistributions of source code must retain the above copyright 14 1.15 perseant * notice, this list of conditions and the following disclaimer. 15 1.15 perseant * 2. Redistributions in binary form must reproduce the above copyright 16 1.15 perseant * notice, this list of conditions and the following disclaimer in the 17 1.15 perseant * documentation and/or other materials provided with the distribution. 18 1.15 perseant * 19 1.15 perseant * THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND CONTRIBUTORS 20 1.15 perseant * ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED 21 1.15 perseant * TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR 22 1.15 perseant * PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS 23 1.15 perseant * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR 24 1.15 perseant * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF 25 1.15 perseant * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS 26 1.15 perseant * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN 27 1.15 perseant * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) 28 1.15 perseant * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE 29 1.15 perseant * POSSIBILITY OF SUCH DAMAGE. 30 1.15 perseant */ 31 1.1 mycroft /* 32 1.1 mycroft * Copyright (c) 1991, 1993 33 1.1 mycroft * The Regents of the University of California. All rights reserved. 34 1.1 mycroft * 35 1.1 mycroft * Redistribution and use in source and binary forms, with or without 36 1.1 mycroft * modification, are permitted provided that the following conditions 37 1.1 mycroft * are met: 38 1.1 mycroft * 1. Redistributions of source code must retain the above copyright 39 1.1 mycroft * notice, this list of conditions and the following disclaimer. 40 1.1 mycroft * 2. Redistributions in binary form must reproduce the above copyright 41 1.1 mycroft * notice, this list of conditions and the following disclaimer in the 42 1.1 mycroft * documentation and/or other materials provided with the distribution. 43 1.131 agc * 3. Neither the name of the University nor the names of its contributors 44 1.1 mycroft * may be used to endorse or promote products derived from this software 45 1.1 mycroft * without specific prior written permission. 46 1.1 mycroft * 47 1.1 mycroft * THIS SOFTWARE IS PROVIDED BY THE REGENTS AND CONTRIBUTORS ``AS IS'' AND 48 1.1 mycroft * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE 49 1.1 mycroft * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE 50 1.1 mycroft * ARE DISCLAIMED. IN NO EVENT SHALL THE REGENTS OR CONTRIBUTORS BE LIABLE 51 1.1 mycroft * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL 52 1.1 mycroft * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS 53 1.1 mycroft * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) 54 1.1 mycroft * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT 55 1.1 mycroft * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY 56 1.1 mycroft * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF 57 1.1 mycroft * SUCH DAMAGE. 58 1.1 mycroft * 59 1.10 fvdl * @(#)lfs_segment.c 8.10 (Berkeley) 6/10/95 60 1.1 mycroft */ 61 1.72 lukem 62 1.72 lukem #include <sys/cdefs.h> 63 1.293 perseant __KERNEL_RCSID(0, "$NetBSD: lfs_segment.c,v 1.293 2025/09/17 04:37:47 perseant Exp $"); 64 1.1 mycroft 65 1.158 perseant #ifdef DEBUG 66 1.158 perseant # define vndebug(vp, str) do { \ 67 1.270 maya if (VTOI(vp)->i_state & IN_CLEANING) \ 68 1.158 perseant DLOG((DLOG_WVNODE, "not writing ino %d because %s (op %d)\n", \ 69 1.158 perseant VTOI(vp)->i_number, (str), op)); \ 70 1.158 perseant } while(0) 71 1.158 perseant #else 72 1.158 perseant # define vndebug(vp, str) 73 1.158 perseant #endif 74 1.158 perseant #define ivndebug(vp, str) \ 75 1.158 perseant DLOG((DLOG_WVNODE, "ino %d: %s\n", VTOI(vp)->i_number, (str))) 76 1.16 perseant 77 1.68 mrg #if defined(_KERNEL_OPT) 78 1.30 perseant #include "opt_ddb.h" 79 1.65 jdolecek #endif 80 1.65 jdolecek 81 1.1 mycroft #include <sys/param.h> 82 1.1 mycroft #include <sys/systm.h> 83 1.1 mycroft #include <sys/namei.h> 84 1.1 mycroft #include <sys/kernel.h> 85 1.1 mycroft #include <sys/resourcevar.h> 86 1.1 mycroft #include <sys/file.h> 87 1.1 mycroft #include <sys/stat.h> 88 1.1 mycroft #include <sys/buf.h> 89 1.1 mycroft #include <sys/proc.h> 90 1.1 mycroft #include <sys/vnode.h> 91 1.1 mycroft #include <sys/mount.h> 92 1.179 elad #include <sys/kauth.h> 93 1.184 perseant #include <sys/syslog.h> 94 1.289 perseant #include <sys/workqueue.h> 95 1.1 mycroft 96 1.1 mycroft #include <miscfs/specfs/specdev.h> 97 1.1 mycroft #include <miscfs/fifofs/fifo.h> 98 1.1 mycroft 99 1.226 dholland #include <ufs/lfs/ulfs_inode.h> 100 1.226 dholland #include <ufs/lfs/ulfsmount.h> 101 1.226 dholland #include <ufs/lfs/ulfs_extern.h> 102 1.1 mycroft 103 1.1 mycroft #include <ufs/lfs/lfs.h> 104 1.245 dholland #include <ufs/lfs/lfs_accessors.h> 105 1.231 dholland #include <ufs/lfs/lfs_kernel.h> 106 1.1 mycroft #include <ufs/lfs/lfs_extern.h> 107 1.1 mycroft 108 1.74 perseant #include <uvm/uvm_extern.h> 109 1.288 riastrad #include <uvm/uvm_page.h> 110 1.99 thorpej 111 1.201 pooka MALLOC_JUSTDEFINE(M_SEGMENT, "LFS segment", "Segment for LFS"); 112 1.74 perseant 113 1.79 perseant static void lfs_super_aiodone(struct buf *); 114 1.79 perseant static void lfs_cluster_aiodone(struct buf *); 115 1.293 perseant static int lfs_ungather(struct lfs *, struct segment *, struct vnode *, 116 1.293 perseant int (*match)(struct lfs *, struct buf *)); 117 1.74 perseant 118 1.1 mycroft /* 119 1.1 mycroft * Determine if it's OK to start a partial in this segment, or if we need 120 1.1 mycroft * to go on to a new segment. 121 1.1 mycroft */ 122 1.1 mycroft #define LFS_PARTIAL_FITS(fs) \ 123 1.242 dholland (lfs_sb_getfsbpseg(fs) - \ 124 1.242 dholland (lfs_sb_getoffset(fs) - lfs_sb_getcurseg(fs)) > \ 125 1.242 dholland lfs_sb_getfrag(fs)) 126 1.1 mycroft 127 1.171 perseant /* 128 1.171 perseant * Figure out whether we should do a checkpoint write or go ahead with 129 1.171 perseant * an ordinary write. 130 1.171 perseant */ 131 1.171 perseant #define LFS_SHOULD_CHECKPOINT(fs, flags) \ 132 1.186 perseant ((flags & SEGM_CLEAN) == 0 && \ 133 1.186 perseant ((fs->lfs_nactive > LFS_MAX_ACTIVE || \ 134 1.186 perseant (flags & SEGM_CKP) || \ 135 1.243 dholland lfs_sb_getnclean(fs) < LFS_MAX_ACTIVE))) 136 1.171 perseant 137 1.69 perseant int lfs_match_fake(struct lfs *, struct buf *); 138 1.69 perseant void lfs_newseg(struct lfs *); 139 1.69 perseant void lfs_updatemeta(struct segment *); 140 1.69 perseant void lfs_writesuper(struct lfs *, daddr_t); 141 1.69 perseant int lfs_writevnodes(struct lfs *fs, struct mount *mp, 142 1.69 perseant struct segment *sp, int dirops); 143 1.1 mycroft 144 1.255 dholland static void lfs_shellsort(struct lfs *, struct buf **, union lfs_blocks *, 145 1.255 dholland int, int); 146 1.255 dholland 147 1.274 maya kcondvar_t lfs_allclean_wakeup; /* Cleaner wakeup address. */ 148 1.103 perseant int lfs_writeindir = 1; /* whether to flush indir on non-ckp */ 149 1.25 perseant int lfs_clean_vnhead = 0; /* Allow freeing to head of vn list */ 150 1.32 perseant int lfs_dirvcount = 0; /* # active dirops */ 151 1.1 mycroft 152 1.292 perseant extern struct workqueue *lfs_cluster_wq; 153 1.292 perseant extern struct workqueue *lfs_super_wq; 154 1.289 perseant 155 1.1 mycroft /* Statistics Counters */ 156 1.15 perseant int lfs_dostats = 1; 157 1.1 mycroft struct lfs_stats lfs_stats; 158 1.1 mycroft 159 1.1 mycroft /* op values to lfs_writevnodes */ 160 1.103 perseant #define VN_REG 0 161 1.1 mycroft #define VN_DIROP 1 162 1.1 mycroft #define VN_EMPTY 2 163 1.103 perseant #define VN_CLEAN 3 164 1.15 perseant 165 1.15 perseant /* 166 1.15 perseant * XXX KS - Set modification time on the Ifile, so the cleaner can 167 1.15 perseant * read the fs mod time off of it. We don't set IN_UPDATE here, 168 1.15 perseant * since we don't really need this to be flushed to disk (and in any 169 1.15 perseant * case that wouldn't happen to the Ifile until we checkpoint). 170 1.15 perseant */ 171 1.15 perseant void 172 1.69 perseant lfs_imtime(struct lfs *fs) 173 1.15 perseant { 174 1.15 perseant struct timespec ts; 175 1.15 perseant struct inode *ip; 176 1.157 perry 177 1.159 perseant ASSERT_MAYBE_SEGLOCK(fs); 178 1.183 yamt vfs_timestamp(&ts); 179 1.15 perseant ip = VTOI(fs->lfs_ivnode); 180 1.259 dholland lfs_dino_setmtime(fs, ip->i_din, ts.tv_sec); 181 1.259 dholland lfs_dino_setmtimensec(fs, ip->i_din, ts.tv_nsec); 182 1.15 perseant } 183 1.1 mycroft 184 1.1 mycroft /* 185 1.1 mycroft * Ifile and meta data blocks are not marked busy, so segment writes MUST be 186 1.1 mycroft * single threaded. Currently, there are two paths into lfs_segwrite, sync() 187 1.1 mycroft * and getnewbuf(). They both mark the file system busy. Lfs_vflush() 188 1.1 mycroft * explicitly marks the file system busy. So lfs_segwrite is safe. I think. 189 1.1 mycroft */ 190 1.1 mycroft 191 1.15 perseant #define IS_FLUSHING(fs,vp) ((fs)->lfs_flushvp == (vp)) 192 1.15 perseant 193 1.1 mycroft int 194 1.69 perseant lfs_vflush(struct vnode *vp) 195 1.1 mycroft { 196 1.1 mycroft struct inode *ip; 197 1.1 mycroft struct lfs *fs; 198 1.1 mycroft struct segment *sp; 199 1.38 perseant struct buf *bp, *nbp, *tbp, *tnbp; 200 1.207 ad int error; 201 1.101 perseant int flushed; 202 1.171 perseant int relock; 203 1.19 perseant 204 1.22 perseant ip = VTOI(vp); 205 1.227 dholland fs = VFSTOULFS(vp->v_mount)->um_lfs; 206 1.171 perseant relock = 0; 207 1.22 perseant 208 1.171 perseant top: 209 1.223 perseant KASSERT(mutex_owned(vp->v_interlock) == false); 210 1.223 perseant KASSERT(mutex_owned(&lfs_lock) == false); 211 1.223 perseant KASSERT(mutex_owned(&bufcache_lock) == false); 212 1.159 perseant ASSERT_NO_SEGLOCK(fs); 213 1.270 maya if (ip->i_state & IN_CLEANING) { 214 1.19 perseant ivndebug(vp,"vflush/in_cleaning"); 215 1.207 ad mutex_enter(&lfs_lock); 216 1.56 perseant LFS_CLR_UINO(ip, IN_CLEANING); 217 1.56 perseant LFS_SET_UINO(ip, IN_MODIFIED); 218 1.207 ad mutex_exit(&lfs_lock); 219 1.56 perseant 220 1.38 perseant /* 221 1.38 perseant * Toss any cleaning buffers that have real counterparts 222 1.101 perseant * to avoid losing new data. 223 1.38 perseant */ 224 1.221 rmind mutex_enter(vp->v_interlock); 225 1.75 perseant for (bp = LIST_FIRST(&vp->v_dirtyblkhd); bp; bp = nbp) { 226 1.75 perseant nbp = LIST_NEXT(bp, b_vnbufs); 227 1.101 perseant if (!LFS_IS_MALLOC_BUF(bp)) 228 1.101 perseant continue; 229 1.101 perseant /* 230 1.106 perseant * Look for pages matching the range covered 231 1.106 perseant * by cleaning blocks. It's okay if more dirty 232 1.106 perseant * pages appear, so long as none disappear out 233 1.106 perseant * from under us. 234 1.101 perseant */ 235 1.101 perseant if (bp->b_lblkno > 0 && vp->v_type == VREG && 236 1.101 perseant vp != fs->lfs_ivnode) { 237 1.101 perseant struct vm_page *pg; 238 1.101 perseant voff_t off; 239 1.101 perseant 240 1.230 christos for (off = lfs_lblktosize(fs, bp->b_lblkno); 241 1.230 christos off < lfs_lblktosize(fs, bp->b_lblkno + 1); 242 1.101 perseant off += PAGE_SIZE) { 243 1.101 perseant pg = uvm_pagelookup(&vp->v_uobj, off); 244 1.106 perseant if (pg == NULL) 245 1.106 perseant continue; 246 1.281 ad if (uvm_pagegetdirty(pg) 247 1.281 ad == UVM_PAGE_STATUS_DIRTY || 248 1.106 perseant pmap_is_modified(pg)) { 249 1.242 dholland lfs_sb_addavail(fs, 250 1.242 dholland lfs_btofsb(fs, 251 1.242 dholland bp->b_bcount)); 252 1.242 dholland wakeup(&fs->lfs_availsleep); 253 1.221 rmind mutex_exit(vp->v_interlock); 254 1.101 perseant lfs_freebuf(fs, bp); 255 1.221 rmind mutex_enter(vp->v_interlock); 256 1.69 perseant bp = NULL; 257 1.207 ad break; 258 1.38 perseant } 259 1.38 perseant } 260 1.38 perseant } 261 1.101 perseant for (tbp = LIST_FIRST(&vp->v_dirtyblkhd); tbp; 262 1.101 perseant tbp = tnbp) 263 1.101 perseant { 264 1.101 perseant tnbp = LIST_NEXT(tbp, b_vnbufs); 265 1.101 perseant if (tbp->b_vp == bp->b_vp 266 1.101 perseant && tbp->b_lblkno == bp->b_lblkno 267 1.101 perseant && tbp != bp) 268 1.101 perseant { 269 1.242 dholland lfs_sb_addavail(fs, lfs_btofsb(fs, 270 1.242 dholland bp->b_bcount)); 271 1.242 dholland wakeup(&fs->lfs_availsleep); 272 1.221 rmind mutex_exit(vp->v_interlock); 273 1.101 perseant lfs_freebuf(fs, bp); 274 1.221 rmind mutex_enter(vp->v_interlock); 275 1.101 perseant bp = NULL; 276 1.101 perseant break; 277 1.101 perseant } 278 1.101 perseant } 279 1.38 perseant } 280 1.207 ad } else { 281 1.221 rmind mutex_enter(vp->v_interlock); 282 1.19 perseant } 283 1.19 perseant 284 1.19 perseant /* If the node is being written, wait until that is done */ 285 1.207 ad while (WRITEINPROG(vp)) { 286 1.19 perseant ivndebug(vp,"vflush/writeinprog"); 287 1.221 rmind cv_wait(&vp->v_cv, vp->v_interlock); 288 1.19 perseant } 289 1.236 hannken error = vdead_check(vp, VDEAD_NOWAIT); 290 1.221 rmind mutex_exit(vp->v_interlock); 291 1.1 mycroft 292 1.236 hannken /* Protect against deadlock in vinvalbuf() */ 293 1.236 hannken lfs_seglock(fs, SEGM_SYNC | ((error != 0) ? SEGM_RECLAIM : 0)); 294 1.236 hannken if (error != 0) { 295 1.223 perseant fs->lfs_reclino = ip->i_number; 296 1.223 perseant } 297 1.30 perseant 298 1.30 perseant /* If we're supposed to flush a freed inode, just toss it */ 299 1.178 perseant if (ip->i_lfs_iflags & LFSI_DELETED) { 300 1.158 perseant DLOG((DLOG_VNODE, "lfs_vflush: ino %d freed, not flushing\n", 301 1.158 perseant ip->i_number)); 302 1.178 perseant /* Drain v_numoutput */ 303 1.221 rmind mutex_enter(vp->v_interlock); 304 1.178 perseant while (vp->v_numoutput > 0) { 305 1.221 rmind cv_wait(&vp->v_cv, vp->v_interlock); 306 1.178 perseant } 307 1.178 perseant KASSERT(vp->v_numoutput == 0); 308 1.221 rmind mutex_exit(vp->v_interlock); 309 1.178 perseant 310 1.207 ad mutex_enter(&bufcache_lock); 311 1.75 perseant for (bp = LIST_FIRST(&vp->v_dirtyblkhd); bp; bp = nbp) { 312 1.75 perseant nbp = LIST_NEXT(bp, b_vnbufs); 313 1.178 perseant 314 1.178 perseant KASSERT((bp->b_flags & B_GATHERED) == 0); 315 1.207 ad if (bp->b_oflags & BO_DELWRI) { /* XXX always true? */ 316 1.242 dholland lfs_sb_addavail(fs, lfs_btofsb(fs, bp->b_bcount)); 317 1.242 dholland wakeup(&fs->lfs_availsleep); 318 1.62 perseant } 319 1.30 perseant /* Copied from lfs_writeseg */ 320 1.207 ad if (bp->b_iodone != NULL) { 321 1.207 ad mutex_exit(&bufcache_lock); 322 1.101 perseant biodone(bp); 323 1.207 ad mutex_enter(&bufcache_lock); 324 1.30 perseant } else { 325 1.30 perseant bremfree(bp); 326 1.62 perseant LFS_UNLOCK_BUF(bp); 327 1.221 rmind mutex_enter(vp->v_interlock); 328 1.207 ad bp->b_flags &= ~(B_READ | B_GATHERED); 329 1.207 ad bp->b_oflags = (bp->b_oflags & ~BO_DELWRI) | BO_DONE; 330 1.203 ad bp->b_error = 0; 331 1.30 perseant reassignbuf(bp, vp); 332 1.221 rmind mutex_exit(vp->v_interlock); 333 1.205 ad brelse(bp, 0); 334 1.30 perseant } 335 1.30 perseant } 336 1.207 ad mutex_exit(&bufcache_lock); 337 1.56 perseant LFS_CLR_UINO(ip, IN_CLEANING); 338 1.56 perseant LFS_CLR_UINO(ip, IN_MODIFIED | IN_ACCESSED); 339 1.270 maya ip->i_state &= ~IN_ALLMOD; 340 1.158 perseant DLOG((DLOG_VNODE, "lfs_vflush: done not flushing ino %d\n", 341 1.158 perseant ip->i_number)); 342 1.30 perseant lfs_segunlock(fs); 343 1.178 perseant 344 1.178 perseant KASSERT(LIST_FIRST(&vp->v_dirtyblkhd) == NULL); 345 1.178 perseant 346 1.30 perseant return 0; 347 1.30 perseant } 348 1.30 perseant 349 1.173 perseant fs->lfs_flushvp = vp; 350 1.171 perseant if (LFS_SHOULD_CHECKPOINT(fs, fs->lfs_sp->seg_flags)) { 351 1.79 perseant error = lfs_segwrite(vp->v_mount, SEGM_CKP | SEGM_SYNC); 352 1.173 perseant fs->lfs_flushvp = NULL; 353 1.173 perseant KASSERT(fs->lfs_flushvp_fakevref == 0); 354 1.15 perseant lfs_segunlock(fs); 355 1.178 perseant 356 1.178 perseant /* Make sure that any pending buffers get written */ 357 1.221 rmind mutex_enter(vp->v_interlock); 358 1.178 perseant while (vp->v_numoutput > 0) { 359 1.221 rmind cv_wait(&vp->v_cv, vp->v_interlock); 360 1.178 perseant } 361 1.178 perseant KASSERT(LIST_FIRST(&vp->v_dirtyblkhd) == NULL); 362 1.178 perseant KASSERT(vp->v_numoutput == 0); 363 1.221 rmind mutex_exit(vp->v_interlock); 364 1.178 perseant 365 1.15 perseant return error; 366 1.15 perseant } 367 1.1 mycroft sp = fs->lfs_sp; 368 1.1 mycroft 369 1.101 perseant flushed = 0; 370 1.101 perseant if (VPISEMPTY(vp)) { 371 1.1 mycroft lfs_writevnodes(fs, vp->v_mount, sp, VN_EMPTY); 372 1.101 perseant ++flushed; 373 1.270 maya } else if ((ip->i_state & IN_CLEANING) && 374 1.58 perseant (fs->lfs_sp->seg_flags & SEGM_CLEAN)) { 375 1.19 perseant ivndebug(vp,"vflush/clean"); 376 1.19 perseant lfs_writevnodes(fs, vp->v_mount, sp, VN_CLEAN); 377 1.101 perseant ++flushed; 378 1.74 perseant } else if (lfs_dostats) { 379 1.270 maya if (!VPISEMPTY(vp) || (VTOI(vp)->i_state & IN_ALLMOD)) 380 1.15 perseant ++lfs_stats.vflush_invoked; 381 1.19 perseant ivndebug(vp,"vflush"); 382 1.15 perseant } 383 1.15 perseant 384 1.19 perseant #ifdef DIAGNOSTIC 385 1.206 ad if (vp->v_uflag & VU_DIROP) { 386 1.206 ad DLOG((DLOG_VNODE, "lfs_vflush: flushing VU_DIROP\n")); 387 1.206 ad /* panic("lfs_vflush: VU_DIROP being flushed...this can\'t happen"); */ 388 1.19 perseant } 389 1.15 perseant #endif 390 1.1 mycroft 391 1.1 mycroft do { 392 1.232 christos #ifdef DEBUG 393 1.232 christos int loopcount = 0; 394 1.232 christos #endif 395 1.1 mycroft do { 396 1.171 perseant if (LIST_FIRST(&vp->v_dirtyblkhd) != NULL) { 397 1.171 perseant relock = lfs_writefile(fs, sp, vp); 398 1.223 perseant if (relock && vp != fs->lfs_ivnode) { 399 1.171 perseant /* 400 1.171 perseant * Might have to wait for the 401 1.171 perseant * cleaner to run; but we're 402 1.171 perseant * still not done with this vnode. 403 1.223 perseant * XXX we can do better than this. 404 1.171 perseant */ 405 1.284 riastrad KASSERT(ip->i_number != LFS_IFILE_INUM); 406 1.176 perseant lfs_writeinode(fs, sp, ip); 407 1.207 ad mutex_enter(&lfs_lock); 408 1.176 perseant LFS_SET_UINO(ip, IN_MODIFIED); 409 1.207 ad mutex_exit(&lfs_lock); 410 1.171 perseant lfs_writeseg(fs, sp); 411 1.171 perseant lfs_segunlock(fs); 412 1.171 perseant lfs_segunlock_relock(fs); 413 1.171 perseant goto top; 414 1.171 perseant } 415 1.171 perseant } 416 1.174 perseant /* 417 1.174 perseant * If we begin a new segment in the middle of writing 418 1.174 perseant * the Ifile, it creates an inconsistent checkpoint, 419 1.174 perseant * since the Ifile information for the new segment 420 1.174 perseant * is not up-to-date. Take care of this here by 421 1.174 perseant * sending the Ifile through again in case there 422 1.174 perseant * are newly dirtied blocks. But wait, there's more! 423 1.174 perseant * This second Ifile write could *also* cross a segment 424 1.174 perseant * boundary, if the first one was large. The second 425 1.174 perseant * one is guaranteed to be no more than 8 blocks, 426 1.174 perseant * though (two segment blocks and supporting indirects) 427 1.174 perseant * so the third write *will not* cross the boundary. 428 1.174 perseant */ 429 1.174 perseant if (vp == fs->lfs_ivnode) { 430 1.174 perseant lfs_writefile(fs, sp, vp); 431 1.174 perseant lfs_writefile(fs, sp, vp); 432 1.174 perseant } 433 1.189 perseant #ifdef DEBUG 434 1.191 perseant if (++loopcount > 2) 435 1.191 perseant log(LOG_NOTICE, "lfs_vflush: looping count=%d\n", loopcount); 436 1.189 perseant #endif 437 1.1 mycroft } while (lfs_writeinode(fs, sp, ip)); 438 1.1 mycroft } while (lfs_writeseg(fs, sp) && ip->i_number == LFS_IFILE_INUM); 439 1.171 perseant 440 1.73 chs if (lfs_dostats) { 441 1.15 perseant ++lfs_stats.nwrites; 442 1.15 perseant if (sp->seg_flags & SEGM_SYNC) 443 1.15 perseant ++lfs_stats.nsync_writes; 444 1.15 perseant if (sp->seg_flags & SEGM_CKP) 445 1.15 perseant ++lfs_stats.ncheckpoints; 446 1.15 perseant } 447 1.74 perseant /* 448 1.74 perseant * If we were called from somewhere that has already held the seglock 449 1.74 perseant * (e.g., lfs_markv()), the lfs_segunlock will not wait for 450 1.74 perseant * the write to complete because we are still locked. 451 1.74 perseant * Since lfs_vflush() must return the vnode with no dirty buffers, 452 1.74 perseant * we must explicitly wait, if that is the case. 453 1.74 perseant * 454 1.74 perseant * We compare the iocount against 1, not 0, because it is 455 1.74 perseant * artificially incremented by lfs_seglock(). 456 1.74 perseant */ 457 1.207 ad mutex_enter(&lfs_lock); 458 1.74 perseant if (fs->lfs_seglock > 1) { 459 1.74 perseant while (fs->lfs_iocount > 1) 460 1.207 ad (void)mtsleep(&fs->lfs_iocount, PRIBIO + 1, 461 1.207 ad "lfs_vflush", 0, &lfs_lock); 462 1.159 perseant } 463 1.207 ad mutex_exit(&lfs_lock); 464 1.111 perseant 465 1.15 perseant lfs_segunlock(fs); 466 1.1 mycroft 467 1.120 perseant /* Wait for these buffers to be recovered by aiodoned */ 468 1.221 rmind mutex_enter(vp->v_interlock); 469 1.120 perseant while (vp->v_numoutput > 0) { 470 1.221 rmind cv_wait(&vp->v_cv, vp->v_interlock); 471 1.120 perseant } 472 1.178 perseant KASSERT(LIST_FIRST(&vp->v_dirtyblkhd) == NULL); 473 1.178 perseant KASSERT(vp->v_numoutput == 0); 474 1.221 rmind mutex_exit(vp->v_interlock); 475 1.178 perseant 476 1.173 perseant fs->lfs_flushvp = NULL; 477 1.173 perseant KASSERT(fs->lfs_flushvp_fakevref == 0); 478 1.173 perseant 479 1.1 mycroft return (0); 480 1.1 mycroft } 481 1.1 mycroft 482 1.258 hannken struct lfs_writevnodes_ctx { 483 1.258 hannken int op; 484 1.258 hannken struct lfs *fs; 485 1.258 hannken }; 486 1.258 hannken static bool 487 1.258 hannken lfs_writevnodes_selector(void *cl, struct vnode *vp) 488 1.258 hannken { 489 1.258 hannken struct lfs_writevnodes_ctx *c = cl; 490 1.265 riastrad struct inode *ip; 491 1.258 hannken int op = c->op; 492 1.258 hannken 493 1.265 riastrad KASSERT(mutex_owned(vp->v_interlock)); 494 1.265 riastrad 495 1.265 riastrad ip = VTOI(vp); 496 1.287 riastrad if (ip == NULL || vp->v_type == VNON || ip->i_nlink <= 0) 497 1.258 hannken return false; 498 1.258 hannken if ((op == VN_DIROP && !(vp->v_uflag & VU_DIROP)) || 499 1.258 hannken (op != VN_DIROP && op != VN_CLEAN && (vp->v_uflag & VU_DIROP))) { 500 1.258 hannken vndebug(vp, "dirop"); 501 1.258 hannken return false; 502 1.258 hannken } 503 1.258 hannken if (op == VN_EMPTY && !VPISEMPTY(vp)) { 504 1.258 hannken vndebug(vp,"empty"); 505 1.276 maya return false; 506 1.258 hannken } 507 1.258 hannken if (op == VN_CLEAN && ip->i_number != LFS_IFILE_INUM && 508 1.270 maya vp != c->fs->lfs_flushvp && !(ip->i_state & IN_CLEANING)) { 509 1.258 hannken vndebug(vp,"cleaning"); 510 1.258 hannken return false; 511 1.258 hannken } 512 1.258 hannken mutex_enter(&lfs_lock); 513 1.258 hannken if (vp == c->fs->lfs_unlockvp) { 514 1.258 hannken mutex_exit(&lfs_lock); 515 1.258 hannken return false; 516 1.258 hannken } 517 1.258 hannken mutex_exit(&lfs_lock); 518 1.258 hannken 519 1.258 hannken return true; 520 1.258 hannken } 521 1.258 hannken 522 1.15 perseant int 523 1.69 perseant lfs_writevnodes(struct lfs *fs, struct mount *mp, struct segment *sp, int op) 524 1.1 mycroft { 525 1.1 mycroft struct inode *ip; 526 1.194 reinoud struct vnode *vp; 527 1.258 hannken struct vnode_iterator *marker; 528 1.258 hannken struct lfs_writevnodes_ctx ctx; 529 1.241 hannken int inodes_written = 0; 530 1.171 perseant int error = 0; 531 1.1 mycroft 532 1.258 hannken /* 533 1.258 hannken * XXX This was TAILQ_FOREACH_REVERSE on &mp->mnt_vnodelist. 534 1.258 hannken * XXX The rationale is unclear, the initial commit had no information. 535 1.258 hannken * XXX If the order really matters we have to sort the vnodes first. 536 1.258 hannken */ 537 1.258 hannken 538 1.159 perseant ASSERT_SEGLOCK(fs); 539 1.258 hannken vfs_vnode_iterator_init(mp, &marker); 540 1.258 hannken ctx.op = op; 541 1.258 hannken ctx.fs = fs; 542 1.258 hannken while ((vp = vfs_vnode_iterator_next(marker, 543 1.258 hannken lfs_writevnodes_selector, &ctx)) != NULL) { 544 1.15 perseant ip = VTOI(vp); 545 1.1 mycroft 546 1.1 mycroft /* 547 1.55 perseant * Write the inode/file if dirty and it's not the IFILE. 548 1.1 mycroft */ 549 1.270 maya if (((ip->i_state & IN_ALLMOD) || !VPISEMPTY(vp)) && 550 1.258 hannken ip->i_number != LFS_IFILE_INUM) { 551 1.258 hannken error = lfs_writefile(fs, sp, vp); 552 1.258 hannken if (error) { 553 1.258 hannken vrele(vp); 554 1.258 hannken if (error == EAGAIN) { 555 1.258 hannken /* 556 1.258 hannken * This error from lfs_putpages 557 1.258 hannken * indicates we need to drop 558 1.258 hannken * the segment lock and start 559 1.258 hannken * over after the cleaner has 560 1.258 hannken * had a chance to run. 561 1.258 hannken */ 562 1.258 hannken lfs_writeinode(fs, sp, ip); 563 1.258 hannken lfs_writeseg(fs, sp); 564 1.258 hannken if (!VPISEMPTY(vp) && 565 1.258 hannken !WRITEINPROG(vp) && 566 1.270 maya !(ip->i_state & IN_ALLMOD)) { 567 1.207 ad mutex_enter(&lfs_lock); 568 1.159 perseant LFS_SET_UINO(ip, IN_MODIFIED); 569 1.207 ad mutex_exit(&lfs_lock); 570 1.159 perseant } 571 1.258 hannken break; 572 1.258 hannken } 573 1.258 hannken error = 0; /* XXX not quite right */ 574 1.258 hannken continue; 575 1.258 hannken } 576 1.258 hannken 577 1.258 hannken if (!VPISEMPTY(vp)) { 578 1.258 hannken if (WRITEINPROG(vp)) { 579 1.258 hannken ivndebug(vp,"writevnodes/write2"); 580 1.270 maya } else if (!(ip->i_state & IN_ALLMOD)) { 581 1.258 hannken mutex_enter(&lfs_lock); 582 1.258 hannken LFS_SET_UINO(ip, IN_MODIFIED); 583 1.258 hannken mutex_exit(&lfs_lock); 584 1.15 perseant } 585 1.15 perseant } 586 1.258 hannken (void) lfs_writeinode(fs, sp, ip); 587 1.258 hannken inodes_written++; 588 1.15 perseant } 589 1.241 hannken vrele(vp); 590 1.1 mycroft } 591 1.258 hannken vfs_vnode_iterator_destroy(marker); 592 1.171 perseant return error; 593 1.1 mycroft } 594 1.1 mycroft 595 1.69 perseant /* 596 1.69 perseant * Do a checkpoint. 597 1.69 perseant */ 598 1.1 mycroft int 599 1.69 perseant lfs_segwrite(struct mount *mp, int flags) 600 1.1 mycroft { 601 1.1 mycroft struct buf *bp; 602 1.1 mycroft struct inode *ip; 603 1.1 mycroft struct lfs *fs; 604 1.1 mycroft struct segment *sp; 605 1.1 mycroft struct vnode *vp; 606 1.1 mycroft SEGUSE *segusep; 607 1.207 ad int do_ckp, did_ckp, error; 608 1.117 fvdl unsigned n, segleft, maxseg, sn, i, curseg; 609 1.273 maya int writer_set = 0; 610 1.61 perseant int dirty; 611 1.74 perseant int redo; 612 1.254 dholland SEGSUM *ssp; 613 1.171 perseant int um_error; 614 1.157 perry 615 1.227 dholland fs = VFSTOULFS(mp)->um_lfs; 616 1.293 perseant DLOG((DLOG_SEG, "lfs_segwrite(fs=%p, flags=%x)\n", fs, flags)); 617 1.159 perseant ASSERT_MAYBE_SEGLOCK(fs); 618 1.1 mycroft 619 1.53 perseant if (fs->lfs_ronly) 620 1.53 perseant return EROFS; 621 1.53 perseant 622 1.15 perseant lfs_imtime(fs); 623 1.58 perseant 624 1.1 mycroft /* 625 1.1 mycroft * Allocate a segment structure and enough space to hold pointers to 626 1.1 mycroft * the maximum possible number of buffers which can be described in a 627 1.1 mycroft * single summary block. 628 1.1 mycroft */ 629 1.171 perseant do_ckp = LFS_SHOULD_CHECKPOINT(fs, flags); 630 1.171 perseant 631 1.285 riastrad /* 632 1.285 riastrad * If we know we're gonna need the writer lock, take it now to 633 1.285 riastrad * preserve the lock order lfs_writer -> lfs_seglock. 634 1.285 riastrad */ 635 1.285 riastrad if (do_ckp) { 636 1.285 riastrad lfs_writer_enter(fs, "ckpwriter"); 637 1.285 riastrad writer_set = 1; 638 1.285 riastrad } 639 1.285 riastrad 640 1.223 perseant /* We can't do a partial write and checkpoint at the same time. */ 641 1.223 perseant if (do_ckp) 642 1.223 perseant flags &= ~SEGM_SINGLE; 643 1.223 perseant 644 1.1 mycroft lfs_seglock(fs, flags | (do_ckp ? SEGM_CKP : 0)); 645 1.1 mycroft sp = fs->lfs_sp; 646 1.189 perseant if (sp->seg_flags & (SEGM_CLEAN | SEGM_CKP)) 647 1.189 perseant do_ckp = 1; 648 1.1 mycroft 649 1.15 perseant /* 650 1.16 perseant * If lfs_flushvp is non-NULL, we are called from lfs_vflush, 651 1.16 perseant * in which case we have to flush *all* buffers off of this vnode. 652 1.37 perseant * We don't care about other nodes, but write any non-dirop nodes 653 1.37 perseant * anyway in anticipation of another getnewvnode(). 654 1.37 perseant * 655 1.37 perseant * If we're cleaning we only write cleaning and ifile blocks, and 656 1.37 perseant * no dirops, since otherwise we'd risk corruption in a crash. 657 1.15 perseant */ 658 1.293 perseant DLOG((DLOG_SEG, " do_ckp=%d sp->seg_flags=0x%x\n", do_ckp, sp->seg_flags)); 659 1.73 chs if (sp->seg_flags & SEGM_CLEAN) 660 1.15 perseant lfs_writevnodes(fs, mp, sp, VN_CLEAN); 661 1.105 perseant else if (!(sp->seg_flags & SEGM_FORCE_CKP)) { 662 1.171 perseant do { 663 1.171 perseant um_error = lfs_writevnodes(fs, mp, sp, VN_REG); 664 1.223 perseant if ((sp->seg_flags & SEGM_SINGLE) && 665 1.242 dholland lfs_sb_getcurseg(fs) != fs->lfs_startseg) { 666 1.242 dholland DLOG((DLOG_SEG, "lfs_segwrite: breaking out of segment write at daddr 0x%jx\n", (uintmax_t)lfs_sb_getoffset(fs))); 667 1.223 perseant break; 668 1.223 perseant } 669 1.200 perseant 670 1.285 riastrad if (do_ckp || 671 1.285 riastrad (writer_set = lfs_writer_tryenter(fs)) != 0) { 672 1.285 riastrad KASSERT(writer_set); 673 1.285 riastrad KASSERT(fs->lfs_writer); 674 1.171 perseant error = lfs_writevnodes(fs, mp, sp, VN_DIROP); 675 1.171 perseant if (um_error == 0) 676 1.171 perseant um_error = error; 677 1.275 maya /* 678 1.275 maya * In case writevnodes errored out 679 1.275 maya * XXX why are we always doing this and not 680 1.275 maya * just on error? 681 1.275 maya */ 682 1.177 perseant lfs_flush_dirops(fs); 683 1.254 dholland ssp = (SEGSUM *)(sp->segsum); 684 1.254 dholland lfs_ss_setflags(fs, ssp, 685 1.254 dholland lfs_ss_getflags(fs, ssp) & ~(SS_CONT)); 686 1.176 perseant lfs_finalize_fs_seguse(fs); 687 1.171 perseant } 688 1.171 perseant if (do_ckp && um_error) { 689 1.171 perseant lfs_segunlock_relock(fs); 690 1.171 perseant sp = fs->lfs_sp; 691 1.171 perseant } 692 1.171 perseant } while (do_ckp && um_error != 0); 693 1.157 perry } 694 1.1 mycroft 695 1.1 mycroft /* 696 1.1 mycroft * If we are doing a checkpoint, mark everything since the 697 1.1 mycroft * last checkpoint as no longer ACTIVE. 698 1.1 mycroft */ 699 1.189 perseant if (do_ckp || fs->lfs_doifile) { 700 1.243 dholland segleft = lfs_sb_getnseg(fs); 701 1.117 fvdl curseg = 0; 702 1.242 dholland for (n = 0; n < lfs_sb_getsegtabsz(fs); n++) { 703 1.263 dholland int bread_error; 704 1.263 dholland 705 1.61 perseant dirty = 0; 706 1.263 dholland bread_error = bread(fs->lfs_ivnode, 707 1.263 dholland lfs_sb_getcleansz(fs) + n, 708 1.263 dholland lfs_sb_getbsize(fs), B_MODIFY, &bp); 709 1.263 dholland if (bread_error) 710 1.263 dholland panic("lfs_segwrite: ifile read: " 711 1.263 dholland "seguse %u: error %d\n", 712 1.263 dholland n, bread_error); 713 1.1 mycroft segusep = (SEGUSE *)bp->b_data; 714 1.278 riastrad maxseg = uimin(segleft, lfs_sb_getsepb(fs)); 715 1.117 fvdl for (i = 0; i < maxseg; i++) { 716 1.117 fvdl sn = curseg + i; 717 1.242 dholland if (sn != lfs_dtosn(fs, lfs_sb_getcurseg(fs)) && 718 1.117 fvdl segusep->su_flags & SEGUSE_ACTIVE) { 719 1.61 perseant segusep->su_flags &= ~SEGUSE_ACTIVE; 720 1.105 perseant --fs->lfs_nactive; 721 1.61 perseant ++dirty; 722 1.61 perseant } 723 1.105 perseant fs->lfs_suflags[fs->lfs_activesb][sn] = 724 1.105 perseant segusep->su_flags; 725 1.249 dholland if (lfs_sb_getversion(fs) > 1) 726 1.69 perseant ++segusep; 727 1.69 perseant else 728 1.69 perseant segusep = (SEGUSE *) 729 1.69 perseant ((SEGUSE_V1 *)segusep + 1); 730 1.61 perseant } 731 1.157 perry 732 1.61 perseant if (dirty) 733 1.74 perseant error = LFS_BWRITE_LOG(bp); /* Ifile */ 734 1.61 perseant else 735 1.205 ad brelse(bp, 0); 736 1.242 dholland segleft -= lfs_sb_getsepb(fs); 737 1.242 dholland curseg += lfs_sb_getsepb(fs); 738 1.1 mycroft } 739 1.15 perseant } 740 1.61 perseant 741 1.207 ad KASSERT(LFS_SEGLOCK_HELD(fs)); 742 1.159 perseant 743 1.61 perseant did_ckp = 0; 744 1.1 mycroft if (do_ckp || fs->lfs_doifile) { 745 1.159 perseant vp = fs->lfs_ivnode; 746 1.232 christos #ifdef DEBUG 747 1.232 christos int loopcount = 0; 748 1.232 christos #endif 749 1.63 perseant do { 750 1.267 maya 751 1.159 perseant LFS_ENTER_LOG("pretend", __FILE__, __LINE__, 0, 0, curproc->p_pid); 752 1.267 maya 753 1.207 ad mutex_enter(&lfs_lock); 754 1.74 perseant fs->lfs_flags &= ~LFS_IFDIRTY; 755 1.207 ad mutex_exit(&lfs_lock); 756 1.55 perseant 757 1.63 perseant ip = VTOI(vp); 758 1.101 perseant 759 1.171 perseant if (LIST_FIRST(&vp->v_dirtyblkhd) != NULL) { 760 1.171 perseant /* 761 1.171 perseant * Ifile has no pages, so we don't need 762 1.171 perseant * to check error return here. 763 1.171 perseant */ 764 1.63 perseant lfs_writefile(fs, sp, vp); 765 1.174 perseant /* 766 1.174 perseant * Ensure the Ifile takes the current segment 767 1.174 perseant * into account. See comment in lfs_vflush. 768 1.174 perseant */ 769 1.174 perseant lfs_writefile(fs, sp, vp); 770 1.174 perseant lfs_writefile(fs, sp, vp); 771 1.171 perseant } 772 1.101 perseant 773 1.270 maya if (ip->i_state & IN_ALLMOD) 774 1.63 perseant ++did_ckp; 775 1.189 perseant #if 0 776 1.189 perseant redo = (do_ckp ? lfs_writeinode(fs, sp, ip) : 0); 777 1.189 perseant #else 778 1.74 perseant redo = lfs_writeinode(fs, sp, ip); 779 1.189 perseant #endif 780 1.101 perseant redo += lfs_writeseg(fs, sp); 781 1.207 ad mutex_enter(&lfs_lock); 782 1.74 perseant redo += (fs->lfs_flags & LFS_IFDIRTY); 783 1.207 ad mutex_exit(&lfs_lock); 784 1.189 perseant #ifdef DEBUG 785 1.191 perseant if (++loopcount > 2) 786 1.191 perseant log(LOG_NOTICE, "lfs_segwrite: looping count=%d\n", 787 1.189 perseant loopcount); 788 1.189 perseant #endif 789 1.112 perseant } while (redo && do_ckp); 790 1.112 perseant 791 1.112 perseant /* 792 1.112 perseant * Unless we are unmounting, the Ifile may continue to have 793 1.112 perseant * dirty blocks even after a checkpoint, due to changes to 794 1.112 perseant * inodes' atime. If we're checkpointing, it's "impossible" 795 1.112 perseant * for other parts of the Ifile to be dirty after the loop 796 1.112 perseant * above, since we hold the segment lock. 797 1.112 perseant */ 798 1.221 rmind mutex_enter(vp->v_interlock); 799 1.112 perseant if (LIST_EMPTY(&vp->v_dirtyblkhd)) { 800 1.112 perseant LFS_CLR_UINO(ip, IN_ALLMOD); 801 1.112 perseant } 802 1.112 perseant #ifdef DIAGNOSTIC 803 1.112 perseant else if (do_ckp) { 804 1.159 perseant int do_panic = 0; 805 1.112 perseant LIST_FOREACH(bp, &vp->v_dirtyblkhd, b_vnbufs) { 806 1.242 dholland if (bp->b_lblkno < lfs_sb_getcleansz(fs) + 807 1.242 dholland lfs_sb_getsegtabsz(fs) && 808 1.112 perseant !(bp->b_flags & B_GATHERED)) { 809 1.159 perseant printf("ifile lbn %ld still dirty (flags %lx)\n", 810 1.159 perseant (long)bp->b_lblkno, 811 1.159 perseant (long)bp->b_flags); 812 1.159 perseant ++do_panic; 813 1.74 perseant } 814 1.74 perseant } 815 1.159 perseant if (do_panic) 816 1.159 perseant panic("dirty blocks"); 817 1.74 perseant } 818 1.112 perseant #endif 819 1.221 rmind mutex_exit(vp->v_interlock); 820 1.15 perseant } else { 821 1.1 mycroft (void) lfs_writeseg(fs, sp); 822 1.15 perseant } 823 1.157 perry 824 1.112 perseant /* Note Ifile no longer needs to be written */ 825 1.112 perseant fs->lfs_doifile = 0; 826 1.273 maya if (writer_set) 827 1.273 maya lfs_writer_leave(fs); 828 1.61 perseant 829 1.61 perseant /* 830 1.61 perseant * If we didn't write the Ifile, we didn't really do anything. 831 1.61 perseant * That means that (1) there is a checkpoint on disk and (2) 832 1.61 perseant * nothing has changed since it was written. 833 1.61 perseant * 834 1.61 perseant * Take the flags off of the segment so that lfs_segunlock 835 1.61 perseant * doesn't have to write the superblock either. 836 1.61 perseant */ 837 1.79 perseant if (do_ckp && !did_ckp) { 838 1.79 perseant sp->seg_flags &= ~SEGM_CKP; 839 1.61 perseant } 840 1.61 perseant 841 1.73 chs if (lfs_dostats) { 842 1.15 perseant ++lfs_stats.nwrites; 843 1.15 perseant if (sp->seg_flags & SEGM_SYNC) 844 1.15 perseant ++lfs_stats.nsync_writes; 845 1.15 perseant if (sp->seg_flags & SEGM_CKP) 846 1.15 perseant ++lfs_stats.ncheckpoints; 847 1.15 perseant } 848 1.1 mycroft lfs_segunlock(fs); 849 1.293 perseant DLOG((DLOG_SEG, " returning 0\n")); 850 1.1 mycroft return (0); 851 1.1 mycroft } 852 1.1 mycroft 853 1.1 mycroft /* 854 1.1 mycroft * Write the dirty blocks associated with a vnode. 855 1.1 mycroft */ 856 1.171 perseant int 857 1.69 perseant lfs_writefile(struct lfs *fs, struct segment *sp, struct vnode *vp) 858 1.1 mycroft { 859 1.80 perseant struct inode *ip; 860 1.181 perseant int i, frag; 861 1.254 dholland SEGSUM *ssp; 862 1.171 perseant int error; 863 1.157 perry 864 1.159 perseant ASSERT_SEGLOCK(fs); 865 1.171 perseant error = 0; 866 1.80 perseant ip = VTOI(vp); 867 1.80 perseant 868 1.181 perseant lfs_acquire_finfo(fs, ip->i_number, ip->i_gen); 869 1.1 mycroft 870 1.254 dholland if (vp->v_uflag & VU_DIROP) { 871 1.254 dholland ssp = (SEGSUM *)sp->segsum; 872 1.254 dholland lfs_ss_setflags(fs, ssp, 873 1.254 dholland lfs_ss_getflags(fs, ssp) | (SS_DIROP|SS_CONT)); 874 1.254 dholland } 875 1.157 perry 876 1.293 perseant if ((fs->lfs_flags & LFS_NOTYET) && curproc->p_pid == fs->lfs_rfpid) { 877 1.293 perseant /* 878 1.293 perseant * When rolling forward, we never want to write data blocks, 879 1.293 perseant * except for the Ifile. 880 1.293 perseant */ 881 1.293 perseant if (vp == fs->lfs_ivnode) 882 1.293 perseant lfs_gather(fs, sp, vp, lfs_match_data); 883 1.293 perseant else 884 1.293 perseant lfs_ungather(fs, sp, vp, lfs_match_data); 885 1.293 perseant } else if (sp->seg_flags & SEGM_CLEAN) { 886 1.38 perseant lfs_gather(fs, sp, vp, lfs_match_fake); 887 1.38 perseant /* 888 1.38 perseant * For a file being flushed, we need to write *all* blocks. 889 1.38 perseant * This means writing the cleaning blocks first, and then 890 1.38 perseant * immediately following with any non-cleaning blocks. 891 1.38 perseant * The same is true of the Ifile since checkpoints assume 892 1.38 perseant * that all valid Ifile blocks are written. 893 1.38 perseant */ 894 1.178 perseant if (IS_FLUSHING(fs, vp) || vp == fs->lfs_ivnode) { 895 1.38 perseant lfs_gather(fs, sp, vp, lfs_match_data); 896 1.101 perseant /* 897 1.101 perseant * Don't call VOP_PUTPAGES: if we're flushing, 898 1.101 perseant * we've already done it, and the Ifile doesn't 899 1.101 perseant * use the page cache. 900 1.101 perseant */ 901 1.101 perseant } 902 1.101 perseant } else { 903 1.38 perseant lfs_gather(fs, sp, vp, lfs_match_data); 904 1.101 perseant /* 905 1.101 perseant * If we're flushing, we've already called VOP_PUTPAGES 906 1.101 perseant * so don't do it again. Otherwise, we want to write 907 1.101 perseant * everything we've got. 908 1.101 perseant */ 909 1.101 perseant if (!IS_FLUSHING(fs, vp)) { 910 1.286 ad rw_enter(vp->v_uobj.vmobjlock, RW_WRITER); 911 1.171 perseant error = VOP_PUTPAGES(vp, 0, 0, 912 1.171 perseant PGO_CLEANIT | PGO_ALLPAGES | PGO_LOCKED); 913 1.101 perseant } 914 1.101 perseant } 915 1.38 perseant 916 1.1 mycroft /* 917 1.1 mycroft * It may not be necessary to write the meta-data blocks at this point, 918 1.1 mycroft * as the roll-forward recovery code should be able to reconstruct the 919 1.1 mycroft * list. 920 1.15 perseant * 921 1.15 perseant * We have to write them anyway, though, under two conditions: (1) the 922 1.15 perseant * vnode is being flushed (for reuse by vinvalbuf); or (2) we are 923 1.15 perseant * checkpointing. 924 1.80 perseant * 925 1.80 perseant * BUT if we are cleaning, we might have indirect blocks that refer to 926 1.80 perseant * new blocks not being written yet, in addition to fragments being 927 1.80 perseant * moved out of a cleaned segment. If that is the case, don't 928 1.80 perseant * write the indirect blocks, or the finfo will have a small block 929 1.80 perseant * in the middle of it! 930 1.80 perseant * XXX in this case isn't the inode size wrong too? 931 1.1 mycroft */ 932 1.80 perseant frag = 0; 933 1.80 perseant if (sp->seg_flags & SEGM_CLEAN) { 934 1.227 dholland for (i = 0; i < ULFS_NDADDR; i++) 935 1.80 perseant if (ip->i_lfs_fragsize[i] > 0 && 936 1.242 dholland ip->i_lfs_fragsize[i] < lfs_sb_getbsize(fs)) 937 1.80 perseant ++frag; 938 1.80 perseant } 939 1.264 riastrad KASSERTMSG((frag <= 1), 940 1.264 riastrad "lfs_writefile: more than one fragment! frag=%d", frag); 941 1.80 perseant if (IS_FLUSHING(fs, vp) || 942 1.80 perseant (frag == 0 && (lfs_writeindir || (sp->seg_flags & SEGM_CKP)))) { 943 1.15 perseant lfs_gather(fs, sp, vp, lfs_match_indir); 944 1.15 perseant lfs_gather(fs, sp, vp, lfs_match_dindir); 945 1.15 perseant lfs_gather(fs, sp, vp, lfs_match_tindir); 946 1.15 perseant } 947 1.180 perseant lfs_release_finfo(fs); 948 1.171 perseant 949 1.171 perseant return error; 950 1.1 mycroft } 951 1.1 mycroft 952 1.189 perseant /* 953 1.189 perseant * Update segment accounting to reflect this inode's change of address. 954 1.189 perseant */ 955 1.189 perseant static int 956 1.189 perseant lfs_update_iaddr(struct lfs *fs, struct segment *sp, struct inode *ip, daddr_t ndaddr) 957 1.189 perseant { 958 1.189 perseant struct buf *bp; 959 1.189 perseant daddr_t daddr; 960 1.189 perseant IFILE *ifp; 961 1.189 perseant SEGUSE *sup; 962 1.189 perseant ino_t ino; 963 1.232 christos int redo_ifile; 964 1.189 perseant u_int32_t sn; 965 1.189 perseant 966 1.189 perseant redo_ifile = 0; 967 1.189 perseant 968 1.189 perseant /* 969 1.189 perseant * If updating the ifile, update the super-block. Update the disk 970 1.189 perseant * address and access times for this inode in the ifile. 971 1.189 perseant */ 972 1.189 perseant ino = ip->i_number; 973 1.189 perseant if (ino == LFS_IFILE_INUM) { 974 1.242 dholland daddr = lfs_sb_getidaddr(fs); 975 1.242 dholland lfs_sb_setidaddr(fs, LFS_DBTOFSB(fs, ndaddr)); 976 1.189 perseant } else { 977 1.189 perseant LFS_IENTRY(ifp, fs, ino, bp); 978 1.253 dholland daddr = lfs_if_getdaddr(fs, ifp); 979 1.253 dholland lfs_if_setdaddr(fs, ifp, LFS_DBTOFSB(fs, ndaddr)); 980 1.232 christos (void)LFS_BWRITE_LOG(bp); /* Ifile */ 981 1.189 perseant } 982 1.189 perseant 983 1.189 perseant /* 984 1.189 perseant * If this is the Ifile and lfs_offset is set to the first block 985 1.189 perseant * in the segment, dirty the new segment's accounting block 986 1.189 perseant * (XXX should already be dirty?) and tell the caller to do it again. 987 1.189 perseant */ 988 1.189 perseant if (ip->i_number == LFS_IFILE_INUM) { 989 1.242 dholland sn = lfs_dtosn(fs, lfs_sb_getoffset(fs)); 990 1.243 dholland if (lfs_sntod(fs, sn) + lfs_btofsb(fs, lfs_sb_getsumsize(fs)) == 991 1.242 dholland lfs_sb_getoffset(fs)) { 992 1.189 perseant LFS_SEGENTRY(sup, fs, sn, bp); 993 1.207 ad KASSERT(bp->b_oflags & BO_DELWRI); 994 1.189 perseant LFS_WRITESEGENTRY(sup, fs, sn, bp); 995 1.189 perseant /* fs->lfs_flags |= LFS_IFDIRTY; */ 996 1.189 perseant redo_ifile |= 1; 997 1.189 perseant } 998 1.189 perseant } 999 1.189 perseant 1000 1.189 perseant /* 1001 1.189 perseant * The inode's last address should not be in the current partial 1002 1.189 perseant * segment, except under exceptional circumstances (lfs_writevnodes 1003 1.189 perseant * had to start over, and in the meantime more blocks were written 1004 1.189 perseant * to a vnode). Both inodes will be accounted to this segment 1005 1.189 perseant * in lfs_writeseg so we need to subtract the earlier version 1006 1.189 perseant * here anyway. The segment count can temporarily dip below 1007 1.189 perseant * zero here; keep track of how many duplicates we have in 1008 1.189 perseant * "dupino" so we don't panic below. 1009 1.189 perseant */ 1010 1.242 dholland if (daddr >= lfs_sb_getlastpseg(fs) && daddr <= lfs_sb_getoffset(fs)) { 1011 1.189 perseant ++sp->ndupino; 1012 1.189 perseant DLOG((DLOG_SEG, "lfs_writeinode: last inode addr in current pseg " 1013 1.189 perseant "(ino %d daddr 0x%llx) ndupino=%d\n", ino, 1014 1.189 perseant (long long)daddr, sp->ndupino)); 1015 1.189 perseant } 1016 1.189 perseant /* 1017 1.189 perseant * Account the inode: it no longer belongs to its former segment, 1018 1.189 perseant * though it will not belong to the new segment until that segment 1019 1.189 perseant * is actually written. 1020 1.189 perseant */ 1021 1.291 perseant if (!DADDR_IS_BAD(daddr)) { 1022 1.230 christos u_int32_t oldsn = lfs_dtosn(fs, daddr); 1023 1.264 riastrad int ndupino __diagused = 1024 1.264 riastrad (sp->seg_number == oldsn) ? sp->ndupino : 0; 1025 1.189 perseant LFS_SEGENTRY(sup, fs, oldsn, bp); 1026 1.264 riastrad KASSERTMSG(((sup->su_nbytes + DINOSIZE(fs)*ndupino) 1027 1.264 riastrad >= DINOSIZE(fs)), 1028 1.264 riastrad "lfs_writeinode: negative bytes " 1029 1.264 riastrad "(segment %" PRIu32 " short by %d, " 1030 1.264 riastrad "oldsn=%" PRIu32 ", cursn=%" PRIu32 1031 1.264 riastrad ", daddr=%" PRId64 ", su_nbytes=%u, " 1032 1.264 riastrad "ndupino=%d)\n", 1033 1.264 riastrad lfs_dtosn(fs, daddr), 1034 1.264 riastrad (int)DINOSIZE(fs) * (1 - sp->ndupino) - sup->su_nbytes, 1035 1.264 riastrad oldsn, sp->seg_number, daddr, 1036 1.264 riastrad (unsigned int)sup->su_nbytes, 1037 1.264 riastrad sp->ndupino); 1038 1.189 perseant DLOG((DLOG_SU, "seg %d -= %d for ino %d inode\n", 1039 1.256 dholland lfs_dtosn(fs, daddr), DINOSIZE(fs), ino)); 1040 1.256 dholland sup->su_nbytes -= DINOSIZE(fs); 1041 1.189 perseant redo_ifile |= 1042 1.189 perseant (ino == LFS_IFILE_INUM && !(bp->b_flags & B_GATHERED)); 1043 1.189 perseant if (redo_ifile) { 1044 1.207 ad mutex_enter(&lfs_lock); 1045 1.189 perseant fs->lfs_flags |= LFS_IFDIRTY; 1046 1.207 ad mutex_exit(&lfs_lock); 1047 1.189 perseant /* Don't double-account */ 1048 1.242 dholland lfs_sb_setidaddr(fs, 0x0); 1049 1.189 perseant } 1050 1.189 perseant LFS_WRITESEGENTRY(sup, fs, oldsn, bp); /* Ifile */ 1051 1.189 perseant } 1052 1.189 perseant 1053 1.189 perseant return redo_ifile; 1054 1.189 perseant } 1055 1.189 perseant 1056 1.1 mycroft int 1057 1.69 perseant lfs_writeinode(struct lfs *fs, struct segment *sp, struct inode *ip) 1058 1.1 mycroft { 1059 1.189 perseant struct buf *bp; 1060 1.256 dholland union lfs_dinode *cdp; 1061 1.223 perseant struct vnode *vp = ITOV(ip); 1062 1.91 fvdl daddr_t daddr; 1063 1.260 dholland IINFO *iip; 1064 1.260 dholland int i; 1065 1.1 mycroft int redo_ifile = 0; 1066 1.69 perseant int gotblk = 0; 1067 1.189 perseant int count; 1068 1.254 dholland SEGSUM *ssp; 1069 1.157 perry 1070 1.159 perseant ASSERT_SEGLOCK(fs); 1071 1.270 maya if (!(ip->i_state & IN_ALLMOD) && !(vp->v_uflag & VU_DIROP)) 1072 1.73 chs return (0); 1073 1.157 perry 1074 1.189 perseant /* Can't write ifile when writer is not set */ 1075 1.189 perseant KASSERT(ip->i_number != LFS_IFILE_INUM || fs->lfs_writer > 0 || 1076 1.189 perseant (sp->seg_flags & SEGM_CLEAN)); 1077 1.189 perseant 1078 1.189 perseant /* 1079 1.189 perseant * If this is the Ifile, see if writing it here will generate a 1080 1.189 perseant * temporary misaccounting. If it will, do the accounting and write 1081 1.189 perseant * the blocks, postponing the inode write until the accounting is 1082 1.189 perseant * solid. 1083 1.189 perseant */ 1084 1.189 perseant count = 0; 1085 1.223 perseant while (vp == fs->lfs_ivnode) { 1086 1.189 perseant int redo = 0; 1087 1.189 perseant 1088 1.189 perseant if (sp->idp == NULL && sp->ibp == NULL && 1089 1.243 dholland (sp->seg_bytes_left < lfs_sb_getibsize(fs) || 1090 1.189 perseant sp->sum_bytes_left < sizeof(int32_t))) { 1091 1.189 perseant (void) lfs_writeseg(fs, sp); 1092 1.189 perseant continue; 1093 1.189 perseant } 1094 1.189 perseant 1095 1.189 perseant /* Look for dirty Ifile blocks */ 1096 1.189 perseant LIST_FOREACH(bp, &fs->lfs_ivnode->v_dirtyblkhd, b_vnbufs) { 1097 1.189 perseant if (!(bp->b_flags & B_GATHERED)) { 1098 1.189 perseant redo = 1; 1099 1.189 perseant break; 1100 1.189 perseant } 1101 1.189 perseant } 1102 1.189 perseant 1103 1.189 perseant if (redo == 0) 1104 1.189 perseant redo = lfs_update_iaddr(fs, sp, ip, 0x0); 1105 1.189 perseant if (redo == 0) 1106 1.189 perseant break; 1107 1.189 perseant 1108 1.189 perseant if (sp->idp) { 1109 1.256 dholland lfs_dino_setinumber(fs, sp->idp, 0); 1110 1.189 perseant sp->idp = NULL; 1111 1.189 perseant } 1112 1.189 perseant ++count; 1113 1.191 perseant if (count > 2) 1114 1.191 perseant log(LOG_NOTICE, "lfs_writeinode: looping count=%d\n", count); 1115 1.189 perseant lfs_writefile(fs, sp, fs->lfs_ivnode); 1116 1.189 perseant } 1117 1.189 perseant 1118 1.1 mycroft /* Allocate a new inode block if necessary. */ 1119 1.128 yamt if ((ip->i_number != LFS_IFILE_INUM || sp->idp == NULL) && 1120 1.128 yamt sp->ibp == NULL) { 1121 1.1 mycroft /* Allocate a new segment if necessary. */ 1122 1.243 dholland if (sp->seg_bytes_left < lfs_sb_getibsize(fs) || 1123 1.98 yamt sp->sum_bytes_left < sizeof(int32_t)) 1124 1.1 mycroft (void) lfs_writeseg(fs, sp); 1125 1.1 mycroft 1126 1.1 mycroft /* Get next inode block. */ 1127 1.242 dholland daddr = lfs_sb_getoffset(fs); 1128 1.242 dholland lfs_sb_addoffset(fs, lfs_btofsb(fs, lfs_sb_getibsize(fs))); 1129 1.1 mycroft sp->ibp = *sp->cbpp++ = 1130 1.128 yamt getblk(VTOI(fs->lfs_ivnode)->i_devvp, 1131 1.243 dholland LFS_FSBTODB(fs, daddr), lfs_sb_getibsize(fs), 0, 0); 1132 1.24 perseant gotblk++; 1133 1.24 perseant 1134 1.1 mycroft /* Zero out inode numbers */ 1135 1.256 dholland for (i = 0; i < LFS_INOPB(fs); ++i) { 1136 1.256 dholland union lfs_dinode *tmpdi; 1137 1.256 dholland 1138 1.256 dholland tmpdi = (union lfs_dinode *)((char *)sp->ibp->b_data + 1139 1.256 dholland DINOSIZE(fs) * i); 1140 1.256 dholland lfs_dino_setinumber(fs, tmpdi, 0); 1141 1.256 dholland } 1142 1.15 perseant 1143 1.1 mycroft ++sp->start_bpp; 1144 1.242 dholland lfs_sb_subavail(fs, lfs_btofsb(fs, lfs_sb_getibsize(fs))); 1145 1.1 mycroft /* Set remaining space counters. */ 1146 1.243 dholland sp->seg_bytes_left -= lfs_sb_getibsize(fs); 1147 1.98 yamt sp->sum_bytes_left -= sizeof(int32_t); 1148 1.260 dholland 1149 1.260 dholland /* Store the address in the segment summary. */ 1150 1.260 dholland iip = NTH_IINFO(fs, sp->segsum, sp->ninodes / LFS_INOPB(fs)); 1151 1.260 dholland lfs_ii_setblock(fs, iip, daddr); 1152 1.1 mycroft } 1153 1.27 perseant 1154 1.206 ad /* Check VU_DIROP in case there is a new file with no data blocks */ 1155 1.254 dholland if (vp->v_uflag & VU_DIROP) { 1156 1.254 dholland ssp = (SEGSUM *)sp->segsum; 1157 1.254 dholland lfs_ss_setflags(fs, ssp, 1158 1.254 dholland lfs_ss_getflags(fs, ssp) | (SS_DIROP|SS_CONT)); 1159 1.254 dholland } 1160 1.189 perseant 1161 1.1 mycroft /* Update the inode times and copy the inode onto the inode page. */ 1162 1.74 perseant /* XXX kludge --- don't redirty the ifile just to put times on it */ 1163 1.74 perseant if (ip->i_number != LFS_IFILE_INUM) 1164 1.166 christos LFS_ITIMES(ip, NULL, NULL, NULL); 1165 1.16 perseant 1166 1.27 perseant /* 1167 1.27 perseant * If this is the Ifile, and we've already written the Ifile in this 1168 1.27 perseant * partial segment, just overwrite it (it's not on disk yet) and 1169 1.27 perseant * continue. 1170 1.27 perseant * 1171 1.27 perseant * XXX we know that the bp that we get the second time around has 1172 1.27 perseant * already been gathered. 1173 1.27 perseant */ 1174 1.73 chs if (ip->i_number == LFS_IFILE_INUM && sp->idp) { 1175 1.257 dholland lfs_copy_dinode(fs, sp->idp, ip->i_din); 1176 1.119 fvdl ip->i_lfs_osize = ip->i_size; 1177 1.27 perseant return 0; 1178 1.27 perseant } 1179 1.27 perseant 1180 1.1 mycroft bp = sp->ibp; 1181 1.257 dholland cdp = DINO_IN_BLOCK(fs, bp->b_data, sp->ninodes % LFS_INOPB(fs)); 1182 1.257 dholland lfs_copy_dinode(fs, cdp, ip->i_din); 1183 1.53 perseant 1184 1.189 perseant /* 1185 1.223 perseant * This inode is on its way to disk; clear its VU_DIROP status when 1186 1.223 perseant * the write is complete. 1187 1.223 perseant */ 1188 1.223 perseant if (vp->v_uflag & VU_DIROP) { 1189 1.223 perseant if (!(sp->seg_flags & SEGM_CLEAN)) 1190 1.270 maya ip->i_state |= IN_CDIROP; 1191 1.223 perseant else { 1192 1.223 perseant DLOG((DLOG_DIROP, "lfs_writeinode: not clearing dirop for cleaned ino %d\n", (int)ip->i_number)); 1193 1.223 perseant } 1194 1.223 perseant } 1195 1.223 perseant 1196 1.223 perseant /* 1197 1.189 perseant * If cleaning, link counts and directory file sizes cannot change, 1198 1.189 perseant * since those would be directory operations---even if the file 1199 1.206 ad * we are writing is marked VU_DIROP we should write the old values. 1200 1.189 perseant * If we're not cleaning, of course, update the values so we get 1201 1.189 perseant * current values the next time we clean. 1202 1.189 perseant */ 1203 1.189 perseant if (sp->seg_flags & SEGM_CLEAN) { 1204 1.223 perseant if (vp->v_uflag & VU_DIROP) { 1205 1.256 dholland lfs_dino_setnlink(fs, cdp, ip->i_lfs_odnlink); 1206 1.223 perseant /* if (vp->v_type == VDIR) */ 1207 1.256 dholland lfs_dino_setsize(fs, cdp, ip->i_lfs_osize); 1208 1.189 perseant } 1209 1.189 perseant } else { 1210 1.256 dholland ip->i_lfs_odnlink = lfs_dino_getnlink(fs, cdp); 1211 1.189 perseant ip->i_lfs_osize = ip->i_size; 1212 1.189 perseant } 1213 1.189 perseant 1214 1.189 perseant 1215 1.176 perseant /* We can finish the segment accounting for truncations now */ 1216 1.176 perseant lfs_finalize_ino_seguse(fs, ip); 1217 1.176 perseant 1218 1.53 perseant /* 1219 1.53 perseant * If we are cleaning, ensure that we don't write UNWRITTEN disk 1220 1.160 perseant * addresses to disk; possibly change the on-disk record of 1221 1.160 perseant * the inode size, either by reverting to the previous size 1222 1.160 perseant * (in the case of cleaning) or by verifying the inode's block 1223 1.160 perseant * holdings (in the case of files being allocated as they are being 1224 1.160 perseant * written). 1225 1.160 perseant * XXX By not writing UNWRITTEN blocks, we are making the lfs_avail 1226 1.103 perseant * XXX count on disk wrong by the same amount. We should be 1227 1.101 perseant * XXX able to "borrow" from lfs_avail and return it after the 1228 1.101 perseant * XXX Ifile is written. See also in lfs_writeseg. 1229 1.53 perseant */ 1230 1.160 perseant 1231 1.160 perseant /* Check file size based on highest allocated block */ 1232 1.259 dholland if (((lfs_dino_getmode(fs, ip->i_din) & LFS_IFMT) == LFS_IFREG || 1233 1.259 dholland (lfs_dino_getmode(fs, ip->i_din) & LFS_IFMT) == LFS_IFDIR) && 1234 1.243 dholland ip->i_size > ((ip->i_lfs_hiblk + 1) << lfs_sb_getbshift(fs))) { 1235 1.256 dholland lfs_dino_setsize(fs, cdp, (ip->i_lfs_hiblk + 1) << lfs_sb_getbshift(fs)); 1236 1.160 perseant DLOG((DLOG_SEG, "lfs_writeinode: ino %d size %" PRId64 " -> %" 1237 1.256 dholland PRId64 "\n", (int)ip->i_number, ip->i_size, lfs_dino_getsize(fs, cdp))); 1238 1.160 perseant } 1239 1.259 dholland if (ip->i_lfs_effnblks != lfs_dino_getblocks(fs, ip->i_din)) { 1240 1.248 dholland DLOG((DLOG_SEG, "lfs_writeinode: cleansing ino %d eff %jd != nblk %d)" 1241 1.248 dholland " at %jx\n", ip->i_number, (intmax_t)ip->i_lfs_effnblks, 1242 1.259 dholland lfs_dino_getblocks(fs, ip->i_din), (uintmax_t)lfs_sb_getoffset(fs))); 1243 1.256 dholland for (i=0; i<ULFS_NDADDR; i++) { 1244 1.256 dholland if (lfs_dino_getdb(fs, cdp, i) == UNWRITTEN) { 1245 1.256 dholland DLOG((DLOG_SEG, "lfs_writeinode: wiping UNWRITTEN\n")); 1246 1.256 dholland lfs_dino_setdb(fs, cdp, i, 0); 1247 1.256 dholland } 1248 1.256 dholland } 1249 1.256 dholland for (i=0; i<ULFS_NIADDR; i++) { 1250 1.256 dholland if (lfs_dino_getib(fs, cdp, i) == UNWRITTEN) { 1251 1.158 perseant DLOG((DLOG_SEG, "lfs_writeinode: wiping UNWRITTEN\n")); 1252 1.256 dholland lfs_dino_setib(fs, cdp, i, 0); 1253 1.53 perseant } 1254 1.53 perseant } 1255 1.53 perseant } 1256 1.157 perry 1257 1.160 perseant #ifdef DIAGNOSTIC 1258 1.160 perseant /* 1259 1.160 perseant * Check dinode held blocks against dinode size. 1260 1.160 perseant * This should be identical to the check in lfs_vget(). 1261 1.160 perseant */ 1262 1.256 dholland for (i = (lfs_dino_getsize(fs, cdp) + lfs_sb_getbsize(fs) - 1) >> lfs_sb_getbshift(fs); 1263 1.227 dholland i < ULFS_NDADDR; i++) { 1264 1.160 perseant KASSERT(i >= 0); 1265 1.256 dholland if ((lfs_dino_getmode(fs, cdp) & LFS_IFMT) == LFS_IFLNK) 1266 1.160 perseant continue; 1267 1.256 dholland if (((lfs_dino_getmode(fs, cdp) & LFS_IFMT) == LFS_IFBLK || 1268 1.256 dholland (lfs_dino_getmode(fs, cdp) & LFS_IFMT) == LFS_IFCHR) && i == 0) 1269 1.160 perseant continue; 1270 1.256 dholland if (lfs_dino_getdb(fs, cdp, i) != 0) { 1271 1.160 perseant # ifdef DEBUG 1272 1.256 dholland lfs_dump_dinode(fs, cdp); 1273 1.160 perseant # endif 1274 1.160 perseant panic("writing inconsistent inode"); 1275 1.160 perseant } 1276 1.160 perseant } 1277 1.160 perseant #endif /* DIAGNOSTIC */ 1278 1.160 perseant 1279 1.270 maya if (ip->i_state & IN_CLEANING) 1280 1.56 perseant LFS_CLR_UINO(ip, IN_CLEANING); 1281 1.55 perseant else { 1282 1.56 perseant /* XXX IN_ALLMOD */ 1283 1.56 perseant LFS_CLR_UINO(ip, IN_ACCESSED | IN_ACCESS | IN_CHANGE | 1284 1.154 mycroft IN_UPDATE | IN_MODIFY); 1285 1.259 dholland if (ip->i_lfs_effnblks == lfs_dino_getblocks(fs, ip->i_din)) 1286 1.56 perseant LFS_CLR_UINO(ip, IN_MODIFIED); 1287 1.192 christos else { 1288 1.192 christos DLOG((DLOG_VNODE, "lfs_writeinode: ino %d: real " 1289 1.248 dholland "blks=%d, eff=%jd\n", ip->i_number, 1290 1.259 dholland lfs_dino_getblocks(fs, ip->i_din), (intmax_t)ip->i_lfs_effnblks)); 1291 1.192 christos } 1292 1.55 perseant } 1293 1.55 perseant 1294 1.189 perseant if (ip->i_number == LFS_IFILE_INUM) { 1295 1.189 perseant /* We know sp->idp == NULL */ 1296 1.256 dholland sp->idp = DINO_IN_BLOCK(fs, bp, sp->ninodes % LFS_INOPB(fs)); 1297 1.189 perseant 1298 1.189 perseant /* Not dirty any more */ 1299 1.207 ad mutex_enter(&lfs_lock); 1300 1.189 perseant fs->lfs_flags &= ~LFS_IFDIRTY; 1301 1.207 ad mutex_exit(&lfs_lock); 1302 1.189 perseant } 1303 1.189 perseant 1304 1.73 chs if (gotblk) { 1305 1.207 ad mutex_enter(&bufcache_lock); 1306 1.62 perseant LFS_LOCK_BUF(bp); 1307 1.207 ad brelsel(bp, 0); 1308 1.207 ad mutex_exit(&bufcache_lock); 1309 1.24 perseant } 1310 1.157 perry 1311 1.1 mycroft /* Increment inode count in segment summary block. */ 1312 1.254 dholland 1313 1.254 dholland ssp = (SEGSUM *)sp->segsum; 1314 1.254 dholland lfs_ss_setninos(fs, ssp, lfs_ss_getninos(fs, ssp) + 1); 1315 1.157 perry 1316 1.1 mycroft /* If this page is full, set flag to allocate a new page. */ 1317 1.230 christos if (++sp->ninodes % LFS_INOPB(fs) == 0) 1318 1.1 mycroft sp->ibp = NULL; 1319 1.157 perry 1320 1.189 perseant redo_ifile = lfs_update_iaddr(fs, sp, ip, bp->b_blkno); 1321 1.157 perry 1322 1.189 perseant KASSERT(redo_ifile == 0); 1323 1.1 mycroft return (redo_ifile); 1324 1.1 mycroft } 1325 1.1 mycroft 1326 1.1 mycroft int 1327 1.207 ad lfs_gatherblock(struct segment *sp, struct buf *bp, kmutex_t *mptr) 1328 1.1 mycroft { 1329 1.1 mycroft struct lfs *fs; 1330 1.164 christos int vers; 1331 1.101 perseant int j, blksinblk; 1332 1.101 perseant 1333 1.159 perseant ASSERT_SEGLOCK(sp->fs); 1334 1.264 riastrad KASSERTMSG((sp->vp != NULL), 1335 1.264 riastrad "lfs_gatherblock: Null vp in segment"); 1336 1.268 maya 1337 1.268 maya /* If full, finish this segment. */ 1338 1.1 mycroft fs = sp->fs; 1339 1.242 dholland blksinblk = howmany(bp->b_bcount, lfs_sb_getbsize(fs)); 1340 1.101 perseant if (sp->sum_bytes_left < sizeof(int32_t) * blksinblk || 1341 1.10 fvdl sp->seg_bytes_left < bp->b_bcount) { 1342 1.207 ad if (mptr) 1343 1.207 ad mutex_exit(mptr); 1344 1.1 mycroft lfs_updatemeta(sp); 1345 1.157 perry 1346 1.255 dholland vers = lfs_fi_getversion(fs, sp->fip); 1347 1.1 mycroft (void) lfs_writeseg(fs, sp); 1348 1.157 perry 1349 1.1 mycroft /* Add the current file to the segment summary. */ 1350 1.180 perseant lfs_acquire_finfo(fs, VTOI(sp->vp)->i_number, vers); 1351 1.157 perry 1352 1.207 ad if (mptr) 1353 1.207 ad mutex_enter(mptr); 1354 1.73 chs return (1); 1355 1.1 mycroft } 1356 1.157 perry 1357 1.73 chs if (bp->b_flags & B_GATHERED) { 1358 1.255 dholland DLOG((DLOG_SEG, "lfs_gatherblock: already gathered! Ino %ju," 1359 1.158 perseant " lbn %" PRId64 "\n", 1360 1.255 dholland (uintmax_t)lfs_fi_getino(fs, sp->fip), bp->b_lblkno)); 1361 1.73 chs return (0); 1362 1.15 perseant } 1363 1.158 perseant 1364 1.1 mycroft /* Insert into the buffer list, update the FINFO block. */ 1365 1.1 mycroft bp->b_flags |= B_GATHERED; 1366 1.74 perseant 1367 1.1 mycroft *sp->cbpp++ = bp; 1368 1.162 perseant for (j = 0; j < blksinblk; j++) { 1369 1.255 dholland unsigned bn; 1370 1.255 dholland 1371 1.255 dholland bn = lfs_fi_getnblocks(fs, sp->fip); 1372 1.255 dholland lfs_fi_setnblocks(fs, sp->fip, bn+1); 1373 1.255 dholland lfs_fi_setblock(fs, sp->fip, bn, bp->b_lblkno + j); 1374 1.162 perseant /* This block's accounting moves from lfs_favail to lfs_avail */ 1375 1.162 perseant lfs_deregister_block(sp->vp, bp->b_lblkno + j); 1376 1.162 perseant } 1377 1.157 perry 1378 1.104 perseant sp->sum_bytes_left -= sizeof(int32_t) * blksinblk; 1379 1.10 fvdl sp->seg_bytes_left -= bp->b_bcount; 1380 1.73 chs return (0); 1381 1.1 mycroft } 1382 1.1 mycroft 1383 1.293 perseant /* Similar to lfs_gather, but simply throws the buffers away. */ 1384 1.293 perseant static int 1385 1.293 perseant lfs_ungather(struct lfs *fs, struct segment *sp, struct vnode *vp, 1386 1.293 perseant int (*match)(struct lfs *, struct buf *)) 1387 1.293 perseant { 1388 1.293 perseant struct buf *bp, *nbp; 1389 1.293 perseant int error = 0; 1390 1.293 perseant 1391 1.293 perseant ASSERT_SEGLOCK(fs); 1392 1.293 perseant if (vp->v_type == VBLK) 1393 1.293 perseant return 0; 1394 1.293 perseant KASSERT(sp->vp == NULL); 1395 1.293 perseant sp->vp = vp; 1396 1.293 perseant mutex_enter(&bufcache_lock); 1397 1.293 perseant 1398 1.293 perseant restart: 1399 1.293 perseant for (bp = LIST_FIRST(&vp->v_dirtyblkhd); bp; bp = nbp) { 1400 1.293 perseant KASSERT(bp->b_vp == vp); 1401 1.293 perseant nbp = LIST_NEXT(bp, b_vnbufs); 1402 1.293 perseant if (!match(fs, bp)) 1403 1.293 perseant continue; 1404 1.293 perseant error = bbusy(bp, false, hz / 10 + 1, NULL); 1405 1.293 perseant if (error != 0) { 1406 1.293 perseant if (error == EPASSTHROUGH) 1407 1.293 perseant goto restart; 1408 1.293 perseant mutex_exit(&bufcache_lock); 1409 1.293 perseant return (error); 1410 1.293 perseant } 1411 1.293 perseant brelsel(bp, BC_INVAL | BC_VFLUSH); 1412 1.293 perseant } 1413 1.293 perseant 1414 1.293 perseant mutex_exit(&bufcache_lock); 1415 1.293 perseant sp->vp = NULL; 1416 1.293 perseant 1417 1.293 perseant return 0; 1418 1.293 perseant } 1419 1.293 perseant 1420 1.15 perseant int 1421 1.128 yamt lfs_gather(struct lfs *fs, struct segment *sp, struct vnode *vp, 1422 1.128 yamt int (*match)(struct lfs *, struct buf *)) 1423 1.1 mycroft { 1424 1.77 perseant struct buf *bp, *nbp; 1425 1.207 ad int count = 0; 1426 1.157 perry 1427 1.159 perseant ASSERT_SEGLOCK(fs); 1428 1.172 perseant if (vp->v_type == VBLK) 1429 1.172 perseant return 0; 1430 1.141 yamt KASSERT(sp->vp == NULL); 1431 1.1 mycroft sp->vp = vp; 1432 1.207 ad mutex_enter(&bufcache_lock); 1433 1.15 perseant 1434 1.15 perseant #ifndef LFS_NO_BACKBUF_HACK 1435 1.10 fvdl /* This is a hack to see if ordering the blocks in LFS makes a difference. */ 1436 1.128 yamt # define BUF_OFFSET \ 1437 1.198 christos (((char *)&LIST_NEXT(bp, b_vnbufs)) - (char *)bp) 1438 1.128 yamt # define BACK_BUF(BP) \ 1439 1.198 christos ((struct buf *)(((char *)(BP)->b_vnbufs.le_prev) - BUF_OFFSET)) 1440 1.128 yamt # define BEG_OF_LIST \ 1441 1.198 christos ((struct buf *)(((char *)&LIST_FIRST(&vp->v_dirtyblkhd)) - BUF_OFFSET)) 1442 1.128 yamt 1443 1.128 yamt loop: 1444 1.128 yamt /* Find last buffer. */ 1445 1.128 yamt for (bp = LIST_FIRST(&vp->v_dirtyblkhd); 1446 1.128 yamt bp && LIST_NEXT(bp, b_vnbufs) != NULL; 1447 1.128 yamt bp = LIST_NEXT(bp, b_vnbufs)) 1448 1.271 maya continue; 1449 1.271 maya 1450 1.77 perseant for (; bp && bp != BEG_OF_LIST; bp = nbp) { 1451 1.77 perseant nbp = BACK_BUF(bp); 1452 1.77 perseant #else /* LFS_NO_BACKBUF_HACK */ 1453 1.128 yamt loop: 1454 1.128 yamt for (bp = LIST_FIRST(&vp->v_dirtyblkhd); bp; bp = nbp) { 1455 1.77 perseant nbp = LIST_NEXT(bp, b_vnbufs); 1456 1.15 perseant #endif /* LFS_NO_BACKBUF_HACK */ 1457 1.207 ad if ((bp->b_cflags & BC_BUSY) != 0 || 1458 1.207 ad (bp->b_flags & B_GATHERED) != 0 || !match(fs, bp)) { 1459 1.158 perseant #ifdef DEBUG 1460 1.128 yamt if (vp == fs->lfs_ivnode && 1461 1.207 ad (bp->b_cflags & BC_BUSY) != 0 && 1462 1.207 ad (bp->b_flags & B_GATHERED) == 0) 1463 1.189 perseant log(LOG_NOTICE, "lfs_gather: ifile lbn %" 1464 1.242 dholland PRId64 " busy (%x) at 0x%jx", 1465 1.189 perseant bp->b_lblkno, bp->b_flags, 1466 1.242 dholland (uintmax_t)lfs_sb_getoffset(fs)); 1467 1.74 perseant #endif 1468 1.1 mycroft continue; 1469 1.74 perseant } 1470 1.1 mycroft #ifdef DIAGNOSTIC 1471 1.277 zafer # ifdef LFS_USE_BC_INVAL 1472 1.277 zafer if ((bp->b_cflags & BC_INVAL) != 0 && bp->b_iodone == NULL) { 1473 1.172 perseant DLOG((DLOG_SEG, "lfs_gather: lbn %" PRId64 1474 1.207 ad " is BC_INVAL\n", bp->b_lblkno)); 1475 1.172 perseant VOP_PRINT(bp->b_vp); 1476 1.172 perseant } 1477 1.277 zafer # endif /* LFS_USE_BC_INVAL */ 1478 1.207 ad if (!(bp->b_oflags & BO_DELWRI)) 1479 1.207 ad panic("lfs_gather: bp not BO_DELWRI"); 1480 1.209 ad if (!(bp->b_flags & B_LOCKED)) { 1481 1.172 perseant DLOG((DLOG_SEG, "lfs_gather: lbn %" PRId64 1482 1.209 ad " blk %" PRId64 " not B_LOCKED\n", 1483 1.172 perseant bp->b_lblkno, 1484 1.230 christos LFS_DBTOFSB(fs, bp->b_blkno))); 1485 1.172 perseant VOP_PRINT(bp->b_vp); 1486 1.209 ad panic("lfs_gather: bp not B_LOCKED"); 1487 1.172 perseant } 1488 1.1 mycroft #endif 1489 1.207 ad if (lfs_gatherblock(sp, bp, &bufcache_lock)) { 1490 1.172 perseant goto loop; 1491 1.30 perseant } 1492 1.15 perseant count++; 1493 1.1 mycroft } 1494 1.207 ad mutex_exit(&bufcache_lock); 1495 1.1 mycroft lfs_updatemeta(sp); 1496 1.141 yamt KASSERT(sp->vp == vp); 1497 1.1 mycroft sp->vp = NULL; 1498 1.15 perseant return count; 1499 1.1 mycroft } 1500 1.1 mycroft 1501 1.101 perseant #if DEBUG 1502 1.101 perseant # define DEBUG_OOFF(n) do { \ 1503 1.101 perseant if (ooff == 0) { \ 1504 1.158 perseant DLOG((DLOG_SEG, "lfs_updatemeta[%d]: warning: writing " \ 1505 1.105 perseant "ino %d lbn %" PRId64 " at 0x%" PRIx32 \ 1506 1.105 perseant ", was 0x0 (or %" PRId64 ")\n", \ 1507 1.158 perseant (n), ip->i_number, lbn, ndaddr, daddr)); \ 1508 1.101 perseant } \ 1509 1.115 perseant } while (0) 1510 1.101 perseant #else 1511 1.101 perseant # define DEBUG_OOFF(n) 1512 1.101 perseant #endif 1513 1.101 perseant 1514 1.101 perseant /* 1515 1.101 perseant * Change the given block's address to ndaddr, finding its previous 1516 1.227 dholland * location using ulfs_bmaparray(). 1517 1.101 perseant * 1518 1.101 perseant * Account for this change in the segment table. 1519 1.143 yamt * 1520 1.143 yamt * called with sp == NULL by roll-forwarding code. 1521 1.101 perseant */ 1522 1.291 perseant #define NOT_ON_DISK(daddr) ((daddr) == 0 || (daddr) == UNASSIGNED || (daddr) == UNWRITTEN) 1523 1.291 perseant 1524 1.101 perseant void 1525 1.195 christos lfs_update_single(struct lfs *fs, struct segment *sp, 1526 1.246 dholland struct vnode *vp, daddr_t lbn, daddr_t ndaddr, int size) 1527 1.101 perseant { 1528 1.101 perseant SEGUSE *sup; 1529 1.101 perseant struct buf *bp; 1530 1.227 dholland struct indir a[ULFS_NIADDR + 2], *ap; 1531 1.101 perseant struct inode *ip; 1532 1.101 perseant daddr_t daddr, ooff; 1533 1.104 perseant int num, error; 1534 1.101 perseant int bb, osize, obb; 1535 1.157 perry 1536 1.159 perseant ASSERT_SEGLOCK(fs); 1537 1.143 yamt KASSERT(sp == NULL || sp->vp == vp); 1538 1.101 perseant ip = VTOI(vp); 1539 1.101 perseant 1540 1.227 dholland error = ulfs_bmaparray(vp, lbn, &daddr, a, &num, NULL, NULL); 1541 1.101 perseant if (error) 1542 1.227 dholland panic("lfs_updatemeta: ulfs_bmaparray returned %d", error); 1543 1.116 perseant 1544 1.251 dholland KASSERT(daddr <= LFS_MAX_DADDR(fs)); 1545 1.101 perseant if (daddr > 0) 1546 1.230 christos daddr = LFS_DBTOFSB(fs, daddr); 1547 1.157 perry 1548 1.230 christos bb = lfs_numfrags(fs, size); 1549 1.101 perseant switch (num) { 1550 1.101 perseant case 0: 1551 1.259 dholland ooff = lfs_dino_getdb(fs, ip->i_din, lbn); 1552 1.101 perseant DEBUG_OOFF(0); 1553 1.291 perseant if (NOT_ON_DISK(ooff)) 1554 1.259 dholland lfs_dino_setblocks(fs, ip->i_din, 1555 1.259 dholland lfs_dino_getblocks(fs, ip->i_din) + bb); 1556 1.101 perseant else { 1557 1.101 perseant /* possible fragment truncation or extension */ 1558 1.230 christos obb = lfs_btofsb(fs, ip->i_lfs_fragsize[lbn]); 1559 1.259 dholland lfs_dino_setblocks(fs, ip->i_din, 1560 1.259 dholland lfs_dino_getblocks(fs, ip->i_din) + (bb-obb)); 1561 1.101 perseant } 1562 1.259 dholland lfs_dino_setdb(fs, ip->i_din, lbn, ndaddr); 1563 1.101 perseant break; 1564 1.101 perseant case 1: 1565 1.259 dholland ooff = lfs_dino_getib(fs, ip->i_din, a[0].in_off); 1566 1.101 perseant DEBUG_OOFF(1); 1567 1.291 perseant if (NOT_ON_DISK(ooff)) 1568 1.259 dholland lfs_dino_setblocks(fs, ip->i_din, 1569 1.259 dholland lfs_dino_getblocks(fs, ip->i_din) + bb); 1570 1.259 dholland lfs_dino_setib(fs, ip->i_din, a[0].in_off, ndaddr); 1571 1.101 perseant break; 1572 1.101 perseant default: 1573 1.101 perseant ap = &a[num - 1]; 1574 1.242 dholland if (bread(vp, ap->in_lbn, lfs_sb_getbsize(fs), 1575 1.212 hannken B_MODIFY, &bp)) 1576 1.101 perseant panic("lfs_updatemeta: bread bno %" PRId64, 1577 1.101 perseant ap->in_lbn); 1578 1.101 perseant 1579 1.259 dholland ooff = lfs_iblock_get(fs, bp->b_data, ap->in_off); 1580 1.101 perseant DEBUG_OOFF(num); 1581 1.291 perseant if (NOT_ON_DISK(ooff)) 1582 1.259 dholland lfs_dino_setblocks(fs, ip->i_din, 1583 1.259 dholland lfs_dino_getblocks(fs, ip->i_din) + bb); 1584 1.259 dholland lfs_iblock_set(fs, bp->b_data, ap->in_off, ndaddr); 1585 1.222 hannken (void) VOP_BWRITE(bp->b_vp, bp); 1586 1.101 perseant } 1587 1.106 perseant 1588 1.150 yamt KASSERT(ooff == 0 || ooff == UNWRITTEN || ooff == daddr); 1589 1.150 yamt 1590 1.160 perseant /* Update hiblk when extending the file */ 1591 1.160 perseant if (lbn > ip->i_lfs_hiblk) 1592 1.160 perseant ip->i_lfs_hiblk = lbn; 1593 1.160 perseant 1594 1.106 perseant /* 1595 1.106 perseant * Though we'd rather it couldn't, this *can* happen right now 1596 1.106 perseant * if cleaning blocks and regular blocks coexist. 1597 1.106 perseant */ 1598 1.106 perseant /* KASSERT(daddr < fs->lfs_lastpseg || daddr > ndaddr); */ 1599 1.101 perseant 1600 1.101 perseant /* 1601 1.101 perseant * Update segment usage information, based on old size 1602 1.101 perseant * and location. 1603 1.101 perseant */ 1604 1.101 perseant if (daddr > 0) { 1605 1.230 christos u_int32_t oldsn = lfs_dtosn(fs, daddr); 1606 1.264 riastrad int ndupino __diagused = (sp && sp->seg_number == oldsn ? 1607 1.264 riastrad sp->ndupino : 0); 1608 1.143 yamt 1609 1.243 dholland KASSERT(oldsn < lfs_sb_getnseg(fs)); 1610 1.227 dholland if (lbn >= 0 && lbn < ULFS_NDADDR) 1611 1.101 perseant osize = ip->i_lfs_fragsize[lbn]; 1612 1.101 perseant else 1613 1.242 dholland osize = lfs_sb_getbsize(fs); 1614 1.101 perseant LFS_SEGENTRY(sup, fs, oldsn, bp); 1615 1.264 riastrad KASSERTMSG(((sup->su_nbytes + DINOSIZE(fs)*ndupino) >= osize), 1616 1.264 riastrad "lfs_updatemeta: negative bytes " 1617 1.264 riastrad "(segment %" PRIu32 " short by %" PRId64 1618 1.264 riastrad ")\n" 1619 1.264 riastrad "lfs_updatemeta: ino %llu, lbn %" PRId64 1620 1.264 riastrad ", addr = 0x%" PRIx64 "\n" 1621 1.264 riastrad "lfs_updatemeta: ndupino=%d", 1622 1.264 riastrad lfs_dtosn(fs, daddr), 1623 1.264 riastrad (int64_t)osize - (DINOSIZE(fs) * ndupino + sup->su_nbytes), 1624 1.264 riastrad (unsigned long long)ip->i_number, lbn, daddr, 1625 1.264 riastrad ndupino); 1626 1.158 perseant DLOG((DLOG_SU, "seg %" PRIu32 " -= %d for ino %d lbn %" PRId64 1627 1.158 perseant " db 0x%" PRIx64 "\n", 1628 1.230 christos lfs_dtosn(fs, daddr), osize, 1629 1.158 perseant ip->i_number, lbn, daddr)); 1630 1.101 perseant sup->su_nbytes -= osize; 1631 1.159 perseant if (!(bp->b_flags & B_GATHERED)) { 1632 1.207 ad mutex_enter(&lfs_lock); 1633 1.101 perseant fs->lfs_flags |= LFS_IFDIRTY; 1634 1.207 ad mutex_exit(&lfs_lock); 1635 1.159 perseant } 1636 1.101 perseant LFS_WRITESEGENTRY(sup, fs, oldsn, bp); 1637 1.101 perseant } 1638 1.101 perseant /* 1639 1.101 perseant * Now that this block has a new address, and its old 1640 1.101 perseant * segment no longer owns it, we can forget about its 1641 1.101 perseant * old size. 1642 1.101 perseant */ 1643 1.227 dholland if (lbn >= 0 && lbn < ULFS_NDADDR) 1644 1.101 perseant ip->i_lfs_fragsize[lbn] = size; 1645 1.101 perseant } 1646 1.101 perseant 1647 1.1 mycroft /* 1648 1.1 mycroft * Update the metadata that points to the blocks listed in the FINFO 1649 1.1 mycroft * array. 1650 1.1 mycroft */ 1651 1.1 mycroft void 1652 1.69 perseant lfs_updatemeta(struct segment *sp) 1653 1.1 mycroft { 1654 1.101 perseant struct buf *sbp; 1655 1.1 mycroft struct lfs *fs; 1656 1.1 mycroft struct vnode *vp; 1657 1.101 perseant daddr_t lbn; 1658 1.256 dholland int i, nblocks, num; 1659 1.256 dholland int __diagused nblocks_orig; 1660 1.101 perseant int bb; 1661 1.101 perseant int bytesleft, size; 1662 1.255 dholland unsigned lastlength; 1663 1.255 dholland union lfs_blocks tmpptr; 1664 1.157 perry 1665 1.255 dholland fs = sp->fs; 1666 1.1 mycroft vp = sp->vp; 1667 1.255 dholland ASSERT_SEGLOCK(fs); 1668 1.255 dholland 1669 1.255 dholland /* 1670 1.255 dholland * This used to be: 1671 1.255 dholland * 1672 1.255 dholland * nblocks = &sp->fip->fi_blocks[sp->fip->fi_nblocks] - sp->start_lbp; 1673 1.255 dholland * 1674 1.255 dholland * that is, it allowed for the possibility that start_lbp did 1675 1.255 dholland * not point to the beginning of the finfo block pointer area. 1676 1.255 dholland * This particular formulation is six kinds of painful in the 1677 1.255 dholland * lfs64 world where we have two sizes of block pointer, so 1678 1.255 dholland * unless/until everything can be cleaned up to not move 1679 1.255 dholland * start_lbp around but instead use an offset, we do the 1680 1.255 dholland * following: 1681 1.255 dholland * 1. Get NEXT_FINFO(sp->fip). This is the same pointer as 1682 1.255 dholland * &sp->fip->fi_blocks[sp->fip->fi_nblocks], just the wrong 1683 1.255 dholland * type. (Ugh.) 1684 1.255 dholland * 2. Cast it to void *, then assign it to a temporary 1685 1.255 dholland * union lfs_blocks. 1686 1.255 dholland * 3. Subtract start_lbp from that. 1687 1.255 dholland * 4. Save the value of nblocks in blocks_orig so we can 1688 1.255 dholland * assert below that it hasn't changed without repeating this 1689 1.255 dholland * rubbish. 1690 1.255 dholland * 1691 1.255 dholland * XXX. 1692 1.255 dholland */ 1693 1.255 dholland lfs_blocks_fromvoid(fs, &tmpptr, (void *)NEXT_FINFO(fs, sp->fip)); 1694 1.255 dholland nblocks = lfs_blocks_sub(fs, &tmpptr, &sp->start_lbp); 1695 1.255 dholland nblocks_orig = nblocks; 1696 1.255 dholland 1697 1.101 perseant KASSERT(nblocks >= 0); 1698 1.141 yamt KASSERT(vp != NULL); 1699 1.141 yamt if (nblocks == 0) 1700 1.1 mycroft return; 1701 1.104 perseant 1702 1.104 perseant /* 1703 1.104 perseant * This count may be high due to oversize blocks from lfs_gop_write. 1704 1.104 perseant * Correct for this. (XXX we should be able to keep track of these.) 1705 1.104 perseant */ 1706 1.104 perseant for (i = 0; i < nblocks; i++) { 1707 1.104 perseant if (sp->start_bpp[i] == NULL) { 1708 1.158 perseant DLOG((DLOG_SEG, "lfs_updatemeta: nblocks = %d, not %d\n", i, nblocks)); 1709 1.104 perseant nblocks = i; 1710 1.104 perseant break; 1711 1.104 perseant } 1712 1.242 dholland num = howmany(sp->start_bpp[i]->b_bcount, lfs_sb_getbsize(fs)); 1713 1.118 yamt KASSERT(sp->start_bpp[i]->b_lblkno >= 0 || num == 1); 1714 1.104 perseant nblocks -= num - 1; 1715 1.104 perseant } 1716 1.118 yamt 1717 1.255 dholland #if 0 1718 1.255 dholland /* pre-lfs64 assertion */ 1719 1.118 yamt KASSERT(vp->v_type == VREG || 1720 1.118 yamt nblocks == &sp->fip->fi_blocks[sp->fip->fi_nblocks] - sp->start_lbp); 1721 1.255 dholland #else 1722 1.255 dholland KASSERT(vp->v_type == VREG || nblocks == nblocks_orig); 1723 1.255 dholland #endif 1724 1.118 yamt KASSERT(nblocks == sp->cbpp - sp->start_bpp); 1725 1.157 perry 1726 1.15 perseant /* 1727 1.101 perseant * Sort the blocks. 1728 1.101 perseant * 1729 1.101 perseant * We have to sort even if the blocks come from the 1730 1.15 perseant * cleaner, because there might be other pending blocks on the 1731 1.15 perseant * same inode...and if we don't sort, and there are fragments 1732 1.15 perseant * present, blocks may be written in the wrong place. 1733 1.15 perseant */ 1734 1.255 dholland lfs_shellsort(fs, sp->start_bpp, &sp->start_lbp, nblocks, lfs_sb_getbsize(fs)); 1735 1.157 perry 1736 1.1 mycroft /* 1737 1.10 fvdl * Record the length of the last block in case it's a fragment. 1738 1.10 fvdl * If there are indirect blocks present, they sort last. An 1739 1.10 fvdl * indirect block will be lfs_bsize and its presence indicates 1740 1.10 fvdl * that you cannot have fragments. 1741 1.80 perseant * 1742 1.80 perseant * XXX This last is a lie. A cleaned fragment can coexist with 1743 1.103 perseant * XXX a later indirect block. This will continue to be 1744 1.80 perseant * XXX true until lfs_markv is fixed to do everything with 1745 1.80 perseant * XXX fake blocks (including fake inodes and fake indirect blocks). 1746 1.10 fvdl */ 1747 1.255 dholland lastlength = ((sp->start_bpp[nblocks - 1]->b_bcount - 1) & 1748 1.243 dholland lfs_sb_getbmask(fs)) + 1; 1749 1.255 dholland lfs_fi_setlastlength(fs, sp->fip, lastlength); 1750 1.157 perry 1751 1.10 fvdl /* 1752 1.1 mycroft * Assign disk addresses, and update references to the logical 1753 1.1 mycroft * block and the segment usage information. 1754 1.1 mycroft */ 1755 1.1 mycroft for (i = nblocks; i--; ++sp->start_bpp) { 1756 1.101 perseant sbp = *sp->start_bpp; 1757 1.255 dholland lbn = lfs_blocks_get(fs, &sp->start_lbp, 0); 1758 1.118 yamt KASSERT(sbp->b_lblkno == lbn); 1759 1.104 perseant 1760 1.242 dholland sbp->b_blkno = LFS_FSBTODB(fs, lfs_sb_getoffset(fs)); 1761 1.80 perseant 1762 1.80 perseant /* 1763 1.80 perseant * If we write a frag in the wrong place, the cleaner won't 1764 1.80 perseant * be able to correctly identify its size later, and the 1765 1.103 perseant * segment will be uncleanable. (Even worse, it will assume 1766 1.80 perseant * that the indirect block that actually ends the list 1767 1.80 perseant * is of a smaller size!) 1768 1.80 perseant */ 1769 1.243 dholland if ((sbp->b_bcount & lfs_sb_getbmask(fs)) && i != 0) 1770 1.82 provos panic("lfs_updatemeta: fragment is not last block"); 1771 1.119 fvdl 1772 1.80 perseant /* 1773 1.101 perseant * For each subblock in this possibly oversized block, 1774 1.101 perseant * update its address on disk. 1775 1.80 perseant */ 1776 1.242 dholland KASSERT(lbn >= 0 || sbp->b_bcount == lfs_sb_getbsize(fs)); 1777 1.141 yamt KASSERT(vp == sbp->b_vp); 1778 1.101 perseant for (bytesleft = sbp->b_bcount; bytesleft > 0; 1779 1.242 dholland bytesleft -= lfs_sb_getbsize(fs)) { 1780 1.242 dholland size = MIN(bytesleft, lfs_sb_getbsize(fs)); 1781 1.230 christos bb = lfs_numfrags(fs, size); 1782 1.255 dholland lbn = lfs_blocks_get(fs, &sp->start_lbp, 0); 1783 1.255 dholland lfs_blocks_inc(fs, &sp->start_lbp); 1784 1.242 dholland lfs_update_single(fs, sp, sp->vp, lbn, lfs_sb_getoffset(fs), 1785 1.143 yamt size); 1786 1.242 dholland lfs_sb_addoffset(fs, bb); 1787 1.1 mycroft } 1788 1.101 perseant 1789 1.1 mycroft } 1790 1.199 perseant 1791 1.199 perseant /* This inode has been modified */ 1792 1.199 perseant LFS_SET_UINO(VTOI(vp), IN_MODIFIED); 1793 1.1 mycroft } 1794 1.1 mycroft 1795 1.1 mycroft /* 1796 1.247 dholland * Move lfs_offset to a segment earlier than newsn. 1797 1.163 perseant */ 1798 1.163 perseant int 1799 1.163 perseant lfs_rewind(struct lfs *fs, int newsn) 1800 1.163 perseant { 1801 1.163 perseant int sn, osn, isdirty; 1802 1.163 perseant struct buf *bp; 1803 1.163 perseant SEGUSE *sup; 1804 1.163 perseant 1805 1.163 perseant ASSERT_SEGLOCK(fs); 1806 1.163 perseant 1807 1.242 dholland osn = lfs_dtosn(fs, lfs_sb_getoffset(fs)); 1808 1.163 perseant if (osn < newsn) 1809 1.163 perseant return 0; 1810 1.163 perseant 1811 1.163 perseant /* lfs_avail eats the remaining space in this segment */ 1812 1.243 dholland lfs_sb_subavail(fs, lfs_sb_getfsbpseg(fs) - (lfs_sb_getoffset(fs) - lfs_sb_getcurseg(fs))); 1813 1.163 perseant 1814 1.163 perseant /* Find a low-numbered segment */ 1815 1.243 dholland for (sn = 0; sn < lfs_sb_getnseg(fs); ++sn) { 1816 1.163 perseant LFS_SEGENTRY(sup, fs, sn, bp); 1817 1.163 perseant isdirty = sup->su_flags & SEGUSE_DIRTY; 1818 1.205 ad brelse(bp, 0); 1819 1.163 perseant 1820 1.163 perseant if (!isdirty) 1821 1.163 perseant break; 1822 1.163 perseant } 1823 1.243 dholland if (sn == lfs_sb_getnseg(fs)) 1824 1.163 perseant panic("lfs_rewind: no clean segments"); 1825 1.184 perseant if (newsn >= 0 && sn >= newsn) 1826 1.163 perseant return ENOENT; 1827 1.247 dholland lfs_sb_setnextseg(fs, lfs_sntod(fs, sn)); 1828 1.163 perseant lfs_newseg(fs); 1829 1.242 dholland lfs_sb_setoffset(fs, lfs_sb_getcurseg(fs)); 1830 1.163 perseant 1831 1.163 perseant return 0; 1832 1.163 perseant } 1833 1.163 perseant 1834 1.163 perseant /* 1835 1.139 yamt * Start a new partial segment. 1836 1.139 yamt * 1837 1.139 yamt * Return 1 when we entered to a new segment. 1838 1.139 yamt * Otherwise, return 0. 1839 1.1 mycroft */ 1840 1.1 mycroft int 1841 1.290 perseant lfs_initseg(struct lfs *fs, uint16_t flags) 1842 1.1 mycroft { 1843 1.139 yamt struct segment *sp = fs->lfs_sp; 1844 1.1 mycroft SEGSUM *ssp; 1845 1.139 yamt struct buf *sbp; /* buffer for SEGSUM */ 1846 1.139 yamt int repeat = 0; /* return value */ 1847 1.107 perseant 1848 1.159 perseant ASSERT_SEGLOCK(fs); 1849 1.1 mycroft /* Advance to the next segment. */ 1850 1.1 mycroft if (!LFS_PARTIAL_FITS(fs)) { 1851 1.139 yamt SEGUSE *sup; 1852 1.139 yamt struct buf *bp; 1853 1.139 yamt 1854 1.55 perseant /* lfs_avail eats the remaining space */ 1855 1.243 dholland lfs_sb_subavail(fs, lfs_sb_getfsbpseg(fs) - (lfs_sb_getoffset(fs) - 1856 1.242 dholland lfs_sb_getcurseg(fs))); 1857 1.1 mycroft /* Wake up any cleaning procs waiting on this file system. */ 1858 1.185 perseant lfs_wakeup_cleaner(fs); 1859 1.1 mycroft lfs_newseg(fs); 1860 1.1 mycroft repeat = 1; 1861 1.242 dholland lfs_sb_setoffset(fs, lfs_sb_getcurseg(fs)); 1862 1.157 perry 1863 1.242 dholland sp->seg_number = lfs_dtosn(fs, lfs_sb_getcurseg(fs)); 1864 1.243 dholland sp->seg_bytes_left = lfs_fsbtob(fs, lfs_sb_getfsbpseg(fs)); 1865 1.101 perseant 1866 1.1 mycroft /* 1867 1.1 mycroft * If the segment contains a superblock, update the offset 1868 1.1 mycroft * and summary address to skip over it. 1869 1.1 mycroft */ 1870 1.1 mycroft LFS_SEGENTRY(sup, fs, sp->seg_number, bp); 1871 1.1 mycroft if (sup->su_flags & SEGUSE_SUPERBLOCK) { 1872 1.242 dholland lfs_sb_addoffset(fs, lfs_btofsb(fs, LFS_SBPAD)); 1873 1.1 mycroft sp->seg_bytes_left -= LFS_SBPAD; 1874 1.1 mycroft } 1875 1.205 ad brelse(bp, 0); 1876 1.69 perseant /* Segment zero could also contain the labelpad */ 1877 1.249 dholland if (lfs_sb_getversion(fs) > 1 && sp->seg_number == 0 && 1878 1.243 dholland lfs_sb_gets0addr(fs) < lfs_btofsb(fs, LFS_LABELPAD)) { 1879 1.242 dholland lfs_sb_addoffset(fs, 1880 1.243 dholland lfs_btofsb(fs, LFS_LABELPAD) - lfs_sb_gets0addr(fs)); 1881 1.128 yamt sp->seg_bytes_left -= 1882 1.243 dholland LFS_LABELPAD - lfs_fsbtob(fs, lfs_sb_gets0addr(fs)); 1883 1.69 perseant } 1884 1.1 mycroft } else { 1885 1.242 dholland sp->seg_number = lfs_dtosn(fs, lfs_sb_getcurseg(fs)); 1886 1.243 dholland sp->seg_bytes_left = lfs_fsbtob(fs, lfs_sb_getfsbpseg(fs) - 1887 1.242 dholland (lfs_sb_getoffset(fs) - lfs_sb_getcurseg(fs))); 1888 1.1 mycroft } 1889 1.242 dholland lfs_sb_setlastpseg(fs, lfs_sb_getoffset(fs)); 1890 1.157 perry 1891 1.107 perseant /* Record first address of this partial segment */ 1892 1.107 perseant if (sp->seg_flags & SEGM_CLEAN) { 1893 1.242 dholland fs->lfs_cleanint[fs->lfs_cleanind] = lfs_sb_getoffset(fs); 1894 1.107 perseant if (++fs->lfs_cleanind >= LFS_MAX_CLEANIND) { 1895 1.107 perseant /* "1" is the artificial inc in lfs_seglock */ 1896 1.207 ad mutex_enter(&lfs_lock); 1897 1.107 perseant while (fs->lfs_iocount > 1) { 1898 1.207 ad mtsleep(&fs->lfs_iocount, PRIBIO + 1, 1899 1.207 ad "lfs_initseg", 0, &lfs_lock); 1900 1.107 perseant } 1901 1.207 ad mutex_exit(&lfs_lock); 1902 1.107 perseant fs->lfs_cleanind = 0; 1903 1.107 perseant } 1904 1.107 perseant } 1905 1.107 perseant 1906 1.1 mycroft sp->fs = fs; 1907 1.1 mycroft sp->ibp = NULL; 1908 1.27 perseant sp->idp = NULL; 1909 1.1 mycroft sp->ninodes = 0; 1910 1.80 perseant sp->ndupino = 0; 1911 1.69 perseant 1912 1.1 mycroft sp->cbpp = sp->bpp; 1913 1.139 yamt 1914 1.139 yamt /* Get a new buffer for SEGSUM */ 1915 1.145 yamt sbp = lfs_newbuf(fs, VTOI(fs->lfs_ivnode)->i_devvp, 1916 1.243 dholland LFS_FSBTODB(fs, lfs_sb_getoffset(fs)), lfs_sb_getsumsize(fs), LFS_NB_SUMMARY); 1917 1.139 yamt 1918 1.139 yamt /* ... and enter it into the buffer list. */ 1919 1.139 yamt *sp->cbpp = sbp; 1920 1.139 yamt sp->cbpp++; 1921 1.242 dholland lfs_sb_addoffset(fs, lfs_btofsb(fs, lfs_sb_getsumsize(fs))); 1922 1.139 yamt 1923 1.139 yamt sp->start_bpp = sp->cbpp; 1924 1.157 perry 1925 1.293 perseant if ((fs->lfs_flags & LFS_NOTYET) && curproc->p_pid == fs->lfs_rfpid) 1926 1.293 perseant flags |= SS_RFW; 1927 1.293 perseant 1928 1.1 mycroft /* Set point to SEGSUM, initialize it. */ 1929 1.139 yamt ssp = sp->segsum = sbp->b_data; 1930 1.243 dholland memset(ssp, 0, lfs_sb_getsumsize(fs)); 1931 1.254 dholland lfs_ss_setnext(fs, ssp, lfs_sb_getnextseg(fs)); 1932 1.254 dholland lfs_ss_setnfinfo(fs, ssp, 0); 1933 1.254 dholland lfs_ss_setninos(fs, ssp, 0); 1934 1.254 dholland lfs_ss_setmagic(fs, ssp, SS_MAGIC); 1935 1.290 perseant lfs_ss_setflags(fs, ssp, flags); 1936 1.1 mycroft 1937 1.1 mycroft /* Set pointer to first FINFO, initialize it. */ 1938 1.254 dholland sp->fip = SEGSUM_FINFOBASE(fs, sp->segsum); 1939 1.255 dholland lfs_fi_setnblocks(fs, sp->fip, 0); 1940 1.255 dholland lfs_fi_setlastlength(fs, sp->fip, 0); 1941 1.255 dholland lfs_blocks_fromfinfo(fs, &sp->start_lbp, sp->fip); 1942 1.157 perry 1943 1.243 dholland sp->seg_bytes_left -= lfs_sb_getsumsize(fs); 1944 1.243 dholland sp->sum_bytes_left = lfs_sb_getsumsize(fs) - SEGSUM_SIZE(fs); 1945 1.104 perseant 1946 1.73 chs return (repeat); 1947 1.1 mycroft } 1948 1.1 mycroft 1949 1.1 mycroft /* 1950 1.163 perseant * Remove SEGUSE_INVAL from all segments. 1951 1.163 perseant */ 1952 1.163 perseant void 1953 1.163 perseant lfs_unset_inval_all(struct lfs *fs) 1954 1.163 perseant { 1955 1.163 perseant SEGUSE *sup; 1956 1.163 perseant struct buf *bp; 1957 1.163 perseant int i; 1958 1.163 perseant 1959 1.243 dholland for (i = 0; i < lfs_sb_getnseg(fs); i++) { 1960 1.163 perseant LFS_SEGENTRY(sup, fs, i, bp); 1961 1.163 perseant if (sup->su_flags & SEGUSE_INVAL) { 1962 1.163 perseant sup->su_flags &= ~SEGUSE_INVAL; 1963 1.189 perseant LFS_WRITESEGENTRY(sup, fs, i, bp); 1964 1.163 perseant } else 1965 1.205 ad brelse(bp, 0); 1966 1.163 perseant } 1967 1.163 perseant } 1968 1.163 perseant 1969 1.163 perseant /* 1970 1.1 mycroft * Return the next segment to write. 1971 1.1 mycroft */ 1972 1.1 mycroft void 1973 1.69 perseant lfs_newseg(struct lfs *fs) 1974 1.1 mycroft { 1975 1.1 mycroft CLEANERINFO *cip; 1976 1.1 mycroft SEGUSE *sup; 1977 1.1 mycroft struct buf *bp; 1978 1.163 perseant int curseg, isdirty, sn, skip_inval; 1979 1.157 perry 1980 1.159 perseant ASSERT_SEGLOCK(fs); 1981 1.175 perseant 1982 1.175 perseant /* Honor LFCNWRAPSTOP */ 1983 1.207 ad mutex_enter(&lfs_lock); 1984 1.242 dholland while (lfs_sb_getnextseg(fs) < lfs_sb_getcurseg(fs) && fs->lfs_nowrap) { 1985 1.189 perseant if (fs->lfs_wrappass) { 1986 1.189 perseant log(LOG_NOTICE, "%s: wrappass=%d\n", 1987 1.243 dholland lfs_sb_getfsmnt(fs), fs->lfs_wrappass); 1988 1.189 perseant fs->lfs_wrappass = 0; 1989 1.189 perseant break; 1990 1.189 perseant } 1991 1.189 perseant fs->lfs_wrapstatus = LFS_WRAP_WAITING; 1992 1.175 perseant wakeup(&fs->lfs_nowrap); 1993 1.243 dholland log(LOG_NOTICE, "%s: waiting at log wrap\n", lfs_sb_getfsmnt(fs)); 1994 1.207 ad mtsleep(&fs->lfs_wrappass, PVFS, "newseg", 10 * hz, 1995 1.207 ad &lfs_lock); 1996 1.175 perseant } 1997 1.189 perseant fs->lfs_wrapstatus = LFS_WRAP_GOING; 1998 1.207 ad mutex_exit(&lfs_lock); 1999 1.175 perseant 2000 1.242 dholland LFS_SEGENTRY(sup, fs, lfs_dtosn(fs, lfs_sb_getnextseg(fs)), bp); 2001 1.158 perseant DLOG((DLOG_SU, "lfs_newseg: seg %d := 0 in newseg\n", 2002 1.242 dholland lfs_dtosn(fs, lfs_sb_getnextseg(fs)))); 2003 1.15 perseant sup->su_flags |= SEGUSE_DIRTY | SEGUSE_ACTIVE; 2004 1.1 mycroft sup->su_nbytes = 0; 2005 1.1 mycroft sup->su_nsums = 0; 2006 1.1 mycroft sup->su_ninos = 0; 2007 1.242 dholland LFS_WRITESEGENTRY(sup, fs, lfs_dtosn(fs, lfs_sb_getnextseg(fs)), bp); 2008 1.1 mycroft 2009 1.1 mycroft LFS_CLEANERINFO(cip, fs, bp); 2010 1.252 dholland lfs_ci_shiftcleantodirty(fs, cip, 1); 2011 1.252 dholland lfs_sb_setnclean(fs, lfs_ci_getclean(fs, cip)); 2012 1.61 perseant LFS_SYNC_CLEANERINFO(cip, fs, bp, 1); 2013 1.101 perseant 2014 1.242 dholland lfs_sb_setlastseg(fs, lfs_sb_getcurseg(fs)); 2015 1.242 dholland lfs_sb_setcurseg(fs, lfs_sb_getnextseg(fs)); 2016 1.163 perseant skip_inval = 1; 2017 1.243 dholland for (sn = curseg = lfs_dtosn(fs, lfs_sb_getcurseg(fs)) + lfs_sb_getinterleave(fs);;) { 2018 1.243 dholland sn = (sn + 1) % lfs_sb_getnseg(fs); 2019 1.174 perseant 2020 1.163 perseant if (sn == curseg) { 2021 1.163 perseant if (skip_inval) 2022 1.163 perseant skip_inval = 0; 2023 1.163 perseant else 2024 1.163 perseant panic("lfs_nextseg: no clean segments"); 2025 1.163 perseant } 2026 1.1 mycroft LFS_SEGENTRY(sup, fs, sn, bp); 2027 1.163 perseant isdirty = sup->su_flags & (SEGUSE_DIRTY | (skip_inval ? SEGUSE_INVAL : 0)); 2028 1.101 perseant /* Check SEGUSE_EMPTY as we go along */ 2029 1.128 yamt if (isdirty && sup->su_nbytes == 0 && 2030 1.128 yamt !(sup->su_flags & SEGUSE_EMPTY)) 2031 1.101 perseant LFS_WRITESEGENTRY(sup, fs, sn, bp); 2032 1.101 perseant else 2033 1.205 ad brelse(bp, 0); 2034 1.101 perseant 2035 1.1 mycroft if (!isdirty) 2036 1.1 mycroft break; 2037 1.1 mycroft } 2038 1.163 perseant if (skip_inval == 0) 2039 1.163 perseant lfs_unset_inval_all(fs); 2040 1.157 perry 2041 1.1 mycroft ++fs->lfs_nactive; 2042 1.242 dholland lfs_sb_setnextseg(fs, lfs_sntod(fs, sn)); 2043 1.73 chs if (lfs_dostats) { 2044 1.15 perseant ++lfs_stats.segsused; 2045 1.15 perseant } 2046 1.1 mycroft } 2047 1.1 mycroft 2048 1.74 perseant static struct buf * 2049 1.193 christos lfs_newclusterbuf(struct lfs *fs, struct vnode *vp, daddr_t addr, 2050 1.195 christos int n) 2051 1.74 perseant { 2052 1.74 perseant struct lfs_cluster *cl; 2053 1.74 perseant struct buf **bpp, *bp; 2054 1.74 perseant 2055 1.159 perseant ASSERT_SEGLOCK(fs); 2056 1.101 perseant cl = (struct lfs_cluster *)pool_get(&fs->lfs_clpool, PR_WAITOK); 2057 1.101 perseant bpp = (struct buf **)pool_get(&fs->lfs_bpppool, PR_WAITOK); 2058 1.79 perseant memset(cl, 0, sizeof(*cl)); 2059 1.74 perseant cl->fs = fs; 2060 1.74 perseant cl->bpp = bpp; 2061 1.74 perseant cl->bufcount = 0; 2062 1.74 perseant cl->bufsize = 0; 2063 1.74 perseant 2064 1.79 perseant /* If this segment is being written synchronously, note that */ 2065 1.79 perseant if (fs->lfs_sp->seg_flags & SEGM_SYNC) { 2066 1.79 perseant cl->flags |= LFS_CL_SYNC; 2067 1.79 perseant cl->seg = fs->lfs_sp; 2068 1.79 perseant ++cl->seg->seg_iocount; 2069 1.79 perseant } 2070 1.79 perseant 2071 1.74 perseant /* Get an empty buffer header, or maybe one with something on it */ 2072 1.207 ad bp = getiobuf(vp, true); 2073 1.130 yamt bp->b_dev = NODEV; 2074 1.74 perseant bp->b_blkno = bp->b_lblkno = addr; 2075 1.282 chs bp->b_iodone = lfs_cluster_aiodone; 2076 1.144 yamt bp->b_private = cl; 2077 1.74 perseant 2078 1.74 perseant return bp; 2079 1.74 perseant } 2080 1.74 perseant 2081 1.1 mycroft int 2082 1.69 perseant lfs_writeseg(struct lfs *fs, struct segment *sp) 2083 1.1 mycroft { 2084 1.207 ad struct buf **bpp, *bp, *cbp, *newbp, *unbusybp; 2085 1.1 mycroft SEGUSE *sup; 2086 1.1 mycroft SEGSUM *ssp; 2087 1.207 ad int i; 2088 1.101 perseant int do_again, nblocks, byteoffset; 2089 1.70 jdolecek size_t el_size; 2090 1.103 perseant struct lfs_cluster *cl; 2091 1.1 mycroft u_short ninos; 2092 1.15 perseant struct vnode *devvp; 2093 1.142 christos char *p = NULL; 2094 1.69 perseant struct vnode *vp; 2095 1.261 dholland unsigned ibindex, iblimit; 2096 1.55 perseant int changed; 2097 1.152 yamt u_int32_t sum; 2098 1.254 dholland size_t sumstart; 2099 1.290 perseant uint16_t oflags; 2100 1.180 perseant #ifdef DEBUG 2101 1.180 perseant FINFO *fip; 2102 1.180 perseant int findex; 2103 1.180 perseant #endif 2104 1.74 perseant 2105 1.159 perseant ASSERT_SEGLOCK(fs); 2106 1.188 perseant 2107 1.189 perseant ssp = (SEGSUM *)sp->segsum; 2108 1.189 perseant 2109 1.189 perseant /* 2110 1.189 perseant * If there are no buffers other than the segment summary to write, 2111 1.189 perseant * don't do anything. If we are the end of a dirop sequence, however, 2112 1.189 perseant * write the empty segment summary anyway, to help out the 2113 1.189 perseant * roll-forward agent. 2114 1.189 perseant */ 2115 1.189 perseant if ((nblocks = sp->cbpp - sp->bpp) == 1) { 2116 1.254 dholland if ((lfs_ss_getflags(fs, ssp) & (SS_DIROP | SS_CONT)) != SS_DIROP) 2117 1.189 perseant return 0; 2118 1.189 perseant } 2119 1.189 perseant 2120 1.188 perseant /* Note if partial segment is being written by the cleaner */ 2121 1.188 perseant if (sp->seg_flags & SEGM_CLEAN) 2122 1.254 dholland lfs_ss_setflags(fs, ssp, lfs_ss_getflags(fs, ssp) | SS_CLEAN); 2123 1.157 perry 2124 1.223 perseant /* Note if we are writing to reclaim */ 2125 1.223 perseant if (sp->seg_flags & SEGM_RECLAIM) { 2126 1.254 dholland lfs_ss_setflags(fs, ssp, lfs_ss_getflags(fs, ssp) | SS_RECLAIM); 2127 1.254 dholland lfs_ss_setreclino(fs, ssp, fs->lfs_reclino); 2128 1.223 perseant } 2129 1.290 perseant /* Save flags to attach to a new partial segment, if we need one */ 2130 1.290 perseant oflags = lfs_ss_getflags(fs, ssp); 2131 1.223 perseant 2132 1.27 perseant devvp = VTOI(fs->lfs_ivnode)->i_devvp; 2133 1.27 perseant 2134 1.10 fvdl /* Update the segment usage information. */ 2135 1.10 fvdl LFS_SEGENTRY(sup, fs, sp->seg_number, bp); 2136 1.157 perry 2137 1.10 fvdl /* Loop through all blocks, except the segment summary. */ 2138 1.27 perseant for (bpp = sp->bpp; ++bpp < sp->cbpp; ) { 2139 1.73 chs if ((*bpp)->b_vp != devvp) { 2140 1.27 perseant sup->su_nbytes += (*bpp)->b_bcount; 2141 1.158 perseant DLOG((DLOG_SU, "seg %" PRIu32 " += %ld for ino %d" 2142 1.158 perseant " lbn %" PRId64 " db 0x%" PRIx64 "\n", 2143 1.158 perseant sp->seg_number, (*bpp)->b_bcount, 2144 1.158 perseant VTOI((*bpp)->b_vp)->i_number, (*bpp)->b_lblkno, 2145 1.158 perseant (*bpp)->b_blkno)); 2146 1.69 perseant } 2147 1.27 perseant } 2148 1.157 perry 2149 1.180 perseant #ifdef DEBUG 2150 1.181 perseant /* Check for zero-length and zero-version FINFO entries. */ 2151 1.254 dholland fip = SEGSUM_FINFOBASE(fs, ssp); 2152 1.254 dholland for (findex = 0; findex < lfs_ss_getnfinfo(fs, ssp); findex++) { 2153 1.255 dholland KDASSERT(lfs_fi_getnblocks(fs, fip) > 0); 2154 1.255 dholland KDASSERT(lfs_fi_getversion(fs, fip) > 0); 2155 1.254 dholland fip = NEXT_FINFO(fs, fip); 2156 1.180 perseant } 2157 1.180 perseant #endif /* DEBUG */ 2158 1.180 perseant 2159 1.254 dholland ninos = (lfs_ss_getninos(fs, ssp) + LFS_INOPB(fs) - 1) / LFS_INOPB(fs); 2160 1.158 perseant DLOG((DLOG_SU, "seg %d += %d for %d inodes\n", 2161 1.254 dholland sp->seg_number, 2162 1.256 dholland lfs_ss_getninos(fs, ssp) * DINOSIZE(fs), 2163 1.254 dholland lfs_ss_getninos(fs, ssp))); 2164 1.256 dholland sup->su_nbytes += lfs_ss_getninos(fs, ssp) * DINOSIZE(fs); 2165 1.243 dholland /* sup->su_nbytes += lfs_sb_getsumsize(fs); */ 2166 1.249 dholland if (lfs_sb_getversion(fs) == 1) 2167 1.182 kardel sup->su_olastmod = time_second; 2168 1.69 perseant else 2169 1.182 kardel sup->su_lastmod = time_second; 2170 1.1 mycroft sup->su_ninos += ninos; 2171 1.1 mycroft ++sup->su_nsums; 2172 1.242 dholland lfs_sb_subavail(fs, lfs_btofsb(fs, lfs_sb_getsumsize(fs))); 2173 1.15 perseant 2174 1.1 mycroft do_again = !(bp->b_flags & B_GATHERED); 2175 1.101 perseant LFS_WRITESEGENTRY(sup, fs, sp->seg_number, bp); /* Ifile */ 2176 1.101 perseant 2177 1.1 mycroft /* 2178 1.277 zafer * Mark blocks BC_BUSY, to prevent then from being changed between 2179 1.53 perseant * the checksum computation and the actual write. 2180 1.53 perseant * 2181 1.53 perseant * If we are cleaning, check indirect blocks for UNWRITTEN, and if 2182 1.53 perseant * there are any, replace them with copies that have UNASSIGNED 2183 1.53 perseant * instead. 2184 1.53 perseant */ 2185 1.207 ad mutex_enter(&bufcache_lock); 2186 1.53 perseant for (bpp = sp->bpp, i = nblocks - 1; i--;) { 2187 1.53 perseant ++bpp; 2188 1.101 perseant bp = *bpp; 2189 1.207 ad if (bp->b_iodone != NULL) { /* UBC or malloced buffer */ 2190 1.207 ad bp->b_cflags |= BC_BUSY; 2191 1.53 perseant continue; 2192 1.101 perseant } 2193 1.159 perseant 2194 1.207 ad while (bp->b_cflags & BC_BUSY) { 2195 1.158 perseant DLOG((DLOG_SEG, "lfs_writeseg: avoiding potential" 2196 1.158 perseant " data summary corruption for ino %d, lbn %" 2197 1.158 perseant PRId64 "\n", 2198 1.158 perseant VTOI(bp->b_vp)->i_number, bp->b_lblkno)); 2199 1.207 ad bp->b_cflags |= BC_WANTED; 2200 1.207 ad cv_wait(&bp->b_busy, &bufcache_lock); 2201 1.207 ad } 2202 1.207 ad bp->b_cflags |= BC_BUSY; 2203 1.207 ad mutex_exit(&bufcache_lock); 2204 1.207 ad unbusybp = NULL; 2205 1.159 perseant 2206 1.101 perseant /* 2207 1.101 perseant * Check and replace indirect block UNWRITTEN bogosity. 2208 1.101 perseant * XXX See comment in lfs_writefile. 2209 1.101 perseant */ 2210 1.73 chs if (bp->b_lblkno < 0 && bp->b_vp != devvp && bp->b_vp && 2211 1.259 dholland lfs_dino_getblocks(fs, VTOI(bp->b_vp)->i_din) != 2212 1.53 perseant VTOI(bp->b_vp)->i_lfs_effnblks) { 2213 1.248 dholland DLOG((DLOG_VNODE, "lfs_writeseg: cleansing ino %d (%jd != %d)\n", 2214 1.158 perseant VTOI(bp->b_vp)->i_number, 2215 1.248 dholland (intmax_t)VTOI(bp->b_vp)->i_lfs_effnblks, 2216 1.259 dholland lfs_dino_getblocks(fs, VTOI(bp->b_vp)->i_din))); 2217 1.53 perseant /* Make a copy we'll make changes to */ 2218 1.69 perseant newbp = lfs_newbuf(fs, bp->b_vp, bp->b_lblkno, 2219 1.101 perseant bp->b_bcount, LFS_NB_IBLOCK); 2220 1.53 perseant newbp->b_blkno = bp->b_blkno; 2221 1.53 perseant memcpy(newbp->b_data, bp->b_data, 2222 1.53 perseant newbp->b_bcount); 2223 1.53 perseant 2224 1.55 perseant changed = 0; 2225 1.261 dholland iblimit = newbp->b_bcount / LFS_BLKPTRSIZE(fs); 2226 1.261 dholland for (ibindex = 0; ibindex < iblimit; ibindex++) { 2227 1.261 dholland if (lfs_iblock_get(fs, newbp->b_data, ibindex) == UNWRITTEN) { 2228 1.55 perseant ++changed; 2229 1.261 dholland lfs_iblock_set(fs, newbp->b_data, 2230 1.261 dholland ibindex, 0); 2231 1.53 perseant } 2232 1.53 perseant } 2233 1.55 perseant /* 2234 1.55 perseant * Get rid of the old buffer. Don't mark it clean, 2235 1.55 perseant * though, if it still has dirty data on it. 2236 1.55 perseant */ 2237 1.55 perseant if (changed) { 2238 1.158 perseant DLOG((DLOG_SEG, "lfs_writeseg: replacing UNWRITTEN(%d):" 2239 1.158 perseant " bp = %p newbp = %p\n", changed, bp, 2240 1.158 perseant newbp)); 2241 1.101 perseant *bpp = newbp; 2242 1.203 ad bp->b_flags &= ~B_GATHERED; 2243 1.203 ad bp->b_error = 0; 2244 1.207 ad if (bp->b_iodone != NULL) { 2245 1.158 perseant DLOG((DLOG_SEG, "lfs_writeseg: " 2246 1.158 perseant "indir bp should not be B_CALL\n")); 2247 1.101 perseant biodone(bp); 2248 1.69 perseant bp = NULL; 2249 1.69 perseant } else { 2250 1.57 perseant /* Still on free list, leave it there */ 2251 1.207 ad unbusybp = bp; 2252 1.62 perseant /* 2253 1.62 perseant * We have to re-decrement lfs_avail 2254 1.62 perseant * since this block is going to come 2255 1.62 perseant * back around to us in the next 2256 1.62 perseant * segment. 2257 1.62 perseant */ 2258 1.242 dholland lfs_sb_subavail(fs, 2259 1.242 dholland lfs_btofsb(fs, bp->b_bcount)); 2260 1.57 perseant } 2261 1.55 perseant } else { 2262 1.101 perseant lfs_freebuf(fs, newbp); 2263 1.55 perseant } 2264 1.53 perseant } 2265 1.207 ad mutex_enter(&bufcache_lock); 2266 1.207 ad if (unbusybp != NULL) { 2267 1.207 ad unbusybp->b_cflags &= ~BC_BUSY; 2268 1.207 ad if (unbusybp->b_cflags & BC_WANTED) 2269 1.280 ad cv_broadcast(&bp->b_busy); 2270 1.207 ad } 2271 1.53 perseant } 2272 1.207 ad mutex_exit(&bufcache_lock); 2273 1.207 ad 2274 1.53 perseant /* 2275 1.1 mycroft * Compute checksum across data and then across summary; the first 2276 1.1 mycroft * block (the summary block) is skipped. Set the create time here 2277 1.1 mycroft * so that it's guaranteed to be later than the inode mod times. 2278 1.1 mycroft */ 2279 1.152 yamt sum = 0; 2280 1.249 dholland if (lfs_sb_getversion(fs) == 1) 2281 1.69 perseant el_size = sizeof(u_long); 2282 1.69 perseant else 2283 1.69 perseant el_size = sizeof(u_int32_t); 2284 1.101 perseant for (bpp = sp->bpp, i = nblocks - 1; i--; ) { 2285 1.101 perseant ++bpp; 2286 1.101 perseant /* Loop through gop_write cluster blocks */ 2287 1.101 perseant for (byteoffset = 0; byteoffset < (*bpp)->b_bcount; 2288 1.242 dholland byteoffset += lfs_sb_getbsize(fs)) { 2289 1.277 zafer #ifdef LFS_USE_BC_INVAL 2290 1.214 wiz if (((*bpp)->b_cflags & BC_INVAL) != 0 && 2291 1.207 ad (*bpp)->b_iodone != NULL) { 2292 1.198 christos if (copyin((void *)(*bpp)->b_saveaddr + 2293 1.101 perseant byteoffset, dp, el_size)) { 2294 1.128 yamt panic("lfs_writeseg: copyin failed [1]:" 2295 1.262 dholland " ino %" PRIu64 " blk %" PRId64, 2296 1.101 perseant VTOI((*bpp)->b_vp)->i_number, 2297 1.101 perseant (*bpp)->b_lblkno); 2298 1.101 perseant } 2299 1.109 perseant } else 2300 1.277 zafer #endif /* LFS_USE_BC_INVAL */ 2301 1.109 perseant { 2302 1.198 christos sum = lfs_cksum_part((char *) 2303 1.152 yamt (*bpp)->b_data + byteoffset, el_size, sum); 2304 1.101 perseant } 2305 1.101 perseant } 2306 1.69 perseant } 2307 1.249 dholland if (lfs_sb_getversion(fs) == 1) 2308 1.254 dholland lfs_ss_setocreate(fs, ssp, time_second); 2309 1.69 perseant else { 2310 1.254 dholland lfs_ss_setcreate(fs, ssp, time_second); 2311 1.242 dholland lfs_sb_addserial(fs, 1); 2312 1.254 dholland lfs_ss_setserial(fs, ssp, lfs_sb_getserial(fs)); 2313 1.254 dholland lfs_ss_setident(fs, ssp, lfs_sb_getident(fs)); 2314 1.1 mycroft } 2315 1.254 dholland lfs_ss_setdatasum(fs, ssp, lfs_cksum_fold(sum)); 2316 1.254 dholland sumstart = lfs_ss_getsumstart(fs); 2317 1.254 dholland lfs_ss_setsumsum(fs, ssp, cksum((char *)ssp + sumstart, 2318 1.254 dholland lfs_sb_getsumsize(fs) - sumstart)); 2319 1.156 perseant 2320 1.207 ad mutex_enter(&lfs_lock); 2321 1.243 dholland lfs_sb_subbfree(fs, (lfs_btofsb(fs, ninos * lfs_sb_getibsize(fs)) + 2322 1.243 dholland lfs_btofsb(fs, lfs_sb_getsumsize(fs)))); 2323 1.243 dholland lfs_sb_adddmeta(fs, (lfs_btofsb(fs, ninos * lfs_sb_getibsize(fs)) + 2324 1.243 dholland lfs_btofsb(fs, lfs_sb_getsumsize(fs)))); 2325 1.207 ad mutex_exit(&lfs_lock); 2326 1.1 mycroft 2327 1.1 mycroft /* 2328 1.103 perseant * When we simply write the blocks we lose a rotation for every block 2329 1.109 perseant * written. To avoid this problem, we cluster the buffers into a 2330 1.109 perseant * chunk and write the chunk. MAXPHYS is the largest size I/O 2331 1.109 perseant * devices can handle, use that for the size of the chunks. 2332 1.103 perseant * 2333 1.109 perseant * Blocks that are already clusters (from GOP_WRITE), however, we 2334 1.109 perseant * don't bother to copy into other clusters. 2335 1.1 mycroft */ 2336 1.15 perseant 2337 1.15 perseant #define CHUNKSIZE MAXPHYS 2338 1.15 perseant 2339 1.73 chs if (devvp == NULL) 2340 1.15 perseant panic("devvp is NULL"); 2341 1.74 perseant for (bpp = sp->bpp, i = nblocks; i;) { 2342 1.74 perseant cbp = lfs_newclusterbuf(fs, devvp, (*bpp)->b_blkno, i); 2343 1.144 yamt cl = cbp->b_private; 2344 1.74 perseant 2345 1.207 ad cbp->b_flags |= B_ASYNC; 2346 1.207 ad cbp->b_cflags |= BC_BUSY; 2347 1.10 fvdl cbp->b_bcount = 0; 2348 1.1 mycroft 2349 1.264 riastrad KASSERTMSG((bpp - sp->bpp <= 2350 1.264 riastrad (lfs_sb_getsumsize(fs) - SEGSUM_SIZE(fs)) 2351 1.264 riastrad / sizeof(int32_t)), 2352 1.264 riastrad "lfs_writeseg: real bpp overwrite"); 2353 1.264 riastrad KASSERTMSG((bpp - sp->bpp <= 2354 1.264 riastrad lfs_segsize(fs) / lfs_sb_getfsize(fs)), 2355 1.264 riastrad "lfs_writeseg: theoretical bpp overwrite"); 2356 1.17 perseant 2357 1.74 perseant /* 2358 1.74 perseant * Construct the cluster. 2359 1.74 perseant */ 2360 1.207 ad mutex_enter(&lfs_lock); 2361 1.1 mycroft ++fs->lfs_iocount; 2362 1.207 ad mutex_exit(&lfs_lock); 2363 1.115 perseant while (i && cbp->b_bcount < CHUNKSIZE) { 2364 1.10 fvdl bp = *bpp; 2365 1.15 perseant 2366 1.15 perseant if (bp->b_bcount > (CHUNKSIZE - cbp->b_bcount)) 2367 1.10 fvdl break; 2368 1.109 perseant if (cbp->b_bcount > 0 && !(cl->flags & LFS_CL_MALLOC)) 2369 1.109 perseant break; 2370 1.10 fvdl 2371 1.109 perseant /* Clusters from GOP_WRITE are expedited */ 2372 1.242 dholland if (bp->b_bcount > lfs_sb_getbsize(fs)) { 2373 1.109 perseant if (cbp->b_bcount > 0) 2374 1.109 perseant /* Put in its own buffer */ 2375 1.109 perseant break; 2376 1.109 perseant else { 2377 1.109 perseant cbp->b_data = bp->b_data; 2378 1.109 perseant } 2379 1.109 perseant } else if (cbp->b_bcount == 0) { 2380 1.109 perseant p = cbp->b_data = lfs_malloc(fs, CHUNKSIZE, 2381 1.109 perseant LFS_NB_CLUSTER); 2382 1.109 perseant cl->flags |= LFS_CL_MALLOC; 2383 1.109 perseant } 2384 1.264 riastrad KASSERTMSG((lfs_dtosn(fs, LFS_DBTOFSB(fs, bp->b_blkno + 2385 1.264 riastrad btodb(bp->b_bcount - 1))) == 2386 1.264 riastrad sp->seg_number), 2387 1.264 riastrad "segment overwrite: blk size %d daddr %" PRIx64 2388 1.264 riastrad " not in seg %d\n", 2389 1.264 riastrad bp->b_bcount, bp->b_blkno, 2390 1.264 riastrad sp->seg_number); 2391 1.101 perseant 2392 1.277 zafer #ifdef LFS_USE_BC_INVAL 2393 1.1 mycroft /* 2394 1.277 zafer * Fake buffers from the cleaner are marked as BC_INVAL. 2395 1.1 mycroft * We need to copy the data from user space rather than 2396 1.1 mycroft * from the buffer indicated. 2397 1.1 mycroft * XXX == what do I do on an error? 2398 1.1 mycroft */ 2399 1.207 ad if ((bp->b_cflags & BC_INVAL) != 0 && 2400 1.207 ad bp->b_iodone != NULL) { 2401 1.1 mycroft if (copyin(bp->b_saveaddr, p, bp->b_bcount)) 2402 1.128 yamt panic("lfs_writeseg: " 2403 1.128 yamt "copyin failed [2]"); 2404 1.109 perseant } else 2405 1.277 zafer #endif /* LFS_USE_BC_INVAL */ 2406 1.109 perseant if (cl->flags & LFS_CL_MALLOC) { 2407 1.137 yamt /* copy data into our cluster. */ 2408 1.137 yamt memcpy(p, bp->b_data, bp->b_bcount); 2409 1.137 yamt p += bp->b_bcount; 2410 1.103 perseant } 2411 1.157 perry 2412 1.109 perseant cbp->b_bcount += bp->b_bcount; 2413 1.109 perseant cl->bufsize += bp->b_bcount; 2414 1.109 perseant 2415 1.207 ad bp->b_flags &= ~B_READ; 2416 1.203 ad bp->b_error = 0; 2417 1.74 perseant cl->bpp[cl->bufcount++] = bp; 2418 1.207 ad 2419 1.74 perseant vp = bp->b_vp; 2420 1.207 ad mutex_enter(&bufcache_lock); 2421 1.221 rmind mutex_enter(vp->v_interlock); 2422 1.207 ad bp->b_oflags &= ~(BO_DELWRI | BO_DONE); 2423 1.135 yamt reassignbuf(bp, vp); 2424 1.207 ad vp->v_numoutput++; 2425 1.221 rmind mutex_exit(vp->v_interlock); 2426 1.207 ad mutex_exit(&bufcache_lock); 2427 1.26 perseant 2428 1.26 perseant bpp++; 2429 1.109 perseant i--; 2430 1.1 mycroft } 2431 1.147 yamt if (fs->lfs_sp->seg_flags & SEGM_SYNC) 2432 1.147 yamt BIO_SETPRIO(cbp, BPRIO_TIMECRITICAL); 2433 1.147 yamt else 2434 1.147 yamt BIO_SETPRIO(cbp, BPRIO_TIMELIMITED); 2435 1.221 rmind mutex_enter(devvp->v_interlock); 2436 1.207 ad devvp->v_numoutput++; 2437 1.221 rmind mutex_exit(devvp->v_interlock); 2438 1.149 yamt VOP_STRATEGY(devvp, cbp); 2439 1.210 ad curlwp->l_ru.ru_oublock++; 2440 1.1 mycroft } 2441 1.74 perseant 2442 1.73 chs if (lfs_dostats) { 2443 1.15 perseant ++lfs_stats.psegwrites; 2444 1.15 perseant lfs_stats.blocktot += nblocks - 1; 2445 1.15 perseant if (fs->lfs_sp->seg_flags & SEGM_SYNC) 2446 1.15 perseant ++lfs_stats.psyncwrites; 2447 1.15 perseant if (fs->lfs_sp->seg_flags & SEGM_CLEAN) { 2448 1.15 perseant ++lfs_stats.pcleanwrites; 2449 1.15 perseant lfs_stats.cleanblocks += nblocks - 1; 2450 1.15 perseant } 2451 1.1 mycroft } 2452 1.199 perseant 2453 1.290 perseant return (lfs_initseg(fs, oflags) || do_again); 2454 1.1 mycroft } 2455 1.1 mycroft 2456 1.1 mycroft void 2457 1.69 perseant lfs_writesuper(struct lfs *fs, daddr_t daddr) 2458 1.1 mycroft { 2459 1.1 mycroft struct buf *bp; 2460 1.207 ad struct vnode *devvp = VTOI(fs->lfs_ivnode)->i_devvp; 2461 1.1 mycroft 2462 1.159 perseant ASSERT_MAYBE_SEGLOCK(fs); 2463 1.250 dholland if (fs->lfs_is64) { 2464 1.250 dholland KASSERT(fs->lfs_dlfs_u.u_64.dlfs_magic == LFS64_MAGIC); 2465 1.250 dholland } else { 2466 1.250 dholland KASSERT(fs->lfs_dlfs_u.u_32.dlfs_magic == LFS_MAGIC); 2467 1.250 dholland } 2468 1.15 perseant /* 2469 1.15 perseant * If we can write one superblock while another is in 2470 1.15 perseant * progress, we risk not having a complete checkpoint if we crash. 2471 1.15 perseant * So, block here if a superblock write is in progress. 2472 1.15 perseant */ 2473 1.207 ad mutex_enter(&lfs_lock); 2474 1.73 chs while (fs->lfs_sbactive) { 2475 1.207 ad mtsleep(&fs->lfs_sbactive, PRIBIO+1, "lfs sb", 0, 2476 1.207 ad &lfs_lock); 2477 1.15 perseant } 2478 1.15 perseant fs->lfs_sbactive = daddr; 2479 1.207 ad mutex_exit(&lfs_lock); 2480 1.1 mycroft 2481 1.15 perseant /* Set timestamp of this version of the superblock */ 2482 1.249 dholland if (lfs_sb_getversion(fs) == 1) 2483 1.242 dholland lfs_sb_setotstamp(fs, time_second); 2484 1.242 dholland lfs_sb_settstamp(fs, time_second); 2485 1.15 perseant 2486 1.250 dholland /* The next chunk of code relies on this assumption */ 2487 1.250 dholland CTASSERT(sizeof(struct dlfs) == sizeof(struct dlfs64)); 2488 1.250 dholland 2489 1.1 mycroft /* Checksum the superblock and copy it into a buffer. */ 2490 1.250 dholland lfs_sb_setcksum(fs, lfs_sb_cksum(fs)); 2491 1.149 yamt bp = lfs_newbuf(fs, devvp, 2492 1.230 christos LFS_FSBTODB(fs, daddr), LFS_SBPAD, LFS_NB_SBLOCK); 2493 1.250 dholland memcpy(bp->b_data, &fs->lfs_dlfs_u, sizeof(struct dlfs)); 2494 1.198 christos memset((char *)bp->b_data + sizeof(struct dlfs), 0, 2495 1.128 yamt LFS_SBPAD - sizeof(struct dlfs)); 2496 1.157 perry 2497 1.207 ad bp->b_cflags |= BC_BUSY; 2498 1.207 ad bp->b_flags = (bp->b_flags & ~B_READ) | B_ASYNC; 2499 1.207 ad bp->b_oflags &= ~(BO_DONE | BO_DELWRI); 2500 1.203 ad bp->b_error = 0; 2501 1.282 chs bp->b_iodone = lfs_super_aiodone; 2502 1.15 perseant 2503 1.147 yamt if (fs->lfs_sp != NULL && fs->lfs_sp->seg_flags & SEGM_SYNC) 2504 1.147 yamt BIO_SETPRIO(bp, BPRIO_TIMECRITICAL); 2505 1.147 yamt else 2506 1.147 yamt BIO_SETPRIO(bp, BPRIO_TIMELIMITED); 2507 1.210 ad curlwp->l_ru.ru_oublock++; 2508 1.207 ad 2509 1.221 rmind mutex_enter(devvp->v_interlock); 2510 1.207 ad devvp->v_numoutput++; 2511 1.221 rmind mutex_exit(devvp->v_interlock); 2512 1.207 ad 2513 1.207 ad mutex_enter(&lfs_lock); 2514 1.52 perseant ++fs->lfs_iocount; 2515 1.207 ad mutex_exit(&lfs_lock); 2516 1.149 yamt VOP_STRATEGY(devvp, bp); 2517 1.1 mycroft } 2518 1.1 mycroft 2519 1.1 mycroft /* 2520 1.1 mycroft * Logical block number match routines used when traversing the dirty block 2521 1.1 mycroft * chain. 2522 1.1 mycroft */ 2523 1.1 mycroft int 2524 1.69 perseant lfs_match_fake(struct lfs *fs, struct buf *bp) 2525 1.15 perseant { 2526 1.129 yamt 2527 1.159 perseant ASSERT_SEGLOCK(fs); 2528 1.101 perseant return LFS_IS_MALLOC_BUF(bp); 2529 1.15 perseant } 2530 1.15 perseant 2531 1.101 perseant #if 0 2532 1.101 perseant int 2533 1.101 perseant lfs_match_real(struct lfs *fs, struct buf *bp) 2534 1.101 perseant { 2535 1.129 yamt 2536 1.159 perseant ASSERT_SEGLOCK(fs); 2537 1.101 perseant return (lfs_match_data(fs, bp) && !lfs_match_fake(fs, bp)); 2538 1.101 perseant } 2539 1.101 perseant #endif 2540 1.101 perseant 2541 1.15 perseant int 2542 1.69 perseant lfs_match_data(struct lfs *fs, struct buf *bp) 2543 1.1 mycroft { 2544 1.129 yamt 2545 1.159 perseant ASSERT_SEGLOCK(fs); 2546 1.1 mycroft return (bp->b_lblkno >= 0); 2547 1.1 mycroft } 2548 1.1 mycroft 2549 1.1 mycroft int 2550 1.69 perseant lfs_match_indir(struct lfs *fs, struct buf *bp) 2551 1.1 mycroft { 2552 1.91 fvdl daddr_t lbn; 2553 1.1 mycroft 2554 1.159 perseant ASSERT_SEGLOCK(fs); 2555 1.1 mycroft lbn = bp->b_lblkno; 2556 1.230 christos return (lbn < 0 && (-lbn - ULFS_NDADDR) % LFS_NINDIR(fs) == 0); 2557 1.1 mycroft } 2558 1.1 mycroft 2559 1.1 mycroft int 2560 1.69 perseant lfs_match_dindir(struct lfs *fs, struct buf *bp) 2561 1.1 mycroft { 2562 1.91 fvdl daddr_t lbn; 2563 1.1 mycroft 2564 1.159 perseant ASSERT_SEGLOCK(fs); 2565 1.1 mycroft lbn = bp->b_lblkno; 2566 1.230 christos return (lbn < 0 && (-lbn - ULFS_NDADDR) % LFS_NINDIR(fs) == 1); 2567 1.1 mycroft } 2568 1.1 mycroft 2569 1.1 mycroft int 2570 1.69 perseant lfs_match_tindir(struct lfs *fs, struct buf *bp) 2571 1.1 mycroft { 2572 1.91 fvdl daddr_t lbn; 2573 1.1 mycroft 2574 1.159 perseant ASSERT_SEGLOCK(fs); 2575 1.1 mycroft lbn = bp->b_lblkno; 2576 1.230 christos return (lbn < 0 && (-lbn - ULFS_NDADDR) % LFS_NINDIR(fs) == 2); 2577 1.1 mycroft } 2578 1.1 mycroft 2579 1.282 chs void 2580 1.189 perseant lfs_free_aiodone(struct buf *bp) 2581 1.1 mycroft { 2582 1.101 perseant struct lfs *fs; 2583 1.292 perseant 2584 1.144 yamt fs = bp->b_private; 2585 1.159 perseant ASSERT_NO_SEGLOCK(fs); 2586 1.101 perseant lfs_freebuf(fs, bp); 2587 1.1 mycroft } 2588 1.1 mycroft 2589 1.79 perseant static void 2590 1.79 perseant lfs_super_aiodone(struct buf *bp) 2591 1.1 mycroft { 2592 1.292 perseant workqueue_enqueue(lfs_super_wq, (struct work *)bp, NULL); 2593 1.292 perseant } 2594 1.292 perseant 2595 1.292 perseant void 2596 1.292 perseant lfs_super_work(struct work *wk, void *arg) 2597 1.292 perseant { 2598 1.292 perseant struct buf *bp = (struct buf *)wk; 2599 1.15 perseant struct lfs *fs; 2600 1.15 perseant 2601 1.144 yamt fs = bp->b_private; 2602 1.159 perseant ASSERT_NO_SEGLOCK(fs); 2603 1.207 ad mutex_enter(&lfs_lock); 2604 1.45 thorpej fs->lfs_sbactive = 0; 2605 1.107 perseant if (--fs->lfs_iocount <= 1) 2606 1.52 perseant wakeup(&fs->lfs_iocount); 2607 1.159 perseant wakeup(&fs->lfs_sbactive); 2608 1.207 ad mutex_exit(&lfs_lock); 2609 1.101 perseant lfs_freebuf(fs, bp); 2610 1.74 perseant } 2611 1.74 perseant 2612 1.74 perseant static void 2613 1.79 perseant lfs_cluster_aiodone(struct buf *bp) 2614 1.74 perseant { 2615 1.292 perseant workqueue_enqueue(lfs_cluster_wq, (struct work *)bp, NULL); 2616 1.289 perseant } 2617 1.289 perseant 2618 1.289 perseant void 2619 1.292 perseant lfs_cluster_work(struct work *wk, void *arg) 2620 1.289 perseant { 2621 1.289 perseant struct buf *bp = (struct buf *)wk; 2622 1.74 perseant struct lfs_cluster *cl; 2623 1.74 perseant struct lfs *fs; 2624 1.109 perseant struct buf *tbp, *fbp; 2625 1.207 ad struct vnode *vp, *devvp, *ovp; 2626 1.109 perseant struct inode *ip; 2627 1.207 ad int error; 2628 1.207 ad 2629 1.203 ad error = bp->b_error; 2630 1.144 yamt cl = bp->b_private; 2631 1.74 perseant fs = cl->fs; 2632 1.101 perseant devvp = VTOI(fs->lfs_ivnode)->i_devvp; 2633 1.159 perseant ASSERT_NO_SEGLOCK(fs); 2634 1.74 perseant 2635 1.74 perseant /* Put the pages back, and release the buffer */ 2636 1.115 perseant while (cl->bufcount--) { 2637 1.74 perseant tbp = cl->bpp[cl->bufcount]; 2638 1.207 ad KASSERT(tbp->b_cflags & BC_BUSY); 2639 1.115 perseant if (error) { 2640 1.74 perseant tbp->b_error = error; 2641 1.74 perseant } 2642 1.74 perseant 2643 1.74 perseant /* 2644 1.103 perseant * We're done with tbp. If it has not been re-dirtied since 2645 1.74 perseant * the cluster was written, free it. Otherwise, keep it on 2646 1.74 perseant * the locked list to be written again. 2647 1.74 perseant */ 2648 1.101 perseant vp = tbp->b_vp; 2649 1.114 perseant 2650 1.74 perseant tbp->b_flags &= ~B_GATHERED; 2651 1.74 perseant 2652 1.266 maya #ifdef DEBUG 2653 1.266 maya if ((tbp)->b_vp == (fs)->lfs_ivnode) 2654 1.266 maya LFS_ENTER_LOG("clear", __FILE__, __LINE__, 2655 1.266 maya tbp->b_lblkno, tbp->b_flags, curproc->p_pid); 2656 1.266 maya #endif 2657 1.74 perseant 2658 1.207 ad mutex_enter(&bufcache_lock); 2659 1.207 ad if (tbp->b_iodone == NULL) { 2660 1.209 ad KASSERT(tbp->b_flags & B_LOCKED); 2661 1.74 perseant bremfree(tbp); 2662 1.207 ad if (vp) { 2663 1.221 rmind mutex_enter(vp->v_interlock); 2664 1.74 perseant reassignbuf(tbp, vp); 2665 1.221 rmind mutex_exit(vp->v_interlock); 2666 1.207 ad } 2667 1.74 perseant tbp->b_flags |= B_ASYNC; /* for biodone */ 2668 1.74 perseant } 2669 1.132 yamt 2670 1.277 zafer if ((tbp->b_flags & B_LOCKED) && !(tbp->b_oflags & BO_DELWRI)) 2671 1.132 yamt LFS_UNLOCK_BUF(tbp); 2672 1.132 yamt 2673 1.207 ad if (tbp->b_oflags & BO_DONE) { 2674 1.158 perseant DLOG((DLOG_SEG, "blk %d biodone already (flags %lx)\n", 2675 1.158 perseant cl->bufcount, (long)tbp->b_flags)); 2676 1.74 perseant } 2677 1.109 perseant 2678 1.207 ad if (tbp->b_iodone != NULL && !LFS_IS_MALLOC_BUF(tbp)) { 2679 1.109 perseant /* 2680 1.153 yamt * A buffer from the page daemon. 2681 1.153 yamt * We use the same iodone as it does, 2682 1.153 yamt * so we must manually disassociate its 2683 1.153 yamt * buffers from the vp. 2684 1.109 perseant */ 2685 1.207 ad if ((ovp = tbp->b_vp) != NULL) { 2686 1.153 yamt /* This is just silly */ 2687 1.221 rmind mutex_enter(ovp->v_interlock); 2688 1.153 yamt brelvp(tbp); 2689 1.221 rmind mutex_exit(ovp->v_interlock); 2690 1.153 yamt tbp->b_vp = vp; 2691 1.221 rmind tbp->b_objlock = vp->v_interlock; 2692 1.153 yamt } 2693 1.153 yamt /* Put it back the way it was */ 2694 1.153 yamt tbp->b_flags |= B_ASYNC; 2695 1.207 ad /* Master buffers have BC_AGE */ 2696 1.153 yamt if (tbp->b_private == tbp) 2697 1.215 mlelstv tbp->b_cflags |= BC_AGE; 2698 1.153 yamt } 2699 1.207 ad mutex_exit(&bufcache_lock); 2700 1.207 ad 2701 1.153 yamt biodone(tbp); 2702 1.153 yamt 2703 1.153 yamt /* 2704 1.153 yamt * If this is the last block for this vnode, but 2705 1.153 yamt * there are other blocks on its dirty list, 2706 1.153 yamt * set IN_MODIFIED/IN_CLEANING depending on what 2707 1.153 yamt * sort of block. Only do this for our mount point, 2708 1.153 yamt * not for, e.g., inode blocks that are attached to 2709 1.153 yamt * the devvp. 2710 1.153 yamt * XXX KS - Shouldn't we set *both* if both types 2711 1.153 yamt * of blocks are present (traverse the dirty list?) 2712 1.153 yamt */ 2713 1.224 perseant mutex_enter(vp->v_interlock); 2714 1.207 ad mutex_enter(&lfs_lock); 2715 1.153 yamt if (vp != devvp && vp->v_numoutput == 0 && 2716 1.153 yamt (fbp = LIST_FIRST(&vp->v_dirtyblkhd)) != NULL) { 2717 1.153 yamt ip = VTOI(vp); 2718 1.158 perseant DLOG((DLOG_SEG, "lfs_cluster_aiodone: mark ino %d\n", 2719 1.158 perseant ip->i_number)); 2720 1.153 yamt if (LFS_IS_MALLOC_BUF(fbp)) 2721 1.153 yamt LFS_SET_UINO(ip, IN_CLEANING); 2722 1.153 yamt else 2723 1.153 yamt LFS_SET_UINO(ip, IN_MODIFIED); 2724 1.74 perseant } 2725 1.207 ad cv_broadcast(&vp->v_cv); 2726 1.224 perseant mutex_exit(&lfs_lock); 2727 1.221 rmind mutex_exit(vp->v_interlock); 2728 1.74 perseant } 2729 1.74 perseant 2730 1.74 perseant /* Fix up the cluster buffer, and release it */ 2731 1.109 perseant if (cl->flags & LFS_CL_MALLOC) 2732 1.101 perseant lfs_free(fs, bp->b_data, LFS_NB_CLUSTER); 2733 1.169 yamt putiobuf(bp); 2734 1.74 perseant 2735 1.79 perseant /* Note i/o done */ 2736 1.79 perseant if (cl->flags & LFS_CL_SYNC) { 2737 1.157 perry if (--cl->seg->seg_iocount == 0) 2738 1.79 perseant wakeup(&cl->seg->seg_iocount); 2739 1.79 perseant } 2740 1.207 ad mutex_enter(&lfs_lock); 2741 1.264 riastrad KASSERTMSG((fs->lfs_iocount != 0), 2742 1.264 riastrad "lfs_cluster_aiodone: zero iocount"); 2743 1.107 perseant if (--fs->lfs_iocount <= 1) 2744 1.74 perseant wakeup(&fs->lfs_iocount); 2745 1.207 ad mutex_exit(&lfs_lock); 2746 1.207 ad 2747 1.101 perseant pool_put(&fs->lfs_bpppool, cl->bpp); 2748 1.101 perseant cl->bpp = NULL; 2749 1.101 perseant pool_put(&fs->lfs_clpool, cl); 2750 1.79 perseant } 2751 1.79 perseant 2752 1.189 perseant /* 2753 1.1 mycroft * Shellsort (diminishing increment sort) from Data Structures and 2754 1.1 mycroft * Algorithms, Aho, Hopcraft and Ullman, 1983 Edition, page 290; 2755 1.1 mycroft * see also Knuth Vol. 3, page 84. The increments are selected from 2756 1.1 mycroft * formula (8), page 95. Roughly O(N^3/2). 2757 1.1 mycroft */ 2758 1.1 mycroft /* 2759 1.1 mycroft * This is our own private copy of shellsort because we want to sort 2760 1.1 mycroft * two parallel arrays (the array of buffer pointers and the array of 2761 1.1 mycroft * logical block numbers) simultaneously. Note that we cast the array 2762 1.1 mycroft * of logical block numbers to a unsigned in this routine so that the 2763 1.1 mycroft * negative block numbers (meta data blocks) sort AFTER the data blocks. 2764 1.1 mycroft */ 2765 1.15 perseant 2766 1.255 dholland static void 2767 1.255 dholland lfs_shellsort(struct lfs *fs, 2768 1.255 dholland struct buf **bp_array, union lfs_blocks *lb_array, 2769 1.255 dholland int nmemb, int size) 2770 1.1 mycroft { 2771 1.1 mycroft static int __rsshell_increments[] = { 4, 1, 0 }; 2772 1.42 augustss int incr, *incrp, t1, t2; 2773 1.1 mycroft struct buf *bp_temp; 2774 1.118 yamt 2775 1.118 yamt #ifdef DEBUG 2776 1.118 yamt incr = 0; 2777 1.118 yamt for (t1 = 0; t1 < nmemb; t1++) { 2778 1.118 yamt for (t2 = 0; t2 * size < bp_array[t1]->b_bcount; t2++) { 2779 1.255 dholland if (lfs_blocks_get(fs, lb_array, incr++) != bp_array[t1]->b_lblkno + t2) { 2780 1.118 yamt /* dump before panic */ 2781 1.118 yamt printf("lfs_shellsort: nmemb=%d, size=%d\n", 2782 1.118 yamt nmemb, size); 2783 1.118 yamt incr = 0; 2784 1.118 yamt for (t1 = 0; t1 < nmemb; t1++) { 2785 1.118 yamt const struct buf *bp = bp_array[t1]; 2786 1.118 yamt 2787 1.118 yamt printf("bp[%d]: lbn=%" PRIu64 ", size=%" 2788 1.118 yamt PRIu64 "\n", t1, 2789 1.118 yamt (uint64_t)bp->b_bcount, 2790 1.118 yamt (uint64_t)bp->b_lblkno); 2791 1.118 yamt printf("lbns:"); 2792 1.118 yamt for (t2 = 0; t2 * size < bp->b_bcount; 2793 1.118 yamt t2++) { 2794 1.255 dholland printf(" %jd", 2795 1.255 dholland (intmax_t)lfs_blocks_get(fs, lb_array, incr++)); 2796 1.118 yamt } 2797 1.118 yamt printf("\n"); 2798 1.118 yamt } 2799 1.118 yamt panic("lfs_shellsort: inconsistent input"); 2800 1.118 yamt } 2801 1.118 yamt } 2802 1.118 yamt } 2803 1.118 yamt #endif 2804 1.1 mycroft 2805 1.4 christos for (incrp = __rsshell_increments; (incr = *incrp++) != 0;) 2806 1.1 mycroft for (t1 = incr; t1 < nmemb; ++t1) 2807 1.1 mycroft for (t2 = t1 - incr; t2 >= 0;) 2808 1.255 dholland if ((u_int64_t)bp_array[t2]->b_lblkno > 2809 1.255 dholland (u_int64_t)bp_array[t2 + incr]->b_lblkno) { 2810 1.1 mycroft bp_temp = bp_array[t2]; 2811 1.1 mycroft bp_array[t2] = bp_array[t2 + incr]; 2812 1.1 mycroft bp_array[t2 + incr] = bp_temp; 2813 1.1 mycroft t2 -= incr; 2814 1.1 mycroft } else 2815 1.1 mycroft break; 2816 1.104 perseant 2817 1.104 perseant /* Reform the list of logical blocks */ 2818 1.104 perseant incr = 0; 2819 1.104 perseant for (t1 = 0; t1 < nmemb; t1++) { 2820 1.104 perseant for (t2 = 0; t2 * size < bp_array[t1]->b_bcount; t2++) { 2821 1.255 dholland lfs_blocks_set(fs, lb_array, incr++, 2822 1.255 dholland bp_array[t1]->b_lblkno + t2); 2823 1.104 perseant } 2824 1.104 perseant } 2825 1.1 mycroft } 2826 1.1 mycroft 2827 1.1 mycroft /* 2828 1.180 perseant * Set up an FINFO entry for a new file. The fip pointer is assumed to 2829 1.180 perseant * point at uninitialized space. 2830 1.180 perseant */ 2831 1.180 perseant void 2832 1.180 perseant lfs_acquire_finfo(struct lfs *fs, ino_t ino, int vers) 2833 1.180 perseant { 2834 1.180 perseant struct segment *sp = fs->lfs_sp; 2835 1.254 dholland SEGSUM *ssp; 2836 1.180 perseant 2837 1.181 perseant KASSERT(vers > 0); 2838 1.181 perseant 2839 1.242 dholland if (sp->seg_bytes_left < lfs_sb_getbsize(fs) || 2840 1.255 dholland sp->sum_bytes_left < FINFOSIZE(fs) + LFS_BLKPTRSIZE(fs)) 2841 1.180 perseant (void) lfs_writeseg(fs, fs->lfs_sp); 2842 1.180 perseant 2843 1.255 dholland sp->sum_bytes_left -= FINFOSIZE(fs); 2844 1.254 dholland ssp = (SEGSUM *)sp->segsum; 2845 1.254 dholland lfs_ss_setnfinfo(fs, ssp, lfs_ss_getnfinfo(fs, ssp) + 1); 2846 1.255 dholland lfs_fi_setnblocks(fs, sp->fip, 0); 2847 1.255 dholland lfs_fi_setino(fs, sp->fip, ino); 2848 1.255 dholland lfs_fi_setversion(fs, sp->fip, vers); 2849 1.180 perseant } 2850 1.180 perseant 2851 1.180 perseant /* 2852 1.180 perseant * Release the FINFO entry, either clearing out an unused entry or 2853 1.180 perseant * advancing us to the next available entry. 2854 1.180 perseant */ 2855 1.180 perseant void 2856 1.180 perseant lfs_release_finfo(struct lfs *fs) 2857 1.180 perseant { 2858 1.180 perseant struct segment *sp = fs->lfs_sp; 2859 1.254 dholland SEGSUM *ssp; 2860 1.180 perseant 2861 1.255 dholland if (lfs_fi_getnblocks(fs, sp->fip) != 0) { 2862 1.254 dholland sp->fip = NEXT_FINFO(fs, sp->fip); 2863 1.255 dholland lfs_blocks_fromfinfo(fs, &sp->start_lbp, sp->fip); 2864 1.180 perseant } else { 2865 1.255 dholland /* XXX shouldn't this update sp->fip? */ 2866 1.255 dholland sp->sum_bytes_left += FINFOSIZE(fs); 2867 1.254 dholland ssp = (SEGSUM *)sp->segsum; 2868 1.254 dholland lfs_ss_setnfinfo(fs, ssp, lfs_ss_getnfinfo(fs, ssp) - 1); 2869 1.180 perseant } 2870 1.180 perseant } 2871