![]() | |||||||||||||
Messages in this thread |
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 05:15 [W:0.472 / U:1.020 seconds] ©2003-2008 Jasper Spaans | |||||||||||||