Explore a groundbreaking fuzzing framework for distributed file systems in this 22-minute conference talk from USENIX ATC '24. Delve into MONARCH, a multi-node fuzzing framework designed to test POSIX-compliant distributed file systems holistically. Learn about its innovative features, including a two-step mutator for testing with syscalls and faults, practical execution state representations, and a unified coverage collection scheme. Discover how MONARCH addresses the limitations of existing bug-finding techniques and introduces a new semantic checker, SYMSC, specifically for distributed file systems. Gain insights into the framework's effectiveness as demonstrated by its application to six distributed file systems, resulting in the discovery of 48 bugs, including one traced back to the initial release of the systems.
Overview
Syllabus
USENIX ATC '24 - Monarch: A Fuzzing Framework for Distributed File Systems
Taught by
USENIX