Bringing Together Cross-ISA Checkpoint/Restoration and AOT Compilation of WebAssembly(…)
summary
Wanco is an AOT WebAssembly compiler that instruments machine code and uses on-stack replacement (OSR) plus stack maps to convert between ISA-dependent registers/memory and ISA-independent Wasm state. It migrates between x86-64 and ARMv8, cuts checkpoint time vs CRIU by 1.0–5.1× and snapshot size by 1.1–25×, at an average execution-time overhead of 36% and a binary-size increase of about 2–2.5×, and requires runtime support to capture and restore Wasm stacks.
AI-written summary · about
chapters (16)
- 0:00Cross-ISA migration challenges
- 3:17AOT compilation solution
- 5:04WebAssembly basics
- 6:11Live migration approach
- 8:21State reconstruction challenge
- 9:26On-stack replacement
- 10:55Migration points and barriers
- 13:28Prototype implementation
- 13:48Runtime overhead results
- 15:18Checkpoint/restoration performance
- 16:04Snapshot size vs Crew
- 16:45Instrumentation code size
- 17:27Conclusion and future work
- 18:19Q&A: Snapshot portability
- 20:19Q&A: Reducing delays
- 21:37Q&A: Capabilities and OS
related talks
22mEfficient Concolic Execution of WebAssembly by Compilation and Snapshot Reuse
29mWasocaml: a compiler from OCaml to WebAssembly
29mThe Return of Write Once, Run Anywhere
32mWebAssembly: birth of a virtual ISA
50mWeb Assembly
36mSafety-Critical Meets Web-Native: Wasm Revolutionizes Embedded Systems
33mWebAssembly: The Next Frontier of Cloud Computing
36mWasmer Things: An Upside-Down Guide to WebAssembly