From mboxrd@z Thu Jan 1 00:00:00 1970 From: "Karuna sagar K" Subject: Re: Testing framework Date: Wed, 25 Apr 2007 16:58:09 +0530 Message-ID: <2e4afe1e0704250428v30ac35cfwe499a07182464fc5@mail.gmail.com> References: <2e4afe1e0704221346u6d6baec1uab88dc273ff08de9@mail.gmail.com> <1177337041.3704.4.camel@localhost> Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Cc: linux-fsdevel@vger.kernel.org, linux-kernel@vger.kernel.org To: "Avishay Traeger" Return-path: Received: from wx-out-0506.google.com ([66.249.82.229]:35438 "EHLO wx-out-0506.google.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S2992696AbXDYL2K (ORCPT ); Wed, 25 Apr 2007 07:28:10 -0400 Received: by wx-out-0506.google.com with SMTP id h31so202870wxd for ; Wed, 25 Apr 2007 04:28:09 -0700 (PDT) In-Reply-To: <1177337041.3704.4.camel@localhost> Content-Disposition: inline Sender: linux-fsdevel-owner@vger.kernel.org List-Id: linux-fsdevel.vger.kernel.org On 4/23/07, Avishay Traeger wrote: > On Mon, 2007-04-23 at 02:16 +0530, Karuna sagar K wrote: > > > You may want to check out the paper "EXPLODE: A Lightweight, General > System for Finding Serious Storage System Errors" from OSDI 2006 (if you > haven't already). The idea sounds very similar to me, although I > haven't read all the details of your proposal. EXPLODE is more of a generic tool i.e. it is used to find larger set of errors/bugs in file systems than the Test framework which focuses on the repair of file systems. The Test framework is focused towards repairability of the file systems, it doesnt use model checking concept, it uses replayable corruption mechanism and is user space implementation. Thats the reason why this is not similar to EXPLODE. > > Avishay > > Thanks, Karuna