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