Fast, Transparent Filesystem Microkernel Recovery with Ananke

on YouTube ↗16m

" summary

Ananke is a filesystem microkernel service that records an in-memory plog and runs an M algorithm to decide which operations to ignore, modify, or replay, then uses coordinated speculative restart and lightweight corruption detection to restore the state gap without extra durable writes. Implemented in uFS, it shows lossless recovery across 30,000+ fault injections, typically finishes in a few hundred milliseconds, and adds under 2% common-case overhead.

AI-written summary · about

" chapters (8)

1. 0:00Introduction to Ananke
2. 1:31Understanding crash models
3. 2:54Ananke design overview
4. 4:27P-Log and state gap challenges
5. 6:18Implementing P-Log
6. 9:08The AIM algorithm
7. 12:46Evaluation and results
8. 14:22Conclusion