Synchronisierung mit Hilfe von Semaphoren

Was noch ansteht ist das automatisches Prüfen auf Verklemmungsfreiheit und damit auch ein automatischer Durchlauf.

Semaphoren

Hier können die Namen und Anfangswerte der Semaphoren festgelegt werden.

Prozess-Ablauf

In diesem Bereich werden sie die Prozesse schrittweise ablaufen lassen.

 Aktiv Blockiert Terminiert

Prozess-Vorlagen

Handlungen müssen dabei in <...> stehen. Semaphor-Operationen können mit .P oder .V an den Semaphorennamen gehängt werden. Jede Aktion, sei es nun <...> oder semaphore.P muss in einer eigenen Zeile stehen.

     Beispiele: