Zu dieser Karteikarte gibt es einen kompletten Satz an Karteikarten. Kostenlos!

Die Operationen P() (=Betreten) und V() (=Verlassen) eines Semaphors müssen atomar sein (also in einem Maschinenbefehl ausführbar), weil eine Unterbrechung zu Inkonsistenzen in der Warteschlangenbearbeitung oder Zähler führen kann.
Die Ein- und Austrittsfunktionen eines kritischen Abschnitts müssen einen eindeutigen Zustandswechsel hervorrufen.