WARio: Efficient Code Generation for Intermittent Computing
summary
WARio builds a compiler pass that cuts required checkpoints by clustering write-after-read sites and grouping loop stores, using the Noel LLVM framework plus improved alias analysis and a hitting‑set placement backend. It targets battery‑free microcontrollers with non-volatile main memory and intermittent power bursts (tens of ms to ~1 s), picks an 8× unroll as the sweet spot, and shows large reductions (examples halve checkpoint count, benchmarks like SHA see major drops). Implementation is open source and evaluates successfully on real workloads.
AI-written summary · about
chapters (12)
- 0:00Intro
- 1:18Batteries Are Bad
- 2:18Other Energy Sources?
- 3:27Intermittent Computing
- 4:58Two Main Strategies
- 6:11The Write-After-Read Problem
- 7:13Checkpoint Placement
- 8:55Why Cluster WAR Writes?
- 9:39How To Cluster WAR Writes?
- 10:09Clustering WAR Writes in Loops
- 12:39Evaluation: Loop Write Clustering
- 14:50Open For Job Opportunities
related talks
01h 02mMemory and Compilers
17mA Difference World: High-performance, NVM-invariant, Software-only Intermittent...
23mBringing Together Cross-ISA Checkpoint/Restoration and AOT Compilation of WebAssembly(…)
17mLet It Flow: A Formally Verified Compilation Framework for Asynchronous Dataflow
26mAn MLIR Dialect for WebAssembly
24mTowards Understanding the Costs of Avoiding Out-of-Thin-Air Results
25mCo-operative JIT Compilation for Resource-Constrained Low-Power Coprocessors
42mDeveloping the Wolfram Language Compiler