Repository logo

Infoscience

  • English
  • French
Log In
Logo EPFL, École polytechnique fédérale de Lausanne

Infoscience

  • English
  • French
Log In
  1. Home
  2. Academic and Research Output
  3. Conferences, Workshops, Symposiums, and Seminars
  4. MONARCH: a fuzzing framework for distributed file systems
 
conference paper

MONARCH: a fuzzing framework for distributed file systems

Lyu, Tao  
•
Zhang, Liyi
•
Feng, Zhiyao  
Show more
Bagchi, Saurabh
•
Zhang, Yiying
July 10, 2024
USENIX ATC'24: Proceedings of the 2024 USENIX Conference on Usenix Annual Technical Conference
USENIX ATC'24: 2024 USENIX Conference on Usenix Annual Technical Conference

Distributed file systems (DFSes) are prone to bugs. Although numerous bug-finding techniques have been applied to DFSes, static analysis does not scalewell with the sheer complexity of DFS codebases while dynamic methods (e.g., regression testing) are limited by the quality of test cases. Although both can be improved by pouring in manual effort, they are less practical when facing a diverse set of real-world DFSes. Fuzzing, on the other hand, has shown great success in local systems. However, several problems exist ifwe apply existing fuzzers to DFSes as they 1) cannot test multiple components of DFSes holistically; 2) miss the critical testing aspects of DFSes (e.g., distributed faults); 3) have not yet explored the practical state representations as fuzzing feedback; and 4) lack checkers for asserting semantic bugs unique to DFSes. In this paper, we introduce Monarch, a multinode fuzzing framework to test all POSIX-compliant DFSes under one umbrella. Monarch pioneers push-button fuzzing for DFSes with a new set of building blocks to the fuzzing toolbox: 1) A multi-node fuzzing architecture for testing diverse DFSes from a holistic perspective; 2) A two-step mutator for testing DFSes with syscalls and faults; 3) Practical execution state representations with a unified coverage collection scheme across execution contexts; 4) A new DFS semantic checker SymSC. We applied Monarch to six DFSes and uncovered a total of 48 bugs, including a bug whose existence can be traced back to the initial release of the DFS.

  • Details
  • Metrics
Logo EPFL, École polytechnique fédérale de Lausanne
  • Contact
  • infoscience@epfl.ch

  • Follow us on Facebook
  • Follow us on Instagram
  • Follow us on LinkedIn
  • Follow us on X
  • Follow us on Youtube
AccessibilityLegal noticePrivacy policyCookie settingsEnd User AgreementGet helpFeedback

Infoscience is a service managed and provided by the Library and IT Services of EPFL. © EPFL, tous droits réservés