[gesichtete Version] | [gesichtete Version] |
Zeile 25: | Zeile 25: | ||
<loop_area type="definition"> | <loop_area type="definition"> | ||
<p> | <p> | ||
Unter einem '''Semaphor | Unter einem '''Semaphor''' versteht man eine Datenstruktur, welche einen ganzzahligen Zähler, sowie eine Warteschlange bereitstellt. Zusätzlich sind zwei [[TSL-Befehl#Definition:_Atomare_Aktion|atomare Operationen]] P() und V() auf diese Datenstruktur definiert. | ||
</p> | </p> | ||
</loop_area> | </loop_area> |
Der niederländische Informatiker Edsger Wybe Dijkstra hat das Semaphor-Konzept in den 1960er-Jahren entwickelt, und in seinem Artikel Co-Operating Sequential Processes vorgestellt. Auf Wikipedia findet sich ein Hinweis zur Namensherkunft des Begriffs Semaphor.
Dieses Kapitel wird in der weiterführenden Literatur behandelt:
Weiterführende Literatur
{{#index:Semaphore|Dijkstra|Edsger Wybe Dijkstra}} Mandl 2013 erläutert das Semaphor-Konzept in Kapitel 6.2.2. Die Lektüre dieser Quelle sei ausdrücklich empfohlen.
Studierende sind oftmals berechtigt, eine PDF-Version dieses Buches ohne entstehende Kosten über ihre Hochschulen von Springerlink zu beziehen.
{{#index:Semaphor}}
Unter einem Semaphor versteht man eine Datenstruktur, welche einen ganzzahligen Zähler, sowie eine Warteschlange bereitstellt. Zusätzlich sind zwei atomare Operationen P() und V() auf diese Datenstruktur definiert.
{{#index:Mutex|mutal exclusion|gegenseitiger Ausschluss}}
Unter einem Mutex (als Abkürzung für MUTal EXclusion, auf deutsch: gegenseitiger Ausschluss) versteht man einen binären Semaphor.
Diese Seite steht unter der Creative Commons Namensnennung 3.0 Unported Lizenz http://i.creativecommons.org/l/by/3.0/80x15.png