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
Type
conference paper
DOI
10.5555/3691992.3692025
Author(s)
Lyu, Tao  

EPFL

Zhang, Liyi
Feng, Zhiyao  

EPFL

Pan, Yueyang  

EPFL

Ren, Yujie
Xu, Meng
Payer, Mathias  

EPFL

Kashyap, Sanidhya  

EPFL

Editors
Bagchi, Saurabh
•
Zhang, Yiying
Date Issued

2024-07-10

Publisher

USENIX Association

Publisher place

Berkeley, CA, United States

Published in
USENIX ATC'24: Proceedings of the 2024 USENIX Conference on Usenix Annual Technical Conference
DOI of the book
10.5555/3691992
ISBN of the book

978-1-939133-41-0

Article Number

33

Start page

529

End page

543

Editorial or Peer reviewed

REVIEWED

Written at

EPFL

EPFL units
RS3LAB  
HEXHIVE  
Event nameEvent acronymEvent placeEvent date
USENIX ATC'24: 2024 USENIX Conference on Usenix Annual Technical Conference

USENIX ATC'24

Santa Clara, CA, USA

2024-07-10

Available on Infoscience
April 4, 2025
Use this identifier to reference this record
https://infoscience.epfl.ch/handle/20.500.14299/248674
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