Covers the concept of virtual memory and the isolation of processes through address spaces, discussing segmentation, paging, and memory implementation details.
Explores memory virtualization, addressing address spaces, page tables, caching, and system design constants to optimize memory performance and reliability.
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.