Higher Level Mechanisms for Building Critical Sections

Table of Contents

Higher Level Mechanisms for Building Critical Sections

Semaphores

Binary Semaphores

Counting semaphores

Bounded Buffer Semaphore Implementation

Synchronization with Semaphores

Monitors

Monitor Facilities

Condition Variables

Basic Monitor Structure

Monitors and Semaphores

Monitors implemented with Semaphores

Two kinds of Monitors

Examples

Synchronization with Monitors

IPC (Inter-Processor communication)

Email: qingyue@cs.washington.edu