Story discussion

All File Systems Are Not Created Equal: On the Complexity of Crafting Crash-Consistent Applications (2014)

Discussion (1)

  1. finch1h ago
    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.