Home | History | Annotate | Line # | Download | only in fsck_lfs
pass5.c revision 1.36.16.1
      1  1.36.16.1    martin /* $NetBSD: pass5.c,v 1.36.16.1 2020/04/08 14:07:18 martin Exp $	 */
      2        1.4  perseant 
      3        1.4  perseant /*-
      4       1.12  perseant  * Copyright (c) 2000, 2003 The NetBSD Foundation, Inc.
      5        1.4  perseant  * All rights reserved.
      6        1.4  perseant  *
      7        1.4  perseant  * This code is derived from software contributed to The NetBSD Foundation
      8        1.4  perseant  * by Konrad E. Schroder <perseant (at) hhhh.org>.
      9        1.4  perseant  *
     10        1.4  perseant  * Redistribution and use in source and binary forms, with or without
     11        1.4  perseant  * modification, are permitted provided that the following conditions
     12        1.4  perseant  * are met:
     13        1.4  perseant  * 1. Redistributions of source code must retain the above copyright
     14        1.4  perseant  *    notice, this list of conditions and the following disclaimer.
     15        1.4  perseant  * 2. Redistributions in binary form must reproduce the above copyright
     16        1.4  perseant  *    notice, this list of conditions and the following disclaimer in the
     17        1.4  perseant  *    documentation and/or other materials provided with the distribution.
     18        1.4  perseant  *
     19        1.4  perseant  * THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND CONTRIBUTORS
     20        1.4  perseant  * ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
     21        1.4  perseant  * TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
     22        1.4  perseant  * PURPOSE ARE DISCLAIMED.  IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS
     23        1.4  perseant  * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
     24        1.4  perseant  * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
     25        1.4  perseant  * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
     26        1.4  perseant  * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
     27        1.4  perseant  * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
     28        1.4  perseant  * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
     29        1.4  perseant  * POSSIBILITY OF SUCH DAMAGE.
     30        1.4  perseant  */
     31        1.1  perseant 
     32       1.12  perseant #include <sys/types.h>
     33        1.1  perseant #include <sys/param.h>
     34        1.1  perseant #include <sys/time.h>
     35       1.12  perseant #include <sys/buf.h>
     36       1.12  perseant #include <sys/mount.h>
     37       1.12  perseant 
     38       1.26  dholland #define vnode uvnode
     39        1.3  perseant #include <ufs/lfs/lfs.h>
     40       1.32  dholland #include <ufs/lfs/lfs_accessors.h>
     41       1.27  dholland #include <ufs/lfs/lfs_inode.h>
     42       1.12  perseant #undef vnode
     43        1.3  perseant 
     44        1.1  perseant #include <string.h>
     45       1.12  perseant 
     46       1.12  perseant #include "bufcache.h"
     47       1.17  christos #include "lfs_user.h"
     48       1.12  perseant 
     49        1.1  perseant #include "fsck.h"
     50        1.1  perseant #include "extern.h"
     51        1.3  perseant #include "fsutil.h"
     52        1.3  perseant 
     53        1.1  perseant void
     54       1.14   xtraeme pass5(void)
     55        1.1  perseant {
     56       1.12  perseant 	SEGUSE *su;
     57       1.13      yamt 	struct ubuf *bp;
     58       1.12  perseant 	int i;
     59       1.33  dholland 	daddr_t bb;		/* total number of used blocks (lower bound) */
     60       1.33  dholland 	daddr_t ubb;		/* upper bound number of used blocks */
     61       1.33  dholland 	daddr_t avail;		/* blocks available for writing */
     62       1.12  perseant 	unsigned long dmeta;	/* blocks in segsums and inodes */
     63       1.12  perseant 	int nclean;		/* clean segments */
     64       1.12  perseant 	size_t labelskew;
     65       1.12  perseant 	int diddirty;
     66        1.3  perseant 
     67        1.3  perseant 	/*
     68        1.3  perseant 	 * Check segment holdings against actual holdings.  Check for
     69       1.16  perseant 	 * "clean" segments that contain live data.  If we are only
     70       1.16  perseant 	 * rolling forward, we can't check the segment holdings, but
     71       1.16  perseant 	 * we can still check the cleanerinfo data.
     72        1.3  perseant 	 */
     73        1.7  perseant 	nclean = 0;
     74        1.6  perseant 	avail = 0;
     75        1.6  perseant 	bb = ubb = 0;
     76        1.8  perseant 	dmeta = 0;
     77       1.31  dholland 	for (i = 0; i < lfs_sb_getnseg(fs); i++) {
     78       1.12  perseant 		diddirty = 0;
     79       1.12  perseant 		LFS_SEGENTRY(su, fs, i, bp);
     80       1.16  perseant 		if (!preen && !(su->su_flags & SEGUSE_DIRTY) &&
     81        1.4  perseant 		    seg_table[i].su_nbytes > 0) {
     82       1.21  perseant 			pwarn("CLEAN SEGMENT %d CONTAINS %d BYTES\n",
     83       1.19  perseant 			    i, seg_table[i].su_nbytes);
     84       1.18  perseant 			if (reply("MARK SEGMENT DIRTY")) {
     85        1.3  perseant 				su->su_flags |= SEGUSE_DIRTY;
     86       1.12  perseant 				++diddirty;
     87        1.3  perseant 			}
     88        1.3  perseant 		}
     89       1.21  perseant 		if (!preen && su->su_nbytes != seg_table[i].su_nbytes) {
     90       1.18  perseant 			pwarn("SEGMENT %d CLAIMS %d BYTES BUT HAS %d",
     91       1.12  perseant 			    i, su->su_nbytes, seg_table[i].su_nbytes);
     92       1.12  perseant 			if ((int32_t)su->su_nbytes >
     93       1.12  perseant 			    (int32_t)seg_table[i].su_nbytes)
     94       1.18  perseant 				pwarn(" (HIGH BY %d)\n", su->su_nbytes -
     95       1.12  perseant 				    seg_table[i].su_nbytes);
     96        1.5  perseant 			else
     97       1.18  perseant 				pwarn(" (LOW BY %d)\n", -su->su_nbytes +
     98       1.12  perseant 				    seg_table[i].su_nbytes);
     99       1.18  perseant 			if (reply("FIX")) {
    100        1.3  perseant 				su->su_nbytes = seg_table[i].su_nbytes;
    101       1.12  perseant 				++diddirty;
    102        1.1  perseant 			}
    103        1.1  perseant 		}
    104        1.6  perseant 		if (su->su_flags & SEGUSE_DIRTY) {
    105       1.28  christos 			bb += lfs_btofsb(fs, su->su_nbytes +
    106       1.31  dholland 			    su->su_nsums * lfs_sb_getsumsize(fs));
    107       1.28  christos 			ubb += lfs_btofsb(fs, su->su_nbytes +
    108       1.31  dholland 			    su->su_nsums * lfs_sb_getsumsize(fs) +
    109       1.31  dholland 			    su->su_ninos * lfs_sb_getibsize(fs));
    110       1.28  christos 			dmeta += lfs_btofsb(fs,
    111       1.31  dholland 			    lfs_sb_getsumsize(fs) * su->su_nsums);
    112       1.28  christos 			dmeta += lfs_btofsb(fs,
    113       1.31  dholland 			    lfs_sb_getibsize(fs) * su->su_ninos);
    114        1.6  perseant 		} else {
    115        1.7  perseant 			nclean++;
    116       1.28  christos 			avail += lfs_segtod(fs, 1);
    117        1.6  perseant 			if (su->su_flags & SEGUSE_SUPERBLOCK)
    118       1.28  christos 				avail -= lfs_btofsb(fs, LFS_SBPAD);
    119       1.34  dholland 			if (i == 0 && lfs_sb_getversion(fs) > 1 &&
    120       1.31  dholland 			    lfs_sb_gets0addr(fs) < lfs_btofsb(fs, LFS_LABELPAD))
    121       1.28  christos 				avail -= lfs_btofsb(fs, LFS_LABELPAD) -
    122       1.31  dholland 				    lfs_sb_gets0addr(fs);
    123        1.6  perseant 		}
    124       1.12  perseant 		if (diddirty)
    125       1.12  perseant 			VOP_BWRITE(bp);
    126       1.12  perseant 		else
    127       1.23        ad 			brelse(bp, 0);
    128        1.6  perseant 	}
    129       1.12  perseant 
    130        1.6  perseant 	/* Also may be available bytes in current seg */
    131       1.30  dholland 	i = lfs_dtosn(fs, lfs_sb_getoffset(fs));
    132       1.30  dholland 	avail += lfs_sntod(fs, i + 1) - lfs_sb_getoffset(fs);
    133        1.6  perseant 	/* But do not count minfreesegs */
    134       1.31  dholland 	avail -= lfs_segtod(fs, (lfs_sb_getminfreeseg(fs) -
    135       1.31  dholland 		(lfs_sb_getminfreeseg(fs) / 2)));
    136       1.12  perseant 	/* Note we may have bytes to write yet */
    137       1.28  christos 	avail -= lfs_btofsb(fs, locked_queue_bytes);
    138       1.12  perseant 
    139       1.15  perseant 	if (idaddr)
    140       1.16  perseant 		pwarn("NOTE: when using -i, expect discrepancies in dmeta,"
    141       1.16  perseant 		      " avail, nclean, bfree\n");
    142       1.31  dholland 	if (dmeta != lfs_sb_getdmeta(fs)) {
    143       1.31  dholland 		pwarn("DMETA GIVEN AS %d, SHOULD BE %ld\n",
    144       1.31  dholland 		    lfs_sb_getdmeta(fs), dmeta);
    145       1.18  perseant 		if (preen || reply("FIX")) {
    146       1.31  dholland 			lfs_sb_setdmeta(fs, dmeta);
    147       1.12  perseant 			sbdirty();
    148       1.12  perseant 		}
    149        1.8  perseant 	}
    150       1.30  dholland 	if (avail != lfs_sb_getavail(fs)) {
    151       1.35  dholland 		pwarn("AVAIL GIVEN AS %jd, SHOULD BE %jd\n",
    152       1.35  dholland 		      (intmax_t)lfs_sb_getavail(fs), (intmax_t)avail);
    153       1.18  perseant 		if (preen || reply("FIX")) {
    154       1.30  dholland 			lfs_sb_setavail(fs, avail);
    155        1.7  perseant 			sbdirty();
    156        1.7  perseant 		}
    157        1.7  perseant 	}
    158       1.31  dholland 	if (nclean != lfs_sb_getnclean(fs)) {
    159       1.31  dholland 		pwarn("NCLEAN GIVEN AS %d, SHOULD BE %d\n", lfs_sb_getnclean(fs),
    160       1.12  perseant 		    nclean);
    161       1.18  perseant 		if (preen || reply("FIX")) {
    162       1.31  dholland 			lfs_sb_setnclean(fs, nclean);
    163        1.6  perseant 			sbdirty();
    164        1.6  perseant 		}
    165        1.6  perseant 	}
    166       1.12  perseant 
    167       1.11  perseant 	labelskew = 0;
    168       1.34  dholland 	if (lfs_sb_getversion(fs) > 1 &&
    169       1.31  dholland 	    lfs_sb_gets0addr(fs) < lfs_btofsb(fs, LFS_LABELPAD))
    170       1.28  christos 		labelskew = lfs_btofsb(fs, LFS_LABELPAD);
    171       1.30  dholland 	if (lfs_sb_getbfree(fs) > lfs_sb_getdsize(fs) - bb - labelskew ||
    172       1.30  dholland 	    lfs_sb_getbfree(fs) < lfs_sb_getdsize(fs) - ubb - labelskew) {
    173       1.33  dholland 		pwarn("BFREE GIVEN AS %jd, SHOULD BE BETWEEN %jd AND %jd\n",
    174       1.30  dholland 		    (intmax_t)lfs_sb_getbfree(fs),
    175       1.33  dholland 		    (intmax_t)(lfs_sb_getdsize(fs) - ubb - labelskew),
    176       1.33  dholland 		    (intmax_t)(lfs_sb_getdsize(fs) - bb - labelskew));
    177       1.18  perseant 		if (preen || reply("FIX")) {
    178       1.30  dholland 			lfs_sb_setbfree(fs,
    179       1.30  dholland 				((lfs_sb_getdsize(fs) - labelskew - ubb) +
    180       1.30  dholland 				 lfs_sb_getdsize(fs) - labelskew - bb) / 2);
    181        1.6  perseant 			sbdirty();
    182        1.6  perseant 		}
    183        1.1  perseant 	}
    184        1.1  perseant }
    185