Home | History | Annotate | Line # | Download | only in lfs
lfs_rfw.c revision 1.9.10.1
      1  1.9.10.1      yamt /*	$NetBSD: lfs_rfw.c,v 1.9.10.1 2008/05/16 02:26:00 yamt Exp $	*/
      2       1.1  perseant 
      3       1.1  perseant /*-
      4       1.1  perseant  * Copyright (c) 1999, 2000, 2001, 2002, 2003 The NetBSD Foundation, Inc.
      5       1.1  perseant  * All rights reserved.
      6       1.1  perseant  *
      7       1.1  perseant  * This code is derived from software contributed to The NetBSD Foundation
      8       1.1  perseant  * by Konrad E. Schroder <perseant (at) hhhh.org>.
      9       1.1  perseant  *
     10       1.1  perseant  * Redistribution and use in source and binary forms, with or without
     11       1.1  perseant  * modification, are permitted provided that the following conditions
     12       1.1  perseant  * are met:
     13       1.1  perseant  * 1. Redistributions of source code must retain the above copyright
     14       1.1  perseant  *    notice, this list of conditions and the following disclaimer.
     15       1.1  perseant  * 2. Redistributions in binary form must reproduce the above copyright
     16       1.1  perseant  *    notice, this list of conditions and the following disclaimer in the
     17       1.1  perseant  *    documentation and/or other materials provided with the distribution.
     18       1.1  perseant  *
     19       1.1  perseant  * THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND CONTRIBUTORS
     20       1.1  perseant  * ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
     21       1.1  perseant  * TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
     22       1.1  perseant  * PURPOSE ARE DISCLAIMED.  IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS
     23       1.1  perseant  * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
     24       1.1  perseant  * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
     25       1.1  perseant  * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
     26       1.1  perseant  * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
     27       1.1  perseant  * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
     28       1.1  perseant  * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
     29       1.1  perseant  * POSSIBILITY OF SUCH DAMAGE.
     30       1.1  perseant  */
     31       1.1  perseant 
     32       1.2  perseant #include <sys/cdefs.h>
     33  1.9.10.1      yamt __KERNEL_RCSID(0, "$NetBSD: lfs_rfw.c,v 1.9.10.1 2008/05/16 02:26:00 yamt Exp $");
     34       1.2  perseant 
     35       1.2  perseant #if defined(_KERNEL_OPT)
     36       1.2  perseant #include "opt_quota.h"
     37       1.2  perseant #endif
     38       1.2  perseant 
     39       1.2  perseant #include <sys/param.h>
     40       1.2  perseant #include <sys/systm.h>
     41       1.2  perseant #include <sys/namei.h>
     42       1.2  perseant #include <sys/proc.h>
     43       1.2  perseant #include <sys/kernel.h>
     44       1.2  perseant #include <sys/vnode.h>
     45       1.2  perseant #include <sys/mount.h>
     46       1.2  perseant #include <sys/kthread.h>
     47       1.2  perseant #include <sys/buf.h>
     48       1.2  perseant #include <sys/device.h>
     49       1.2  perseant #include <sys/mbuf.h>
     50       1.2  perseant #include <sys/file.h>
     51       1.2  perseant #include <sys/disklabel.h>
     52       1.2  perseant #include <sys/ioctl.h>
     53       1.2  perseant #include <sys/errno.h>
     54       1.2  perseant #include <sys/malloc.h>
     55       1.2  perseant #include <sys/pool.h>
     56       1.2  perseant #include <sys/socket.h>
     57       1.2  perseant #include <sys/syslog.h>
     58       1.2  perseant #include <uvm/uvm_extern.h>
     59       1.2  perseant #include <sys/sysctl.h>
     60       1.2  perseant #include <sys/conf.h>
     61       1.2  perseant #include <sys/kauth.h>
     62       1.2  perseant 
     63       1.2  perseant #include <miscfs/specfs/specdev.h>
     64       1.2  perseant 
     65       1.2  perseant #include <ufs/ufs/quota.h>
     66       1.2  perseant #include <ufs/ufs/inode.h>
     67       1.2  perseant #include <ufs/ufs/ufsmount.h>
     68       1.2  perseant #include <ufs/ufs/ufs_extern.h>
     69       1.2  perseant 
     70       1.2  perseant #include <uvm/uvm.h>
     71       1.2  perseant #include <uvm/uvm_stat.h>
     72       1.2  perseant #include <uvm/uvm_pager.h>
     73       1.2  perseant #include <uvm/uvm_pdaemon.h>
     74       1.2  perseant 
     75       1.2  perseant #include <ufs/lfs/lfs.h>
     76       1.2  perseant #include <ufs/lfs/lfs_extern.h>
     77       1.2  perseant 
     78       1.2  perseant #include <miscfs/genfs/genfs.h>
     79       1.2  perseant #include <miscfs/genfs/genfs_node.h>
     80       1.2  perseant 
     81       1.1  perseant /*
     82       1.1  perseant  * Roll-forward code.
     83       1.1  perseant  */
     84       1.1  perseant static daddr_t check_segsum(struct lfs *, daddr_t, u_int64_t,
     85       1.1  perseant     kauth_cred_t, int, int *, struct lwp *);
     86       1.1  perseant 
     87       1.3  perseant extern int lfs_do_rfw;
     88       1.3  perseant 
     89       1.1  perseant /*
     90       1.1  perseant  * Allocate a particular inode with a particular version number, freeing
     91       1.1  perseant  * any previous versions of this inode that may have gone before.
     92       1.1  perseant  * Used by the roll-forward code.
     93       1.1  perseant  *
     94       1.1  perseant  * XXX this function does not have appropriate locking to be used on a live fs;
     95       1.1  perseant  * XXX but something similar could probably be used for an "undelete" call.
     96       1.1  perseant  *
     97       1.1  perseant  * Called with the Ifile inode locked.
     98       1.1  perseant  */
     99       1.1  perseant int
    100       1.1  perseant lfs_rf_valloc(struct lfs *fs, ino_t ino, int vers, struct lwp *l,
    101       1.1  perseant 	      struct vnode **vpp)
    102       1.1  perseant {
    103       1.1  perseant 	IFILE *ifp;
    104       1.1  perseant 	struct buf *bp, *cbp;
    105       1.1  perseant 	struct vnode *vp;
    106       1.1  perseant 	struct inode *ip;
    107       1.1  perseant 	ino_t tino, oldnext;
    108       1.1  perseant 	int error;
    109       1.1  perseant 	CLEANERINFO *cip;
    110       1.1  perseant 
    111       1.1  perseant 	ASSERT_SEGLOCK(fs); /* XXX it doesn't, really */
    112       1.1  perseant 
    113       1.1  perseant 	/*
    114       1.1  perseant 	 * First, just try a vget. If the version number is the one we want,
    115       1.1  perseant 	 * we don't have to do anything else.  If the version number is wrong,
    116       1.1  perseant 	 * take appropriate action.
    117       1.1  perseant 	 */
    118       1.1  perseant 	error = VFS_VGET(fs->lfs_ivnode->v_mount, ino, &vp);
    119       1.1  perseant 	if (error == 0) {
    120       1.1  perseant 		DLOG((DLOG_RF, "lfs_rf_valloc[1]: ino %d vp %p\n", ino, vp));
    121       1.1  perseant 
    122       1.1  perseant 		*vpp = vp;
    123       1.1  perseant 		ip = VTOI(vp);
    124       1.1  perseant 		if (ip->i_gen == vers)
    125       1.1  perseant 			return 0;
    126       1.1  perseant 		else if (ip->i_gen < vers) {
    127       1.8        he 			lfs_truncate(vp, (off_t)0, 0, NOCRED);
    128       1.1  perseant 			ip->i_gen = ip->i_ffs1_gen = vers;
    129       1.1  perseant 			LFS_SET_UINO(ip, IN_CHANGE | IN_UPDATE);
    130       1.1  perseant 			return 0;
    131       1.1  perseant 		} else {
    132       1.1  perseant 			DLOG((DLOG_RF, "ino %d: sought version %d, got %d\n",
    133       1.1  perseant 			       ino, vers, ip->i_ffs1_gen));
    134       1.1  perseant 			vput(vp);
    135       1.1  perseant 			*vpp = NULLVP;
    136       1.1  perseant 			return EEXIST;
    137       1.1  perseant 		}
    138       1.1  perseant 	}
    139       1.1  perseant 
    140       1.1  perseant 	/*
    141       1.1  perseant 	 * The inode is not in use.  Find it on the free list.
    142       1.1  perseant 	 */
    143       1.1  perseant 	/* If the Ifile is too short to contain this inum, extend it */
    144       1.1  perseant 	while (VTOI(fs->lfs_ivnode)->i_size <= (ino /
    145       1.1  perseant 		fs->lfs_ifpb + fs->lfs_cleansz + fs->lfs_segtabsz)
    146       1.1  perseant 		<< fs->lfs_bshift) {
    147       1.2  perseant 		lfs_extend_ifile(fs, NOCRED);
    148       1.1  perseant 	}
    149       1.1  perseant 
    150       1.1  perseant 	LFS_IENTRY(ifp, fs, ino, bp);
    151       1.1  perseant 	oldnext = ifp->if_nextfree;
    152       1.1  perseant 	ifp->if_version = vers;
    153       1.4        ad 	brelse(bp, 0);
    154       1.1  perseant 
    155       1.1  perseant 	LFS_GET_HEADFREE(fs, cip, cbp, &ino);
    156       1.1  perseant 	if (ino) {
    157       1.1  perseant 		LFS_PUT_HEADFREE(fs, cip, cbp, oldnext);
    158       1.1  perseant 	} else {
    159       1.1  perseant 		tino = ino;
    160       1.1  perseant 		while (1) {
    161       1.1  perseant 			LFS_IENTRY(ifp, fs, tino, bp);
    162       1.1  perseant 			if (ifp->if_nextfree == ino ||
    163       1.1  perseant 			    ifp->if_nextfree == LFS_UNUSED_INUM)
    164       1.1  perseant 				break;
    165       1.1  perseant 			tino = ifp->if_nextfree;
    166       1.4        ad 			brelse(bp, 0);
    167       1.1  perseant 		}
    168       1.1  perseant 		if (ifp->if_nextfree == LFS_UNUSED_INUM) {
    169       1.4        ad 			brelse(bp, 0);
    170       1.1  perseant 			return ENOENT;
    171       1.1  perseant 		}
    172       1.1  perseant 		ifp->if_nextfree = oldnext;
    173       1.1  perseant 		LFS_BWRITE_LOG(bp);
    174       1.1  perseant 	}
    175       1.1  perseant 
    176       1.1  perseant 	error = lfs_ialloc(fs, fs->lfs_ivnode, ino, vers, &vp);
    177       1.1  perseant 	if (error == 0) {
    178       1.1  perseant 		/*
    179       1.1  perseant 		 * Make it VREG so we can put blocks on it.  We will change
    180       1.1  perseant 		 * this later if it turns out to be some other kind of file.
    181       1.1  perseant 		 */
    182       1.1  perseant 		ip = VTOI(vp);
    183       1.1  perseant 		ip->i_mode = ip->i_ffs1_mode = IFREG;
    184       1.1  perseant 		ip->i_nlink = ip->i_ffs1_nlink = 1;
    185       1.1  perseant 		ip->i_ffs_effnlink = 1;
    186       1.1  perseant 		ufs_vinit(vp->v_mount, lfs_specop_p, lfs_fifoop_p, &vp);
    187       1.1  perseant 		ip = VTOI(vp);
    188       1.1  perseant 
    189       1.1  perseant 		DLOG((DLOG_RF, "lfs_rf_valloc: ino %d vp %p\n", ino, vp));
    190       1.1  perseant 
    191       1.1  perseant 		/* The dirop-nature of this vnode is past */
    192       1.1  perseant 		lfs_unmark_vnode(vp);
    193       1.1  perseant 		(void)lfs_vunref(vp);
    194       1.5        ad 		vp->v_uflag &= ~VU_DIROP;
    195       1.9        ad 		mutex_enter(&lfs_lock);
    196       1.1  perseant 		--lfs_dirvcount;
    197       1.1  perseant 		--fs->lfs_dirvcount;
    198       1.1  perseant 		TAILQ_REMOVE(&fs->lfs_dchainhd, ip, i_lfs_dchain);
    199       1.1  perseant 		wakeup(&lfs_dirvcount);
    200       1.1  perseant 		wakeup(&fs->lfs_dirvcount);
    201       1.9        ad 		mutex_exit(&lfs_lock);
    202       1.1  perseant 	}
    203       1.1  perseant 	*vpp = vp;
    204       1.1  perseant 	return error;
    205       1.1  perseant }
    206       1.1  perseant 
    207       1.1  perseant /*
    208       1.1  perseant  * Load the appropriate indirect block, and change the appropriate pointer.
    209       1.1  perseant  * Mark the block dirty.  Do segment and avail accounting.
    210       1.1  perseant  */
    211       1.1  perseant static int
    212       1.1  perseant update_meta(struct lfs *fs, ino_t ino, int vers, daddr_t lbn,
    213       1.1  perseant 	    daddr_t ndaddr, size_t size, struct lwp *l)
    214       1.1  perseant {
    215       1.1  perseant 	int error;
    216       1.1  perseant 	struct vnode *vp;
    217       1.1  perseant 	struct inode *ip;
    218       1.1  perseant #ifdef DEBUG
    219       1.1  perseant 	daddr_t odaddr;
    220       1.1  perseant 	struct indir a[NIADDR];
    221       1.1  perseant 	int num;
    222       1.1  perseant 	int i;
    223       1.1  perseant #endif /* DEBUG */
    224       1.1  perseant 	struct buf *bp;
    225       1.1  perseant 	SEGUSE *sup;
    226       1.1  perseant 
    227       1.1  perseant 	KASSERT(lbn >= 0);	/* no indirect blocks */
    228       1.1  perseant 
    229       1.1  perseant 	if ((error = lfs_rf_valloc(fs, ino, vers, l, &vp)) != 0) {
    230       1.1  perseant 		DLOG((DLOG_RF, "update_meta: ino %d: lfs_rf_valloc"
    231       1.1  perseant 		      " returned %d\n", ino, error));
    232       1.1  perseant 		return error;
    233       1.1  perseant 	}
    234       1.1  perseant 
    235       1.1  perseant 	if ((error = lfs_balloc(vp, (lbn << fs->lfs_bshift), size,
    236       1.1  perseant 				NOCRED, 0, &bp)) != 0) {
    237       1.1  perseant 		vput(vp);
    238       1.1  perseant 		return (error);
    239       1.1  perseant 	}
    240       1.1  perseant 	/* No need to write, the block is already on disk */
    241       1.9        ad 	if (bp->b_oflags & BO_DELWRI) {
    242       1.1  perseant 		LFS_UNLOCK_BUF(bp);
    243       1.1  perseant 		fs->lfs_avail += btofsb(fs, bp->b_bcount);
    244       1.1  perseant 	}
    245       1.4        ad 	brelse(bp, BC_INVAL);
    246       1.1  perseant 
    247       1.1  perseant 	/*
    248       1.1  perseant 	 * Extend the file, if it is not large enough already.
    249       1.1  perseant 	 * XXX this is not exactly right, we don't know how much of the
    250       1.1  perseant 	 * XXX last block is actually used.  We hope that an inode will
    251       1.1  perseant 	 * XXX appear later to give the correct size.
    252       1.1  perseant 	 */
    253       1.1  perseant 	ip = VTOI(vp);
    254       1.1  perseant 	if (ip->i_size <= (lbn << fs->lfs_bshift)) {
    255       1.1  perseant 		u_int64_t newsize;
    256       1.1  perseant 
    257       1.1  perseant 		if (lbn < NDADDR)
    258       1.1  perseant 			newsize = ip->i_ffs1_size = (lbn << fs->lfs_bshift) +
    259       1.1  perseant 				(size - fs->lfs_fsize) + 1;
    260       1.1  perseant 		else
    261       1.1  perseant 			newsize = ip->i_ffs1_size = (lbn << fs->lfs_bshift) + 1;
    262       1.1  perseant 
    263       1.1  perseant 		if (ip->i_size < newsize) {
    264       1.1  perseant 			ip->i_size = newsize;
    265       1.1  perseant 			/*
    266       1.1  perseant 			 * tell vm our new size for the case the inode won't
    267       1.1  perseant 			 * appear later.
    268       1.1  perseant 			 */
    269       1.1  perseant 			uvm_vnp_setsize(vp, newsize);
    270       1.1  perseant 		}
    271       1.1  perseant 	}
    272       1.1  perseant 
    273       1.1  perseant 	lfs_update_single(fs, NULL, vp, lbn, ndaddr, size);
    274       1.1  perseant 
    275       1.1  perseant 	LFS_SEGENTRY(sup, fs, dtosn(fs, ndaddr), bp);
    276       1.1  perseant 	sup->su_nbytes += size;
    277       1.1  perseant 	LFS_WRITESEGENTRY(sup, fs, dtosn(fs, ndaddr), bp);
    278       1.1  perseant 
    279       1.1  perseant 	/* differences here should be due to UNWRITTEN indirect blocks. */
    280       1.1  perseant 	KASSERT((lblkno(fs, ip->i_size) > NDADDR &&
    281       1.1  perseant 	    ip->i_lfs_effnblks == ip->i_ffs1_blocks) ||
    282       1.1  perseant 	    ip->i_lfs_effnblks >= ip->i_ffs1_blocks);
    283       1.1  perseant 
    284       1.1  perseant #ifdef DEBUG
    285       1.1  perseant 	/* Now look again to make sure it worked */
    286       1.1  perseant 	ufs_bmaparray(vp, lbn, &odaddr, &a[0], &num, NULL, NULL);
    287       1.1  perseant 	for (i = num; i > 0; i--) {
    288       1.1  perseant 		if (!a[i].in_exists)
    289       1.1  perseant 			panic("update_meta: absent %d lv indirect block", i);
    290       1.1  perseant 	}
    291       1.1  perseant 	if (dbtofsb(fs, odaddr) != ndaddr)
    292       1.1  perseant 		DLOG((DLOG_RF, "update_meta: failed setting ino %d lbn %"
    293       1.1  perseant 		      PRId64 " to %" PRId64 "\n", ino, lbn, ndaddr));
    294       1.1  perseant #endif /* DEBUG */
    295       1.1  perseant 	vput(vp);
    296       1.1  perseant 	return 0;
    297       1.1  perseant }
    298       1.1  perseant 
    299       1.1  perseant static int
    300       1.1  perseant update_inoblk(struct lfs *fs, daddr_t offset, kauth_cred_t cred,
    301       1.1  perseant 	      struct lwp *l)
    302       1.1  perseant {
    303       1.1  perseant 	struct vnode *devvp, *vp;
    304       1.1  perseant 	struct inode *ip;
    305       1.1  perseant 	struct ufs1_dinode *dip;
    306       1.1  perseant 	struct buf *dbp, *ibp;
    307       1.1  perseant 	int error;
    308       1.1  perseant 	daddr_t daddr;
    309       1.1  perseant 	IFILE *ifp;
    310       1.1  perseant 	SEGUSE *sup;
    311       1.1  perseant 
    312       1.1  perseant 	devvp = VTOI(fs->lfs_ivnode)->i_devvp;
    313       1.1  perseant 
    314       1.1  perseant 	/*
    315       1.1  perseant 	 * Get the inode, update times and perms.
    316       1.1  perseant 	 * DO NOT update disk blocks, we do that separately.
    317       1.1  perseant 	 */
    318       1.1  perseant 	error = bread(devvp, fsbtodb(fs, offset), fs->lfs_ibsize, cred, &dbp);
    319       1.1  perseant 	if (error) {
    320       1.1  perseant 		DLOG((DLOG_RF, "update_inoblk: bread returned %d\n", error));
    321       1.1  perseant 		return error;
    322       1.1  perseant 	}
    323       1.1  perseant 	dip = ((struct ufs1_dinode *)(dbp->b_data)) + INOPB(fs);
    324       1.1  perseant 	while (--dip >= (struct ufs1_dinode *)dbp->b_data) {
    325       1.1  perseant 		if (dip->di_inumber > LFS_IFILE_INUM) {
    326       1.1  perseant 			error = lfs_rf_valloc(fs, dip->di_inumber, dip->di_gen,
    327       1.1  perseant 					      l, &vp);
    328       1.1  perseant 			if (error) {
    329       1.1  perseant 				DLOG((DLOG_RF, "update_inoblk: lfs_rf_valloc"
    330       1.1  perseant 				      " returned %d\n", error));
    331       1.1  perseant 				continue;
    332       1.1  perseant 			}
    333       1.1  perseant 			ip = VTOI(vp);
    334       1.1  perseant 			if (dip->di_size != ip->i_size)
    335       1.8        he 				lfs_truncate(vp, dip->di_size, 0, NOCRED);
    336       1.1  perseant 			/* Get mode, link count, size, and times */
    337       1.1  perseant 			memcpy(ip->i_din.ffs1_din, dip,
    338       1.1  perseant 			       offsetof(struct ufs1_dinode, di_db[0]));
    339       1.1  perseant 
    340       1.1  perseant 			/* Then the rest, except di_blocks */
    341       1.1  perseant 			ip->i_flags = ip->i_ffs1_flags = dip->di_flags;
    342       1.1  perseant 			ip->i_gen = ip->i_ffs1_gen = dip->di_gen;
    343       1.1  perseant 			ip->i_uid = ip->i_ffs1_uid = dip->di_uid;
    344       1.1  perseant 			ip->i_gid = ip->i_ffs1_gid = dip->di_gid;
    345       1.1  perseant 
    346       1.1  perseant 			ip->i_mode = ip->i_ffs1_mode;
    347       1.1  perseant 			ip->i_nlink = ip->i_ffs_effnlink = ip->i_ffs1_nlink;
    348       1.1  perseant 			ip->i_size = ip->i_ffs1_size;
    349       1.1  perseant 
    350       1.1  perseant 			LFS_SET_UINO(ip, IN_CHANGE | IN_UPDATE);
    351       1.1  perseant 
    352       1.1  perseant 			/* Re-initialize to get type right */
    353       1.1  perseant 			ufs_vinit(vp->v_mount, lfs_specop_p, lfs_fifoop_p,
    354       1.1  perseant 				  &vp);
    355       1.1  perseant 			vput(vp);
    356       1.1  perseant 
    357       1.1  perseant 			/* Record change in location */
    358       1.1  perseant 			LFS_IENTRY(ifp, fs, dip->di_inumber, ibp);
    359       1.1  perseant 			daddr = ifp->if_daddr;
    360       1.1  perseant 			ifp->if_daddr = dbtofsb(fs, dbp->b_blkno);
    361       1.1  perseant 			error = LFS_BWRITE_LOG(ibp); /* Ifile */
    362       1.1  perseant 			/* And do segment accounting */
    363       1.1  perseant 			if (dtosn(fs, daddr) != dtosn(fs, dbtofsb(fs, dbp->b_blkno))) {
    364       1.1  perseant 				if (daddr > 0) {
    365       1.1  perseant 					LFS_SEGENTRY(sup, fs, dtosn(fs, daddr),
    366       1.1  perseant 						     ibp);
    367       1.1  perseant 					sup->su_nbytes -= sizeof (struct ufs1_dinode);
    368       1.1  perseant 					LFS_WRITESEGENTRY(sup, fs,
    369       1.1  perseant 							  dtosn(fs, daddr),
    370       1.1  perseant 							  ibp);
    371       1.1  perseant 				}
    372       1.1  perseant 				LFS_SEGENTRY(sup, fs, dtosn(fs, dbtofsb(fs, dbp->b_blkno)),
    373       1.1  perseant 					     ibp);
    374       1.1  perseant 				sup->su_nbytes += sizeof (struct ufs1_dinode);
    375       1.1  perseant 				LFS_WRITESEGENTRY(sup, fs,
    376       1.1  perseant 						  dtosn(fs, dbtofsb(fs, dbp->b_blkno)),
    377       1.1  perseant 						  ibp);
    378       1.1  perseant 			}
    379       1.1  perseant 		}
    380       1.1  perseant 	}
    381       1.4        ad 	brelse(dbp, BC_AGE);
    382       1.1  perseant 
    383       1.1  perseant 	return 0;
    384       1.1  perseant }
    385       1.1  perseant 
    386       1.1  perseant #define CHECK_CKSUM   0x0001  /* Check the checksum to make sure it's valid */
    387       1.1  perseant #define CHECK_UPDATE  0x0002  /* Update Ifile for new data blocks / inodes */
    388       1.1  perseant 
    389       1.1  perseant static daddr_t
    390       1.1  perseant check_segsum(struct lfs *fs, daddr_t offset, u_int64_t nextserial,
    391       1.1  perseant 	     kauth_cred_t cred, int flags, int *pseg_flags, struct lwp *l)
    392       1.1  perseant {
    393       1.1  perseant 	struct vnode *devvp;
    394       1.1  perseant 	struct buf *bp, *dbp;
    395       1.1  perseant 	int error, nblocks = 0, ninos, i, j; /* XXX: gcc */
    396       1.1  perseant 	SEGSUM *ssp;
    397       1.1  perseant 	u_long *dp = NULL, *datap = NULL; /* XXX u_int32_t */
    398       1.1  perseant 	daddr_t oldoffset;
    399       1.1  perseant 	int32_t *iaddr;	/* XXX ondisk32 */
    400       1.1  perseant 	FINFO *fip;
    401       1.1  perseant 	SEGUSE *sup;
    402       1.1  perseant 	size_t size;
    403       1.1  perseant 
    404       1.1  perseant 	devvp = VTOI(fs->lfs_ivnode)->i_devvp;
    405       1.1  perseant 	/*
    406       1.1  perseant 	 * If the segment has a superblock and we're at the top
    407       1.1  perseant 	 * of the segment, skip the superblock.
    408       1.1  perseant 	 */
    409       1.1  perseant 	if (sntod(fs, dtosn(fs, offset)) == offset) {
    410       1.1  perseant 		LFS_SEGENTRY(sup, fs, dtosn(fs, offset), bp);
    411       1.1  perseant 		if (sup->su_flags & SEGUSE_SUPERBLOCK)
    412       1.1  perseant 			offset += btofsb(fs, LFS_SBPAD);
    413       1.4        ad 		brelse(bp, 0);
    414       1.1  perseant 	}
    415       1.1  perseant 
    416       1.1  perseant 	/* Read in the segment summary */
    417       1.1  perseant 	error = bread(devvp, fsbtodb(fs, offset), fs->lfs_sumsize, cred, &bp);
    418       1.1  perseant 	if (error)
    419       1.1  perseant 		return -1;
    420       1.1  perseant 
    421       1.1  perseant 	/* Check summary checksum */
    422       1.1  perseant 	ssp = (SEGSUM *)bp->b_data;
    423       1.1  perseant 	if (flags & CHECK_CKSUM) {
    424       1.1  perseant 		if (ssp->ss_sumsum != cksum(&ssp->ss_datasum,
    425       1.1  perseant 					   fs->lfs_sumsize -
    426       1.1  perseant 					   sizeof(ssp->ss_sumsum))) {
    427       1.1  perseant 			DLOG((DLOG_RF, "Sumsum error at 0x%" PRIx64 "\n", offset));
    428       1.1  perseant 			offset = -1;
    429       1.1  perseant 			goto err1;
    430       1.1  perseant 		}
    431       1.1  perseant 		if (ssp->ss_nfinfo == 0 && ssp->ss_ninos == 0) {
    432       1.1  perseant 			DLOG((DLOG_RF, "Empty pseg at 0x%" PRIx64 "\n", offset));
    433       1.1  perseant 			offset = -1;
    434       1.1  perseant 			goto err1;
    435       1.1  perseant 		}
    436       1.1  perseant 		if (ssp->ss_create < fs->lfs_tstamp) {
    437       1.1  perseant 			DLOG((DLOG_RF, "Old data at 0x%" PRIx64 "\n", offset));
    438       1.1  perseant 			offset = -1;
    439       1.1  perseant 			goto err1;
    440       1.1  perseant 		}
    441       1.1  perseant 	}
    442       1.1  perseant 	if (fs->lfs_version > 1) {
    443       1.1  perseant 		if (ssp->ss_serial != nextserial) {
    444       1.1  perseant 			DLOG((DLOG_RF, "Unexpected serial number at 0x%" PRIx64
    445       1.1  perseant 			      "\n", offset));
    446       1.1  perseant 			offset = -1;
    447       1.1  perseant 			goto err1;
    448       1.1  perseant 		}
    449       1.1  perseant 		if (ssp->ss_ident != fs->lfs_ident) {
    450       1.1  perseant 			DLOG((DLOG_RF, "Incorrect fsid (0x%x vs 0x%x) at 0x%"
    451       1.1  perseant 			      PRIx64 "\n", ssp->ss_ident, fs->lfs_ident, offset));
    452       1.1  perseant 			offset = -1;
    453       1.1  perseant 			goto err1;
    454       1.1  perseant 		}
    455       1.1  perseant 	}
    456       1.1  perseant 	if (pseg_flags)
    457       1.1  perseant 		*pseg_flags = ssp->ss_flags;
    458       1.1  perseant 	oldoffset = offset;
    459       1.1  perseant 	offset += btofsb(fs, fs->lfs_sumsize);
    460       1.1  perseant 
    461       1.1  perseant 	ninos = howmany(ssp->ss_ninos, INOPB(fs));
    462       1.1  perseant 	/* XXX ondisk32 */
    463       1.8        he 	iaddr = (int32_t *)((char*)bp->b_data + fs->lfs_sumsize - sizeof(int32_t));
    464       1.1  perseant 	if (flags & CHECK_CKSUM) {
    465       1.1  perseant 		/* Count blocks */
    466       1.1  perseant 		nblocks = 0;
    467       1.8        he 		fip = (FINFO *)((char*)bp->b_data + SEGSUM_SIZE(fs));
    468       1.1  perseant 		for (i = 0; i < ssp->ss_nfinfo; ++i) {
    469       1.1  perseant 			nblocks += fip->fi_nblocks;
    470       1.1  perseant 			if (fip->fi_nblocks <= 0)
    471       1.1  perseant 				break;
    472       1.1  perseant 			/* XXX ondisk32 */
    473       1.1  perseant 			fip = (FINFO *)(((char *)fip) + FINFOSIZE +
    474       1.1  perseant 					(fip->fi_nblocks * sizeof(int32_t)));
    475       1.1  perseant 		}
    476       1.1  perseant 		nblocks += ninos;
    477       1.1  perseant 		/* Create the sum array */
    478       1.1  perseant 		datap = dp = (u_long *)malloc(nblocks * sizeof(u_long),
    479       1.1  perseant 					      M_SEGMENT, M_WAITOK);
    480       1.1  perseant 	}
    481       1.1  perseant 
    482       1.1  perseant 	/* Handle individual blocks */
    483       1.8        he 	fip = (FINFO *)((char*)bp->b_data + SEGSUM_SIZE(fs));
    484       1.1  perseant 	for (i = 0; i < ssp->ss_nfinfo || ninos; ++i) {
    485       1.1  perseant 		/* Inode block? */
    486       1.1  perseant 		if (ninos && *iaddr == offset) {
    487       1.1  perseant 			if (flags & CHECK_CKSUM) {
    488       1.1  perseant 				/* Read in the head and add to the buffer */
    489       1.1  perseant 				error = bread(devvp, fsbtodb(fs, offset), fs->lfs_bsize,
    490       1.1  perseant 					      cred, &dbp);
    491       1.1  perseant 				if (error) {
    492       1.1  perseant 					offset = -1;
    493       1.1  perseant 					goto err2;
    494       1.1  perseant 				}
    495       1.1  perseant 				(*dp++) = ((u_long *)(dbp->b_data))[0];
    496       1.4        ad 				brelse(dbp, BC_AGE);
    497       1.1  perseant 			}
    498       1.1  perseant 			if (flags & CHECK_UPDATE) {
    499       1.1  perseant 				if ((error = update_inoblk(fs, offset, cred, l))
    500       1.1  perseant 				    != 0) {
    501       1.1  perseant 					offset = -1;
    502       1.1  perseant 					goto err2;
    503       1.1  perseant 				}
    504       1.1  perseant 			}
    505       1.1  perseant 			offset += btofsb(fs, fs->lfs_ibsize);
    506       1.1  perseant 			--iaddr;
    507       1.1  perseant 			--ninos;
    508       1.1  perseant 			--i; /* compensate */
    509       1.1  perseant 			continue;
    510       1.1  perseant 		}
    511       1.1  perseant 		size = fs->lfs_bsize;
    512       1.1  perseant 		for (j = 0; j < fip->fi_nblocks; ++j) {
    513       1.1  perseant 			if (j == fip->fi_nblocks - 1)
    514       1.1  perseant 				size = fip->fi_lastlength;
    515       1.1  perseant 			if (flags & CHECK_CKSUM) {
    516       1.1  perseant 				error = bread(devvp, fsbtodb(fs, offset), size, cred, &dbp);
    517       1.1  perseant 				if (error) {
    518       1.1  perseant 					offset = -1;
    519       1.1  perseant 					goto err2;
    520       1.1  perseant 				}
    521       1.1  perseant 				(*dp++) = ((u_long *)(dbp->b_data))[0];
    522       1.4        ad 				brelse(dbp, BC_AGE);
    523       1.1  perseant 			}
    524       1.1  perseant 			/* Account for and update any direct blocks */
    525       1.1  perseant 			if ((flags & CHECK_UPDATE) &&
    526       1.1  perseant 			   fip->fi_ino > LFS_IFILE_INUM &&
    527       1.1  perseant 			   fip->fi_blocks[j] >= 0) {
    528       1.1  perseant 				update_meta(fs, fip->fi_ino, fip->fi_version,
    529       1.1  perseant 					    fip->fi_blocks[j], offset, size, l);
    530       1.1  perseant 			}
    531       1.1  perseant 			offset += btofsb(fs, size);
    532       1.1  perseant 		}
    533       1.1  perseant 		/* XXX ondisk32 */
    534       1.1  perseant 		fip = (FINFO *)(((char *)fip) + FINFOSIZE
    535       1.1  perseant 				+ fip->fi_nblocks * sizeof(int32_t));
    536       1.1  perseant 	}
    537       1.1  perseant 	/* Checksum the array, compare */
    538       1.1  perseant 	if ((flags & CHECK_CKSUM) &&
    539       1.1  perseant 	   ssp->ss_datasum != cksum(datap, nblocks * sizeof(u_long)))
    540       1.1  perseant 	{
    541       1.1  perseant 		DLOG((DLOG_RF, "Datasum error at 0x%" PRIx64
    542       1.1  perseant 		      " (wanted %x got %x)\n",
    543       1.1  perseant 		      offset, ssp->ss_datasum, cksum(datap, nblocks *
    544       1.1  perseant 						     sizeof(u_long))));
    545       1.1  perseant 		offset = -1;
    546       1.1  perseant 		goto err2;
    547       1.1  perseant 	}
    548       1.1  perseant 
    549       1.1  perseant 	/* If we're at the end of the segment, move to the next */
    550       1.1  perseant 	if (dtosn(fs, offset + btofsb(fs, fs->lfs_sumsize + fs->lfs_bsize)) !=
    551       1.1  perseant 	   dtosn(fs, offset)) {
    552       1.1  perseant 		if (dtosn(fs, offset) == dtosn(fs, ssp->ss_next)) {
    553       1.1  perseant 			offset = -1;
    554       1.1  perseant 			goto err2;
    555       1.1  perseant 		}
    556       1.1  perseant 		offset = ssp->ss_next;
    557       1.1  perseant 		DLOG((DLOG_RF, "LFS roll forward: moving to offset 0x%" PRIx64
    558       1.1  perseant 		       " -> segment %d\n", offset, dtosn(fs,offset)));
    559       1.1  perseant 	}
    560       1.1  perseant 
    561       1.1  perseant 	if (flags & CHECK_UPDATE) {
    562       1.1  perseant 		fs->lfs_avail -= (offset - oldoffset);
    563       1.1  perseant 		/* Don't clog the buffer queue */
    564       1.9        ad 		mutex_enter(&lfs_lock);
    565       1.1  perseant 		if (locked_queue_count > LFS_MAX_BUFS ||
    566       1.1  perseant 		    locked_queue_bytes > LFS_MAX_BYTES) {
    567       1.1  perseant 			lfs_flush(fs, SEGM_CKP, 0);
    568       1.1  perseant 		}
    569       1.9        ad 		mutex_exit(&lfs_lock);
    570       1.1  perseant 	}
    571       1.1  perseant 
    572       1.1  perseant     err2:
    573       1.1  perseant 	if (flags & CHECK_CKSUM)
    574       1.1  perseant 		free(datap, M_SEGMENT);
    575       1.1  perseant     err1:
    576       1.7        ad 	brelse(bp, BC_AGE);
    577       1.1  perseant 
    578       1.1  perseant 	/* XXX should we update the serial number even for bad psegs? */
    579       1.1  perseant 	if ((flags & CHECK_UPDATE) && offset > 0 && fs->lfs_version > 1)
    580       1.1  perseant 		fs->lfs_serial = nextserial;
    581       1.1  perseant 	return offset;
    582       1.1  perseant }
    583       1.1  perseant 
    584       1.1  perseant void
    585       1.2  perseant lfs_roll_forward(struct lfs *fs, struct mount *mp, struct lwp *l)
    586       1.1  perseant {
    587       1.3  perseant 	int flags, dirty;
    588       1.3  perseant 	daddr_t offset, oldoffset, lastgoodpseg;
    589       1.3  perseant 	int sn, curseg, do_rollforward;
    590       1.3  perseant 	struct proc *p;
    591       1.3  perseant 	kauth_cred_t cred;
    592       1.3  perseant 	SEGUSE *sup;
    593       1.3  perseant 	struct buf *bp;
    594       1.3  perseant 
    595       1.3  perseant 	p = l ? l->l_proc : NULL;
    596       1.3  perseant 	cred = p ? p->p_cred : NOCRED;
    597       1.1  perseant 
    598       1.1  perseant 	/*
    599       1.1  perseant 	 * Roll forward.
    600       1.1  perseant 	 *
    601       1.1  perseant 	 * We don't roll forward for v1 filesystems, because
    602       1.1  perseant 	 * of the danger that the clock was turned back between the last
    603       1.1  perseant 	 * checkpoint and crash.  This would roll forward garbage.
    604       1.1  perseant 	 *
    605       1.1  perseant 	 * v2 filesystems don't have this problem because they use a
    606       1.1  perseant 	 * monotonically increasing serial number instead of a timestamp.
    607       1.1  perseant 	 */
    608       1.1  perseant 	do_rollforward = (!(fs->lfs_pflags & LFS_PF_CLEAN) &&
    609       1.1  perseant 			  lfs_do_rfw && fs->lfs_version > 1 && p != NULL);
    610       1.1  perseant 	if (do_rollforward) {
    611       1.1  perseant 		u_int64_t nextserial;
    612       1.1  perseant 		/*
    613       1.1  perseant 		 * Phase I: Find the address of the last good partial
    614       1.1  perseant 		 * segment that was written after the checkpoint.  Mark
    615       1.1  perseant 		 * the segments in question dirty, so they won't be
    616       1.1  perseant 		 * reallocated.
    617       1.1  perseant 		 */
    618       1.1  perseant 		lastgoodpseg = oldoffset = offset = fs->lfs_offset;
    619       1.1  perseant 		flags = 0x0;
    620       1.1  perseant 		DLOG((DLOG_RF, "LFS roll forward phase 1: start at offset 0x%"
    621       1.1  perseant 		      PRIx64 "\n", offset));
    622       1.1  perseant 		LFS_SEGENTRY(sup, fs, dtosn(fs, offset), bp);
    623       1.1  perseant 		if (!(sup->su_flags & SEGUSE_DIRTY))
    624       1.1  perseant 			--fs->lfs_nclean;
    625       1.1  perseant 		sup->su_flags |= SEGUSE_DIRTY;
    626       1.1  perseant 		LFS_WRITESEGENTRY(sup, fs, dtosn(fs, offset), bp);
    627       1.1  perseant 		nextserial = fs->lfs_serial + 1;
    628       1.1  perseant 		while ((offset = check_segsum(fs, offset, nextserial,
    629       1.1  perseant 		    cred, CHECK_CKSUM, &flags, l)) > 0) {
    630       1.1  perseant 			nextserial++;
    631       1.1  perseant 			if (sntod(fs, oldoffset) != sntod(fs, offset)) {
    632       1.1  perseant 				LFS_SEGENTRY(sup, fs, dtosn(fs, oldoffset),
    633       1.1  perseant 					     bp);
    634       1.1  perseant 				if (!(sup->su_flags & SEGUSE_DIRTY))
    635       1.1  perseant 					--fs->lfs_nclean;
    636       1.1  perseant 				sup->su_flags |= SEGUSE_DIRTY;
    637       1.1  perseant 				LFS_WRITESEGENTRY(sup, fs, dtosn(fs, oldoffset),
    638       1.1  perseant 					     bp);
    639       1.1  perseant 			}
    640       1.1  perseant 
    641       1.1  perseant 			DLOG((DLOG_RF, "LFS roll forward phase 1: offset=0x%"
    642       1.1  perseant 			      PRIx64 "\n", offset));
    643       1.1  perseant 			if (flags & SS_DIROP) {
    644       1.1  perseant 				DLOG((DLOG_RF, "lfs_mountfs: dirops at 0x%"
    645       1.1  perseant 				      PRIx64 "\n", oldoffset));
    646       1.8        he 				if (!(flags & SS_CONT)) {
    647       1.1  perseant 				     DLOG((DLOG_RF, "lfs_mountfs: dirops end "
    648       1.1  perseant 					   "at 0x%" PRIx64 "\n", oldoffset));
    649       1.8        he 				}
    650       1.1  perseant 			}
    651       1.1  perseant 			if (!(flags & SS_CONT))
    652       1.1  perseant 				lastgoodpseg = offset;
    653       1.1  perseant 			oldoffset = offset;
    654       1.1  perseant 		}
    655       1.1  perseant 		if (flags & SS_CONT) {
    656       1.1  perseant 			DLOG((DLOG_RF, "LFS roll forward: warning: incomplete "
    657       1.1  perseant 			      "dirops discarded\n"));
    658       1.1  perseant 		}
    659       1.1  perseant 		DLOG((DLOG_RF, "LFS roll forward phase 1: completed: "
    660       1.1  perseant 		      "lastgoodpseg=0x%" PRIx64 "\n", lastgoodpseg));
    661       1.1  perseant 		oldoffset = fs->lfs_offset;
    662       1.1  perseant 		if (fs->lfs_offset != lastgoodpseg) {
    663       1.1  perseant 			/* Don't overwrite what we're trying to preserve */
    664       1.1  perseant 			offset = fs->lfs_offset;
    665       1.1  perseant 			fs->lfs_offset = lastgoodpseg;
    666       1.1  perseant 			fs->lfs_curseg = sntod(fs, dtosn(fs, fs->lfs_offset));
    667       1.1  perseant 			for (sn = curseg = dtosn(fs, fs->lfs_curseg);;) {
    668       1.1  perseant 				sn = (sn + 1) % fs->lfs_nseg;
    669       1.1  perseant 				if (sn == curseg)
    670       1.1  perseant 					panic("lfs_mountfs: no clean segments");
    671       1.1  perseant 				LFS_SEGENTRY(sup, fs, sn, bp);
    672       1.1  perseant 				dirty = (sup->su_flags & SEGUSE_DIRTY);
    673       1.4        ad 				brelse(bp, 0);
    674       1.1  perseant 				if (!dirty)
    675       1.1  perseant 					break;
    676       1.1  perseant 			}
    677       1.1  perseant 			fs->lfs_nextseg = sntod(fs, sn);
    678       1.1  perseant 
    679       1.1  perseant 			/*
    680       1.1  perseant 			 * Phase II: Roll forward from the first superblock.
    681       1.1  perseant 			 */
    682       1.1  perseant 			while (offset != lastgoodpseg) {
    683       1.1  perseant 				DLOG((DLOG_RF, "LFS roll forward phase 2: 0x%"
    684       1.1  perseant 				      PRIx64 "\n", offset));
    685       1.1  perseant 				offset = check_segsum(fs, offset,
    686       1.1  perseant 				    fs->lfs_serial + 1, cred, CHECK_UPDATE,
    687       1.1  perseant 				    NULL, l);
    688       1.1  perseant 			}
    689       1.1  perseant 
    690       1.1  perseant 			/*
    691       1.1  perseant 			 * Finish: flush our changes to disk.
    692       1.1  perseant 			 */
    693       1.1  perseant 			lfs_segwrite(mp, SEGM_CKP | SEGM_SYNC);
    694       1.1  perseant 			DLOG((DLOG_RF, "lfs_mountfs: roll forward ",
    695       1.1  perseant 			      "recovered %lld blocks\n",
    696       1.1  perseant 			      (long long)(lastgoodpseg - oldoffset)));
    697       1.1  perseant 		}
    698       1.1  perseant 		DLOG((DLOG_RF, "LFS roll forward complete\n"));
    699       1.1  perseant 	}
    700       1.1  perseant }
    701