Covers the principles and mechanisms of virtualization, including multiplexing, aggregation, and emulation, with a focus on virtual memory implementation.
Covers the basics of processes in operating systems, including creation, memory layout, state transitions, virtualization, APIs, and program execution.
Explores scalable synchronization mechanisms for many-core operating systems, focusing on the challenges of handling data growth and regressions in OS.