Covers the basics of processes in operating systems, including creation, memory layout, state transitions, virtualization, APIs, and program execution.
Explores real-time control systems, determinism, and automation in critical systems, emphasizing the significance of meeting time constraints for safety and efficiency.
Explores scalable synchronization mechanisms for many-core operating systems, focusing on the challenges of handling data growth and regressions in OS.