Re: [PATCH v2] Documenting the crash-recovery guarantees of Linux file systems

2019-03-18 Thread Vijay Chidambaram
For new folks on the thread, I'm Vijay Chidambaram, prof at UT Austin and Jayashree's advisor. We recently developed CrashMonkey, a tool for finding crash-consistency bugs in file systems. As part of the research effort, we had a lot of conversations with file-system developers to unde

Re: Documenting the crash consistency guarantees of file systems

2019-02-13 Thread Vijay Chidambaram
On Wed, Feb 13, 2019 at 7:47 PM Dave Chinner wrote: > > On Wed, Feb 13, 2019 at 12:35:16PM -0600, Vijay Chidambaram wrote: > > On Wed, Feb 13, 2019 at 12:22 PM Amir Goldstein wrote: > > > On Wed, Feb 13, 2019 at 7:06 PM Jayashree Mohan > > > wrote: > > A

Re: Documenting the crash consistency guarantees of file systems

2019-02-13 Thread Vijay Chidambaram
On Wed, Feb 13, 2019 at 12:22 PM Amir Goldstein wrote: > > On Wed, Feb 13, 2019 at 7:06 PM Jayashree Mohan wrote: > > > > Hi Amir! > > > > Thanks for putting across your thoughts on this. Your suggestions > > definitely make sense, and we'll compile these information and submit > > a patch for re