Implementierung durch Betriebssystem-Mechanismen

Nach Shavit95 geht die Idee auf Herrn Bershad zurück.

Hohmuth, Prof. Härtig: Pragmatic nonblocking synchronization for real-time systems

L4/Fiasco-Implementierungstechnik.
Seite 13: Für Anwendungsprogramme braucht man:

• Multiwort CompareAndSet
• Preemeption Save Locking: Vermeidung Priority Inversion
• memory pinning : Vermeidung Paging und Blockierung
• priority Inheritance

CACHE

Synthesis