3.2.11.3 Semaphore

[gesichtete Version][gesichtete Version]
Zeile 25: Zeile 25:
<loop_area type="definition">
<loop_area type="definition">
<p>
<p>
Unter einem '''Semaphor s''' 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(s) und V(s) auf diese Datenstruktur definiert.
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>

Version vom 8. November 2013, 10:57 Uhr

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:

Hinweis

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.


Definition: Semaphor

{{#index:Semaphor}}

Definition

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.


Definition: Mutex

{{#index:Mutex|mutal exclusion|gegenseitiger Ausschluss}}

Definition

Unter einem Mutex (als Abkürzung für MUTal EXclusion, auf deutsch: gegenseitiger Ausschluss) versteht man einen binären Semaphor.


Weblinks



Diese Seite steht unter der Creative Commons Namensnennung 3.0 Unported Lizenz http://i.creativecommons.org/l/by/3.0/80x15.png