Operating Systems · Concurrency

Semaphores and condition variables

Counting locks and wait-until-signaled primitives, more flexible tools than a plain mutex.

Also known as: counting semaphores, wait and signal, monitors.

Start a lesson on Semaphores and condition variables

Learn first

• Locks and mutual exclusion: A lock that lets only one thread at a time execute a critical section.

Leads to

• Classic synchronization problems: Named puzzles, producer-consumer, readers-writers, dining philosophers, that stress-test a synchronization design.

Related topics

• Classic synchronization problems: Named puzzles, producer-consumer, readers-writers, dining philosophers, that stress-test a synchronization design.