[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> |
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 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.
{{#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