Compiler-Assisted Crash Consistency for PMEM
summary
SSAPP is a compiler extension that transforms LLVM IR into two executables — a crash-consistent main program and an autogenerated recovery entry that computes where to resume — by splitting code into reentrant, idempotent “rises” and inserting lightweight persistent metadata such as tor bit logging and preallocated, locality-friendly log storage. It converts volatile lock-free data structures to persistent ones, matches Mirror’s hand-tuned performance, and reports 1.8× throughput over Clobber‑NVM, 7.5× on a T8P workload, and 1.4× better scalability.
AI-written summary · about
chapters (10)
- 0:00Introduction
- 1:28Crash consistency with PMEM
- 4:46Current recovery limits
- 6:30SAP technical challenges
- 9:19SOAP re-entrant sections
- 10:00SOAP compiler steps
- 11:25Output and crash consistency evaluation
- 12:50Performance improvements
- 13:54Conclusion
- 14:17Q&A
related talks
20mScalable and Accurate Application-Level Crash-Consistency Testing(…)
01h 03mPrinciples of Persistent Programming
15mTowards Verifying Crash Consistency
57mInvited Talk: Bridging Safety and Performance
01h 03mApplied Best Practices
17mA Difference World: High-performance, NVM-invariant, Software-only Intermittent...
22mFungible Memories for Automated Technology Mapping and Retargeting
01h 04mWe Live in Interesting Times