Continuation-Centric Computing with Arca
Talkat 20th USENIX Symposium on Operating Systems Design and Implementation (OSDI '26) · 2026-07-13..07-15·
summary
Arca is a continuation-centric OS that provides kernel-level continuation capture via a new syscall pair get_current_continuation and call_with_current_continuation, making captures effectively free on syscalls and costing about 2 microseconds to capture. It enforces no shared mutable memory and forbids kernel bypass so continuations are serializable and copyable; thumbnailing benchmarks drop a 100 ms download-bound function to ~3 ms by shipping a tiny continuation instead of the file. Arca runs unmodified WebAssembly (via musl-linked C) but is not Linux-compatible.
AI-written summary · about
chapters (8)
- 0:00Continuation-centric computing intro
- 2:50Why continuations matter
- 5:18Implicit continuation usage
- 10:12Designing Arca for continuations
- 13:02Transparent continuations
- 15:32New optimizations with Arca
- 19:25Arca limitations and compatibility
- 20:49Conclusion and future work
related talks
17mA Difference World: High-performance, NVM-invariant, Software-only Intermittent...
40mRetrofitting Concurrency – Lessons from the Engine Room
44mSpearheading The Future of Programming
15mTowards a Formal Foundation of Intermittent Computing
14mFreedom from memory interference
01h 03mPrinciples of Persistent Programming
20mExpeditious High-Concurrency MicroVM SnapStart in Persistent Memory with an...
42mSupercharge Your Performance with the Optimus Cirrus Platform
