The Robustness of Distributed File Systems
Event details
| Date | 30.05.2022 |
| Hour | 15:30 › 17:30 |
| Speaker | Tao Lyu |
| Location | |
| Category | Conferences - Seminars |
EDIC candidacy exam
Exam president: Prof. Edouard Bugnion
Thesis advisor: Prof. Sanidhya Kashyap
Thesis coadvisor: Prof. Mathias Payer
Co-examiner: Prof. George Candea
Abstract
Distributed file systems (DFSes) are the critical infrastructures nowadays. However, most of the bug finding approaches are focused on the local file systems (LFS), which makes DFSes still suffer from disasters (e.g., data loss) caused by bugs. Considering the high efficiency of the fuzzing technique, we design a fuzzer to detect semantic bugs(e.g., crash consistency bugs), logical bugs and memory bugs (NULL dereference and overflow) in DFSes. Especially, a new sanitizer for crash consistency bugs are proposed. The fuzzer can be applied to any DFSes compatible with POSIX interfaces.
Background papers
(1). Hydra: An Extensible Fuzzing Framework for Finding Semantic Bugs in File Systems
(2). TaxDC: A Taxonomy of Non-Deterministic Concurrency Bugs in Datacenter Distributed Systems
(3). Correlated Crash Vulnerabilities
Exam president: Prof. Edouard Bugnion
Thesis advisor: Prof. Sanidhya Kashyap
Thesis coadvisor: Prof. Mathias Payer
Co-examiner: Prof. George Candea
Abstract
Distributed file systems (DFSes) are the critical infrastructures nowadays. However, most of the bug finding approaches are focused on the local file systems (LFS), which makes DFSes still suffer from disasters (e.g., data loss) caused by bugs. Considering the high efficiency of the fuzzing technique, we design a fuzzer to detect semantic bugs(e.g., crash consistency bugs), logical bugs and memory bugs (NULL dereference and overflow) in DFSes. Especially, a new sanitizer for crash consistency bugs are proposed. The fuzzer can be applied to any DFSes compatible with POSIX interfaces.
Background papers
(1). Hydra: An Extensible Fuzzing Framework for Finding Semantic Bugs in File Systems
(2). TaxDC: A Taxonomy of Non-Deterministic Concurrency Bugs in Datacenter Distributed Systems
(3). Correlated Crash Vulnerabilities
Practical information
- General public
- Free