Home | History | Annotate | Line # | Download | only in lfs
lfs_rfw.c revision 1.14
      1  1.14  dholland /*	$NetBSD: lfs_rfw.c,v 1.14 2013/06/06 00:44:40 dholland 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.14  dholland __KERNEL_RCSID(0, "$NetBSD: lfs_rfw.c,v 1.14 2013/06/06 00:44:40 dholland 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.14  dholland #include <ufs/lfs/ulfs_quotacommon.h>
     66  1.14  dholland #include <ufs/lfs/ulfs_inode.h>
     67  1.14  dholland #include <ufs/lfs/ulfsmount.h>
     68  1.14  dholland #include <ufs/lfs/ulfs_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 		ufs_vinit(vp->v_mount, lfs_specop_p, lfs_fifoop_p, &vp);
    186   1.1  perseant 		ip = VTOI(vp);
    187   1.1  perseant 
    188   1.1  perseant 		DLOG((DLOG_RF, "lfs_rf_valloc: ino %d vp %p\n", ino, vp));
    189   1.1  perseant 
    190   1.1  perseant 		/* The dirop-nature of this vnode is past */
    191   1.1  perseant 		lfs_unmark_vnode(vp);
    192   1.1  perseant 		(void)lfs_vunref(vp);
    193   1.5        ad 		vp->v_uflag &= ~VU_DIROP;
    194   1.9        ad 		mutex_enter(&lfs_lock);
    195   1.1  perseant 		--lfs_dirvcount;
    196   1.1  perseant 		--fs->lfs_dirvcount;
    197   1.1  perseant 		TAILQ_REMOVE(&fs->lfs_dchainhd, ip, i_lfs_dchain);
    198   1.1  perseant 		wakeup(&lfs_dirvcount);
    199   1.1  perseant 		wakeup(&fs->lfs_dirvcount);
    200   1.9        ad 		mutex_exit(&lfs_lock);
    201   1.1  perseant 	}
    202   1.1  perseant 	*vpp = vp;
    203   1.1  perseant 	return error;
    204   1.1  perseant }
    205   1.1  perseant 
    206   1.1  perseant /*
    207   1.1  perseant  * Load the appropriate indirect block, and change the appropriate pointer.
    208   1.1  perseant  * Mark the block dirty.  Do segment and avail accounting.
    209   1.1  perseant  */
    210   1.1  perseant static int
    211   1.1  perseant update_meta(struct lfs *fs, ino_t ino, int vers, daddr_t lbn,
    212   1.1  perseant 	    daddr_t ndaddr, size_t size, struct lwp *l)
    213   1.1  perseant {
    214   1.1  perseant 	int error;
    215   1.1  perseant 	struct vnode *vp;
    216   1.1  perseant 	struct inode *ip;
    217   1.1  perseant #ifdef DEBUG
    218   1.1  perseant 	daddr_t odaddr;
    219  1.13  dholland 	struct indir a[UFS_NIADDR];
    220   1.1  perseant 	int num;
    221   1.1  perseant 	int i;
    222   1.1  perseant #endif /* DEBUG */
    223   1.1  perseant 	struct buf *bp;
    224   1.1  perseant 	SEGUSE *sup;
    225   1.1  perseant 
    226   1.1  perseant 	KASSERT(lbn >= 0);	/* no indirect blocks */
    227   1.1  perseant 
    228   1.1  perseant 	if ((error = lfs_rf_valloc(fs, ino, vers, l, &vp)) != 0) {
    229   1.1  perseant 		DLOG((DLOG_RF, "update_meta: ino %d: lfs_rf_valloc"
    230   1.1  perseant 		      " returned %d\n", ino, error));
    231   1.1  perseant 		return error;
    232   1.1  perseant 	}
    233   1.1  perseant 
    234   1.1  perseant 	if ((error = lfs_balloc(vp, (lbn << fs->lfs_bshift), size,
    235   1.1  perseant 				NOCRED, 0, &bp)) != 0) {
    236   1.1  perseant 		vput(vp);
    237   1.1  perseant 		return (error);
    238   1.1  perseant 	}
    239   1.1  perseant 	/* No need to write, the block is already on disk */
    240   1.9        ad 	if (bp->b_oflags & BO_DELWRI) {
    241   1.1  perseant 		LFS_UNLOCK_BUF(bp);
    242   1.1  perseant 		fs->lfs_avail += btofsb(fs, bp->b_bcount);
    243   1.1  perseant 	}
    244   1.4        ad 	brelse(bp, BC_INVAL);
    245   1.1  perseant 
    246   1.1  perseant 	/*
    247   1.1  perseant 	 * Extend the file, if it is not large enough already.
    248   1.1  perseant 	 * XXX this is not exactly right, we don't know how much of the
    249   1.1  perseant 	 * XXX last block is actually used.  We hope that an inode will
    250   1.1  perseant 	 * XXX appear later to give the correct size.
    251   1.1  perseant 	 */
    252   1.1  perseant 	ip = VTOI(vp);
    253   1.1  perseant 	if (ip->i_size <= (lbn << fs->lfs_bshift)) {
    254   1.1  perseant 		u_int64_t newsize;
    255   1.1  perseant 
    256  1.13  dholland 		if (lbn < UFS_NDADDR)
    257   1.1  perseant 			newsize = ip->i_ffs1_size = (lbn << fs->lfs_bshift) +
    258   1.1  perseant 				(size - fs->lfs_fsize) + 1;
    259   1.1  perseant 		else
    260   1.1  perseant 			newsize = ip->i_ffs1_size = (lbn << fs->lfs_bshift) + 1;
    261   1.1  perseant 
    262   1.1  perseant 		if (ip->i_size < newsize) {
    263   1.1  perseant 			ip->i_size = newsize;
    264   1.1  perseant 			/*
    265   1.1  perseant 			 * tell vm our new size for the case the inode won't
    266   1.1  perseant 			 * appear later.
    267   1.1  perseant 			 */
    268   1.1  perseant 			uvm_vnp_setsize(vp, newsize);
    269   1.1  perseant 		}
    270   1.1  perseant 	}
    271   1.1  perseant 
    272   1.1  perseant 	lfs_update_single(fs, NULL, vp, lbn, ndaddr, size);
    273   1.1  perseant 
    274   1.1  perseant 	LFS_SEGENTRY(sup, fs, dtosn(fs, ndaddr), bp);
    275   1.1  perseant 	sup->su_nbytes += size;
    276   1.1  perseant 	LFS_WRITESEGENTRY(sup, fs, dtosn(fs, ndaddr), bp);
    277   1.1  perseant 
    278   1.1  perseant 	/* differences here should be due to UNWRITTEN indirect blocks. */
    279  1.13  dholland 	KASSERT((lblkno(fs, ip->i_size) > UFS_NDADDR &&
    280   1.1  perseant 	    ip->i_lfs_effnblks == ip->i_ffs1_blocks) ||
    281   1.1  perseant 	    ip->i_lfs_effnblks >= ip->i_ffs1_blocks);
    282   1.1  perseant 
    283   1.1  perseant #ifdef DEBUG
    284   1.1  perseant 	/* Now look again to make sure it worked */
    285   1.1  perseant 	ufs_bmaparray(vp, lbn, &odaddr, &a[0], &num, NULL, NULL);
    286   1.1  perseant 	for (i = num; i > 0; i--) {
    287   1.1  perseant 		if (!a[i].in_exists)
    288   1.1  perseant 			panic("update_meta: absent %d lv indirect block", i);
    289   1.1  perseant 	}
    290   1.1  perseant 	if (dbtofsb(fs, odaddr) != ndaddr)
    291   1.1  perseant 		DLOG((DLOG_RF, "update_meta: failed setting ino %d lbn %"
    292   1.1  perseant 		      PRId64 " to %" PRId64 "\n", ino, lbn, ndaddr));
    293   1.1  perseant #endif /* DEBUG */
    294   1.1  perseant 	vput(vp);
    295   1.1  perseant 	return 0;
    296   1.1  perseant }
    297   1.1  perseant 
    298   1.1  perseant static int
    299   1.1  perseant update_inoblk(struct lfs *fs, daddr_t offset, kauth_cred_t cred,
    300   1.1  perseant 	      struct lwp *l)
    301   1.1  perseant {
    302   1.1  perseant 	struct vnode *devvp, *vp;
    303   1.1  perseant 	struct inode *ip;
    304   1.1  perseant 	struct ufs1_dinode *dip;
    305   1.1  perseant 	struct buf *dbp, *ibp;
    306   1.1  perseant 	int error;
    307   1.1  perseant 	daddr_t daddr;
    308   1.1  perseant 	IFILE *ifp;
    309   1.1  perseant 	SEGUSE *sup;
    310   1.1  perseant 
    311   1.1  perseant 	devvp = VTOI(fs->lfs_ivnode)->i_devvp;
    312   1.1  perseant 
    313   1.1  perseant 	/*
    314   1.1  perseant 	 * Get the inode, update times and perms.
    315   1.1  perseant 	 * DO NOT update disk blocks, we do that separately.
    316   1.1  perseant 	 */
    317  1.11   hannken 	error = bread(devvp, fsbtodb(fs, offset), fs->lfs_ibsize,
    318  1.11   hannken 	    cred, 0, &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.12        ad 			ip->i_nlink = 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.11   hannken 	error = bread(devvp, fsbtodb(fs, offset), fs->lfs_sumsize,
    418  1.11   hannken 	    cred, 0, &bp);
    419   1.1  perseant 	if (error)
    420   1.1  perseant 		return -1;
    421   1.1  perseant 
    422   1.1  perseant 	/* Check summary checksum */
    423   1.1  perseant 	ssp = (SEGSUM *)bp->b_data;
    424   1.1  perseant 	if (flags & CHECK_CKSUM) {
    425   1.1  perseant 		if (ssp->ss_sumsum != cksum(&ssp->ss_datasum,
    426   1.1  perseant 					   fs->lfs_sumsize -
    427   1.1  perseant 					   sizeof(ssp->ss_sumsum))) {
    428   1.1  perseant 			DLOG((DLOG_RF, "Sumsum error at 0x%" PRIx64 "\n", offset));
    429   1.1  perseant 			offset = -1;
    430   1.1  perseant 			goto err1;
    431   1.1  perseant 		}
    432   1.1  perseant 		if (ssp->ss_nfinfo == 0 && ssp->ss_ninos == 0) {
    433   1.1  perseant 			DLOG((DLOG_RF, "Empty pseg at 0x%" PRIx64 "\n", offset));
    434   1.1  perseant 			offset = -1;
    435   1.1  perseant 			goto err1;
    436   1.1  perseant 		}
    437   1.1  perseant 		if (ssp->ss_create < fs->lfs_tstamp) {
    438   1.1  perseant 			DLOG((DLOG_RF, "Old data at 0x%" PRIx64 "\n", offset));
    439   1.1  perseant 			offset = -1;
    440   1.1  perseant 			goto err1;
    441   1.1  perseant 		}
    442   1.1  perseant 	}
    443   1.1  perseant 	if (fs->lfs_version > 1) {
    444   1.1  perseant 		if (ssp->ss_serial != nextserial) {
    445   1.1  perseant 			DLOG((DLOG_RF, "Unexpected serial number at 0x%" PRIx64
    446   1.1  perseant 			      "\n", offset));
    447   1.1  perseant 			offset = -1;
    448   1.1  perseant 			goto err1;
    449   1.1  perseant 		}
    450   1.1  perseant 		if (ssp->ss_ident != fs->lfs_ident) {
    451   1.1  perseant 			DLOG((DLOG_RF, "Incorrect fsid (0x%x vs 0x%x) at 0x%"
    452   1.1  perseant 			      PRIx64 "\n", ssp->ss_ident, fs->lfs_ident, offset));
    453   1.1  perseant 			offset = -1;
    454   1.1  perseant 			goto err1;
    455   1.1  perseant 		}
    456   1.1  perseant 	}
    457   1.1  perseant 	if (pseg_flags)
    458   1.1  perseant 		*pseg_flags = ssp->ss_flags;
    459   1.1  perseant 	oldoffset = offset;
    460   1.1  perseant 	offset += btofsb(fs, fs->lfs_sumsize);
    461   1.1  perseant 
    462   1.1  perseant 	ninos = howmany(ssp->ss_ninos, INOPB(fs));
    463   1.1  perseant 	/* XXX ondisk32 */
    464   1.8        he 	iaddr = (int32_t *)((char*)bp->b_data + fs->lfs_sumsize - sizeof(int32_t));
    465   1.1  perseant 	if (flags & CHECK_CKSUM) {
    466   1.1  perseant 		/* Count blocks */
    467   1.1  perseant 		nblocks = 0;
    468   1.8        he 		fip = (FINFO *)((char*)bp->b_data + SEGSUM_SIZE(fs));
    469   1.1  perseant 		for (i = 0; i < ssp->ss_nfinfo; ++i) {
    470   1.1  perseant 			nblocks += fip->fi_nblocks;
    471   1.1  perseant 			if (fip->fi_nblocks <= 0)
    472   1.1  perseant 				break;
    473   1.1  perseant 			/* XXX ondisk32 */
    474   1.1  perseant 			fip = (FINFO *)(((char *)fip) + FINFOSIZE +
    475   1.1  perseant 					(fip->fi_nblocks * sizeof(int32_t)));
    476   1.1  perseant 		}
    477   1.1  perseant 		nblocks += ninos;
    478   1.1  perseant 		/* Create the sum array */
    479   1.1  perseant 		datap = dp = (u_long *)malloc(nblocks * sizeof(u_long),
    480   1.1  perseant 					      M_SEGMENT, M_WAITOK);
    481   1.1  perseant 	}
    482   1.1  perseant 
    483   1.1  perseant 	/* Handle individual blocks */
    484   1.8        he 	fip = (FINFO *)((char*)bp->b_data + SEGSUM_SIZE(fs));
    485   1.1  perseant 	for (i = 0; i < ssp->ss_nfinfo || ninos; ++i) {
    486   1.1  perseant 		/* Inode block? */
    487   1.1  perseant 		if (ninos && *iaddr == offset) {
    488   1.1  perseant 			if (flags & CHECK_CKSUM) {
    489   1.1  perseant 				/* Read in the head and add to the buffer */
    490   1.1  perseant 				error = bread(devvp, fsbtodb(fs, offset), fs->lfs_bsize,
    491  1.11   hannken 					      cred, 0, &dbp);
    492   1.1  perseant 				if (error) {
    493   1.1  perseant 					offset = -1;
    494   1.1  perseant 					goto err2;
    495   1.1  perseant 				}
    496   1.1  perseant 				(*dp++) = ((u_long *)(dbp->b_data))[0];
    497   1.4        ad 				brelse(dbp, BC_AGE);
    498   1.1  perseant 			}
    499   1.1  perseant 			if (flags & CHECK_UPDATE) {
    500   1.1  perseant 				if ((error = update_inoblk(fs, offset, cred, l))
    501   1.1  perseant 				    != 0) {
    502   1.1  perseant 					offset = -1;
    503   1.1  perseant 					goto err2;
    504   1.1  perseant 				}
    505   1.1  perseant 			}
    506   1.1  perseant 			offset += btofsb(fs, fs->lfs_ibsize);
    507   1.1  perseant 			--iaddr;
    508   1.1  perseant 			--ninos;
    509   1.1  perseant 			--i; /* compensate */
    510   1.1  perseant 			continue;
    511   1.1  perseant 		}
    512   1.1  perseant 		size = fs->lfs_bsize;
    513   1.1  perseant 		for (j = 0; j < fip->fi_nblocks; ++j) {
    514   1.1  perseant 			if (j == fip->fi_nblocks - 1)
    515   1.1  perseant 				size = fip->fi_lastlength;
    516   1.1  perseant 			if (flags & CHECK_CKSUM) {
    517  1.11   hannken 				error = bread(devvp, fsbtodb(fs, offset), size,
    518  1.11   hannken 				    cred, 0, &dbp);
    519   1.1  perseant 				if (error) {
    520   1.1  perseant 					offset = -1;
    521   1.1  perseant 					goto err2;
    522   1.1  perseant 				}
    523   1.1  perseant 				(*dp++) = ((u_long *)(dbp->b_data))[0];
    524   1.4        ad 				brelse(dbp, BC_AGE);
    525   1.1  perseant 			}
    526   1.1  perseant 			/* Account for and update any direct blocks */
    527   1.1  perseant 			if ((flags & CHECK_UPDATE) &&
    528   1.1  perseant 			   fip->fi_ino > LFS_IFILE_INUM &&
    529   1.1  perseant 			   fip->fi_blocks[j] >= 0) {
    530   1.1  perseant 				update_meta(fs, fip->fi_ino, fip->fi_version,
    531   1.1  perseant 					    fip->fi_blocks[j], offset, size, l);
    532   1.1  perseant 			}
    533   1.1  perseant 			offset += btofsb(fs, size);
    534   1.1  perseant 		}
    535   1.1  perseant 		/* XXX ondisk32 */
    536   1.1  perseant 		fip = (FINFO *)(((char *)fip) + FINFOSIZE
    537   1.1  perseant 				+ fip->fi_nblocks * sizeof(int32_t));
    538   1.1  perseant 	}
    539   1.1  perseant 	/* Checksum the array, compare */
    540   1.1  perseant 	if ((flags & CHECK_CKSUM) &&
    541   1.1  perseant 	   ssp->ss_datasum != cksum(datap, nblocks * sizeof(u_long)))
    542   1.1  perseant 	{
    543   1.1  perseant 		DLOG((DLOG_RF, "Datasum error at 0x%" PRIx64
    544   1.1  perseant 		      " (wanted %x got %x)\n",
    545   1.1  perseant 		      offset, ssp->ss_datasum, cksum(datap, nblocks *
    546   1.1  perseant 						     sizeof(u_long))));
    547   1.1  perseant 		offset = -1;
    548   1.1  perseant 		goto err2;
    549   1.1  perseant 	}
    550   1.1  perseant 
    551   1.1  perseant 	/* If we're at the end of the segment, move to the next */
    552   1.1  perseant 	if (dtosn(fs, offset + btofsb(fs, fs->lfs_sumsize + fs->lfs_bsize)) !=
    553   1.1  perseant 	   dtosn(fs, offset)) {
    554   1.1  perseant 		if (dtosn(fs, offset) == dtosn(fs, ssp->ss_next)) {
    555   1.1  perseant 			offset = -1;
    556   1.1  perseant 			goto err2;
    557   1.1  perseant 		}
    558   1.1  perseant 		offset = ssp->ss_next;
    559   1.1  perseant 		DLOG((DLOG_RF, "LFS roll forward: moving to offset 0x%" PRIx64
    560   1.1  perseant 		       " -> segment %d\n", offset, dtosn(fs,offset)));
    561   1.1  perseant 	}
    562   1.1  perseant 
    563   1.1  perseant 	if (flags & CHECK_UPDATE) {
    564   1.1  perseant 		fs->lfs_avail -= (offset - oldoffset);
    565   1.1  perseant 		/* Don't clog the buffer queue */
    566   1.9        ad 		mutex_enter(&lfs_lock);
    567   1.1  perseant 		if (locked_queue_count > LFS_MAX_BUFS ||
    568   1.1  perseant 		    locked_queue_bytes > LFS_MAX_BYTES) {
    569   1.1  perseant 			lfs_flush(fs, SEGM_CKP, 0);
    570   1.1  perseant 		}
    571   1.9        ad 		mutex_exit(&lfs_lock);
    572   1.1  perseant 	}
    573   1.1  perseant 
    574   1.1  perseant     err2:
    575   1.1  perseant 	if (flags & CHECK_CKSUM)
    576   1.1  perseant 		free(datap, M_SEGMENT);
    577   1.1  perseant     err1:
    578   1.7        ad 	brelse(bp, BC_AGE);
    579   1.1  perseant 
    580   1.1  perseant 	/* XXX should we update the serial number even for bad psegs? */
    581   1.1  perseant 	if ((flags & CHECK_UPDATE) && offset > 0 && fs->lfs_version > 1)
    582   1.1  perseant 		fs->lfs_serial = nextserial;
    583   1.1  perseant 	return offset;
    584   1.1  perseant }
    585   1.1  perseant 
    586   1.1  perseant void
    587   1.2  perseant lfs_roll_forward(struct lfs *fs, struct mount *mp, struct lwp *l)
    588   1.1  perseant {
    589   1.3  perseant 	int flags, dirty;
    590   1.3  perseant 	daddr_t offset, oldoffset, lastgoodpseg;
    591   1.3  perseant 	int sn, curseg, do_rollforward;
    592   1.3  perseant 	struct proc *p;
    593   1.3  perseant 	kauth_cred_t cred;
    594   1.3  perseant 	SEGUSE *sup;
    595   1.3  perseant 	struct buf *bp;
    596   1.3  perseant 
    597   1.3  perseant 	p = l ? l->l_proc : NULL;
    598   1.3  perseant 	cred = p ? p->p_cred : NOCRED;
    599   1.1  perseant 
    600   1.1  perseant 	/*
    601   1.1  perseant 	 * Roll forward.
    602   1.1  perseant 	 *
    603   1.1  perseant 	 * We don't roll forward for v1 filesystems, because
    604   1.1  perseant 	 * of the danger that the clock was turned back between the last
    605   1.1  perseant 	 * checkpoint and crash.  This would roll forward garbage.
    606   1.1  perseant 	 *
    607   1.1  perseant 	 * v2 filesystems don't have this problem because they use a
    608   1.1  perseant 	 * monotonically increasing serial number instead of a timestamp.
    609   1.1  perseant 	 */
    610   1.1  perseant 	do_rollforward = (!(fs->lfs_pflags & LFS_PF_CLEAN) &&
    611   1.1  perseant 			  lfs_do_rfw && fs->lfs_version > 1 && p != NULL);
    612   1.1  perseant 	if (do_rollforward) {
    613   1.1  perseant 		u_int64_t nextserial;
    614   1.1  perseant 		/*
    615   1.1  perseant 		 * Phase I: Find the address of the last good partial
    616   1.1  perseant 		 * segment that was written after the checkpoint.  Mark
    617   1.1  perseant 		 * the segments in question dirty, so they won't be
    618   1.1  perseant 		 * reallocated.
    619   1.1  perseant 		 */
    620   1.1  perseant 		lastgoodpseg = oldoffset = offset = fs->lfs_offset;
    621   1.1  perseant 		flags = 0x0;
    622   1.1  perseant 		DLOG((DLOG_RF, "LFS roll forward phase 1: start at offset 0x%"
    623   1.1  perseant 		      PRIx64 "\n", offset));
    624   1.1  perseant 		LFS_SEGENTRY(sup, fs, dtosn(fs, offset), bp);
    625   1.1  perseant 		if (!(sup->su_flags & SEGUSE_DIRTY))
    626   1.1  perseant 			--fs->lfs_nclean;
    627   1.1  perseant 		sup->su_flags |= SEGUSE_DIRTY;
    628   1.1  perseant 		LFS_WRITESEGENTRY(sup, fs, dtosn(fs, offset), bp);
    629   1.1  perseant 		nextserial = fs->lfs_serial + 1;
    630   1.1  perseant 		while ((offset = check_segsum(fs, offset, nextserial,
    631   1.1  perseant 		    cred, CHECK_CKSUM, &flags, l)) > 0) {
    632   1.1  perseant 			nextserial++;
    633   1.1  perseant 			if (sntod(fs, oldoffset) != sntod(fs, offset)) {
    634   1.1  perseant 				LFS_SEGENTRY(sup, fs, dtosn(fs, oldoffset),
    635   1.1  perseant 					     bp);
    636   1.1  perseant 				if (!(sup->su_flags & SEGUSE_DIRTY))
    637   1.1  perseant 					--fs->lfs_nclean;
    638   1.1  perseant 				sup->su_flags |= SEGUSE_DIRTY;
    639   1.1  perseant 				LFS_WRITESEGENTRY(sup, fs, dtosn(fs, oldoffset),
    640   1.1  perseant 					     bp);
    641   1.1  perseant 			}
    642   1.1  perseant 
    643   1.1  perseant 			DLOG((DLOG_RF, "LFS roll forward phase 1: offset=0x%"
    644   1.1  perseant 			      PRIx64 "\n", offset));
    645   1.1  perseant 			if (flags & SS_DIROP) {
    646   1.1  perseant 				DLOG((DLOG_RF, "lfs_mountfs: dirops at 0x%"
    647   1.1  perseant 				      PRIx64 "\n", oldoffset));
    648   1.8        he 				if (!(flags & SS_CONT)) {
    649   1.1  perseant 				     DLOG((DLOG_RF, "lfs_mountfs: dirops end "
    650   1.1  perseant 					   "at 0x%" PRIx64 "\n", oldoffset));
    651   1.8        he 				}
    652   1.1  perseant 			}
    653   1.1  perseant 			if (!(flags & SS_CONT))
    654   1.1  perseant 				lastgoodpseg = offset;
    655   1.1  perseant 			oldoffset = offset;
    656   1.1  perseant 		}
    657   1.1  perseant 		if (flags & SS_CONT) {
    658   1.1  perseant 			DLOG((DLOG_RF, "LFS roll forward: warning: incomplete "
    659   1.1  perseant 			      "dirops discarded\n"));
    660   1.1  perseant 		}
    661   1.1  perseant 		DLOG((DLOG_RF, "LFS roll forward phase 1: completed: "
    662   1.1  perseant 		      "lastgoodpseg=0x%" PRIx64 "\n", lastgoodpseg));
    663   1.1  perseant 		oldoffset = fs->lfs_offset;
    664   1.1  perseant 		if (fs->lfs_offset != lastgoodpseg) {
    665   1.1  perseant 			/* Don't overwrite what we're trying to preserve */
    666   1.1  perseant 			offset = fs->lfs_offset;
    667   1.1  perseant 			fs->lfs_offset = lastgoodpseg;
    668   1.1  perseant 			fs->lfs_curseg = sntod(fs, dtosn(fs, fs->lfs_offset));
    669   1.1  perseant 			for (sn = curseg = dtosn(fs, fs->lfs_curseg);;) {
    670   1.1  perseant 				sn = (sn + 1) % fs->lfs_nseg;
    671   1.1  perseant 				if (sn == curseg)
    672   1.1  perseant 					panic("lfs_mountfs: no clean segments");
    673   1.1  perseant 				LFS_SEGENTRY(sup, fs, sn, bp);
    674   1.1  perseant 				dirty = (sup->su_flags & SEGUSE_DIRTY);
    675   1.4        ad 				brelse(bp, 0);
    676   1.1  perseant 				if (!dirty)
    677   1.1  perseant 					break;
    678   1.1  perseant 			}
    679   1.1  perseant 			fs->lfs_nextseg = sntod(fs, sn);
    680   1.1  perseant 
    681   1.1  perseant 			/*
    682   1.1  perseant 			 * Phase II: Roll forward from the first superblock.
    683   1.1  perseant 			 */
    684   1.1  perseant 			while (offset != lastgoodpseg) {
    685   1.1  perseant 				DLOG((DLOG_RF, "LFS roll forward phase 2: 0x%"
    686   1.1  perseant 				      PRIx64 "\n", offset));
    687   1.1  perseant 				offset = check_segsum(fs, offset,
    688   1.1  perseant 				    fs->lfs_serial + 1, cred, CHECK_UPDATE,
    689   1.1  perseant 				    NULL, l);
    690   1.1  perseant 			}
    691   1.1  perseant 
    692   1.1  perseant 			/*
    693   1.1  perseant 			 * Finish: flush our changes to disk.
    694   1.1  perseant 			 */
    695   1.1  perseant 			lfs_segwrite(mp, SEGM_CKP | SEGM_SYNC);
    696   1.1  perseant 			DLOG((DLOG_RF, "lfs_mountfs: roll forward ",
    697   1.1  perseant 			      "recovered %lld blocks\n",
    698   1.1  perseant 			      (long long)(lastgoodpseg - oldoffset)));
    699   1.1  perseant 		}
    700   1.1  perseant 		DLOG((DLOG_RF, "LFS roll forward complete\n"));
    701   1.1  perseant 	}
    702   1.1  perseant }
    703