3.2.11.3 Semaphore

[gesichtete Version][gesichtete Version]
Keine Bearbeitungszusammenfassung
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 atomare Operationen P(s) und V(s) auf diese Datenstruktur definiert.
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.
</p>
</p>
</loop_area>
</loop_area>
Zeile 31: Zeile 31:


<br />
<br />
==== Definition: Mutex ====
==== Definition: Mutex ====
<p>
<p>

Version vom 8. November 2013, 10:56 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 s versteht man eine Datenstruktur, welche einen ganzzahligen Zähler, sowie eine Warteschlange bereitstellt. Zusätzlich sind zwei atomare Operationen P(s) und V(s) 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