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