Operating Systems · Chapter 6
Synchronization Lab
Explore how synchronization primitives coordinate concurrent actors. Change the scenario, step through events, and observe blocking, shared state, and fairness.
Current State
Step0
Inside / Active0
Waiting0
Shared value0
Event Log
Concept Guide
Mutex: only one actor may enter the critical section at a time.
Semaphore: allows a limited number of actors to access a shared resource concurrently.
Producer–Consumer: producers add items to a bounded buffer while consumers remove them; synchronization prevents overflow and underflow.
Readers–Writers: multiple readers can access data together, but writers require exclusive access.
Dining Philosophers: illustrates deadlock and resource-ordering problems when multiple actors need more than one resource.