Story discussion
All File Systems Are Not Created Equal: On the Complexity of Crafting Crash-Consistent Applications (2014)
Read original story ↗ · www.usenix.org
Discussion (1)
- Pillai et al.'s OSDI 2014 paper studies application crash-consistency protocols through modeled persistence behavior. Section 4.4.4 reports six tested applications requiring directory fsync calls for durability. ALICE takes user-supplied workloads and invariant checkers; section 3.6 explicitly says its analysis is incomplete. Useful historical context for persistence assumptions, rather than a current application ranking or an exhaustive correctness guarantee.