Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Model-Based Failure Analysis of Journaling File Systems Vijayan Prabhakaran, Andrea C. Arpaci-Dusseau, and Remzi H. Arpaci-Dusseau
 

Summary: Model-Based Failure Analysis of Journaling File Systems
Vijayan Prabhakaran, Andrea C. Arpaci-Dusseau, and Remzi H. Arpaci-Dusseau
University of Wisconsin, Madison
Computer Sciences Department
1210, West Dayton Street, Madison, Wisconsin
{vijayan, dusseau, remzi}@cs.wisc.edu
Abstract
We propose a novel method to measure the dependability
of journaling file systems. In our approach, we build models
of how journaling file systems must behave under different
journaling modes and use these models to analyze file sys-
tem behavior under disk failures. Using our techniques, we
measure the robustness of three important Linux journaling
file systems: ext3, Reiserfs and IBM JFS. From our anal-
ysis, we identify several design flaws and correctness bugs
present in these file systems, which can cause serious file
system errors ranging from data corruption to unmountable
file systems.
1 Introduction
Disks fail. Hence, modern file systems and storage sys-

  

Source: Arpaci-Dusseau, Remzi - Department of Computer Sciences, Department of Computer Sciences, University of Wisconsin at Madison
Liblit, Ben - Department of Computer Sciences, University of Wisconsin at Madison

 

Collections: Computer Technologies and Information Sciences