Go backward to Shared Memory Synchronization Go up to Top Go forward to Lock Variables

Synchronization Mechanisms

mutex lock = INIT();
P: loop             C: loop
     v = produce()       LOCK(lock)
     LOCK(lock)          C2
     C1                  UNLOCK(lock)
     UNLOCK(lock)        consume(v)

• Shared variable
• States: "locked" and "unlocked"
• If locked, LOCK() blocks until unlocked.