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)
Write-Ahead Logging (WAL) crash recovery engine implementing ARIES redo and undo passes.
Write-Ahead Logging (WAL) crash recovery engine implementing ARIES redo and undo passes.
S3‑compatible object storage engine in Go with SigV4, replication, and GC.
Knowledge printed into memory as fixed Q8 records and read back exactly: one record, four exact views, a refusal instead of changed bytes, nothing confirmed lost to kill -9. Toward hardware-level memory computation (not established) and a Polish/English text AI that says UNKNOWN when it does not know. Noncommercial: GEL RAM NCRL 1.0.
A deterministic skeptic for the coding loop: breaks your software's world and brings back the smallest reproducible counterexample. Sideeye doesn't believe it.
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.
An educational, ground-up C++23 reimplementation of LevelDB: an embedded ordered key-value store with compatible storage formats, modern ownership, crash consistency, and rigorous testing.
⚡ Crash-consistent Two-Phase Commit (2PC) & WAL engine for AI agent workflows. Zero dirty state, zero hallucinated rollbacks.
Embedded Rust key–value database with in-page Robin Hood index, WAL, directory and overflow chains
A Journaling File System in C programming language.
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.
Research prototype for durable agent execution facts, deterministic acceptance, crash-state inspection, and immutable skill versioning.
An embedded key-value store whose durability is observed by a simulated disk, not asserted
To associate your repository with the crash-consistency topic, visit your repo's landing page and select "manage topics."