3.5Operating Systems

Concurrency & Synchronization Visualizer

See race conditions in action. Watch threads interleave operations on shared data, then add mutexes to see how synchronization prevents data corruption.

Scenarios:
Cycle 0
1x
Expected: counter=4. Race condition may produce counter=2 or 3!

Execution Log

No operations yet.

Race condition: When threads read-modify-write without synchronization, updates can be lost.

Mutex: Ensures only one thread accesses the critical section at a time. Others block until it is released.