Go backward to Synchronization Mechanisms Go up to Top Go forward to Shared Memory Synchronization

Lock Variables

typedef shared int mutex;
LOCK(mutex *lock)
  do
    old = TestAndSet(lock);
  while (old == 1)
UNLOCK(mutex *lock)  
  *lock = 0

• Atomic operation TestandSet(lock)
  1. sets lock to 1 and
  2. returns previous value of lock.
• Implemented by hardware mechanism.