Synchronisation durch Semaphore

(Dijsktra, ca. 1960)

Semaphor enthält

• natürliche Zahl
• Warteschlange (Queue) für Tasks

Operationen

• wait: falls Zähler > 0, dann um eins verringern,
  falls Zähler = 0, dann aufrufende Task in Queue und blockieren
• release: falls Queue leer, dann Zähler erhöhen,
  falls Queue nicht leer, dann eine Task aus Queue entfernen und aktivieren