Model-based failure analysis of journaling file systems
Model-based failure analysis of journaling file systems
复制标题
基于模型的日志文件系统故障分析
DOI：
10.1109/dsn.2005.65
复制
发表时间：
2005
期刊：
影响因子：
--
通讯作者：
Remzi H. Arpaci
中科院分区：
文献类型：
--
作者：
Vijayan Prabhakaran;Andrea C. Arpaci;Remzi H. Arpaci
We propose a novel method to measure the robustness of journaling file systems under disk write failures. In our approach, we build models of how journaling file systems order disk writes under different journaling modes and use these models to inject write failures during file system updates. Using our technique, we analyze if journaling file systems maintain on-disk consistency in the presence of disk write failures. We apply our technique to three important Linux journaling file systems: ext3, Reiserfs, and IBM JFS. From our analysis, we identify several design flaws and correctness bugs in these file systems, which can cause serious file system errors ranging from data corruption to unmountable file systems.
