lfs_inode.c revision 1.58 1 1.58 yamt /* $NetBSD: lfs_inode.c,v 1.58 2002/07/02 19:07:03 yamt Exp $ */
2 1.2 cgd
3 1.18 perseant /*-
4 1.44 perseant * Copyright (c) 1999, 2000 The NetBSD Foundation, Inc.
5 1.18 perseant * All rights reserved.
6 1.18 perseant *
7 1.18 perseant * This code is derived from software contributed to The NetBSD Foundation
8 1.18 perseant * by Konrad E. Schroder <perseant (at) hhhh.org>.
9 1.18 perseant *
10 1.18 perseant * Redistribution and use in source and binary forms, with or without
11 1.18 perseant * modification, are permitted provided that the following conditions
12 1.18 perseant * are met:
13 1.18 perseant * 1. Redistributions of source code must retain the above copyright
14 1.18 perseant * notice, this list of conditions and the following disclaimer.
15 1.18 perseant * 2. Redistributions in binary form must reproduce the above copyright
16 1.18 perseant * notice, this list of conditions and the following disclaimer in the
17 1.18 perseant * documentation and/or other materials provided with the distribution.
18 1.18 perseant * 3. All advertising materials mentioning features or use of this software
19 1.18 perseant * must display the following acknowledgement:
20 1.18 perseant * This product includes software developed by the NetBSD
21 1.18 perseant * Foundation, Inc. and its contributors.
22 1.18 perseant * 4. Neither the name of The NetBSD Foundation nor the names of its
23 1.18 perseant * contributors may be used to endorse or promote products derived
24 1.18 perseant * from this software without specific prior written permission.
25 1.18 perseant *
26 1.18 perseant * THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND CONTRIBUTORS
27 1.18 perseant * ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
28 1.18 perseant * TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
29 1.18 perseant * PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS
30 1.18 perseant * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
31 1.18 perseant * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
32 1.18 perseant * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
33 1.18 perseant * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
34 1.18 perseant * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
35 1.18 perseant * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
36 1.18 perseant * POSSIBILITY OF SUCH DAMAGE.
37 1.18 perseant */
38 1.1 mycroft /*
39 1.1 mycroft * Copyright (c) 1986, 1989, 1991, 1993
40 1.1 mycroft * The Regents of the University of California. All rights reserved.
41 1.1 mycroft *
42 1.1 mycroft * Redistribution and use in source and binary forms, with or without
43 1.1 mycroft * modification, are permitted provided that the following conditions
44 1.1 mycroft * are met:
45 1.1 mycroft * 1. Redistributions of source code must retain the above copyright
46 1.1 mycroft * notice, this list of conditions and the following disclaimer.
47 1.1 mycroft * 2. Redistributions in binary form must reproduce the above copyright
48 1.1 mycroft * notice, this list of conditions and the following disclaimer in the
49 1.1 mycroft * documentation and/or other materials provided with the distribution.
50 1.1 mycroft * 3. All advertising materials mentioning features or use of this software
51 1.1 mycroft * must display the following acknowledgement:
52 1.1 mycroft * This product includes software developed by the University of
53 1.1 mycroft * California, Berkeley and its contributors.
54 1.1 mycroft * 4. Neither the name of the University nor the names of its contributors
55 1.1 mycroft * may be used to endorse or promote products derived from this software
56 1.1 mycroft * without specific prior written permission.
57 1.1 mycroft *
58 1.1 mycroft * THIS SOFTWARE IS PROVIDED BY THE REGENTS AND CONTRIBUTORS ``AS IS'' AND
59 1.1 mycroft * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
60 1.1 mycroft * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
61 1.1 mycroft * ARE DISCLAIMED. IN NO EVENT SHALL THE REGENTS OR CONTRIBUTORS BE LIABLE
62 1.1 mycroft * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
63 1.1 mycroft * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
64 1.1 mycroft * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
65 1.1 mycroft * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
66 1.1 mycroft * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
67 1.1 mycroft * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
68 1.1 mycroft * SUCH DAMAGE.
69 1.1 mycroft *
70 1.12 fvdl * @(#)lfs_inode.c 8.9 (Berkeley) 5/8/95
71 1.1 mycroft */
72 1.55 lukem
73 1.55 lukem #include <sys/cdefs.h>
74 1.58 yamt __KERNEL_RCSID(0, "$NetBSD: lfs_inode.c,v 1.58 2002/07/02 19:07:03 yamt Exp $");
75 1.13 scottr
76 1.51 mrg #if defined(_KERNEL_OPT)
77 1.13 scottr #include "opt_quota.h"
78 1.14 scottr #endif
79 1.1 mycroft
80 1.1 mycroft #include <sys/param.h>
81 1.1 mycroft #include <sys/systm.h>
82 1.1 mycroft #include <sys/mount.h>
83 1.1 mycroft #include <sys/proc.h>
84 1.1 mycroft #include <sys/file.h>
85 1.1 mycroft #include <sys/buf.h>
86 1.1 mycroft #include <sys/vnode.h>
87 1.1 mycroft #include <sys/kernel.h>
88 1.1 mycroft #include <sys/malloc.h>
89 1.38 perseant #include <sys/trace.h>
90 1.38 perseant #include <sys/resourcevar.h>
91 1.1 mycroft
92 1.1 mycroft #include <ufs/ufs/quota.h>
93 1.1 mycroft #include <ufs/ufs/inode.h>
94 1.1 mycroft #include <ufs/ufs/ufsmount.h>
95 1.1 mycroft #include <ufs/ufs/ufs_extern.h>
96 1.1 mycroft
97 1.1 mycroft #include <ufs/lfs/lfs.h>
98 1.1 mycroft #include <ufs/lfs/lfs_extern.h>
99 1.1 mycroft
100 1.35 perseant extern int locked_queue_count;
101 1.35 perseant extern long locked_queue_bytes;
102 1.21 perseant
103 1.38 perseant static int lfs_update_seguse(struct lfs *, long, size_t);
104 1.38 perseant static int lfs_indirtrunc (struct inode *, ufs_daddr_t, ufs_daddr_t,
105 1.48 perseant ufs_daddr_t, int, long *, long *, long *, size_t *,
106 1.48 perseant struct proc *);
107 1.38 perseant static int lfs_blkfree (struct lfs *, daddr_t, size_t, long *, size_t *);
108 1.38 perseant static int lfs_vtruncbuf(struct vnode *, daddr_t, int, int);
109 1.38 perseant
110 1.1 mycroft /* Search a block for a specific dinode. */
111 1.1 mycroft struct dinode *
112 1.52 perseant lfs_ifind(struct lfs *fs, ino_t ino, struct buf *bp)
113 1.1 mycroft {
114 1.32 augustss struct dinode *dip = (struct dinode *)bp->b_data;
115 1.52 perseant struct dinode *ldip, *fin;
116 1.18 perseant
117 1.52 perseant #ifdef LFS_IFILE_FRAG_ADDRESSING
118 1.52 perseant if (fs->lfs_version == 1)
119 1.52 perseant fin = dip + INOPB(fs);
120 1.52 perseant else
121 1.52 perseant fin = dip + INOPF(fs);
122 1.52 perseant #else
123 1.52 perseant fin = dip + INOPB(fs);
124 1.52 perseant #endif
125 1.52 perseant
126 1.52 perseant /*
127 1.52 perseant * XXX we used to go from the top down here, presumably with the
128 1.52 perseant * idea that the same inode could be written twice in the same
129 1.52 perseant * block (which is not supposed to be true).
130 1.52 perseant */
131 1.52 perseant for (ldip = dip; ldip < fin; ++ldip)
132 1.1 mycroft if (ldip->di_inumber == ino)
133 1.1 mycroft return (ldip);
134 1.52 perseant
135 1.52 perseant printf("searched %d entries\n", (int)(fin - dip));
136 1.40 perseant printf("offset is 0x%x (seg %d)\n", fs->lfs_offset,
137 1.52 perseant dtosn(fs, fs->lfs_offset));
138 1.52 perseant printf("block is 0x%x (seg %d)\n", dbtofsb(fs, bp->b_blkno),
139 1.52 perseant dtosn(fs, dbtofsb(fs, bp->b_blkno)));
140 1.57 perseant
141 1.57 perseant return NULL;
142 1.1 mycroft }
143 1.1 mycroft
144 1.1 mycroft int
145 1.52 perseant lfs_update(void *v)
146 1.4 christos {
147 1.1 mycroft struct vop_update_args /* {
148 1.18 perseant struct vnode *a_vp;
149 1.18 perseant struct timespec *a_access;
150 1.18 perseant struct timespec *a_modify;
151 1.36 perseant int a_flags;
152 1.18 perseant } */ *ap = v;
153 1.1 mycroft struct inode *ip;
154 1.12 fvdl struct vnode *vp = ap->a_vp;
155 1.6 mycroft struct timespec ts;
156 1.25 perseant struct lfs *fs = VFSTOUFS(vp->v_mount)->um_lfs;
157 1.57 perseant int s;
158 1.18 perseant
159 1.12 fvdl if (vp->v_mount->mnt_flag & MNT_RDONLY)
160 1.1 mycroft return (0);
161 1.12 fvdl ip = VTOI(vp);
162 1.18 perseant
163 1.18 perseant /*
164 1.18 perseant * If we are called from vinvalbuf, and the file's blocks have
165 1.18 perseant * already been scheduled for writing, but the writes have not
166 1.18 perseant * yet completed, lfs_vflush will not be called, and vinvalbuf
167 1.18 perseant * will cause a panic. So, we must wait until any pending write
168 1.36 perseant * for our inode completes, if we are called with UPDATE_WAIT set.
169 1.18 perseant */
170 1.57 perseant s = splbio();
171 1.56 chs while ((ap->a_flags & (UPDATE_WAIT|UPDATE_DIROP)) == UPDATE_WAIT &&
172 1.36 perseant WRITEINPROG(vp)) {
173 1.23 perseant #ifdef DEBUG_LFS
174 1.38 perseant printf("lfs_update: sleeping on inode %d (in-progress)\n",
175 1.38 perseant ip->i_number);
176 1.23 perseant #endif
177 1.18 perseant tsleep(vp, (PRIBIO+1), "lfs_update", 0);
178 1.18 perseant }
179 1.57 perseant splx(s);
180 1.6 mycroft TIMEVAL_TO_TIMESPEC(&time, &ts);
181 1.18 perseant LFS_ITIMES(ip,
182 1.18 perseant ap->a_access ? ap->a_access : &ts,
183 1.18 perseant ap->a_modify ? ap->a_modify : &ts, &ts);
184 1.37 perseant if ((ip->i_flag & (IN_MODIFIED | IN_ACCESSED | IN_CLEANING)) == 0) {
185 1.1 mycroft return (0);
186 1.18 perseant }
187 1.18 perseant
188 1.1 mycroft /* If sync, push back the vnode and any dirty blocks it may have. */
189 1.56 chs if ((ap->a_flags & (UPDATE_WAIT|UPDATE_DIROP)) == UPDATE_WAIT) {
190 1.25 perseant /* Avoid flushing VDIROP. */
191 1.25 perseant ++fs->lfs_diropwait;
192 1.56 chs while (vp->v_flag & VDIROP) {
193 1.25 perseant #ifdef DEBUG_LFS
194 1.38 perseant printf("lfs_update: sleeping on inode %d (dirops)\n",
195 1.38 perseant ip->i_number);
196 1.58 yamt printf("lfs_update: vflags 0x%x, iflags 0x%x\n",
197 1.38 perseant vp->v_flag, ip->i_flag);
198 1.25 perseant #endif
199 1.56 chs if (fs->lfs_dirops == 0)
200 1.38 perseant lfs_flush_fs(fs, SEGM_SYNC);
201 1.25 perseant else
202 1.38 perseant tsleep(&fs->lfs_writer, PRIBIO+1, "lfs_fsync",
203 1.38 perseant 0);
204 1.25 perseant /* XXX KS - by falling out here, are we writing the vn
205 1.25 perseant twice? */
206 1.25 perseant }
207 1.25 perseant --fs->lfs_diropwait;
208 1.25 perseant return lfs_vflush(vp);
209 1.25 perseant }
210 1.25 perseant return 0;
211 1.1 mycroft }
212 1.1 mycroft
213 1.38 perseant #define SINGLE 0 /* index of single indirect block */
214 1.38 perseant #define DOUBLE 1 /* index of double indirect block */
215 1.38 perseant #define TRIPLE 2 /* index of triple indirect block */
216 1.1 mycroft /*
217 1.38 perseant * Truncate the inode oip to at most length size, freeing the
218 1.38 perseant * disk blocks.
219 1.1 mycroft */
220 1.44 perseant /* VOP_BWRITE 1 + NIADDR + VOP_BALLOC == 2 + 2*NIADDR times */
221 1.1 mycroft int
222 1.52 perseant lfs_truncate(void *v)
223 1.4 christos {
224 1.1 mycroft struct vop_truncate_args /* {
225 1.1 mycroft struct vnode *a_vp;
226 1.1 mycroft off_t a_length;
227 1.1 mycroft int a_flags;
228 1.1 mycroft struct ucred *a_cred;
229 1.1 mycroft struct proc *a_p;
230 1.4 christos } */ *ap = v;
231 1.38 perseant struct vnode *ovp = ap->a_vp;
232 1.38 perseant ufs_daddr_t lastblock;
233 1.38 perseant struct inode *oip;
234 1.38 perseant ufs_daddr_t bn, lbn, lastiblock[NIADDR], indir_lbn[NIADDR];
235 1.38 perseant ufs_daddr_t newblks[NDADDR + NIADDR];
236 1.1 mycroft off_t length = ap->a_length;
237 1.1 mycroft struct lfs *fs;
238 1.38 perseant struct buf *bp;
239 1.38 perseant int offset, size, level;
240 1.40 perseant long count, rcount, nblocks, blocksreleased = 0, real_released = 0;
241 1.38 perseant int i;
242 1.38 perseant int aflags, error, allerror = 0;
243 1.38 perseant off_t osize;
244 1.38 perseant long lastseg;
245 1.38 perseant size_t bc;
246 1.47 perseant int obufsize, odb;
247 1.38 perseant
248 1.33 perseant if (length < 0)
249 1.33 perseant return (EINVAL);
250 1.38 perseant oip = VTOI(ovp);
251 1.33 perseant
252 1.38 perseant /*
253 1.38 perseant * Just return and not update modification times.
254 1.38 perseant */
255 1.38 perseant if (oip->i_ffs_size == length)
256 1.38 perseant return (0);
257 1.1 mycroft
258 1.38 perseant if (ovp->v_type == VLNK &&
259 1.38 perseant (oip->i_ffs_size < ovp->v_mount->mnt_maxsymlinklen ||
260 1.38 perseant (ovp->v_mount->mnt_maxsymlinklen == 0 &&
261 1.38 perseant oip->i_din.ffs_din.di_blocks == 0))) {
262 1.1 mycroft #ifdef DIAGNOSTIC
263 1.1 mycroft if (length != 0)
264 1.1 mycroft panic("lfs_truncate: partial truncate of symlink");
265 1.1 mycroft #endif
266 1.38 perseant memset((char *)&oip->i_ffs_shortlink, 0, (u_int)oip->i_ffs_size);
267 1.38 perseant oip->i_ffs_size = 0;
268 1.38 perseant oip->i_flag |= IN_CHANGE | IN_UPDATE;
269 1.38 perseant return (VOP_UPDATE(ovp, NULL, NULL, 0));
270 1.38 perseant }
271 1.38 perseant if (oip->i_ffs_size == length) {
272 1.38 perseant oip->i_flag |= IN_CHANGE | IN_UPDATE;
273 1.38 perseant return (VOP_UPDATE(ovp, NULL, NULL, 0));
274 1.1 mycroft }
275 1.38 perseant #ifdef QUOTA
276 1.38 perseant if ((error = getinoquota(oip)) != 0)
277 1.38 perseant return (error);
278 1.38 perseant #endif
279 1.38 perseant fs = oip->i_lfs;
280 1.18 perseant lfs_imtime(fs);
281 1.38 perseant osize = oip->i_ffs_size;
282 1.38 perseant
283 1.38 perseant /*
284 1.38 perseant * Lengthen the size of the file. We must ensure that the
285 1.38 perseant * last byte of the file is allocated. Since the smallest
286 1.38 perseant * value of osize is 0, length will be at least 1.
287 1.38 perseant */
288 1.38 perseant if (osize < length) {
289 1.33 perseant if (length > fs->lfs_maxfilesize)
290 1.33 perseant return (EFBIG);
291 1.38 perseant aflags = B_CLRBUF;
292 1.38 perseant if (ap->a_flags & IO_SYNC)
293 1.38 perseant aflags |= B_SYNC;
294 1.52 perseant error = lfs_reserve(fs, ovp, btofsb(fs, (NIADDR + 2) << fs->lfs_bshift));
295 1.44 perseant if (error)
296 1.44 perseant return (error);
297 1.38 perseant error = VOP_BALLOC(ovp, length - 1, 1, ap->a_cred, aflags, &bp);
298 1.52 perseant lfs_reserve(fs, ovp, -btofsb(fs, (NIADDR + 2) << fs->lfs_bshift));
299 1.33 perseant if (error)
300 1.38 perseant return (error);
301 1.38 perseant oip->i_ffs_size = length;
302 1.38 perseant uvm_vnp_setsize(ovp, length);
303 1.44 perseant (void) VOP_BWRITE(bp);
304 1.38 perseant oip->i_flag |= IN_CHANGE | IN_UPDATE;
305 1.38 perseant return (VOP_UPDATE(ovp, NULL, NULL, 0));
306 1.1 mycroft }
307 1.1 mycroft
308 1.52 perseant if ((error = lfs_reserve(fs, ovp, btofsb(fs, (2 * NIADDR + 3) << fs->lfs_bshift))) != 0)
309 1.44 perseant return (error);
310 1.18 perseant /*
311 1.35 perseant * Make sure no writes to this inode can happen while we're
312 1.35 perseant * truncating. Otherwise, blocks which are accounted for on the
313 1.35 perseant * inode *and* which have been created for cleaning can coexist,
314 1.35 perseant * and cause an overcounting.
315 1.20 perseant *
316 1.35 perseant * (We don't need to *hold* the seglock, though, because we already
317 1.35 perseant * hold the inode lock; draining the seglock is sufficient.)
318 1.18 perseant */
319 1.57 perseant #ifdef LFS_AGGRESSIVE_SEGLOCK
320 1.57 perseant lfs_seglock(fs, SEGM_PROT);
321 1.57 perseant #else
322 1.38 perseant if (ovp != fs->lfs_unlockvp) {
323 1.56 chs while (fs->lfs_seglock) {
324 1.35 perseant tsleep(&fs->lfs_seglock, PRIBIO+1, "lfs_truncate", 0);
325 1.35 perseant }
326 1.18 perseant }
327 1.57 perseant #endif
328 1.18 perseant
329 1.1 mycroft /*
330 1.38 perseant * Shorten the size of the file. If the file is not being
331 1.38 perseant * truncated to a block boundary, the contents of the
332 1.38 perseant * partial block following the end of the file must be
333 1.38 perseant * zero'ed in case it ever becomes accessible again because
334 1.38 perseant * of subsequent file growth. Directories however are not
335 1.38 perseant * zero'ed as they should grow back initialized to empty.
336 1.38 perseant */
337 1.38 perseant offset = blkoff(fs, length);
338 1.38 perseant lastseg = -1;
339 1.38 perseant bc = 0;
340 1.38 perseant if (offset == 0) {
341 1.38 perseant oip->i_ffs_size = length;
342 1.38 perseant } else {
343 1.38 perseant lbn = lblkno(fs, length);
344 1.38 perseant aflags = B_CLRBUF;
345 1.38 perseant if (ap->a_flags & IO_SYNC)
346 1.38 perseant aflags |= B_SYNC;
347 1.38 perseant error = VOP_BALLOC(ovp, length - 1, 1, ap->a_cred, aflags, &bp);
348 1.44 perseant if (error) {
349 1.52 perseant lfs_reserve(fs, ovp, -btofsb(fs, (2 * NIADDR + 3) << fs->lfs_bshift));
350 1.57 perseant #ifdef LFS_AGGRESSIVE_SEGLOCK
351 1.57 perseant lfs_segunlock(fs);
352 1.57 perseant #endif
353 1.38 perseant return (error);
354 1.44 perseant }
355 1.47 perseant obufsize = bp->b_bufsize;
356 1.52 perseant odb = btofsb(fs, bp->b_bcount);
357 1.38 perseant oip->i_ffs_size = length;
358 1.38 perseant size = blksize(fs, oip, lbn);
359 1.38 perseant if (ovp->v_type != VDIR)
360 1.38 perseant memset((char *)bp->b_data + offset, 0,
361 1.38 perseant (u_int)(size - offset));
362 1.38 perseant allocbuf(bp, size);
363 1.57 perseant if ((bp->b_flags & (B_LOCKED | B_CALL)) == B_LOCKED)
364 1.57 perseant locked_queue_bytes -= obufsize - bp->b_bufsize;
365 1.57 perseant if (bp->b_flags & B_DELWRI)
366 1.52 perseant fs->lfs_avail += odb - btofsb(fs, size);
367 1.44 perseant (void) VOP_BWRITE(bp);
368 1.38 perseant }
369 1.38 perseant uvm_vnp_setsize(ovp, length);
370 1.38 perseant /*
371 1.38 perseant * Calculate index into inode's block list of
372 1.38 perseant * last direct and indirect blocks (if any)
373 1.38 perseant * which we want to keep. Lastblock is -1 when
374 1.38 perseant * the file is truncated to 0.
375 1.38 perseant */
376 1.38 perseant lastblock = lblkno(fs, length + fs->lfs_bsize - 1) - 1;
377 1.38 perseant lastiblock[SINGLE] = lastblock - NDADDR;
378 1.38 perseant lastiblock[DOUBLE] = lastiblock[SINGLE] - NINDIR(fs);
379 1.38 perseant lastiblock[TRIPLE] = lastiblock[DOUBLE] - NINDIR(fs) * NINDIR(fs);
380 1.52 perseant nblocks = btofsb(fs, fs->lfs_bsize);
381 1.38 perseant /*
382 1.38 perseant * Record changed file and block pointers before we start
383 1.38 perseant * freeing blocks. lastiblock values are also normalized to -1
384 1.38 perseant * for calls to lfs_indirtrunc below.
385 1.38 perseant */
386 1.38 perseant memcpy((caddr_t)newblks, (caddr_t)&oip->i_ffs_db[0], sizeof newblks);
387 1.38 perseant for (level = TRIPLE; level >= SINGLE; level--)
388 1.38 perseant if (lastiblock[level] < 0) {
389 1.38 perseant newblks[NDADDR+level] = 0;
390 1.38 perseant lastiblock[level] = -1;
391 1.38 perseant }
392 1.38 perseant for (i = NDADDR - 1; i > lastblock; i--)
393 1.38 perseant newblks[i] = 0;
394 1.38 perseant
395 1.38 perseant oip->i_ffs_size = osize;
396 1.38 perseant error = lfs_vtruncbuf(ovp, lastblock + 1, 0, 0);
397 1.38 perseant if (error && !allerror)
398 1.38 perseant allerror = error;
399 1.1 mycroft
400 1.1 mycroft /*
401 1.38 perseant * Indirect blocks first.
402 1.1 mycroft */
403 1.38 perseant indir_lbn[SINGLE] = -NDADDR;
404 1.38 perseant indir_lbn[DOUBLE] = indir_lbn[SINGLE] - NINDIR(fs) - 1;
405 1.38 perseant indir_lbn[TRIPLE] = indir_lbn[DOUBLE] - NINDIR(fs) * NINDIR(fs) - 1;
406 1.38 perseant for (level = TRIPLE; level >= SINGLE; level--) {
407 1.38 perseant bn = oip->i_ffs_ib[level];
408 1.38 perseant if (bn != 0) {
409 1.38 perseant error = lfs_indirtrunc(oip, indir_lbn[level],
410 1.40 perseant bn, lastiblock[level],
411 1.40 perseant level, &count, &rcount,
412 1.48 perseant &lastseg, &bc, ap->a_p);
413 1.38 perseant if (error)
414 1.38 perseant allerror = error;
415 1.40 perseant real_released += rcount;
416 1.38 perseant blocksreleased += count;
417 1.38 perseant if (lastiblock[level] < 0) {
418 1.40 perseant if (oip->i_ffs_ib[level] > 0)
419 1.40 perseant real_released += nblocks;
420 1.40 perseant blocksreleased += nblocks;
421 1.38 perseant oip->i_ffs_ib[level] = 0;
422 1.38 perseant lfs_blkfree(fs, bn, fs->lfs_bsize, &lastseg, &bc);
423 1.38 perseant }
424 1.38 perseant }
425 1.38 perseant if (lastiblock[level] >= 0)
426 1.38 perseant goto done;
427 1.38 perseant }
428 1.38 perseant
429 1.38 perseant /*
430 1.38 perseant * All whole direct blocks or frags.
431 1.38 perseant */
432 1.38 perseant for (i = NDADDR - 1; i > lastblock; i--) {
433 1.38 perseant long bsize;
434 1.12 fvdl
435 1.38 perseant bn = oip->i_ffs_db[i];
436 1.38 perseant if (bn == 0)
437 1.38 perseant continue;
438 1.40 perseant bsize = blksize(fs, oip, i);
439 1.40 perseant if (oip->i_ffs_db[i] > 0)
440 1.52 perseant real_released += btofsb(fs, bsize);
441 1.52 perseant blocksreleased += btofsb(fs, bsize);
442 1.38 perseant oip->i_ffs_db[i] = 0;
443 1.38 perseant lfs_blkfree(fs, bn, bsize, &lastseg, &bc);
444 1.1 mycroft }
445 1.38 perseant if (lastblock < 0)
446 1.38 perseant goto done;
447 1.38 perseant
448 1.1 mycroft /*
449 1.38 perseant * Finally, look for a change in size of the
450 1.38 perseant * last direct block; release any frags.
451 1.1 mycroft */
452 1.38 perseant bn = oip->i_ffs_db[lastblock];
453 1.38 perseant if (bn != 0) {
454 1.38 perseant long oldspace, newspace;
455 1.1 mycroft
456 1.38 perseant /*
457 1.38 perseant * Calculate amount of space we're giving
458 1.38 perseant * back as old block size minus new block size.
459 1.38 perseant */
460 1.38 perseant oldspace = blksize(fs, oip, lastblock);
461 1.38 perseant oip->i_ffs_size = length;
462 1.38 perseant newspace = blksize(fs, oip, lastblock);
463 1.38 perseant if (newspace == 0)
464 1.38 perseant panic("itrunc: newspace");
465 1.38 perseant if (oldspace - newspace > 0) {
466 1.38 perseant lfs_blkfree(fs, bn, oldspace - newspace, &lastseg, &bc);
467 1.45 perseant if (bn > 0)
468 1.52 perseant real_released += btofsb(fs, oldspace - newspace);
469 1.52 perseant blocksreleased += btofsb(fs, oldspace - newspace);
470 1.1 mycroft }
471 1.1 mycroft }
472 1.38 perseant
473 1.38 perseant done:
474 1.38 perseant /* Finish segment accounting corrections */
475 1.38 perseant lfs_update_seguse(fs, lastseg, bc);
476 1.38 perseant #ifdef DIAGNOSTIC
477 1.38 perseant for (level = SINGLE; level <= TRIPLE; level++)
478 1.38 perseant if (newblks[NDADDR + level] != oip->i_ffs_ib[level])
479 1.38 perseant panic("lfs itrunc1");
480 1.38 perseant for (i = 0; i < NDADDR; i++)
481 1.38 perseant if (newblks[i] != oip->i_ffs_db[i])
482 1.38 perseant panic("lfs itrunc2");
483 1.38 perseant if (length == 0 &&
484 1.38 perseant (!LIST_EMPTY(&ovp->v_cleanblkhd) || !LIST_EMPTY(&ovp->v_dirtyblkhd)))
485 1.38 perseant panic("lfs itrunc3");
486 1.38 perseant #endif /* DIAGNOSTIC */
487 1.38 perseant /*
488 1.38 perseant * Put back the real size.
489 1.38 perseant */
490 1.38 perseant oip->i_ffs_size = length;
491 1.40 perseant oip->i_lfs_effnblks -= blocksreleased;
492 1.40 perseant oip->i_ffs_blocks -= real_released;
493 1.38 perseant fs->lfs_bfree += blocksreleased;
494 1.38 perseant #ifdef DIAGNOSTIC
495 1.45 perseant if (oip->i_ffs_size == 0 && oip->i_ffs_blocks != 0) {
496 1.45 perseant printf("lfs_truncate: truncate to 0 but %d blocks on inode\n",
497 1.38 perseant oip->i_ffs_blocks);
498 1.38 perseant panic("lfs_truncate: persistent blocks\n");
499 1.1 mycroft }
500 1.38 perseant #endif
501 1.38 perseant oip->i_flag |= IN_CHANGE;
502 1.38 perseant #ifdef QUOTA
503 1.38 perseant (void) chkdq(oip, -blocksreleased, NOCRED, 0);
504 1.1 mycroft #endif
505 1.52 perseant lfs_reserve(fs, ovp, -btofsb(fs, (2 * NIADDR + 3) << fs->lfs_bshift));
506 1.57 perseant #ifdef LFS_AGGRESSIVE_SEGLOCK
507 1.57 perseant lfs_segunlock(fs);
508 1.57 perseant #endif
509 1.38 perseant return (allerror);
510 1.38 perseant }
511 1.28 fvdl
512 1.38 perseant /* Update segment usage information when removing a block. */
513 1.38 perseant static int
514 1.38 perseant lfs_blkfree(struct lfs *fs, daddr_t daddr, size_t bsize, long *lastseg,
515 1.38 perseant size_t *num)
516 1.38 perseant {
517 1.38 perseant long seg;
518 1.38 perseant int error = 0;
519 1.24 perseant
520 1.38 perseant bsize = fragroundup(fs, bsize);
521 1.38 perseant if (daddr > 0) {
522 1.52 perseant if (*lastseg != (seg = dtosn(fs, daddr))) {
523 1.38 perseant error = lfs_update_seguse(fs, *lastseg, *num);
524 1.38 perseant *num = bsize;
525 1.38 perseant *lastseg = seg;
526 1.38 perseant } else
527 1.38 perseant *num += bsize;
528 1.18 perseant }
529 1.38 perseant return error;
530 1.38 perseant }
531 1.38 perseant
532 1.38 perseant /* Finish the accounting updates for a segment. */
533 1.38 perseant static int
534 1.38 perseant lfs_update_seguse(struct lfs *fs, long lastseg, size_t num)
535 1.38 perseant {
536 1.38 perseant SEGUSE *sup;
537 1.38 perseant struct buf *bp;
538 1.57 perseant int error;
539 1.38 perseant
540 1.38 perseant if (lastseg < 0 || num == 0)
541 1.38 perseant return 0;
542 1.38 perseant
543 1.38 perseant LFS_SEGENTRY(sup, fs, lastseg, bp);
544 1.38 perseant if (num > sup->su_nbytes) {
545 1.38 perseant printf("lfs_truncate: segment %ld short by %ld\n",
546 1.38 perseant lastseg, (long)num - sup->su_nbytes);
547 1.38 perseant panic("lfs_truncate: negative bytes");
548 1.38 perseant sup->su_nbytes = num;
549 1.12 fvdl }
550 1.38 perseant sup->su_nbytes -= num;
551 1.57 perseant error = LFS_BWRITE_LOG(bp); /* Ifile */
552 1.57 perseant return error;
553 1.38 perseant }
554 1.38 perseant
555 1.38 perseant /*
556 1.38 perseant * Release blocks associated with the inode ip and stored in the indirect
557 1.38 perseant * block bn. Blocks are free'd in LIFO order up to (but not including)
558 1.38 perseant * lastbn. If level is greater than SINGLE, the block is an indirect block
559 1.38 perseant * and recursive calls to indirtrunc must be used to cleanse other indirect
560 1.38 perseant * blocks.
561 1.38 perseant *
562 1.38 perseant * NB: triple indirect blocks are untested.
563 1.38 perseant */
564 1.38 perseant static int
565 1.38 perseant lfs_indirtrunc(struct inode *ip, ufs_daddr_t lbn, daddr_t dbn,
566 1.38 perseant ufs_daddr_t lastbn, int level, long *countp,
567 1.48 perseant long *rcountp, long *lastsegp, size_t *bcp, struct proc *p)
568 1.38 perseant {
569 1.38 perseant int i;
570 1.38 perseant struct buf *bp;
571 1.38 perseant struct lfs *fs = ip->i_lfs;
572 1.38 perseant ufs_daddr_t *bap;
573 1.38 perseant struct vnode *vp;
574 1.38 perseant ufs_daddr_t *copy = NULL, nb, nlbn, last;
575 1.40 perseant long blkcount, rblkcount, factor;
576 1.40 perseant int nblocks, blocksreleased = 0, real_released = 0;
577 1.38 perseant int error = 0, allerror = 0;
578 1.38 perseant
579 1.38 perseant /*
580 1.38 perseant * Calculate index in current block of last
581 1.38 perseant * block to be kept. -1 indicates the entire
582 1.38 perseant * block so we need not calculate the index.
583 1.38 perseant */
584 1.38 perseant factor = 1;
585 1.38 perseant for (i = SINGLE; i < level; i++)
586 1.38 perseant factor *= NINDIR(fs);
587 1.38 perseant last = lastbn;
588 1.38 perseant if (lastbn > 0)
589 1.38 perseant last /= factor;
590 1.52 perseant nblocks = btofsb(fs, fs->lfs_bsize);
591 1.38 perseant /*
592 1.38 perseant * Get buffer of block pointers, zero those entries corresponding
593 1.38 perseant * to blocks to be free'd, and update on disk copy first. Since
594 1.38 perseant * double(triple) indirect before single(double) indirect, calls
595 1.38 perseant * to bmap on these blocks will fail. However, we already have
596 1.38 perseant * the on disk address, so we have to set the b_blkno field
597 1.38 perseant * explicitly instead of letting bread do everything for us.
598 1.38 perseant */
599 1.38 perseant vp = ITOV(ip);
600 1.38 perseant bp = getblk(vp, lbn, (int)fs->lfs_bsize, 0, 0);
601 1.38 perseant if (bp->b_flags & (B_DONE | B_DELWRI)) {
602 1.38 perseant /* Braces must be here in case trace evaluates to nothing. */
603 1.38 perseant trace(TR_BREADHIT, pack(vp, fs->lfs_bsize), lbn);
604 1.38 perseant } else {
605 1.38 perseant trace(TR_BREADMISS, pack(vp, fs->lfs_bsize), lbn);
606 1.48 perseant p->p_stats->p_ru.ru_inblock++; /* pay for read */
607 1.38 perseant bp->b_flags |= B_READ;
608 1.38 perseant if (bp->b_bcount > bp->b_bufsize)
609 1.38 perseant panic("lfs_indirtrunc: bad buffer size");
610 1.52 perseant bp->b_blkno = fsbtodb(fs, dbn);
611 1.38 perseant VOP_STRATEGY(bp);
612 1.38 perseant error = biowait(bp);
613 1.38 perseant }
614 1.38 perseant if (error) {
615 1.38 perseant brelse(bp);
616 1.40 perseant *countp = *rcountp = 0;
617 1.38 perseant return (error);
618 1.38 perseant }
619 1.38 perseant
620 1.38 perseant bap = (ufs_daddr_t *)bp->b_data;
621 1.38 perseant if (lastbn >= 0) {
622 1.38 perseant MALLOC(copy, ufs_daddr_t *, fs->lfs_bsize, M_TEMP, M_WAITOK);
623 1.38 perseant memcpy((caddr_t)copy, (caddr_t)bap, (u_int)fs->lfs_bsize);
624 1.38 perseant memset((caddr_t)&bap[last + 1], 0,
625 1.38 perseant (u_int)(NINDIR(fs) - (last + 1)) * sizeof (ufs_daddr_t));
626 1.38 perseant error = VOP_BWRITE(bp);
627 1.38 perseant if (error)
628 1.38 perseant allerror = error;
629 1.38 perseant bap = copy;
630 1.35 perseant }
631 1.35 perseant
632 1.38 perseant /*
633 1.38 perseant * Recursively free totally unused blocks.
634 1.38 perseant */
635 1.38 perseant for (i = NINDIR(fs) - 1, nlbn = lbn + 1 - i * factor; i > last;
636 1.38 perseant i--, nlbn += factor) {
637 1.38 perseant nb = bap[i];
638 1.38 perseant if (nb == 0)
639 1.38 perseant continue;
640 1.38 perseant if (level > SINGLE) {
641 1.38 perseant error = lfs_indirtrunc(ip, nlbn, nb,
642 1.38 perseant (ufs_daddr_t)-1, level - 1,
643 1.40 perseant &blkcount, &rblkcount,
644 1.48 perseant lastsegp, bcp, p);
645 1.38 perseant if (error)
646 1.38 perseant allerror = error;
647 1.38 perseant blocksreleased += blkcount;
648 1.40 perseant real_released += rblkcount;
649 1.38 perseant }
650 1.38 perseant lfs_blkfree(fs, nb, fs->lfs_bsize, lastsegp, bcp);
651 1.40 perseant if (bap[i] > 0)
652 1.40 perseant real_released += nblocks;
653 1.38 perseant blocksreleased += nblocks;
654 1.35 perseant }
655 1.35 perseant
656 1.38 perseant /*
657 1.38 perseant * Recursively free last partial block.
658 1.38 perseant */
659 1.38 perseant if (level > SINGLE && lastbn >= 0) {
660 1.38 perseant last = lastbn % factor;
661 1.38 perseant nb = bap[i];
662 1.38 perseant if (nb != 0) {
663 1.38 perseant error = lfs_indirtrunc(ip, nlbn, nb,
664 1.38 perseant last, level - 1, &blkcount,
665 1.48 perseant &rblkcount, lastsegp, bcp, p);
666 1.38 perseant if (error)
667 1.38 perseant allerror = error;
668 1.40 perseant real_released += rblkcount;
669 1.38 perseant blocksreleased += blkcount;
670 1.38 perseant }
671 1.38 perseant }
672 1.35 perseant
673 1.38 perseant if (copy != NULL) {
674 1.38 perseant FREE(copy, M_TEMP);
675 1.38 perseant } else {
676 1.47 perseant if (bp->b_flags & B_DELWRI) {
677 1.47 perseant LFS_UNLOCK_BUF(bp);
678 1.52 perseant fs->lfs_avail += btofsb(fs, bp->b_bcount);
679 1.47 perseant wakeup(&fs->lfs_avail);
680 1.47 perseant }
681 1.38 perseant bp->b_flags |= B_INVAL;
682 1.38 perseant brelse(bp);
683 1.38 perseant }
684 1.18 perseant
685 1.38 perseant *countp = blocksreleased;
686 1.40 perseant *rcountp = real_released;
687 1.38 perseant return (allerror);
688 1.21 perseant }
689 1.21 perseant
690 1.21 perseant /*
691 1.38 perseant * Destroy any in core blocks past the truncation length.
692 1.38 perseant * Inlined from vtruncbuf, so that lfs_avail could be updated.
693 1.21 perseant */
694 1.38 perseant static int
695 1.52 perseant lfs_vtruncbuf(struct vnode *vp, daddr_t lbn, int slpflag, int slptimeo)
696 1.21 perseant {
697 1.38 perseant struct buf *bp, *nbp;
698 1.38 perseant int s, error;
699 1.38 perseant struct lfs *fs;
700 1.38 perseant
701 1.38 perseant fs = VTOI(vp)->i_lfs;
702 1.38 perseant s = splbio();
703 1.21 perseant
704 1.38 perseant restart:
705 1.38 perseant for (bp = LIST_FIRST(&vp->v_cleanblkhd); bp; bp = nbp) {
706 1.38 perseant nbp = LIST_NEXT(bp, b_vnbufs);
707 1.38 perseant if (bp->b_lblkno < lbn)
708 1.38 perseant continue;
709 1.38 perseant if (bp->b_flags & B_BUSY) {
710 1.38 perseant bp->b_flags |= B_WANTED;
711 1.38 perseant error = tsleep((caddr_t)bp, slpflag | (PRIBIO + 1),
712 1.38 perseant "lfs_vtruncbuf", slptimeo);
713 1.38 perseant if (error) {
714 1.22 perseant splx(s);
715 1.38 perseant return (error);
716 1.22 perseant }
717 1.38 perseant goto restart;
718 1.38 perseant }
719 1.38 perseant bp->b_flags |= B_BUSY | B_INVAL | B_VFLUSH;
720 1.43 perseant if (bp->b_flags & B_DELWRI) {
721 1.43 perseant bp->b_flags &= ~B_DELWRI;
722 1.52 perseant fs->lfs_avail += btofsb(fs, bp->b_bcount);
723 1.47 perseant wakeup(&fs->lfs_avail);
724 1.43 perseant }
725 1.46 perseant LFS_UNLOCK_BUF(bp);
726 1.38 perseant brelse(bp);
727 1.38 perseant }
728 1.38 perseant
729 1.38 perseant for (bp = LIST_FIRST(&vp->v_dirtyblkhd); bp; bp = nbp) {
730 1.38 perseant nbp = LIST_NEXT(bp, b_vnbufs);
731 1.38 perseant if (bp->b_lblkno < lbn)
732 1.38 perseant continue;
733 1.38 perseant if (bp->b_flags & B_BUSY) {
734 1.38 perseant bp->b_flags |= B_WANTED;
735 1.38 perseant error = tsleep((caddr_t)bp, slpflag | (PRIBIO + 1),
736 1.38 perseant "lfs_vtruncbuf", slptimeo);
737 1.38 perseant if (error) {
738 1.35 perseant splx(s);
739 1.38 perseant return (error);
740 1.21 perseant }
741 1.38 perseant goto restart;
742 1.38 perseant }
743 1.38 perseant bp->b_flags |= B_BUSY | B_INVAL | B_VFLUSH;
744 1.43 perseant if (bp->b_flags & B_DELWRI) {
745 1.43 perseant bp->b_flags &= ~B_DELWRI;
746 1.52 perseant fs->lfs_avail += btofsb(fs, bp->b_bcount);
747 1.47 perseant wakeup(&fs->lfs_avail);
748 1.43 perseant }
749 1.46 perseant LFS_UNLOCK_BUF(bp);
750 1.38 perseant brelse(bp);
751 1.21 perseant }
752 1.38 perseant
753 1.38 perseant splx(s);
754 1.38 perseant
755 1.21 perseant return (0);
756 1.1 mycroft }
757 1.38 perseant
758