7.15. Semaphoren Prozess-Synchronisation

Semaphore (Signalmasten, Leuchttürme) sind das das Nachfolge - Konzept von Mutexes und Bedingungsvariablen. Im Gegensatz zu Mutexes können Semaphore nicht nur zwei Zustände einnehmen (Codefragment belegt/freigegeben), sondern beliebig viele. Dabei sind folgende Zähl-Operationen erlaubt:

• Atomares Erhöhen des Zählers um eines mit anschließender Warteschleife, bis der Zähler wieder auf 0 gesetzt wird.

• Atomares erniedrigen des Zählers um eins.

Semaphoren wurden ursprünglich entwickelt, um das Problem der lost signals zu umgehen.