tech-kern archive

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index][Old Index]

Re: fsck updating but not fixing filesystem



On Fri, Aug 28, 2020 at 12:02:09PM -0000, Christos Zoulas wrote:
 > David Holland  <dholland-tech%netbsd.org@localhost> wrote:
 > > > Sounds like there is an in interesting fuzzing project in there for
 > > > someone - make a filesystem mage and the repeatedly damage it, then
 > > > see if fsck can fix it, then if you get a rump panic when moving
 > > > everything around, and then re-run fsck to see if it indicates any new
 > > > issues :)
 > >
 > > One can do that, but given that there are lots of edge cases and many
 > > of them will be hard to reach, formal verification might be more
 > > effective.
 > 
 > I think we should fix all filesystems to pass:
 > 
 >     https://www.netbsd.org/~riastradh/tmp/dirconc.c
 > 
 > Then we can think about formal verification :-)

You know I wrote the original version of that, right? :-)

-- 
David A. Holland
dholland%netbsd.org@localhost


Home | Main Index | Thread Index | Old Index