lfs_subr.c revision 1.104 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