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