IntOS: Persistent Embedded Operating System and Language Support for Multi-threaded...
Talkat 18th USENIX Symposium on Operating Systems Design and Implementation (OSDI '24) · 2024-07-10..07-12·
summary
An embedded OS and language runtime called INTOS implements undo-logging of persistent objects and a novel replay-and-bypass recovery to avoid checkpointing volatile registers, recording return values in per-kind replay tables for user transactions, kernel transactions and syscalls. It supports priority-based preemptive multithreading, recovers highest-priority ready tasks first, and runs on MSP430FR5994 and Apollo4 Blue Plus. Under 1 ms crashes it shows 1.24x lower latency and 1.29x less energy than prior idempotent approaches.
AI-written summary · about
chapters (13)
- 0:00Intro to IntOS and intermittent computing
- 1:24Intermittent computing challenges
- 2:30Need for embedded OS in intermittent devices
- 3:11Limitations of prior crash-consistent solutions
- 4:38IntOS design and techniques
- 6:10Single-threaded example and flow
- 7:13Recovery with replay and bypass
- 10:07Multi-threaded execution challenges
- 11:31Priority-based recovery for tasks
- 13:28Rust type system rules
- 14:54Evaluation methodology
- 15:39Experimental results and overhead
- 17:06Conclusion and future work
related talks
05mModern C++ in Embedded OS Dev
24mSecure boot, TEEs, different OSes and more
33mTizenRT: A Reliable IoT Platform
58m“Deconstructing the OS: The devil’s In the side effects”
37mImplement Safety with a RTOS Running as a Linux Companion Within...
25mOpen Source Software Stack for Heterogenous embedded devices
34mWriting an Embedded Operating System in Rust
13mReliable Recovery in Partitioned Embedded Systems Using IVSHMEM and...