Covers the organization and management of page tables in computer systems, focusing on their structure, challenges, and the advantages of multi-level page tables.
Covers the principles and mechanisms of virtualization, including multiplexing, aggregation, and emulation, with a focus on virtual memory implementation.
Explores transactional memory and hardware simplification for concurrency control in software, emphasizing the benefits of hardware speculation and declarative concurrency.