lkml.org 
[lkml]   [2006]   [Mar]   [25]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
/
From
SubjectRe: [RFC] [PATCH] Reducing average ext2 fsck time through fs-wide dirty bit]
Date
Andreas Dilger <adilger@clusterfs.com> writes:

> On Mar 24, 2006 16:39 -0500, Theodore Ts'o wrote:
>> 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
> 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).

I know the guys who wrote FiSC, the tool in question, and I have
even hacked on related software a little bit myself. I suspect
that, if asked, they would say that the code is rather
embarrassing and that they wouldn't want to release it for that
reason. However, to my knowledge it wasn't written by or in
conjunction with Coverity, so there wouldn't be any issues of
that kind.

If you want to pursue this, I'd recommend emailing Paul Twohey
<twohey@CS.Stanford.EDU> or Junfeng Yang <yjf@stanford.edu>. As
I understand it, they are the grad students who spent the most
time working on FiSC and related tools.
--
Ben Pfaff
email: blp@cs.stanford.edu
web: http://benpfaff.org

-
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 18:41    [W:0.103 / U:0.712 seconds]
©2003-2020 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site