Home | History | Annotate | Line # | Download | only in fsck_lfs
pass0.c revision 1.3
      1  1.3    kleink /*	$NetBSD: pass0.c,v 1.3 1999/07/03 19:55:03 kleink Exp $	*/
      2  1.3    kleink 
      3  1.1  perseant /*
      4  1.1  perseant  * Copyright (c) 1998 Konrad E. Schroder.
      5  1.1  perseant  * Copyright (c) 1980, 1986, 1993
      6  1.1  perseant  *	The Regents of the University of California.  All rights reserved.
      7  1.1  perseant  *
      8  1.1  perseant  * Redistribution and use in source and binary forms, with or without
      9  1.1  perseant  * modification, are permitted provided that the following conditions
     10  1.1  perseant  * are met:
     11  1.1  perseant  * 1. Redistributions of source code must retain the above copyright
     12  1.1  perseant  *    notice, this list of conditions and the following disclaimer.
     13  1.1  perseant  * 2. Redistributions in binary form must reproduce the above copyright
     14  1.1  perseant  *    notice, this list of conditions and the following disclaimer in the
     15  1.1  perseant  *    documentation and/or other materials provided with the distribution.
     16  1.1  perseant  * 3. All advertising materials mentioning features or use of this software
     17  1.1  perseant  *    must display the following acknowledgement:
     18  1.1  perseant  *	This product includes software developed by the University of
     19  1.1  perseant  *	California, Berkeley and its contributors.
     20  1.1  perseant  * 4. Neither the name of the University nor the names of its contributors
     21  1.1  perseant  *    may be used to endorse or promote products derived from this software
     22  1.1  perseant  *    without specific prior written permission.
     23  1.1  perseant  *
     24  1.1  perseant  * THIS SOFTWARE IS PROVIDED BY THE REGENTS AND CONTRIBUTORS ``AS IS'' AND
     25  1.1  perseant  * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
     26  1.1  perseant  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
     27  1.1  perseant  * ARE DISCLAIMED.  IN NO EVENT SHALL THE REGENTS OR CONTRIBUTORS BE LIABLE
     28  1.1  perseant  * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
     29  1.1  perseant  * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
     30  1.1  perseant  * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
     31  1.1  perseant  * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
     32  1.1  perseant  * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
     33  1.1  perseant  * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
     34  1.1  perseant  * SUCH DAMAGE.
     35  1.1  perseant  */
     36  1.1  perseant 
     37  1.1  perseant #include <sys/param.h>
     38  1.1  perseant #include <sys/time.h>
     39  1.1  perseant #include <ufs/ufs/dinode.h>
     40  1.1  perseant #include <ufs/ufs/dir.h>
     41  1.1  perseant #include <sys/mount.h>
     42  1.1  perseant #include <ufs/lfs/lfs.h>
     43  1.1  perseant #include <ufs/lfs/lfs_extern.h>
     44  1.1  perseant 
     45  1.1  perseant #include <stdio.h>
     46  1.1  perseant #include <stdlib.h>
     47  1.1  perseant #include <string.h>
     48  1.1  perseant 
     49  1.1  perseant #include "fsck.h"
     50  1.1  perseant #include "extern.h"
     51  1.1  perseant #include "fsutil.h"
     52  1.1  perseant 
     53  1.1  perseant /* Flags for check_segment */
     54  1.1  perseant #define CKSEG_VERBOSE     1
     55  1.1  perseant #define CKSEG_IGNORECLEAN 2
     56  1.1  perseant 
     57  1.1  perseant extern int fake_cleanseg;
     58  1.1  perseant void check_segment(int, int, daddr_t, struct lfs *, int, int (*)(struct lfs *, SEGSUM *, int, int, daddr_t, daddr_t));
     59  1.1  perseant static int check_summary(struct lfs *, SEGSUM *, int, int, daddr_t, daddr_t);
     60  1.1  perseant SEGUSE *lfs_gseguse(int);
     61  1.1  perseant 
     62  1.1  perseant struct dinode **din_table;
     63  1.1  perseant SEGUSE *seg_table;
     64  1.1  perseant /*
     65  1.1  perseant  * Pass 0.  Check the LFS partial segments for valid checksums, correcting
     66  1.1  perseant  * if necessary.  Also check for valid offsets for inode and finfo blocks.
     67  1.1  perseant  */
     68  1.1  perseant /* XXX more could be done here---consistency between inode-held blocks and
     69  1.1  perseant    finfo blocks, for one thing. */
     70  1.1  perseant 
     71  1.1  perseant #define dbshift (sblock.lfs_bshift - sblock.lfs_fsbtodb)
     72  1.1  perseant 
     73  1.1  perseant void pass0()
     74  1.1  perseant {
     75  1.1  perseant     int i;
     76  1.1  perseant     daddr_t seg_addr;
     77  1.1  perseant 
     78  1.1  perseant     /*
     79  1.1  perseant      * Run through the Ifile, to count and load the inodes into
     80  1.1  perseant      * a dynamic inode table.
     81  1.1  perseant      */
     82  1.1  perseant 
     83  1.1  perseant     /*
     84  1.1  perseant      * Check the segments
     85  1.1  perseant      */
     86  1.1  perseant 
     87  1.1  perseant     seg_addr = sblock.lfs_sboffs[0];
     88  1.1  perseant     for(i=0; i < sblock.lfs_nseg; i++)
     89  1.1  perseant     {
     90  1.1  perseant 	    seg_table[i] = *(lfs_gseguse(i));
     91  1.1  perseant 	    check_segment(fsreadfd, i, seg_addr, &sblock,
     92  1.1  perseant 			  CKSEG_IGNORECLEAN|CKSEG_VERBOSE, check_summary);
     93  1.1  perseant 	    seg_addr += (sblock.lfs_ssize << sblock.lfs_fsbtodb);
     94  1.1  perseant     }
     95  1.1  perseant #if 0
     96  1.1  perseant     /* check to see which inodes we didn't get */
     97  1.1  perseant     printf("Unavailable inodes: ");
     98  1.1  perseant     for(i=1;i<maxino;i++) /* XXX ino 0 is never present */
     99  1.1  perseant         if(din_table[i]==NULL)
    100  1.1  perseant         {
    101  1.1  perseant             struct ifile *ifp;
    102  1.1  perseant 
    103  1.1  perseant             ifp = lfs_ientry(i);
    104  1.1  perseant             printf("(%d should be at daddr 0x%x)",i,ifp->if_daddr);
    105  1.1  perseant         }
    106  1.1  perseant     putchar('\n');
    107  1.1  perseant #endif
    108  1.1  perseant }
    109  1.1  perseant 
    110  1.1  perseant static void dump_segsum(SEGSUM *sump, daddr_t addr)
    111  1.1  perseant {
    112  1.1  perseant     printf("Dump partial summary block 0x%x\n",addr);
    113  1.1  perseant     printf("\tsumsum:  %x (%d)\n",sump->ss_sumsum,sump->ss_sumsum);
    114  1.1  perseant     printf("\tdatasum: %x (%d)\n",sump->ss_datasum,sump->ss_datasum);
    115  1.1  perseant     printf("\tnext:    %x (%d)\n",sump->ss_next,sump->ss_next);
    116  1.1  perseant     printf("\tcreate:  %x (%d)\n",sump->ss_create,sump->ss_create);
    117  1.1  perseant     printf("\tnfinfo:  %x (%d)\n",sump->ss_nfinfo,sump->ss_nfinfo);
    118  1.1  perseant     printf("\tninos:   %x (%d)\n",sump->ss_ninos,sump->ss_ninos);
    119  1.1  perseant     printf("\tflags:   %c%c\n",
    120  1.1  perseant            sump->ss_flags&SS_DIROP?'d':'-',
    121  1.1  perseant            sump->ss_flags&SS_CONT?'c':'-');
    122  1.1  perseant }
    123  1.1  perseant 
    124  1.1  perseant void check_segment(int fd, int segnum, daddr_t addr, struct lfs *fs, int flags, int (*func)(struct lfs *, SEGSUM *, int, int, daddr_t, daddr_t))
    125  1.1  perseant {
    126  1.1  perseant     struct lfs *sbp;
    127  1.1  perseant     SEGSUM *sump=NULL;
    128  1.1  perseant     SEGUSE su;
    129  1.1  perseant     struct bufarea *bp = NULL;
    130  1.1  perseant     int psegnum=0, ninos=0;
    131  1.1  perseant     off_t sum_offset, db_ssize;
    132  1.1  perseant     int bc;
    133  1.1  perseant 
    134  1.1  perseant     db_ssize = sblock.lfs_ssize << sblock.lfs_fsbtodb;
    135  1.1  perseant     su = *(lfs_gseguse(segnum)); /* structure copy */
    136  1.1  perseant 
    137  1.1  perseant     if(fake_cleanseg >= 0 && segnum == fake_cleanseg)
    138  1.1  perseant         seg_table[segnum].su_flags &= ~SEGUSE_DIRTY;
    139  1.1  perseant 
    140  1.1  perseant     /* printf("Seg at 0x%x\n",addr); */
    141  1.1  perseant     if((flags & CKSEG_VERBOSE) && segnum*db_ssize + fs->lfs_sboffs[0] != addr)
    142  1.1  perseant         pwarn("WARNING: segment begins at 0x%qx, should be 0x%qx\n",
    143  1.2   nathanw               (long long unsigned)addr,
    144  1.2   nathanw 			  (long long unsigned)(segnum*db_ssize + fs->lfs_sboffs[0]));
    145  1.1  perseant     sum_offset = ((off_t)addr << dbshift);
    146  1.1  perseant 
    147  1.1  perseant     /* If this segment should have a superblock, look for one */
    148  1.1  perseant     if(su.su_flags & SEGUSE_SUPERBLOCK) {
    149  1.1  perseant         bp = getddblk(sum_offset >> dbshift, LFS_SBPAD);
    150  1.1  perseant         sum_offset += LFS_SBPAD;
    151  1.1  perseant 
    152  1.1  perseant         /* check for a superblock -- XXX this is crude */
    153  1.1  perseant         sbp = (struct lfs *)(bp->b_un.b_buf);
    154  1.1  perseant         if(sbp->lfs_magic==LFS_MAGIC) {
    155  1.1  perseant #if 0
    156  1.1  perseant             if(sblock.lfs_tstamp == sbp->lfs_tstamp
    157  1.1  perseant                && memcmp(sbp,&sblock,sizeof(*sbp))
    158  1.1  perseant 	       && (flags & CKSEG_VERBOSE))
    159  1.1  perseant                 pwarn("SUPERBLOCK MISMATCH SEGMENT %d\n", segnum);
    160  1.1  perseant #endif
    161  1.1  perseant         } else {
    162  1.1  perseant 		if(flags & CKSEG_VERBOSE)
    163  1.1  perseant 			pwarn("SEGMENT %d SUPERBLOCK INVALID\n",segnum);
    164  1.1  perseant 		/* XXX allow to fix */
    165  1.1  perseant         }
    166  1.1  perseant         bp->b_flags &= ~B_INUSE;
    167  1.1  perseant     }
    168  1.1  perseant     /* XXX need to also check whether this one *should* be dirty */
    169  1.1  perseant     if((flags & CKSEG_IGNORECLEAN) && (su.su_flags & SEGUSE_DIRTY)==0)
    170  1.1  perseant         return;
    171  1.1  perseant 
    172  1.1  perseant     while(1) {
    173  1.1  perseant         if(su.su_nsums <= psegnum)
    174  1.1  perseant             break;
    175  1.1  perseant         bp = getddblk(sum_offset >> dbshift, LFS_SUMMARY_SIZE);
    176  1.1  perseant         sump = (SEGSUM *)(bp->b_un.b_buf);
    177  1.1  perseant 	if (sump->ss_magic != SS_MAGIC) {
    178  1.1  perseant 		if(flags & CKSEG_VERBOSE)
    179  1.1  perseant 			printf("PARTIAL SEGMENT %d SEGMENT %d BAD PARTIAL SEGMENT MAGIC (0x%x should be 0x%x)\n",
    180  1.1  perseant 			       psegnum, segnum, sump->ss_magic, SS_MAGIC);
    181  1.1  perseant                 bp->b_flags &= ~B_INUSE;
    182  1.1  perseant 		break;
    183  1.1  perseant 	}
    184  1.1  perseant         if(sump->ss_sumsum != cksum(&sump->ss_datasum, LFS_SUMMARY_SIZE - sizeof(sump->ss_sumsum))) {
    185  1.1  perseant 		if(flags & CKSEG_VERBOSE) {
    186  1.1  perseant 			/* Corrupt partial segment */
    187  1.1  perseant 			pwarn("CORRUPT PARTIAL SEGMENT %d/%d OF SEGMENT %d AT BLK 0x%qx",
    188  1.2   nathanw 			      psegnum, su.su_nsums, segnum,
    189  1.2   nathanw 				  (unsigned long long)sum_offset>>dbshift);
    190  1.1  perseant 			if(db_ssize < (sum_offset>>dbshift) - addr)
    191  1.1  perseant 				pwarn(" (+0x%qx/0x%qx)",
    192  1.2   nathanw 				      (unsigned long long)(((sum_offset>>dbshift) - addr) -
    193  1.2   nathanw 										   db_ssize),
    194  1.2   nathanw 				      (unsigned long long)db_ssize);
    195  1.1  perseant 			else
    196  1.1  perseant 				pwarn(" (-0x%qx/0x%qx)",
    197  1.2   nathanw 				      (unsigned long long)(db_ssize -
    198  1.2   nathanw 										   ((sum_offset>>dbshift) - addr)),
    199  1.2   nathanw 				      (unsigned long long)db_ssize);
    200  1.1  perseant 			pwarn("\n");
    201  1.1  perseant 			dump_segsum(sump,sum_offset>>dbshift);
    202  1.1  perseant 		}
    203  1.1  perseant 		/* XXX fix it maybe */
    204  1.1  perseant 		bp->b_flags &= ~B_INUSE;
    205  1.1  perseant 		break; /* XXX could be throwing away data, but if this segsum
    206  1.1  perseant 			* is invalid, how to know where the next summary
    207  1.1  perseant 			* begins? */
    208  1.1  perseant         }
    209  1.1  perseant 	/*
    210  1.1  perseant 	 * Good partial segment
    211  1.1  perseant 	 */
    212  1.1  perseant 	bc = (*func)(&sblock, sump, segnum, psegnum, addr, (daddr_t)(sum_offset>>dbshift));
    213  1.1  perseant 	if(bc) {
    214  1.1  perseant                 sum_offset += LFS_SUMMARY_SIZE + bc;
    215  1.1  perseant                 ninos += (sump->ss_ninos + INOPB(&sblock)-1)/INOPB(&sblock);
    216  1.1  perseant                 psegnum++;
    217  1.1  perseant 	} else {
    218  1.1  perseant                 bp->b_flags &= ~B_INUSE;
    219  1.1  perseant                 break;
    220  1.1  perseant 	}
    221  1.1  perseant         bp->b_flags &= ~B_INUSE;
    222  1.1  perseant     }
    223  1.1  perseant     if(flags & CKSEG_VERBOSE) {
    224  1.1  perseant 	    if(ninos != su.su_ninos)
    225  1.1  perseant 		    pwarn("SEGMENT %d has %d ninos, not %d\n",
    226  1.1  perseant 			  segnum, ninos, su.su_ninos);
    227  1.1  perseant 	    if(psegnum != su.su_nsums)
    228  1.1  perseant 		    pwarn("SEGMENT %d has %d summaries, not %d\n",
    229  1.1  perseant 			  segnum, psegnum, su.su_nsums);
    230  1.1  perseant     }
    231  1.1  perseant 
    232  1.1  perseant     return;
    233  1.1  perseant }
    234  1.1  perseant 
    235  1.1  perseant static int check_summary(struct lfs *fs, SEGSUM *sp, int sn, int pn, daddr_t seg_addr, daddr_t pseg_addr)
    236  1.1  perseant {
    237  1.1  perseant     FINFO *fp;
    238  1.1  perseant     int bc; /* Bytes in partial segment */
    239  1.1  perseant     daddr_t *dp;
    240  1.1  perseant     struct dinode *ip;
    241  1.1  perseant     struct bufarea *bp;
    242  1.1  perseant     int i, j, n;
    243  1.1  perseant 
    244  1.1  perseant     /* printf("Pseg at 0x%x, %d inos, %d finfos\n",addr>>dbshift,sp->ss_ninos,sp->ss_nfinfo); */
    245  1.1  perseant     /* We've already checked the sumsum, just do the data bounds and sum */
    246  1.1  perseant     bc = ((sp->ss_ninos + INOPB(fs) - 1) / INOPB(fs)) << fs->lfs_bshift;
    247  1.1  perseant     dp = (daddr_t *)sp;
    248  1.1  perseant     dp += LFS_SUMMARY_SIZE / sizeof(daddr_t);
    249  1.1  perseant     dp--;
    250  1.1  perseant     i=0;
    251  1.1  perseant #if 0
    252  1.1  perseant     if(sp->ss_ninos==0 && sp->ss_nfinfo==0) {
    253  1.1  perseant         pwarn("SEGMENT %d PSEG %d IS EMPTY\n",sn,pn);
    254  1.1  perseant         return 0;
    255  1.1  perseant     }
    256  1.1  perseant #endif
    257  1.1  perseant     while(i<sp->ss_ninos)
    258  1.1  perseant     {
    259  1.1  perseant         if(*dp < seg_addr || *dp > seg_addr + (sblock.lfs_ssize<<dbshift))
    260  1.1  perseant         {
    261  1.1  perseant             printf("Disk address 0x%x but should be in 0x%x--0x%x\n",
    262  1.1  perseant                    *dp, seg_addr, seg_addr+(sblock.lfs_ssize<<dbshift));
    263  1.1  perseant         }
    264  1.1  perseant         bp = getddblk(*dp, (1<<fs->lfs_bshift));
    265  1.1  perseant         ip = (struct dinode *)bp->b_un.b_buf;
    266  1.1  perseant         for(j=0; i<sp->ss_ninos && j<INOPB(fs); j++) {
    267  1.1  perseant             /* check range */
    268  1.1  perseant             if(ip[j].di_inumber < 0 || ip[j].di_inumber > maxino)
    269  1.1  perseant             {
    270  1.1  perseant                 pwarn("BAD INUM %d IN SEGMENT %d PARTIAL %d\n",
    271  1.1  perseant                       ip[j].di_inumber, sn, pn);
    272  1.1  perseant                 /* XXX Allow to fix (zero) this */
    273  1.1  perseant             } else {
    274  1.1  perseant                 /* take a record of the highest-generation of each inode */
    275  1.1  perseant                 n = ip[j].di_inumber;
    276  1.1  perseant #if 1
    277  1.1  perseant                 if(din_table[n]==NULL || din_table[n]->di_gen < ip[j].di_gen) {
    278  1.1  perseant                     if(!din_table[n])
    279  1.1  perseant                         din_table[n] = (struct dinode *)
    280  1.1  perseant                             malloc(sizeof(struct dinode));
    281  1.1  perseant                     memcpy(din_table[n],&ip[j],sizeof(struct dinode));
    282  1.1  perseant                 }
    283  1.1  perseant #endif
    284  1.1  perseant             }
    285  1.1  perseant             i++;
    286  1.1  perseant         }
    287  1.1  perseant         bp->b_flags &= ~B_INUSE;
    288  1.1  perseant         dp--;
    289  1.1  perseant     }
    290  1.1  perseant     fp = (FINFO *)(sp + 1);
    291  1.1  perseant     for(i=0; i<sp->ss_nfinfo; i++) {
    292  1.1  perseant         bc +=  fp->fi_lastlength + ((fp->fi_nblocks-1) << fs->lfs_bshift);
    293  1.1  perseant         /* XXX for now, ignore mismatches between segments' FINFO and IFILE */
    294  1.1  perseant         dp = &(fp->fi_blocks[0]);
    295  1.1  perseant         for(j=0; j<fp->fi_nblocks; j++) {
    296  1.1  perseant             /* XXX check values against inodes' known block size */
    297  1.1  perseant             dp++;
    298  1.1  perseant         }
    299  1.1  perseant         fp = (FINFO *)dp;
    300  1.1  perseant     }
    301  1.1  perseant     return bc;
    302  1.1  perseant }
    303