Home | History | Annotate | Line # | Download | only in lfs
lfs_rfw.c revision 1.19
      1  1.19      maxv /*	$NetBSD: lfs_rfw.c,v 1.19 2015/03/28 19:24:05 maxv 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.19      maxv __KERNEL_RCSID(0, "$NetBSD: lfs_rfw.c,v 1.19 2015/03/28 19:24:05 maxv 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.18  dholland #include <ufs/lfs/lfs_kernel.h>
     77   1.2  perseant #include <ufs/lfs/lfs_extern.h>
     78   1.2  perseant 
     79   1.2  perseant #include <miscfs/genfs/genfs.h>
     80   1.2  perseant #include <miscfs/genfs/genfs_node.h>
     81   1.2  perseant 
     82   1.1  perseant /*
     83   1.1  perseant  * Roll-forward code.
     84   1.1  perseant  */
     85   1.1  perseant static daddr_t check_segsum(struct lfs *, daddr_t, u_int64_t,
     86   1.1  perseant     kauth_cred_t, int, int *, struct lwp *);
     87   1.1  perseant 
     88   1.3  perseant extern int lfs_do_rfw;
     89   1.3  perseant 
     90   1.1  perseant /*
     91   1.1  perseant  * Allocate a particular inode with a particular version number, freeing
     92   1.1  perseant  * any previous versions of this inode that may have gone before.
     93   1.1  perseant  * Used by the roll-forward code.
     94   1.1  perseant  *
     95   1.1  perseant  * XXX this function does not have appropriate locking to be used on a live fs;
     96   1.1  perseant  * XXX but something similar could probably be used for an "undelete" call.
     97   1.1  perseant  *
     98   1.1  perseant  * Called with the Ifile inode locked.
     99   1.1  perseant  */
    100   1.1  perseant int
    101   1.1  perseant lfs_rf_valloc(struct lfs *fs, ino_t ino, int vers, struct lwp *l,
    102   1.1  perseant 	      struct vnode **vpp)
    103   1.1  perseant {
    104   1.1  perseant 	IFILE *ifp;
    105   1.1  perseant 	struct buf *bp, *cbp;
    106   1.1  perseant 	struct vnode *vp;
    107   1.1  perseant 	struct inode *ip;
    108   1.1  perseant 	ino_t tino, oldnext;
    109   1.1  perseant 	int error;
    110   1.1  perseant 	CLEANERINFO *cip;
    111   1.1  perseant 
    112   1.1  perseant 	ASSERT_SEGLOCK(fs); /* XXX it doesn't, really */
    113   1.1  perseant 
    114   1.1  perseant 	/*
    115   1.1  perseant 	 * First, just try a vget. If the version number is the one we want,
    116   1.1  perseant 	 * we don't have to do anything else.  If the version number is wrong,
    117   1.1  perseant 	 * take appropriate action.
    118   1.1  perseant 	 */
    119   1.1  perseant 	error = VFS_VGET(fs->lfs_ivnode->v_mount, ino, &vp);
    120   1.1  perseant 	if (error == 0) {
    121   1.1  perseant 		DLOG((DLOG_RF, "lfs_rf_valloc[1]: ino %d vp %p\n", ino, vp));
    122   1.1  perseant 
    123   1.1  perseant 		*vpp = vp;
    124   1.1  perseant 		ip = VTOI(vp);
    125   1.1  perseant 		if (ip->i_gen == vers)
    126   1.1  perseant 			return 0;
    127   1.1  perseant 		else if (ip->i_gen < vers) {
    128   1.8        he 			lfs_truncate(vp, (off_t)0, 0, NOCRED);
    129   1.1  perseant 			ip->i_gen = ip->i_ffs1_gen = vers;
    130   1.1  perseant 			LFS_SET_UINO(ip, IN_CHANGE | IN_UPDATE);
    131   1.1  perseant 			return 0;
    132   1.1  perseant 		} else {
    133   1.1  perseant 			DLOG((DLOG_RF, "ino %d: sought version %d, got %d\n",
    134   1.1  perseant 			       ino, vers, ip->i_ffs1_gen));
    135   1.1  perseant 			vput(vp);
    136   1.1  perseant 			*vpp = NULLVP;
    137   1.1  perseant 			return EEXIST;
    138   1.1  perseant 		}
    139   1.1  perseant 	}
    140   1.1  perseant 
    141   1.1  perseant 	/*
    142   1.1  perseant 	 * The inode is not in use.  Find it on the free list.
    143   1.1  perseant 	 */
    144   1.1  perseant 	/* If the Ifile is too short to contain this inum, extend it */
    145   1.1  perseant 	while (VTOI(fs->lfs_ivnode)->i_size <= (ino /
    146   1.1  perseant 		fs->lfs_ifpb + fs->lfs_cleansz + fs->lfs_segtabsz)
    147   1.1  perseant 		<< fs->lfs_bshift) {
    148   1.2  perseant 		lfs_extend_ifile(fs, NOCRED);
    149   1.1  perseant 	}
    150   1.1  perseant 
    151   1.1  perseant 	LFS_IENTRY(ifp, fs, ino, bp);
    152   1.1  perseant 	oldnext = ifp->if_nextfree;
    153   1.1  perseant 	ifp->if_version = vers;
    154   1.4        ad 	brelse(bp, 0);
    155   1.1  perseant 
    156   1.1  perseant 	LFS_GET_HEADFREE(fs, cip, cbp, &ino);
    157   1.1  perseant 	if (ino) {
    158   1.1  perseant 		LFS_PUT_HEADFREE(fs, cip, cbp, oldnext);
    159   1.1  perseant 	} else {
    160   1.1  perseant 		tino = ino;
    161   1.1  perseant 		while (1) {
    162   1.1  perseant 			LFS_IENTRY(ifp, fs, tino, bp);
    163   1.1  perseant 			if (ifp->if_nextfree == ino ||
    164   1.1  perseant 			    ifp->if_nextfree == LFS_UNUSED_INUM)
    165   1.1  perseant 				break;
    166   1.1  perseant 			tino = ifp->if_nextfree;
    167   1.4        ad 			brelse(bp, 0);
    168   1.1  perseant 		}
    169   1.1  perseant 		if (ifp->if_nextfree == LFS_UNUSED_INUM) {
    170   1.4        ad 			brelse(bp, 0);
    171   1.1  perseant 			return ENOENT;
    172   1.1  perseant 		}
    173   1.1  perseant 		ifp->if_nextfree = oldnext;
    174   1.1  perseant 		LFS_BWRITE_LOG(bp);
    175   1.1  perseant 	}
    176   1.1  perseant 
    177   1.1  perseant 	error = lfs_ialloc(fs, fs->lfs_ivnode, ino, vers, &vp);
    178   1.1  perseant 	if (error == 0) {
    179   1.1  perseant 		/*
    180   1.1  perseant 		 * Make it VREG so we can put blocks on it.  We will change
    181   1.1  perseant 		 * this later if it turns out to be some other kind of file.
    182   1.1  perseant 		 */
    183   1.1  perseant 		ip = VTOI(vp);
    184  1.16  dholland 		ip->i_mode = ip->i_ffs1_mode = LFS_IFREG;
    185   1.1  perseant 		ip->i_nlink = ip->i_ffs1_nlink = 1;
    186  1.15  dholland 		ulfs_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.15  dholland 	struct indir a[ULFS_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.17  christos 		fs->lfs_avail += lfs_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.15  dholland 		if (lbn < ULFS_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.17  christos 	LFS_SEGENTRY(sup, fs, lfs_dtosn(fs, ndaddr), bp);
    276   1.1  perseant 	sup->su_nbytes += size;
    277  1.17  christos 	LFS_WRITESEGENTRY(sup, fs, lfs_dtosn(fs, ndaddr), bp);
    278   1.1  perseant 
    279   1.1  perseant 	/* differences here should be due to UNWRITTEN indirect blocks. */
    280  1.17  christos 	KASSERT((lfs_lblkno(fs, ip->i_size) > ULFS_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.15  dholland 	ulfs_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.17  christos 	if (LFS_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.15  dholland 	struct ulfs1_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.17  christos 	error = bread(devvp, LFS_FSBTODB(fs, offset), fs->lfs_ibsize,
    319  1.19      maxv 	    0, &dbp);
    320   1.1  perseant 	if (error) {
    321   1.1  perseant 		DLOG((DLOG_RF, "update_inoblk: bread returned %d\n", error));
    322   1.1  perseant 		return error;
    323   1.1  perseant 	}
    324  1.17  christos 	dip = ((struct ulfs1_dinode *)(dbp->b_data)) + LFS_INOPB(fs);
    325  1.15  dholland 	while (--dip >= (struct ulfs1_dinode *)dbp->b_data) {
    326   1.1  perseant 		if (dip->di_inumber > LFS_IFILE_INUM) {
    327   1.1  perseant 			error = lfs_rf_valloc(fs, dip->di_inumber, dip->di_gen,
    328   1.1  perseant 					      l, &vp);
    329   1.1  perseant 			if (error) {
    330   1.1  perseant 				DLOG((DLOG_RF, "update_inoblk: lfs_rf_valloc"
    331   1.1  perseant 				      " returned %d\n", error));
    332   1.1  perseant 				continue;
    333   1.1  perseant 			}
    334   1.1  perseant 			ip = VTOI(vp);
    335   1.1  perseant 			if (dip->di_size != ip->i_size)
    336   1.8        he 				lfs_truncate(vp, dip->di_size, 0, NOCRED);
    337   1.1  perseant 			/* Get mode, link count, size, and times */
    338   1.1  perseant 			memcpy(ip->i_din.ffs1_din, dip,
    339  1.15  dholland 			       offsetof(struct ulfs1_dinode, di_db[0]));
    340   1.1  perseant 
    341   1.1  perseant 			/* Then the rest, except di_blocks */
    342   1.1  perseant 			ip->i_flags = ip->i_ffs1_flags = dip->di_flags;
    343   1.1  perseant 			ip->i_gen = ip->i_ffs1_gen = dip->di_gen;
    344   1.1  perseant 			ip->i_uid = ip->i_ffs1_uid = dip->di_uid;
    345   1.1  perseant 			ip->i_gid = ip->i_ffs1_gid = dip->di_gid;
    346   1.1  perseant 
    347   1.1  perseant 			ip->i_mode = ip->i_ffs1_mode;
    348  1.12        ad 			ip->i_nlink = ip->i_ffs1_nlink;
    349   1.1  perseant 			ip->i_size = ip->i_ffs1_size;
    350   1.1  perseant 
    351   1.1  perseant 			LFS_SET_UINO(ip, IN_CHANGE | IN_UPDATE);
    352   1.1  perseant 
    353   1.1  perseant 			/* Re-initialize to get type right */
    354  1.15  dholland 			ulfs_vinit(vp->v_mount, lfs_specop_p, lfs_fifoop_p,
    355   1.1  perseant 				  &vp);
    356   1.1  perseant 			vput(vp);
    357   1.1  perseant 
    358   1.1  perseant 			/* Record change in location */
    359   1.1  perseant 			LFS_IENTRY(ifp, fs, dip->di_inumber, ibp);
    360   1.1  perseant 			daddr = ifp->if_daddr;
    361  1.17  christos 			ifp->if_daddr = LFS_DBTOFSB(fs, dbp->b_blkno);
    362   1.1  perseant 			error = LFS_BWRITE_LOG(ibp); /* Ifile */
    363   1.1  perseant 			/* And do segment accounting */
    364  1.17  christos 			if (lfs_dtosn(fs, daddr) != lfs_dtosn(fs, LFS_DBTOFSB(fs, dbp->b_blkno))) {
    365   1.1  perseant 				if (daddr > 0) {
    366  1.17  christos 					LFS_SEGENTRY(sup, fs, lfs_dtosn(fs, daddr),
    367   1.1  perseant 						     ibp);
    368  1.15  dholland 					sup->su_nbytes -= sizeof (struct ulfs1_dinode);
    369   1.1  perseant 					LFS_WRITESEGENTRY(sup, fs,
    370  1.17  christos 							  lfs_dtosn(fs, daddr),
    371   1.1  perseant 							  ibp);
    372   1.1  perseant 				}
    373  1.17  christos 				LFS_SEGENTRY(sup, fs, lfs_dtosn(fs, LFS_DBTOFSB(fs, dbp->b_blkno)),
    374   1.1  perseant 					     ibp);
    375  1.15  dholland 				sup->su_nbytes += sizeof (struct ulfs1_dinode);
    376   1.1  perseant 				LFS_WRITESEGENTRY(sup, fs,
    377  1.17  christos 						  lfs_dtosn(fs, LFS_DBTOFSB(fs, dbp->b_blkno)),
    378   1.1  perseant 						  ibp);
    379   1.1  perseant 			}
    380   1.1  perseant 		}
    381   1.1  perseant 	}
    382   1.4        ad 	brelse(dbp, BC_AGE);
    383   1.1  perseant 
    384   1.1  perseant 	return 0;
    385   1.1  perseant }
    386   1.1  perseant 
    387   1.1  perseant #define CHECK_CKSUM   0x0001  /* Check the checksum to make sure it's valid */
    388   1.1  perseant #define CHECK_UPDATE  0x0002  /* Update Ifile for new data blocks / inodes */
    389   1.1  perseant 
    390   1.1  perseant static daddr_t
    391   1.1  perseant check_segsum(struct lfs *fs, daddr_t offset, u_int64_t nextserial,
    392   1.1  perseant 	     kauth_cred_t cred, int flags, int *pseg_flags, struct lwp *l)
    393   1.1  perseant {
    394   1.1  perseant 	struct vnode *devvp;
    395   1.1  perseant 	struct buf *bp, *dbp;
    396   1.1  perseant 	int error, nblocks = 0, ninos, i, j; /* XXX: gcc */
    397   1.1  perseant 	SEGSUM *ssp;
    398   1.1  perseant 	u_long *dp = NULL, *datap = NULL; /* XXX u_int32_t */
    399   1.1  perseant 	daddr_t oldoffset;
    400   1.1  perseant 	int32_t *iaddr;	/* XXX ondisk32 */
    401   1.1  perseant 	FINFO *fip;
    402   1.1  perseant 	SEGUSE *sup;
    403   1.1  perseant 	size_t size;
    404   1.1  perseant 
    405   1.1  perseant 	devvp = VTOI(fs->lfs_ivnode)->i_devvp;
    406   1.1  perseant 	/*
    407   1.1  perseant 	 * If the segment has a superblock and we're at the top
    408   1.1  perseant 	 * of the segment, skip the superblock.
    409   1.1  perseant 	 */
    410  1.17  christos 	if (lfs_sntod(fs, lfs_dtosn(fs, offset)) == offset) {
    411  1.17  christos 		LFS_SEGENTRY(sup, fs, lfs_dtosn(fs, offset), bp);
    412   1.1  perseant 		if (sup->su_flags & SEGUSE_SUPERBLOCK)
    413  1.17  christos 			offset += lfs_btofsb(fs, LFS_SBPAD);
    414   1.4        ad 		brelse(bp, 0);
    415   1.1  perseant 	}
    416   1.1  perseant 
    417   1.1  perseant 	/* Read in the segment summary */
    418  1.17  christos 	error = bread(devvp, LFS_FSBTODB(fs, offset), fs->lfs_sumsize,
    419  1.19      maxv 	    0, &bp);
    420   1.1  perseant 	if (error)
    421   1.1  perseant 		return -1;
    422   1.1  perseant 
    423   1.1  perseant 	/* Check summary checksum */
    424   1.1  perseant 	ssp = (SEGSUM *)bp->b_data;
    425   1.1  perseant 	if (flags & CHECK_CKSUM) {
    426   1.1  perseant 		if (ssp->ss_sumsum != cksum(&ssp->ss_datasum,
    427   1.1  perseant 					   fs->lfs_sumsize -
    428   1.1  perseant 					   sizeof(ssp->ss_sumsum))) {
    429   1.1  perseant 			DLOG((DLOG_RF, "Sumsum error at 0x%" PRIx64 "\n", offset));
    430   1.1  perseant 			offset = -1;
    431   1.1  perseant 			goto err1;
    432   1.1  perseant 		}
    433   1.1  perseant 		if (ssp->ss_nfinfo == 0 && ssp->ss_ninos == 0) {
    434   1.1  perseant 			DLOG((DLOG_RF, "Empty pseg at 0x%" PRIx64 "\n", offset));
    435   1.1  perseant 			offset = -1;
    436   1.1  perseant 			goto err1;
    437   1.1  perseant 		}
    438   1.1  perseant 		if (ssp->ss_create < fs->lfs_tstamp) {
    439   1.1  perseant 			DLOG((DLOG_RF, "Old data at 0x%" PRIx64 "\n", offset));
    440   1.1  perseant 			offset = -1;
    441   1.1  perseant 			goto err1;
    442   1.1  perseant 		}
    443   1.1  perseant 	}
    444   1.1  perseant 	if (fs->lfs_version > 1) {
    445   1.1  perseant 		if (ssp->ss_serial != nextserial) {
    446   1.1  perseant 			DLOG((DLOG_RF, "Unexpected serial number at 0x%" PRIx64
    447   1.1  perseant 			      "\n", offset));
    448   1.1  perseant 			offset = -1;
    449   1.1  perseant 			goto err1;
    450   1.1  perseant 		}
    451   1.1  perseant 		if (ssp->ss_ident != fs->lfs_ident) {
    452   1.1  perseant 			DLOG((DLOG_RF, "Incorrect fsid (0x%x vs 0x%x) at 0x%"
    453   1.1  perseant 			      PRIx64 "\n", ssp->ss_ident, fs->lfs_ident, offset));
    454   1.1  perseant 			offset = -1;
    455   1.1  perseant 			goto err1;
    456   1.1  perseant 		}
    457   1.1  perseant 	}
    458   1.1  perseant 	if (pseg_flags)
    459   1.1  perseant 		*pseg_flags = ssp->ss_flags;
    460   1.1  perseant 	oldoffset = offset;
    461  1.17  christos 	offset += lfs_btofsb(fs, fs->lfs_sumsize);
    462   1.1  perseant 
    463  1.17  christos 	ninos = howmany(ssp->ss_ninos, LFS_INOPB(fs));
    464   1.1  perseant 	/* XXX ondisk32 */
    465   1.8        he 	iaddr = (int32_t *)((char*)bp->b_data + fs->lfs_sumsize - sizeof(int32_t));
    466   1.1  perseant 	if (flags & CHECK_CKSUM) {
    467   1.1  perseant 		/* Count blocks */
    468   1.1  perseant 		nblocks = 0;
    469   1.8        he 		fip = (FINFO *)((char*)bp->b_data + SEGSUM_SIZE(fs));
    470   1.1  perseant 		for (i = 0; i < ssp->ss_nfinfo; ++i) {
    471   1.1  perseant 			nblocks += fip->fi_nblocks;
    472   1.1  perseant 			if (fip->fi_nblocks <= 0)
    473   1.1  perseant 				break;
    474   1.1  perseant 			/* XXX ondisk32 */
    475   1.1  perseant 			fip = (FINFO *)(((char *)fip) + FINFOSIZE +
    476   1.1  perseant 					(fip->fi_nblocks * sizeof(int32_t)));
    477   1.1  perseant 		}
    478   1.1  perseant 		nblocks += ninos;
    479   1.1  perseant 		/* Create the sum array */
    480   1.1  perseant 		datap = dp = (u_long *)malloc(nblocks * sizeof(u_long),
    481   1.1  perseant 					      M_SEGMENT, M_WAITOK);
    482   1.1  perseant 	}
    483   1.1  perseant 
    484   1.1  perseant 	/* Handle individual blocks */
    485   1.8        he 	fip = (FINFO *)((char*)bp->b_data + SEGSUM_SIZE(fs));
    486   1.1  perseant 	for (i = 0; i < ssp->ss_nfinfo || ninos; ++i) {
    487   1.1  perseant 		/* Inode block? */
    488   1.1  perseant 		if (ninos && *iaddr == offset) {
    489   1.1  perseant 			if (flags & CHECK_CKSUM) {
    490   1.1  perseant 				/* Read in the head and add to the buffer */
    491  1.17  christos 				error = bread(devvp, LFS_FSBTODB(fs, offset), fs->lfs_bsize,
    492  1.19      maxv 					      0, &dbp);
    493   1.1  perseant 				if (error) {
    494   1.1  perseant 					offset = -1;
    495   1.1  perseant 					goto err2;
    496   1.1  perseant 				}
    497   1.1  perseant 				(*dp++) = ((u_long *)(dbp->b_data))[0];
    498   1.4        ad 				brelse(dbp, BC_AGE);
    499   1.1  perseant 			}
    500   1.1  perseant 			if (flags & CHECK_UPDATE) {
    501   1.1  perseant 				if ((error = update_inoblk(fs, offset, cred, l))
    502   1.1  perseant 				    != 0) {
    503   1.1  perseant 					offset = -1;
    504   1.1  perseant 					goto err2;
    505   1.1  perseant 				}
    506   1.1  perseant 			}
    507  1.17  christos 			offset += lfs_btofsb(fs, fs->lfs_ibsize);
    508   1.1  perseant 			--iaddr;
    509   1.1  perseant 			--ninos;
    510   1.1  perseant 			--i; /* compensate */
    511   1.1  perseant 			continue;
    512   1.1  perseant 		}
    513   1.1  perseant 		size = fs->lfs_bsize;
    514   1.1  perseant 		for (j = 0; j < fip->fi_nblocks; ++j) {
    515   1.1  perseant 			if (j == fip->fi_nblocks - 1)
    516   1.1  perseant 				size = fip->fi_lastlength;
    517   1.1  perseant 			if (flags & CHECK_CKSUM) {
    518  1.17  christos 				error = bread(devvp, LFS_FSBTODB(fs, offset), size,
    519  1.19      maxv 				    0, &dbp);
    520   1.1  perseant 				if (error) {
    521   1.1  perseant 					offset = -1;
    522   1.1  perseant 					goto err2;
    523   1.1  perseant 				}
    524   1.1  perseant 				(*dp++) = ((u_long *)(dbp->b_data))[0];
    525   1.4        ad 				brelse(dbp, BC_AGE);
    526   1.1  perseant 			}
    527   1.1  perseant 			/* Account for and update any direct blocks */
    528   1.1  perseant 			if ((flags & CHECK_UPDATE) &&
    529   1.1  perseant 			   fip->fi_ino > LFS_IFILE_INUM &&
    530   1.1  perseant 			   fip->fi_blocks[j] >= 0) {
    531   1.1  perseant 				update_meta(fs, fip->fi_ino, fip->fi_version,
    532   1.1  perseant 					    fip->fi_blocks[j], offset, size, l);
    533   1.1  perseant 			}
    534  1.17  christos 			offset += lfs_btofsb(fs, size);
    535   1.1  perseant 		}
    536   1.1  perseant 		/* XXX ondisk32 */
    537   1.1  perseant 		fip = (FINFO *)(((char *)fip) + FINFOSIZE
    538   1.1  perseant 				+ fip->fi_nblocks * sizeof(int32_t));
    539   1.1  perseant 	}
    540   1.1  perseant 	/* Checksum the array, compare */
    541   1.1  perseant 	if ((flags & CHECK_CKSUM) &&
    542   1.1  perseant 	   ssp->ss_datasum != cksum(datap, nblocks * sizeof(u_long)))
    543   1.1  perseant 	{
    544   1.1  perseant 		DLOG((DLOG_RF, "Datasum error at 0x%" PRIx64
    545   1.1  perseant 		      " (wanted %x got %x)\n",
    546   1.1  perseant 		      offset, ssp->ss_datasum, cksum(datap, nblocks *
    547   1.1  perseant 						     sizeof(u_long))));
    548   1.1  perseant 		offset = -1;
    549   1.1  perseant 		goto err2;
    550   1.1  perseant 	}
    551   1.1  perseant 
    552   1.1  perseant 	/* If we're at the end of the segment, move to the next */
    553  1.17  christos 	if (lfs_dtosn(fs, offset + lfs_btofsb(fs, fs->lfs_sumsize + fs->lfs_bsize)) !=
    554  1.17  christos 	   lfs_dtosn(fs, offset)) {
    555  1.17  christos 		if (lfs_dtosn(fs, offset) == lfs_dtosn(fs, ssp->ss_next)) {
    556   1.1  perseant 			offset = -1;
    557   1.1  perseant 			goto err2;
    558   1.1  perseant 		}
    559   1.1  perseant 		offset = ssp->ss_next;
    560   1.1  perseant 		DLOG((DLOG_RF, "LFS roll forward: moving to offset 0x%" PRIx64
    561  1.17  christos 		       " -> segment %d\n", offset, lfs_dtosn(fs,offset)));
    562   1.1  perseant 	}
    563   1.1  perseant 
    564   1.1  perseant 	if (flags & CHECK_UPDATE) {
    565   1.1  perseant 		fs->lfs_avail -= (offset - oldoffset);
    566   1.1  perseant 		/* Don't clog the buffer queue */
    567   1.9        ad 		mutex_enter(&lfs_lock);
    568   1.1  perseant 		if (locked_queue_count > LFS_MAX_BUFS ||
    569   1.1  perseant 		    locked_queue_bytes > LFS_MAX_BYTES) {
    570   1.1  perseant 			lfs_flush(fs, SEGM_CKP, 0);
    571   1.1  perseant 		}
    572   1.9        ad 		mutex_exit(&lfs_lock);
    573   1.1  perseant 	}
    574   1.1  perseant 
    575   1.1  perseant     err2:
    576   1.1  perseant 	if (flags & CHECK_CKSUM)
    577   1.1  perseant 		free(datap, M_SEGMENT);
    578   1.1  perseant     err1:
    579   1.7        ad 	brelse(bp, BC_AGE);
    580   1.1  perseant 
    581   1.1  perseant 	/* XXX should we update the serial number even for bad psegs? */
    582   1.1  perseant 	if ((flags & CHECK_UPDATE) && offset > 0 && fs->lfs_version > 1)
    583   1.1  perseant 		fs->lfs_serial = nextserial;
    584   1.1  perseant 	return offset;
    585   1.1  perseant }
    586   1.1  perseant 
    587   1.1  perseant void
    588   1.2  perseant lfs_roll_forward(struct lfs *fs, struct mount *mp, struct lwp *l)
    589   1.1  perseant {
    590   1.3  perseant 	int flags, dirty;
    591   1.3  perseant 	daddr_t offset, oldoffset, lastgoodpseg;
    592   1.3  perseant 	int sn, curseg, do_rollforward;
    593   1.3  perseant 	struct proc *p;
    594   1.3  perseant 	kauth_cred_t cred;
    595   1.3  perseant 	SEGUSE *sup;
    596   1.3  perseant 	struct buf *bp;
    597   1.3  perseant 
    598   1.3  perseant 	p = l ? l->l_proc : NULL;
    599   1.3  perseant 	cred = p ? p->p_cred : NOCRED;
    600   1.1  perseant 
    601   1.1  perseant 	/*
    602   1.1  perseant 	 * Roll forward.
    603   1.1  perseant 	 *
    604   1.1  perseant 	 * We don't roll forward for v1 filesystems, because
    605   1.1  perseant 	 * of the danger that the clock was turned back between the last
    606   1.1  perseant 	 * checkpoint and crash.  This would roll forward garbage.
    607   1.1  perseant 	 *
    608   1.1  perseant 	 * v2 filesystems don't have this problem because they use a
    609   1.1  perseant 	 * monotonically increasing serial number instead of a timestamp.
    610   1.1  perseant 	 */
    611   1.1  perseant 	do_rollforward = (!(fs->lfs_pflags & LFS_PF_CLEAN) &&
    612   1.1  perseant 			  lfs_do_rfw && fs->lfs_version > 1 && p != NULL);
    613   1.1  perseant 	if (do_rollforward) {
    614   1.1  perseant 		u_int64_t nextserial;
    615   1.1  perseant 		/*
    616   1.1  perseant 		 * Phase I: Find the address of the last good partial
    617   1.1  perseant 		 * segment that was written after the checkpoint.  Mark
    618   1.1  perseant 		 * the segments in question dirty, so they won't be
    619   1.1  perseant 		 * reallocated.
    620   1.1  perseant 		 */
    621   1.1  perseant 		lastgoodpseg = oldoffset = offset = fs->lfs_offset;
    622   1.1  perseant 		flags = 0x0;
    623   1.1  perseant 		DLOG((DLOG_RF, "LFS roll forward phase 1: start at offset 0x%"
    624   1.1  perseant 		      PRIx64 "\n", offset));
    625  1.17  christos 		LFS_SEGENTRY(sup, fs, lfs_dtosn(fs, offset), bp);
    626   1.1  perseant 		if (!(sup->su_flags & SEGUSE_DIRTY))
    627   1.1  perseant 			--fs->lfs_nclean;
    628   1.1  perseant 		sup->su_flags |= SEGUSE_DIRTY;
    629  1.17  christos 		LFS_WRITESEGENTRY(sup, fs, lfs_dtosn(fs, offset), bp);
    630   1.1  perseant 		nextserial = fs->lfs_serial + 1;
    631   1.1  perseant 		while ((offset = check_segsum(fs, offset, nextserial,
    632   1.1  perseant 		    cred, CHECK_CKSUM, &flags, l)) > 0) {
    633   1.1  perseant 			nextserial++;
    634  1.17  christos 			if (lfs_sntod(fs, oldoffset) != lfs_sntod(fs, offset)) {
    635  1.17  christos 				LFS_SEGENTRY(sup, fs, lfs_dtosn(fs, oldoffset),
    636   1.1  perseant 					     bp);
    637   1.1  perseant 				if (!(sup->su_flags & SEGUSE_DIRTY))
    638   1.1  perseant 					--fs->lfs_nclean;
    639   1.1  perseant 				sup->su_flags |= SEGUSE_DIRTY;
    640  1.17  christos 				LFS_WRITESEGENTRY(sup, fs, lfs_dtosn(fs, oldoffset),
    641   1.1  perseant 					     bp);
    642   1.1  perseant 			}
    643   1.1  perseant 
    644   1.1  perseant 			DLOG((DLOG_RF, "LFS roll forward phase 1: offset=0x%"
    645   1.1  perseant 			      PRIx64 "\n", offset));
    646   1.1  perseant 			if (flags & SS_DIROP) {
    647   1.1  perseant 				DLOG((DLOG_RF, "lfs_mountfs: dirops at 0x%"
    648   1.1  perseant 				      PRIx64 "\n", oldoffset));
    649   1.8        he 				if (!(flags & SS_CONT)) {
    650   1.1  perseant 				     DLOG((DLOG_RF, "lfs_mountfs: dirops end "
    651   1.1  perseant 					   "at 0x%" PRIx64 "\n", oldoffset));
    652   1.8        he 				}
    653   1.1  perseant 			}
    654   1.1  perseant 			if (!(flags & SS_CONT))
    655   1.1  perseant 				lastgoodpseg = offset;
    656   1.1  perseant 			oldoffset = offset;
    657   1.1  perseant 		}
    658   1.1  perseant 		if (flags & SS_CONT) {
    659   1.1  perseant 			DLOG((DLOG_RF, "LFS roll forward: warning: incomplete "
    660   1.1  perseant 			      "dirops discarded\n"));
    661   1.1  perseant 		}
    662   1.1  perseant 		DLOG((DLOG_RF, "LFS roll forward phase 1: completed: "
    663   1.1  perseant 		      "lastgoodpseg=0x%" PRIx64 "\n", lastgoodpseg));
    664   1.1  perseant 		oldoffset = fs->lfs_offset;
    665   1.1  perseant 		if (fs->lfs_offset != lastgoodpseg) {
    666   1.1  perseant 			/* Don't overwrite what we're trying to preserve */
    667   1.1  perseant 			offset = fs->lfs_offset;
    668   1.1  perseant 			fs->lfs_offset = lastgoodpseg;
    669  1.17  christos 			fs->lfs_curseg = lfs_sntod(fs, lfs_dtosn(fs, fs->lfs_offset));
    670  1.17  christos 			for (sn = curseg = lfs_dtosn(fs, fs->lfs_curseg);;) {
    671   1.1  perseant 				sn = (sn + 1) % fs->lfs_nseg;
    672   1.1  perseant 				if (sn == curseg)
    673   1.1  perseant 					panic("lfs_mountfs: no clean segments");
    674   1.1  perseant 				LFS_SEGENTRY(sup, fs, sn, bp);
    675   1.1  perseant 				dirty = (sup->su_flags & SEGUSE_DIRTY);
    676   1.4        ad 				brelse(bp, 0);
    677   1.1  perseant 				if (!dirty)
    678   1.1  perseant 					break;
    679   1.1  perseant 			}
    680  1.17  christos 			fs->lfs_nextseg = lfs_sntod(fs, sn);
    681   1.1  perseant 
    682   1.1  perseant 			/*
    683   1.1  perseant 			 * Phase II: Roll forward from the first superblock.
    684   1.1  perseant 			 */
    685   1.1  perseant 			while (offset != lastgoodpseg) {
    686   1.1  perseant 				DLOG((DLOG_RF, "LFS roll forward phase 2: 0x%"
    687   1.1  perseant 				      PRIx64 "\n", offset));
    688   1.1  perseant 				offset = check_segsum(fs, offset,
    689   1.1  perseant 				    fs->lfs_serial + 1, cred, CHECK_UPDATE,
    690   1.1  perseant 				    NULL, l);
    691   1.1  perseant 			}
    692   1.1  perseant 
    693   1.1  perseant 			/*
    694   1.1  perseant 			 * Finish: flush our changes to disk.
    695   1.1  perseant 			 */
    696   1.1  perseant 			lfs_segwrite(mp, SEGM_CKP | SEGM_SYNC);
    697   1.1  perseant 			DLOG((DLOG_RF, "lfs_mountfs: roll forward ",
    698   1.1  perseant 			      "recovered %lld blocks\n",
    699   1.1  perseant 			      (long long)(lastgoodpseg - oldoffset)));
    700   1.1  perseant 		}
    701   1.1  perseant 		DLOG((DLOG_RF, "LFS roll forward complete\n"));
    702   1.1  perseant 	}
    703   1.1  perseant }
    704