Delimited Continuations vs Lwt for Threads
Summary
The MirageOS post discusses MirageOS's event-driven model without preemptive threads and compares Lwt-based threading with delimited continuations via delimcc and Fibers. It provides code examples, describes microbenchmarks (including blocking vs. non-blocking scenarios and recursion depth tests), and concludes that performance differences are modest for MirageOS decisions, while interoperability (e.g., Lwt code compiling to JavaScript) is a key factor.