imported>Aka: Abkürzung korrigiert

2018-02-23T22:02:00Z

Abkürzung korrigiert

Neue Seite

'''Load Link/Store Conditional''' ('''LL/SC''') (engl. etwa „Referenz laden/bedingt schreiben“) ist ein Paar von [[Hauptprozessor|Prozessor]]-[[Maschinensprache|Befehlen]], die eine [[RMW-Befehl|read-modify-write]] Operation implementieren. Der LL-Befehl lädt eine Speicherstelle, ihr Inhalt kann verändert werden, und der SC Befehl schreibt den neuen Wert zurück in die referenzierte Speicherstelle, unter der Bedingung, dass diese ''nicht verändert'' wurde. Wurde die Speicherstelle verändert, schlägt die Schreiboperation fehl. Für den Grad der Veränderung gibt es eine starke und eine schwache Semantik (s. u.).

LL/SC-Operationen dienen zur Implementierung von [[Atomare Operation|atomaren Operationen]] ohne die Verwendung von [[Lock]]s (''lock-free''). Durch die Verknüpfung von Lese- und Schreiboperation ist ihre Semantik enger gefasst als bei der [[Compare-and-swap]]-Operation, da diese keinen (nicht-verändernden) Zugriff auf die referenzierte Speicherstelle erkennen kann.

Implementierungen des LL/SC-Befehlspaares existieren auf verschiedenen [[Rechnerarchitektur]]en, unter anderem:
ldl_l/stl_c und ldq_l/stq_c ([[Alpha-Prozessor]]), lwarx/stwcx ([[PowerPC]]), ll/sc ([[MIPS-Architektur]]), und ldrex/strex ([[ARM-Architektur]] ab Version 6). Diese Architekturen basieren meist auf der [[RISC]]-Philosophie, deren [[Befehlssatz]] die Speicherzugriffe auf [[Load/Store-Architektur|Lese- und Schreibbefehle]] reduziert.

== Starke und Schwache Semantik ==
In der engen Auslegung der Semantik schlägt das LL/SC-Befehlspaar nur dann fehl, wenn zwischen dem LL- und dem SC-Befehl ein Zugriff auf die referenzierte Speicherstelle stattfindet.

Auf vielen Architekturen führen aber auch andere Ereignisse zu einem überflüssigen Fehlschlag, zum Beispiel bei [[Kontextwechsel]]n, [[Interrupt]]s oder auch anderen Speicherzugriffen.

== Siehe auch ==
* [[Prozesssynchronisation]]
* [[Paralleler Algorithmus]]
* [[Parallele Programmierung]]

[[Kategorie:Betriebssystemtheorie]]
[[Kategorie:Parallelverarbeitung]]

Load-Link/Store-Conditional - Versionsgeschichte

imported>Aka: Abkürzung korrigiert