test Browse by Author Names Browse by Titles of Works Browse by Subjects of Works Browse by Issue Dates of Works

Advanced Search
& Collections
Issue Date   
Sign on to:   
Receive email
My Account
authorized users
Edit Profile   
About T-Space   

T-Space at The University of Toronto Libraries >
Faculty of Applied Science and Engineering >
The Edward S. Rogers Sr. Department of Electrical & Computer Engineering >
Technical reports >

Please use this identifier to cite or link to this item: http://hdl.handle.net/1807/27754

Title: Verifying File System Consistency at Runtime
Authors: Fryer, Daniel
Mahmood, Rahat
Goel, Ashvin
Demke Brown, Angela
Issue Date: 17-Jun-2011
Series/Report no.: 1
Abstract: Existing file-system reliability methods, such as checksums, redundancy, or transactional updates, provide limited defenses against file-system bugs that cause disk corruption. The existing workarounds, based on using backups or repairing the file system, are painfully slow. Worse, the recovery is performed much after the error occurred, and thus may result in further corruption and data loss. We present a system that protects file system metadata from buggy file system operations. Our approach leverages modern file systems that provide crash consistency using transactional updates. We define declarative statements called "consistency invariants" for a file system. These invariants must be satisfied by each transaction being committed to disk to preserve file system integrity. By checking each transaction before it commits, we can minimize the damage caused by buggy file systems. The major challenges to this approach are specifying invariants, and correctly interpreting file system behaviour without relying on the file system code. Our prototype system, called Recon, provides a framework for file-system specific metadata interpretation and invariant checking. We show the feasibility of interpreting metadata and writing consistency invariants for the Linux ext3 and btrfs file systems in this framework. For ext3, Recon can detect random as well as targeted file-system corruption at runtime as effectively as the offline e2fsck file-system checker, with low performance overhead.
URI: http://hdl.handle.net/1807/27754
Appears in Collections:Technical reports

Files in This Item:

File Description SizeFormat
paper.pdf276.39 kBAdobe PDF

Items in T-Space are protected by copyright, with all rights reserved, unless otherwise indicated.