IntOS: Persistent Embedded Operating System for Multi-threaded Intermittent Computing

Explore a groundbreaking presentation on INTOS, an innovative embedded operating system and language support designed for multi-threaded intermittent computing on battery-less energy-harvesting platforms. Delve into the system's unique approach to simplifying programming through the use of traditional "threads" and "transactions" with automatic undo-logging of persistent objects in non-volatile memory. Discover how INTOS addresses the challenge of ensuring crash consistency in volatile register and memory states through its novel replay-and-bypass approach. Learn about the system's ability to recover non-volatile states, reconstruct volatile states, and support priority-based preemptive multithreading while maintaining crash consistency. Examine the experimental results showcasing INTOS's superior performance on commodity platforms, demonstrating lower latency and reduced energy consumption compared to previous idempotent processing methods. Gain insights into the future of persistent, full-fledged embedded operating systems and their potential impact on intermittent computing technologies.

OSDI '24 - IntOS: Persistent Embedded Operating System and Language Support for Multi-threaded...