Semaphorvariable Semaphorvariablen sind die von Dijkstra eingeführten Variablen zur Synchronisation von Prozessen. Eine Semaphorvariable nimmt nur ganzzahlige Werte an, und jeder Semaphorvariablen ist eine Warteschlange Q(s) zugeordnet. Auf einer Semaphorvariablen sind genau zwei nichtunterbrechbare Operationen (P- und V-Operationen) wie folgt erk...