Must-read Papers for File System (FS)
CrashMonkey: tools for testing file-system reliability (OSDI 18)
SquirrelFS: A crash-consistent Rust file system for persistent memory (OSDI 24)
A testcase generation tool for Persistent Memory Programs.
Efficiently Detecting Concurrency Bugs in Persistent Memory Programs (ASPLOS 2022)
S3‑compatible object storage engine in Go with SigV4, replication, and GC.
CM-IOCov: Enhancing Input Coverage in CrashMonkey for File System Crash-Consistency Testing (SYSTOR ’25)
AutoOsync is a tool that makes libraries OptFS compatible, getting sometimes a performance that's an order of magnitude higher than before, while achieving the same level of safety guarantee. It requires minimal programmer intervention.
Embedded Rust key–value database with in-page Robin Hood index, WAL, directory and overflow chains
An LSM-tree storage engine in Rust with a crash-injection harness, write-ahead log, and group commit.
Reliability control plane for scoped VPN, proxy and access-continuity paths — crash-consistent policy generations, privilege-separated stores, replay-proof action leases.
Distributed key-value store written from scratch in C++17. LSM-tree storage with a group-committed write-ahead log, bloom-filtered SSTables and leveled compaction, Raft with pre-vote and check quorum for linearizable reads and writes, and a dashboard that shows failover as it happens.
Crash-safe concurrent key-value store in modern C++ (snapshots + redo-WAL + checkpointing + sanitizer-verified concurrency)
rust crate for durability evading crash and powercut dataloss
Crash-consistent distributed training with deterministic recovery and auditable SIGKILL evidence.
Orders left unconfirmed by a simulated venue become terminal rather than retried, ending at a named person, with the state machine proved by test
Deterministic C++20 simulator for NOR flash power-loss and crash-consistency testing.
A deterministic power-loss benchmark for frontier coding agents — Claude Sonnet 5 passes 0/5
Deterministic crash-consistency benchmarks for transactional tool-agent runtimes.
A deterministic skeptic for the coding loop: breaks your software's world and brings back the smallest reproducible counterexample. Sideeye doesn't believe it.
Add a description, image, and links to the crash-consistency topic page so that developers can more easily learn about it.
To associate your repository with the crash-consistency topic, visit your repo's landing page and select "manage topics."