Explores the concept of locking for mutual exclusion in OS, covering race conditions, parallelism, atomic instructions, deadlock prevention, and best practices.
Covers the basics of processes in operating systems, including creation, memory layout, state transitions, virtualization, APIs, and program execution.
Focuses on designing formally correct intermittent systems in batteryless systems powered intermittently, addressing challenges and strategies for ensuring correctness.