A Language For Enhancing File System Tests
summary
A tiny interpreted language called gfs2l specifies precise on‑disk edits for gfs2 by using the libgfs2 metadata description to map block types and field offsets, then applying get/set statements to inject corruption for tests. Implementation uses a flex/bison parser building an AST; command-line options include -t and -f to list types and fields. Workflow: makefs → run gfs2l script → fsck -y → check return code. Missing: block‑data writes, transactions and richer error messages.
AI-written summary · about
chapters (8)
- 0:00Intro
- 0:19Overview
- 1:58GFS2 Recap
- 9:29Metadata Description
- 13:34Implementation
- 15:09Example lookups
- 20:01Integrating Into Tests
- 22:16Future Work
related talks
47mEnabling Large Block Size devices in Linux
16mexF2FS: Transaction Support in Log-Structured Filesystem
42mProduction FS: Adapt or Die
19mEvaluating File System Reliability on Solid State Drives
23mCan Applications Recover from fsync Failures?
19mFlatFS: Flatten Hierarchical File System Namespace on Non-volatile Memories
33mSSDFS: Flash-friendly File System with Highly Minimized GC Activity, Diff-on-write, & Deduplication
18mDon't Maintain Twice, It's Alright: Merged Metadata Management in Deduplication File...