Principles of Computer System Design

Chapter 5

Enforcing Modularity with Virtualization

Chapter Contents

Overview

5.1 Client/Server Organization within a Computer Using Virtualization

5.1.1 Abstractions for Virtualizing Computers

5.1.2 Emulation and Virtual Machines

5.1.3 Roadmap: Step-by-Step Virtualization

5.2 Virtual Links Using SEND, RECEIVE, and a Bounded Buffer

5.2.1 An Interface for SEND and RECEIVE with Bounded Buffers

5.2.2 Sequence Coordination with a Bounded Buffer

5.2.3 Race Conditions

5.2.4 Locks and Before-or-After Actions

5.2.5 Deadlock

5.2.6 Implementing ACQUIRE and RELEASE

5.2.7 Implementing a Before-or-After Action Using the One-Writer Principle

5.2.8 Coordination between Synchronous Islands with Asynchronous Connections

5.3 Enforcing Modularity in Memory ...