Tag
fsck
- Oct 20, 2026 fsck and the Ordering of Repairs Why the consistency passes run in a fixed order, how each pass builds the data the next one needs, and why some findings can only be resolved by discarding data. filesystems
- Aug 12, 2026 Verifying Crash Consistency with Fault Injection Why a crash-consistency claim needs an exhaustive state-space argument rather than a test, how to model a device that loses writes and reorders them, and which failures the method cannot find. memory systems