StaticPersist : Compiler Support for PMEM Programming

on YouTube ↗15m

" summary

StaticPersist implements a compile-time interprocedural points-to analysis on LLVM IR that statically marks allocations as persistent or volatile and rewrites call sites to pass a persistent flag. The tool targets C/C++ and identifies durable roots, finds allocation call-stacks up to a depth d, and reports no false negatives; on benchmarks up to ~1,000 source LOC it reaches precision at depth 2–3 and runs in <80 seconds for a 1k-LOC linked list, reducing runtime overhead versus Java-style AutoPersist.

AI-written summary · about

" chapters (6)

1. 0:00Start
2. 0:07Fast Byte-Addressable Persistent Memory (PMEM)
3. 0:43A Primary Programmability Issue: Explicit Separation
4. 2:08Dangling Pointers from Persistent Objects to Volatile Memory
5. 4:04A Higher-Level Programming Model: Durable Roots
6. 11:51Inter-procedural Points-To Analysis on LLVM IR