Monitors: Mutual Exclusion & Condition Variables

A monitor is a high-level synchronization construct that bundles shared data with an implicit lock granting one-thread-at-a-time access, plus condition variables for blocking wait/signal coordination without busy waiting.