[lkml]   [2006]   [Mar]   [25]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
Messages in this thread
SubjectRe: [Ext2-devel] [RFC] [PATCH] Reducing average ext2 fsck time through fs-wide dirty bit]
On Fri, Mar 24, 2006 at 03:16:56PM -0700, Andreas Dilger wrote:
> On Mar 24, 2006 16:39 -0500, Theodore Ts'o wrote:
> > On Fri, Mar 24, 2006 at 02:00:33PM -0700, Andreas Dilger wrote:
> > > Are you saying to make a filesystem test harness in userspace, or to
> > > add hooks into the kernel to trigger specific cases in the running
> > > kernel?
> >
> > The former: a filesystem test harness in userspace, possibly with some
> > kernel code changes to make it easier to integrate it with the
> > userspace test harness. It's very similar to what the Netfilter folks
> > did, and it has the advantage that we can do testing much more
> > quickly, especially in cases where we want to simulate crashes at
> > certain specific test points to make sure the journal recovery happens
> > correctly.
> I seem to recall that the Stanford Metacompilation group (Dawson Engler)
> already wrote such a tool. Not sure what sort of access there is for the

Yup, it is called FiSC (File System Checker) -- unlike the meta-compiler,
this one is based on model checking. I found it quite interesting based
on my reading of the paper. But I couldn't get any further in terms of
actually being able to play with it since it wasn't available publicly as
you point out.

> tool, whether public funding would grant access to the public, or if they
> are at least willing to make an online interface available (the group has
> spun out into "Coverity", and it seems unlikely it will be completely OSS).


> Cheers, Andreas
> --
> Andreas Dilger
> Principal Software Engineer
> Cluster File Systems, Inc.
> -------------------------------------------------------
> This SF.Net email is sponsored by xPML, a groundbreaking scripting language
> that extends applications into web and mobile media. Attend the live webcast
> and join the prime developer group breaking into this new coding territory!
> _______________________________________________
> Ext2-devel mailing list

Suparna Bhattacharya (
Linux Technology Center
IBM Software Lab, India

To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to
More majordomo info at
Please read the FAQ at

 \ /
  Last update: 2006-03-25 06:15    [W:0.031 / U:6.924 seconds]
©2003-2018 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site