PPT-Folie
Wir haben hier Semaphore begrifflich auf Monitoren zurück-geführt. Tatsächlich sind sie aber "atomare" Bausteine zur Realisierung von Monitoren, da sie genau das Sperren-konzept verwirklichen.
Damit dies funktioniert, müssen P und V selbst unteilbare Aktionen sein, da sonst der wechselseitige Ausschluß nicht garantiert werden kann.
Sie werden deshalb meist durch eigene Maschinenbefehle (test-and-set/reset) unterstützt, weil ein Maschinenbefehl jeweils ununterbrechbar als Ganzes ausgeführt wird.