Semaphores

• Synchronization tool that does not require busy waiting.
• Semaphore S – integer variable
• can only be accessed via two indivisible (atomic) operations

  wait (S): 

  while S£ 0 do no-op;
  S--;

  signal (S):

  S++;