lkml.org 
[lkml]   [2006]   [Mar]   [25]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
    /
    Date
    From
    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).

    Regards
    Suparna

    >
    > 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!
    > http://sel.as-us.falkag.net/sel?cmd=lnk&kid=110944&bid=241720&dat=121642
    > _______________________________________________
    > Ext2-devel mailing list
    > Ext2-devel@lists.sourceforge.net
    > https://lists.sourceforge.net/lists/listinfo/ext2-devel

    --
    Suparna Bhattacharya (suparna@in.ibm.com)
    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 majordomo@vger.kernel.org
    More majordomo info at http://vger.kernel.org/majordomo-info.html
    Please read the FAQ at http://www.tux.org/lkml/

    \
     
     \ /
      Last update: 2006-03-25 06:15    [from the cache]
    ©2003-2014 Jasper Spaans. hosted at Digital Ocean