1 1.104 perseant /* $NetBSD: lfs_subr.c,v 1.104 2025/09/04 03:55:49 perseant Exp $ */ 2 1.2 cgd 3 1.8 perseant /*- 4 1.31 perseant * Copyright (c) 1999, 2000, 2001, 2002, 2003 The NetBSD Foundation, Inc. 5 1.8 perseant * All rights reserved. 6 1.8 perseant * 7 1.8 perseant * This code is derived from software contributed to The NetBSD Foundation 8 1.8 perseant * by Konrad E. Schroder <perseant (at) hhhh.org>. 9 1.8 perseant * 10 1.8 perseant * Redistribution and use in source and binary forms, with or without 11 1.8 perseant * modification, are permitted provided that the following conditions 12 1.8 perseant * are met: 13 1.8 perseant * 1. Redistributions of source code must retain the above copyright 14 1.8 perseant * notice, this list of conditions and the following disclaimer. 15 1.8 perseant * 2. Redistributions in binary form must reproduce the above copyright 16 1.8 perseant * notice, this list of conditions and the following disclaimer in the 17 1.8 perseant * documentation and/or other materials provided with the distribution. 18 1.8 perseant * 19 1.8 perseant * THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND CONTRIBUTORS 20 1.8 perseant * ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED 21 1.8 perseant * TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR 22 1.8 perseant * PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS 23 1.8 perseant * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR 24 1.8 perseant * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF 25 1.8 perseant * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS 26 1.8 perseant * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN 27 1.8 perseant * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) 28 1.8 perseant * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE 29 1.8 perseant * POSSIBILITY OF SUCH DAMAGE. 30 1.8 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.43 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.6 fvdl * @(#)lfs_subr.c 8.4 (Berkeley) 5/8/95 60 1.1 mycroft */ 61 1.20 lukem 62 1.20 lukem #include <sys/cdefs.h> 63 1.104 perseant __KERNEL_RCSID(0, "$NetBSD: lfs_subr.c,v 1.104 2025/09/04 03:55:49 perseant Exp $"); 64 1.1 mycroft 65 1.1 mycroft #include <sys/param.h> 66 1.3 christos #include <sys/systm.h> 67 1.1 mycroft #include <sys/namei.h> 68 1.1 mycroft #include <sys/vnode.h> 69 1.1 mycroft #include <sys/buf.h> 70 1.1 mycroft #include <sys/mount.h> 71 1.1 mycroft #include <sys/malloc.h> 72 1.1 mycroft #include <sys/proc.h> 73 1.61 perseant #include <sys/kauth.h> 74 1.1 mycroft 75 1.78 dholland #include <ufs/lfs/ulfs_inode.h> 76 1.1 mycroft #include <ufs/lfs/lfs.h> 77 1.84 dholland #include <ufs/lfs/lfs_accessors.h> 78 1.80 dholland #include <ufs/lfs/lfs_kernel.h> 79 1.1 mycroft #include <ufs/lfs/lfs_extern.h> 80 1.1 mycroft 81 1.50 perseant #ifdef DEBUG 82 1.53 christos const char *lfs_res_names[LFS_NB_COUNT] = { 83 1.31 perseant "summary", 84 1.31 perseant "superblock", 85 1.52 perseant "file block", 86 1.31 perseant "cluster", 87 1.31 perseant "clean", 88 1.52 perseant "blkiov", 89 1.31 perseant }; 90 1.31 perseant #endif 91 1.31 perseant 92 1.31 perseant int lfs_res_qty[LFS_NB_COUNT] = { 93 1.31 perseant LFS_N_SUMMARIES, 94 1.31 perseant LFS_N_SBLOCKS, 95 1.31 perseant LFS_N_IBLOCKS, 96 1.31 perseant LFS_N_CLUSTERS, 97 1.31 perseant LFS_N_CLEAN, 98 1.52 perseant LFS_N_BLKIOV, 99 1.31 perseant }; 100 1.31 perseant 101 1.31 perseant void 102 1.31 perseant lfs_setup_resblks(struct lfs *fs) 103 1.31 perseant { 104 1.31 perseant int i, j; 105 1.31 perseant int maxbpp; 106 1.31 perseant 107 1.51 perseant ASSERT_NO_SEGLOCK(fs); 108 1.81 dholland fs->lfs_resblk = malloc(LFS_N_TOTAL * sizeof(res_t), M_SEGMENT, 109 1.81 dholland M_WAITOK); 110 1.31 perseant for (i = 0; i < LFS_N_TOTAL; i++) { 111 1.31 perseant fs->lfs_resblk[i].inuse = 0; 112 1.31 perseant fs->lfs_resblk[i].p = NULL; 113 1.31 perseant } 114 1.31 perseant for (i = 0; i < LFS_RESHASH_WIDTH; i++) 115 1.31 perseant LIST_INIT(fs->lfs_reshash + i); 116 1.31 perseant 117 1.31 perseant /* 118 1.31 perseant * These types of allocations can be larger than a page, 119 1.31 perseant * so we can't use the pool subsystem for them. 120 1.31 perseant */ 121 1.31 perseant for (i = 0, j = 0; j < LFS_N_SUMMARIES; j++, i++) 122 1.83 dholland fs->lfs_resblk[i].size = lfs_sb_getsumsize(fs); 123 1.31 perseant for (j = 0; j < LFS_N_SBLOCKS; j++, i++) 124 1.34 perseant fs->lfs_resblk[i].size = LFS_SBPAD; 125 1.31 perseant for (j = 0; j < LFS_N_IBLOCKS; j++, i++) 126 1.82 dholland fs->lfs_resblk[i].size = lfs_sb_getbsize(fs); 127 1.31 perseant for (j = 0; j < LFS_N_CLUSTERS; j++, i++) 128 1.34 perseant fs->lfs_resblk[i].size = MAXPHYS; 129 1.31 perseant for (j = 0; j < LFS_N_CLEAN; j++, i++) 130 1.34 perseant fs->lfs_resblk[i].size = MAXPHYS; 131 1.52 perseant for (j = 0; j < LFS_N_BLKIOV; j++, i++) 132 1.52 perseant fs->lfs_resblk[i].size = LFS_MARKV_MAXBLKCNT * sizeof(BLOCK_INFO); 133 1.34 perseant 134 1.34 perseant for (i = 0; i < LFS_N_TOTAL; i++) { 135 1.34 perseant fs->lfs_resblk[i].p = malloc(fs->lfs_resblk[i].size, 136 1.34 perseant M_SEGMENT, M_WAITOK); 137 1.34 perseant } 138 1.31 perseant 139 1.31 perseant /* 140 1.31 perseant * Initialize pools for small types (XXX is BPP small?) 141 1.31 perseant */ 142 1.46 simonb pool_init(&fs->lfs_clpool, sizeof(struct lfs_cluster), 0, 0, 0, 143 1.68 ad "lfsclpl", &pool_allocator_nointr, IPL_NONE); 144 1.46 simonb pool_init(&fs->lfs_segpool, sizeof(struct segment), 0, 0, 0, 145 1.68 ad "lfssegpool", &pool_allocator_nointr, IPL_NONE); 146 1.86 dholland /* XXX: should this int32 be 32/64? */ 147 1.83 dholland maxbpp = ((lfs_sb_getsumsize(fs) - SEGSUM_SIZE(fs)) / sizeof(int32_t) + 2); 148 1.82 dholland maxbpp = MIN(maxbpp, lfs_segsize(fs) / lfs_sb_getfsize(fs) + 2); 149 1.46 simonb pool_init(&fs->lfs_bpppool, maxbpp * sizeof(struct buf *), 0, 0, 0, 150 1.68 ad "lfsbpppl", &pool_allocator_nointr, IPL_NONE); 151 1.31 perseant } 152 1.31 perseant 153 1.31 perseant void 154 1.31 perseant lfs_free_resblks(struct lfs *fs) 155 1.31 perseant { 156 1.31 perseant int i; 157 1.31 perseant 158 1.31 perseant pool_destroy(&fs->lfs_bpppool); 159 1.31 perseant pool_destroy(&fs->lfs_segpool); 160 1.31 perseant pool_destroy(&fs->lfs_clpool); 161 1.31 perseant 162 1.72 ad mutex_enter(&lfs_lock); 163 1.31 perseant for (i = 0; i < LFS_N_TOTAL; i++) { 164 1.39 perseant while (fs->lfs_resblk[i].inuse) 165 1.72 ad mtsleep(&fs->lfs_resblk, PRIBIO + 1, "lfs_free", 0, 166 1.72 ad &lfs_lock); 167 1.31 perseant if (fs->lfs_resblk[i].p != NULL) 168 1.31 perseant free(fs->lfs_resblk[i].p, M_SEGMENT); 169 1.31 perseant } 170 1.31 perseant free(fs->lfs_resblk, M_SEGMENT); 171 1.72 ad mutex_exit(&lfs_lock); 172 1.31 perseant } 173 1.31 perseant 174 1.31 perseant static unsigned int 175 1.31 perseant lfs_mhash(void *vp) 176 1.31 perseant { 177 1.31 perseant return (unsigned int)(((unsigned long)vp) >> 2) % LFS_RESHASH_WIDTH; 178 1.31 perseant } 179 1.31 perseant 180 1.31 perseant /* 181 1.31 perseant * Return memory of the given size for the given purpose, or use one of a 182 1.31 perseant * number of spare last-resort buffers, if malloc returns NULL. 183 1.49 perry */ 184 1.31 perseant void * 185 1.31 perseant lfs_malloc(struct lfs *fs, size_t size, int type) 186 1.31 perseant { 187 1.31 perseant struct lfs_res_blk *re; 188 1.31 perseant void *r; 189 1.91 maya int i, start; 190 1.31 perseant unsigned int h; 191 1.31 perseant 192 1.51 perseant ASSERT_MAYBE_SEGLOCK(fs); 193 1.34 perseant r = NULL; 194 1.34 perseant 195 1.31 perseant /* If no mem allocated for this type, it just waits */ 196 1.34 perseant if (lfs_res_qty[type] == 0) { 197 1.34 perseant r = malloc(size, M_SEGMENT, M_WAITOK); 198 1.34 perseant return r; 199 1.34 perseant } 200 1.31 perseant 201 1.31 perseant /* Otherwise try a quick malloc, and if it works, great */ 202 1.34 perseant if ((r = malloc(size, M_SEGMENT, M_NOWAIT)) != NULL) { 203 1.31 perseant return r; 204 1.34 perseant } 205 1.31 perseant 206 1.31 perseant /* 207 1.31 perseant * If malloc returned NULL, we are forced to use one of our 208 1.31 perseant * reserve blocks. We have on hand at least one summary block, 209 1.31 perseant * at least one cluster block, at least one superblock, 210 1.31 perseant * and several indirect blocks. 211 1.31 perseant */ 212 1.51 perseant 213 1.72 ad mutex_enter(&lfs_lock); 214 1.31 perseant /* skip over blocks of other types */ 215 1.31 perseant for (i = 0, start = 0; i < type; i++) 216 1.31 perseant start += lfs_res_qty[i]; 217 1.31 perseant while (r == NULL) { 218 1.31 perseant for (i = 0; i < lfs_res_qty[type]; i++) { 219 1.31 perseant if (fs->lfs_resblk[start + i].inuse == 0) { 220 1.31 perseant re = fs->lfs_resblk + start + i; 221 1.31 perseant re->inuse = 1; 222 1.31 perseant r = re->p; 223 1.34 perseant KASSERT(re->size >= size); 224 1.31 perseant h = lfs_mhash(r); 225 1.31 perseant LIST_INSERT_HEAD(&fs->lfs_reshash[h], re, res); 226 1.72 ad mutex_exit(&lfs_lock); 227 1.31 perseant return r; 228 1.31 perseant } 229 1.31 perseant } 230 1.51 perseant DLOG((DLOG_MALLOC, "sleeping on %s (%d)\n", 231 1.51 perseant lfs_res_names[type], lfs_res_qty[type])); 232 1.72 ad mtsleep(&fs->lfs_resblk, PVM, "lfs_malloc", 0, 233 1.72 ad &lfs_lock); 234 1.51 perseant DLOG((DLOG_MALLOC, "done sleeping on %s\n", 235 1.51 perseant lfs_res_names[type])); 236 1.31 perseant } 237 1.31 perseant /* NOTREACHED */ 238 1.72 ad mutex_exit(&lfs_lock); 239 1.31 perseant return r; 240 1.31 perseant } 241 1.31 perseant 242 1.31 perseant void 243 1.65 christos lfs_free(struct lfs *fs, void *p, int type) 244 1.31 perseant { 245 1.31 perseant unsigned int h; 246 1.31 perseant res_t *re; 247 1.31 perseant 248 1.51 perseant ASSERT_MAYBE_SEGLOCK(fs); 249 1.31 perseant h = lfs_mhash(p); 250 1.72 ad mutex_enter(&lfs_lock); 251 1.31 perseant LIST_FOREACH(re, &fs->lfs_reshash[h], res) { 252 1.31 perseant if (re->p == p) { 253 1.32 yamt KASSERT(re->inuse == 1); 254 1.31 perseant LIST_REMOVE(re, res); 255 1.31 perseant re->inuse = 0; 256 1.31 perseant wakeup(&fs->lfs_resblk); 257 1.72 ad mutex_exit(&lfs_lock); 258 1.31 perseant return; 259 1.31 perseant } 260 1.31 perseant } 261 1.90 maya 262 1.95 maya #ifdef notyet /* XXX this assert fires */ 263 1.90 maya for (int i = 0; i < LFS_N_TOTAL; i++) { 264 1.91 maya KDASSERTMSG(fs->lfs_resblk[i].p == p, 265 1.90 maya "lfs_free: inconsistent reserved block"); 266 1.32 yamt } 267 1.95 maya #endif 268 1.90 maya 269 1.72 ad mutex_exit(&lfs_lock); 270 1.90 maya 271 1.31 perseant /* 272 1.31 perseant * If we didn't find it, free it. 273 1.31 perseant */ 274 1.31 perseant free(p, M_SEGMENT); 275 1.31 perseant } 276 1.1 mycroft 277 1.1 mycroft /* 278 1.1 mycroft * lfs_seglock -- 279 1.1 mycroft * Single thread the segment writer. 280 1.1 mycroft */ 281 1.31 perseant int 282 1.18 perseant lfs_seglock(struct lfs *fs, unsigned long flags) 283 1.1 mycroft { 284 1.1 mycroft struct segment *sp; 285 1.49 perry 286 1.72 ad mutex_enter(&lfs_lock); 287 1.7 thorpej if (fs->lfs_seglock) { 288 1.58 perseant if (fs->lfs_lockpid == curproc->p_pid && 289 1.58 perseant fs->lfs_locklwp == curlwp->l_lid) { 290 1.1 mycroft ++fs->lfs_seglock; 291 1.1 mycroft fs->lfs_sp->seg_flags |= flags; 292 1.74 mlelstv mutex_exit(&lfs_lock); 293 1.31 perseant return 0; 294 1.38 perseant } else if (flags & SEGM_PAGEDAEMON) { 295 1.72 ad mutex_exit(&lfs_lock); 296 1.31 perseant return EWOULDBLOCK; 297 1.51 perseant } else { 298 1.51 perseant while (fs->lfs_seglock) { 299 1.72 ad (void)mtsleep(&fs->lfs_seglock, PRIBIO + 1, 300 1.72 ad "lfs_seglock", 0, &lfs_lock); 301 1.51 perseant } 302 1.51 perseant } 303 1.7 thorpej } 304 1.49 perry 305 1.1 mycroft fs->lfs_seglock = 1; 306 1.1 mycroft fs->lfs_lockpid = curproc->p_pid; 307 1.58 perseant fs->lfs_locklwp = curlwp->l_lid; 308 1.72 ad mutex_exit(&lfs_lock); 309 1.36 perseant fs->lfs_cleanind = 0; 310 1.36 perseant 311 1.51 perseant LFS_ENTER_LOG("seglock", __FILE__, __LINE__, 0, flags, curproc->p_pid); 312 1.89 maya 313 1.27 perseant /* Drain fragment size changes out */ 314 1.66 ad rw_enter(&fs->lfs_fraglock, RW_WRITER); 315 1.27 perseant 316 1.31 perseant sp = fs->lfs_sp = pool_get(&fs->lfs_segpool, PR_WAITOK); 317 1.31 perseant sp->bpp = pool_get(&fs->lfs_bpppool, PR_WAITOK); 318 1.1 mycroft sp->seg_flags = flags; 319 1.1 mycroft sp->vp = NULL; 320 1.26 perseant sp->seg_iocount = 0; 321 1.104 perseant (void) lfs_initseg(fs, 0); 322 1.49 perry 323 1.1 mycroft /* 324 1.1 mycroft * Keep a cumulative count of the outstanding I/O operations. If the 325 1.1 mycroft * disk drive catches up with us it could go to zero before we finish, 326 1.1 mycroft * so we artificially increment it by one until we've scheduled all of 327 1.1 mycroft * the writes we intend to do. 328 1.1 mycroft */ 329 1.72 ad mutex_enter(&lfs_lock); 330 1.1 mycroft ++fs->lfs_iocount; 331 1.82 dholland fs->lfs_startseg = lfs_sb_getcurseg(fs); 332 1.72 ad mutex_exit(&lfs_lock); 333 1.31 perseant return 0; 334 1.1 mycroft } 335 1.8 perseant 336 1.31 perseant static void lfs_unmark_dirop(struct lfs *); 337 1.31 perseant 338 1.31 perseant static void 339 1.31 perseant lfs_unmark_dirop(struct lfs *fs) 340 1.31 perseant { 341 1.98 riastrad struct inode *ip, *marker; 342 1.31 perseant struct vnode *vp; 343 1.40 perseant int doit; 344 1.31 perseant 345 1.51 perseant ASSERT_NO_SEGLOCK(fs); 346 1.72 ad mutex_enter(&lfs_lock); 347 1.40 perseant doit = !(fs->lfs_flags & LFS_UNDIROP); 348 1.40 perseant if (doit) 349 1.40 perseant fs->lfs_flags |= LFS_UNDIROP; 350 1.98 riastrad mutex_exit(&lfs_lock); 351 1.98 riastrad 352 1.98 riastrad if (!doit) 353 1.40 perseant return; 354 1.40 perseant 355 1.98 riastrad marker = pool_get(&lfs_inode_pool, PR_WAITOK); 356 1.98 riastrad KASSERT(fs != NULL); 357 1.98 riastrad memset(marker, 0, sizeof(*marker)); 358 1.98 riastrad marker->inode_ext.lfs = pool_get(&lfs_inoext_pool, PR_WAITOK); 359 1.98 riastrad memset(marker->inode_ext.lfs, 0, sizeof(*marker->inode_ext.lfs)); 360 1.98 riastrad marker->i_state |= IN_MARKER; 361 1.98 riastrad 362 1.98 riastrad mutex_enter(&lfs_lock); 363 1.98 riastrad TAILQ_INSERT_HEAD(&fs->lfs_dchainhd, marker, i_lfs_dchain); 364 1.98 riastrad while ((ip = TAILQ_NEXT(marker, i_lfs_dchain)) != NULL) { 365 1.98 riastrad TAILQ_REMOVE(&fs->lfs_dchainhd, marker, i_lfs_dchain); 366 1.98 riastrad TAILQ_INSERT_AFTER(&fs->lfs_dchainhd, ip, marker, 367 1.98 riastrad i_lfs_dchain); 368 1.102 riastrad if (ip->i_state & IN_MARKER) 369 1.98 riastrad continue; 370 1.31 perseant vp = ITOV(ip); 371 1.94 maya if ((ip->i_state & (IN_ADIROP | IN_CDIROP)) == IN_CDIROP) { 372 1.31 perseant --lfs_dirvcount; 373 1.59 perseant --fs->lfs_dirvcount; 374 1.71 ad vp->v_uflag &= ~VU_DIROP; 375 1.31 perseant TAILQ_REMOVE(&fs->lfs_dchainhd, ip, i_lfs_dchain); 376 1.31 perseant wakeup(&lfs_dirvcount); 377 1.31 perseant fs->lfs_unlockvp = vp; 378 1.72 ad mutex_exit(&lfs_lock); 379 1.76 hannken vrele(vp); 380 1.72 ad mutex_enter(&lfs_lock); 381 1.31 perseant fs->lfs_unlockvp = NULL; 382 1.94 maya ip->i_state &= ~IN_CDIROP; 383 1.72 ad } 384 1.31 perseant } 385 1.98 riastrad TAILQ_REMOVE(&fs->lfs_dchainhd, marker, i_lfs_dchain); 386 1.40 perseant fs->lfs_flags &= ~LFS_UNDIROP; 387 1.51 perseant wakeup(&fs->lfs_flags); 388 1.72 ad mutex_exit(&lfs_lock); 389 1.98 riastrad 390 1.98 riastrad pool_put(&lfs_inoext_pool, marker->inode_ext.lfs); 391 1.98 riastrad pool_put(&lfs_inode_pool, marker); 392 1.31 perseant } 393 1.31 perseant 394 1.31 perseant static void 395 1.31 perseant lfs_auto_segclean(struct lfs *fs) 396 1.31 perseant { 397 1.92 maya int i, error, waited; 398 1.31 perseant 399 1.51 perseant ASSERT_SEGLOCK(fs); 400 1.31 perseant /* 401 1.31 perseant * Now that we've swapped lfs_activesb, but while we still 402 1.31 perseant * hold the segment lock, run through the segment list marking 403 1.31 perseant * the empty ones clean. 404 1.31 perseant * XXX - do we really need to do them all at once? 405 1.31 perseant */ 406 1.48 perseant waited = 0; 407 1.83 dholland for (i = 0; i < lfs_sb_getnseg(fs); i++) { 408 1.31 perseant if ((fs->lfs_suflags[0][i] & 409 1.31 perseant (SEGUSE_ACTIVE | SEGUSE_DIRTY | SEGUSE_EMPTY)) == 410 1.31 perseant (SEGUSE_DIRTY | SEGUSE_EMPTY) && 411 1.31 perseant (fs->lfs_suflags[1][i] & 412 1.31 perseant (SEGUSE_ACTIVE | SEGUSE_DIRTY | SEGUSE_EMPTY)) == 413 1.31 perseant (SEGUSE_DIRTY | SEGUSE_EMPTY)) { 414 1.31 perseant 415 1.48 perseant /* Make sure the sb is written before we clean */ 416 1.72 ad mutex_enter(&lfs_lock); 417 1.48 perseant while (waited == 0 && fs->lfs_sbactive) 418 1.72 ad mtsleep(&fs->lfs_sbactive, PRIBIO+1, "lfs asb", 419 1.72 ad 0, &lfs_lock); 420 1.72 ad mutex_exit(&lfs_lock); 421 1.48 perseant waited = 1; 422 1.48 perseant 423 1.31 perseant if ((error = lfs_do_segclean(fs, i)) != 0) { 424 1.50 perseant DLOG((DLOG_CLEAN, "lfs_auto_segclean: lfs_do_segclean returned %d for seg %d\n", error, i)); 425 1.31 perseant } 426 1.31 perseant } 427 1.31 perseant fs->lfs_suflags[1 - fs->lfs_activesb][i] = 428 1.31 perseant fs->lfs_suflags[fs->lfs_activesb][i]; 429 1.31 perseant } 430 1.31 perseant } 431 1.31 perseant 432 1.1 mycroft /* 433 1.1 mycroft * lfs_segunlock -- 434 1.1 mycroft * Single thread the segment writer. 435 1.1 mycroft */ 436 1.1 mycroft void 437 1.18 perseant lfs_segunlock(struct lfs *fs) 438 1.1 mycroft { 439 1.1 mycroft struct segment *sp; 440 1.1 mycroft unsigned long sync, ckp; 441 1.22 perseant struct buf *bp; 442 1.40 perseant int do_unmark_dirop = 0; 443 1.49 perry 444 1.15 perseant sp = fs->lfs_sp; 445 1.15 perseant 446 1.72 ad mutex_enter(&lfs_lock); 447 1.96 maya 448 1.96 maya if (!LFS_SEGLOCK_HELD(fs)) 449 1.96 maya panic("lfs seglock not held"); 450 1.96 maya 451 1.15 perseant if (fs->lfs_seglock == 1) { 452 1.77 perseant if ((sp->seg_flags & (SEGM_PROT | SEGM_CLEAN)) == 0) 453 1.40 perseant do_unmark_dirop = 1; 454 1.72 ad mutex_exit(&lfs_lock); 455 1.1 mycroft sync = sp->seg_flags & SEGM_SYNC; 456 1.1 mycroft ckp = sp->seg_flags & SEGM_CKP; 457 1.57 perseant 458 1.57 perseant /* We should have a segment summary, and nothing else */ 459 1.57 perseant KASSERT(sp->cbpp == sp->bpp + 1); 460 1.57 perseant 461 1.57 perseant /* Free allocated segment summary */ 462 1.82 dholland lfs_sb_suboffset(fs, lfs_btofsb(fs, lfs_sb_getsumsize(fs))); 463 1.57 perseant bp = *sp->bpp; 464 1.57 perseant lfs_freebuf(fs, bp); 465 1.8 perseant 466 1.31 perseant pool_put(&fs->lfs_bpppool, sp->bpp); 467 1.18 perseant sp->bpp = NULL; 468 1.36 perseant 469 1.36 perseant /* 470 1.36 perseant * If we're not sync, we're done with sp, get rid of it. 471 1.36 perseant * Otherwise, we keep a local copy around but free 472 1.36 perseant * fs->lfs_sp so another process can use it (we have to 473 1.36 perseant * wait but they don't have to wait for us). 474 1.36 perseant */ 475 1.26 perseant if (!sync) 476 1.31 perseant pool_put(&fs->lfs_segpool, sp); 477 1.18 perseant fs->lfs_sp = NULL; 478 1.1 mycroft 479 1.1 mycroft /* 480 1.1 mycroft * If the I/O count is non-zero, sleep until it reaches zero. 481 1.1 mycroft * At the moment, the user's process hangs around so we can 482 1.1 mycroft * sleep. 483 1.1 mycroft */ 484 1.72 ad mutex_enter(&lfs_lock); 485 1.93 chs if (--fs->lfs_iocount <= 1) 486 1.22 perseant wakeup(&fs->lfs_iocount); 487 1.72 ad mutex_exit(&lfs_lock); 488 1.93 chs 489 1.1 mycroft /* 490 1.26 perseant * If we're not checkpointing, we don't have to block 491 1.26 perseant * other processes to wait for a synchronous write 492 1.26 perseant * to complete. 493 1.26 perseant */ 494 1.26 perseant if (!ckp) { 495 1.51 perseant LFS_ENTER_LOG("segunlock_std", __FILE__, __LINE__, 0, 0, curproc->p_pid); 496 1.89 maya 497 1.72 ad mutex_enter(&lfs_lock); 498 1.26 perseant --fs->lfs_seglock; 499 1.26 perseant fs->lfs_lockpid = 0; 500 1.58 perseant fs->lfs_locklwp = 0; 501 1.72 ad mutex_exit(&lfs_lock); 502 1.26 perseant wakeup(&fs->lfs_seglock); 503 1.26 perseant } 504 1.26 perseant /* 505 1.1 mycroft * We let checkpoints happen asynchronously. That means 506 1.1 mycroft * that during recovery, we have to roll forward between 507 1.1 mycroft * the two segments described by the first and second 508 1.1 mycroft * superblocks to make sure that the checkpoint described 509 1.1 mycroft * by a superblock completed. 510 1.1 mycroft */ 511 1.72 ad mutex_enter(&lfs_lock); 512 1.74 mlelstv while (ckp && sync && fs->lfs_iocount) { 513 1.72 ad (void)mtsleep(&fs->lfs_iocount, PRIBIO + 1, 514 1.72 ad "lfs_iocount", 0, &lfs_lock); 515 1.74 mlelstv DLOG((DLOG_SEG, "sleeping on iocount %x == %d\n", fs, fs->lfs_iocount)); 516 1.74 mlelstv } 517 1.26 perseant while (sync && sp->seg_iocount) { 518 1.72 ad (void)mtsleep(&sp->seg_iocount, PRIBIO + 1, 519 1.72 ad "seg_iocount", 0, &lfs_lock); 520 1.50 perseant DLOG((DLOG_SEG, "sleeping on iocount %x == %d\n", sp, sp->seg_iocount)); 521 1.26 perseant } 522 1.72 ad mutex_exit(&lfs_lock); 523 1.26 perseant if (sync) 524 1.31 perseant pool_put(&fs->lfs_segpool, sp); 525 1.36 perseant 526 1.1 mycroft if (ckp) { 527 1.1 mycroft fs->lfs_nactive = 0; 528 1.8 perseant /* If we *know* everything's on disk, write both sbs */ 529 1.33 perseant /* XXX should wait for this one */ 530 1.21 chs if (sync) 531 1.83 dholland lfs_writesuper(fs, lfs_sb_getsboff(fs, fs->lfs_activesb)); 532 1.83 dholland lfs_writesuper(fs, lfs_sb_getsboff(fs, 1 - fs->lfs_activesb)); 533 1.48 perseant if (!(fs->lfs_ivnode->v_mount->mnt_iflag & IMNT_UNMOUNT)) { 534 1.35 perseant lfs_auto_segclean(fs); 535 1.48 perseant /* If sync, we can clean the remainder too */ 536 1.48 perseant if (sync) 537 1.48 perseant lfs_auto_segclean(fs); 538 1.48 perseant } 539 1.8 perseant fs->lfs_activesb = 1 - fs->lfs_activesb; 540 1.89 maya 541 1.51 perseant LFS_ENTER_LOG("segunlock_ckp", __FILE__, __LINE__, 0, 0, curproc->p_pid); 542 1.89 maya 543 1.72 ad mutex_enter(&lfs_lock); 544 1.26 perseant --fs->lfs_seglock; 545 1.26 perseant fs->lfs_lockpid = 0; 546 1.58 perseant fs->lfs_locklwp = 0; 547 1.72 ad mutex_exit(&lfs_lock); 548 1.26 perseant wakeup(&fs->lfs_seglock); 549 1.1 mycroft } 550 1.27 perseant /* Reenable fragment size changes */ 551 1.66 ad rw_exit(&fs->lfs_fraglock); 552 1.40 perseant if (do_unmark_dirop) 553 1.40 perseant lfs_unmark_dirop(fs); 554 1.1 mycroft } else { 555 1.1 mycroft --fs->lfs_seglock; 556 1.100 riastrad KASSERT(fs->lfs_seglock != 0); 557 1.72 ad mutex_exit(&lfs_lock); 558 1.1 mycroft } 559 1.41 yamt } 560 1.41 yamt 561 1.41 yamt /* 562 1.69 perseant * Drain dirops and start writer. 563 1.69 perseant * 564 1.69 perseant * No simple_locks are held when we enter and none are held when we return. 565 1.41 yamt */ 566 1.100 riastrad void 567 1.41 yamt lfs_writer_enter(struct lfs *fs, const char *wmesg) 568 1.41 yamt { 569 1.101 ad int error __diagused; 570 1.41 yamt 571 1.99 riastrad ASSERT_NO_SEGLOCK(fs); 572 1.72 ad mutex_enter(&lfs_lock); 573 1.41 yamt 574 1.41 yamt /* disallow dirops during flush */ 575 1.41 yamt fs->lfs_writer++; 576 1.41 yamt 577 1.41 yamt while (fs->lfs_dirops > 0) { 578 1.49 perry ++fs->lfs_diropwait; 579 1.72 ad error = mtsleep(&fs->lfs_writer, PRIBIO+1, wmesg, 0, 580 1.72 ad &lfs_lock); 581 1.100 riastrad KASSERT(error == 0); 582 1.49 perry --fs->lfs_diropwait; 583 1.41 yamt } 584 1.41 yamt 585 1.72 ad mutex_exit(&lfs_lock); 586 1.41 yamt } 587 1.41 yamt 588 1.99 riastrad int 589 1.99 riastrad lfs_writer_tryenter(struct lfs *fs) 590 1.99 riastrad { 591 1.99 riastrad int writer_set; 592 1.99 riastrad 593 1.99 riastrad ASSERT_MAYBE_SEGLOCK(fs); 594 1.99 riastrad mutex_enter(&lfs_lock); 595 1.99 riastrad writer_set = (fs->lfs_dirops == 0); 596 1.99 riastrad if (writer_set) 597 1.99 riastrad fs->lfs_writer++; 598 1.99 riastrad mutex_exit(&lfs_lock); 599 1.99 riastrad 600 1.99 riastrad return writer_set; 601 1.99 riastrad } 602 1.99 riastrad 603 1.41 yamt void 604 1.41 yamt lfs_writer_leave(struct lfs *fs) 605 1.41 yamt { 606 1.67 thorpej bool dowakeup; 607 1.41 yamt 608 1.51 perseant ASSERT_MAYBE_SEGLOCK(fs); 609 1.72 ad mutex_enter(&lfs_lock); 610 1.41 yamt dowakeup = !(--fs->lfs_writer); 611 1.41 yamt if (dowakeup) 612 1.87 maya cv_broadcast(&fs->lfs_diropscv); 613 1.88 maya mutex_exit(&lfs_lock); 614 1.1 mycroft } 615 1.57 perseant 616 1.57 perseant /* 617 1.57 perseant * Unlock, wait for the cleaner, then relock to where we were before. 618 1.57 perseant * To be used only at a fairly high level, to address a paucity of free 619 1.57 perseant * segments propagated back from lfs_gop_write(). 620 1.57 perseant */ 621 1.57 perseant void 622 1.57 perseant lfs_segunlock_relock(struct lfs *fs) 623 1.57 perseant { 624 1.57 perseant int n = fs->lfs_seglock; 625 1.57 perseant u_int16_t seg_flags; 626 1.61 perseant CLEANERINFO *cip; 627 1.61 perseant struct buf *bp; 628 1.57 perseant 629 1.57 perseant if (n == 0) 630 1.57 perseant return; 631 1.57 perseant 632 1.57 perseant /* Write anything we've already gathered to disk */ 633 1.57 perseant lfs_writeseg(fs, fs->lfs_sp); 634 1.57 perseant 635 1.61 perseant /* Tell cleaner */ 636 1.61 perseant LFS_CLEANERINFO(cip, fs, bp); 637 1.85 dholland lfs_ci_setflags(fs, cip, 638 1.85 dholland lfs_ci_getflags(fs, cip) | LFS_CLEANER_MUST_CLEAN); 639 1.61 perseant LFS_SYNC_CLEANERINFO(cip, fs, bp, 1); 640 1.61 perseant 641 1.57 perseant /* Save segment flags for later */ 642 1.57 perseant seg_flags = fs->lfs_sp->seg_flags; 643 1.57 perseant 644 1.57 perseant fs->lfs_sp->seg_flags |= SEGM_PROT; /* Don't unmark dirop nodes */ 645 1.57 perseant while(fs->lfs_seglock) 646 1.57 perseant lfs_segunlock(fs); 647 1.57 perseant 648 1.57 perseant /* Wait for the cleaner */ 649 1.60 perseant lfs_wakeup_cleaner(fs); 650 1.72 ad mutex_enter(&lfs_lock); 651 1.57 perseant while (LFS_STARVED_FOR_SEGS(fs)) 652 1.82 dholland mtsleep(&fs->lfs_availsleep, PRIBIO, "relock", 0, 653 1.72 ad &lfs_lock); 654 1.72 ad mutex_exit(&lfs_lock); 655 1.57 perseant 656 1.57 perseant /* Put the segment lock back the way it was. */ 657 1.57 perseant while(n--) 658 1.57 perseant lfs_seglock(fs, seg_flags); 659 1.57 perseant 660 1.61 perseant /* Cleaner can relax now */ 661 1.61 perseant LFS_CLEANERINFO(cip, fs, bp); 662 1.85 dholland lfs_ci_setflags(fs, cip, 663 1.85 dholland lfs_ci_getflags(fs, cip) & ~LFS_CLEANER_MUST_CLEAN); 664 1.61 perseant LFS_SYNC_CLEANERINFO(cip, fs, bp, 1); 665 1.61 perseant 666 1.57 perseant return; 667 1.57 perseant } 668 1.60 perseant 669 1.60 perseant /* 670 1.60 perseant * Wake up the cleaner, provided that nowrap is not set. 671 1.60 perseant */ 672 1.60 perseant void 673 1.60 perseant lfs_wakeup_cleaner(struct lfs *fs) 674 1.60 perseant { 675 1.60 perseant if (fs->lfs_nowrap > 0) 676 1.60 perseant return; 677 1.60 perseant 678 1.97 maya cv_broadcast(&fs->lfs_nextsegsleep); 679 1.97 maya cv_broadcast(&lfs_allclean_wakeup); 680 1.60 perseant } 681