Concurrency

Process Synchronization

Visualize the Producer-Consumer problem with bounded buffer, mutex locks, and semaphores.

Race Condition Debugger

Score: 0
Races Caught: 0
Lives:

Watch the shared counter. If you spot a race condition (counter jumps unexpectedly), click Flag Race! before data is corrupted!

Shared Buffer

empty: 5
full: 0
mutex: 1
Shared Counter (items produced)
0
RACE CONDITION DETECTED! Without mutex, two threads modified the counter simultaneously!
Producer 1
IDLE
Producer 2
IDLE
BUFFER
MUTEX FREE
Consumer 1
IDLE
Consumer 2
IDLE

Execution Statistics

0Items Produced
0Items Consumed
0Process Blocks
0Race Conditions

Configuration

Event Log

Simulation events will appear here...