Model-based failure analysis of journaling file systems

Proceedings of the International Conference on Dependable Systems and Networks

Volumn , Issue , 2005, Pages 802-811

  Prabhakaran, Vijayan ^a   Arpaci Dusseau, Andrea C ^a   Arpaci Dusseau, Remzi H ^a  

^a University of Wisconsin Madison   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DISK WRITE FAILURES; FILE SYSTEMS; JOURNALING MODES; LINUX;

DOS; FILE ORGANIZATION; MATHEMATICAL MODELS; ROBUSTNESS (CONTROL SYSTEMS);

FAILURE ANALYSIS;

EID: 27544498042     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/DSN.2005.65     Document Type: Conference Paper

References (22)

1. R. H. Arpaci-Dusseau and A. C. Arpaci-Dusseau. Fail-Stutter Fault Tolerance. In HotOS VIII, pages 33-38. Schloss Elmau, Germany, May 2001.
2. S. Best. JFS Overview, www.ibm.com/developerworks/library/l-jfs.html, 2004.
3. A. Brown and D. A. Patterson. Towards Maintainability, Availability, and Growth Benchmarks: A Case Study of Software RAID Systems. In Proceedings of the USENIX Annual Technical Conference (USENIX '00), pages 263-276, San Diego, California, June 2000.
4. P. Corbett, B. English, A. Goel, T. Grcanac, S. Kleiman, J. Leong, and S. Sankar. Row-Diagonal Parity for Double Disk Failure Correction. In Proceedings of the 3rd USENIX Symposium on File and Storage Technologies (FAST '04), pages 1-14, San Francisco, California, April 2004.
5. J. DeVale and P. Koopman. Performance Evaluation of Exception Handling in I/O Libraries. In Dependable Systems and Networks, June 2001.
6. J. Gray and A. Reuter. Transaction Processing: Concepts and Techniques. Morgan Kaufmann, 1993.
7. W. Gu, Z. Kalbarczyk, I. K. Ravishankar, and Z. Yang. Characterization of linux kernel behavior under error. In Dependable Systems and Networks, pages 459-468, June 2003.
8. Y. Huang, Z. T. Kalbarczyk, and R. K. Iyer. Dependability Analysis of a Cache-Based RAID System via Fast Distributed Simulation. In The 17th IEEE Symposium on Reliable Distributed Systems, 1998.
9. Z. S. D. S. J.H. Barton, E.W. Czeck. Fault Injection Experiments Using FIAT. In IEEE Transactions on Computers, volume 39, pages 1105-1118, April 1990.
10. M. Kaniche, L. Romano, Z. Kalbarczyk, R. K. Iyer, and R. Karcich. A Hierarchical Approach for Dependability Analysis of a Commercial Cache-Based RAID Storage Architecture. In The Twenty-Eighth Annual International Symposium on Fault-Tolerant Computing, June 1998.
11. P. Koopman. What's wrong with fault injection as a dependability benchmark? In Workshop on Dependability Benchmarking (in conjunction with DSN 2002), Washington DC, July 2002.
12. W. lun Kao, R. K. Iyer, and D. Tang. FINE: A Fault Injection and Monitoring Environment for Tracing the UNIX System Behavior Under Faults. In IEEE Transactions on Software Engineering, pages 1105-1118, 1993.
13. M. K. McKusick, W. N. Joy, S. J. Leffler, and R. S. Fabry. Fsck -The UNIX File System Check Program. Unix System Manager's Manual - 4.3 BSD Virtual VAX-II Version, April 1986.
14. V. Prabhakaran, A. C. Arpaci-Dusseau, and R. H. Arpaci-Dusseau. Analysis and Evolution of Journaling File Systems. In Proceedings of the USENIX Annual Technical Conference (USENIX '05), Anaheim, California, April 2005.
15. H. Reiser. ReiserFS. www.namesys.com, 2004.
16. F. B. Schneider. Implementing Fault-Tolerant Services Using The State Machine Approach: A Tutorial. ACM Computing Surveys, 22(4):299-319, December 1990.
17. D. Siewiorek, J. Hudak, B.-H. Suh, and Z. Segal. Development of a benchmark to measure system robustness. In The Twenty-Third International Symposium on Fault-Tolerant Computing, 1993.
18. A. Sweeney, D. Doucette, W. Hu, C. Anderson, M. Nishimoto, and G. Peck. Scalability in the XFS File System. In Proceedings of the USENIX Annual Technical Conference (USENIX '96), San Diego, California, January 1996.
19. N. Talagala and D. Palterson. An Analysis of Error Behaviour in a Large Storage System. In The IEEE Workshop on Fault Tolerance in Parallel and Distributed Systems, San Juan, Puerto Rico, April 1999.
20. T. K. Tsai and R. K. Iyer. Measuring Fault Tolerance with the FTAPE Fault Injection Tool. In 8th Intl. Conf. On Modeling Techniques and Tools for Conp. Perf. Evaluation, pages 26-40, Sept 1995.
21. S. C. Tweedie. Journaling the Linux ext2fs File System. In The Fourth Annual Linux Expo, Durham. North Carolina, May 1998.
22. J. Yang, P. Twohey, D. Engler, and M. Musuvathi. Using Model Checking to Find Serious File System Errors. In Proceedings of the 6th Symposium on Operating Systems Design and Implementation (OSDI '04), San Francisco, California, December 2004.