| [gesichtete Version] | [gesichtete Version] |
Keine Bearbeitungszusammenfassung |
|||
| Zeile 92: | Zeile 92: | ||
Nach diesen grundlegenden Definitionen folgen mit dem [[Mutex]] und dem [[Zählsemaphor]] zwei konkretere Konzepte, anhand derer die Einsatzmöglichkeiten von Semaphoren gezeigt werden. | Nach diesen grundlegenden Definitionen folgen mit dem [[Mutex]] und dem [[Zählsemaphor]] zwei konkretere Konzepte, anhand derer die Einsatzmöglichkeiten von Semaphoren gezeigt werden. | ||
</p> | </p> | ||
== So geht es weiter: == | == So geht es weiter: == | ||
<p> | <p> | ||
<loop_area type="arrangement"><loop_toc> </loop_toc></loop_area> | <loop_area type="arrangement"><loop_toc> </loop_toc></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.
Wie im weiteren Verlauf dieses Abschnitts noch zu sehen sein wird, können mit Hilfe des Semaphor-Konzepts eine Reihe von Problemen der Prozesssynchronisation gelöst werden. Als großer Vorteil der Semaphore wird noch zu erkennen sein, dass sie dabei auf aktives Warten verzichten, und somit nicht den Nachteil der Verschwendung von CPU-Zeit haben.
Zunächst einige Definitionen:
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.
Ein ganzzahliger Zähler ist in der Programmierung beispielsweise eine einfache Integer-Variable. Diese kann negative oder positive ganzzahlige Werte annehmen.
Eine Warteschlange ist eine klassische Datenstruktur in der Informatik, die nach dem FIFO-Prinzip (First In, First Out) arbeitet. Sie dient hier zur geordneten Aufnahme von Prozessen.
Die Operation P() wird in einigen Quellen auch als down()-Operation betitelt, analog up() anstatt V().
Unter einem binären Semaphor versteht man einen Semaphor, dessen ganzzahliger Zähler nur die Werte 0 oder 1 annehmen kann.
Ein binärer Semaphor besitzt gemäß seiner Definition ebenso eine Warteschlange und auch die auf ihm operierenden P()- und V()-Operationen.
Die P()-Operation eines Semaphors ist als atomare Operation wie folgt definiert:
Mit "blockieren" ist hier das Ändern des Prozesszustands des die P()-Operation aufrufenden Prozesses in den Zustand "Blockiert" gemeint.
Die V()-Operation eines Semaphors ist als atomare Operation wie folgt definiert:
Mit "entblockieren" ist hier das Ändern des Prozesszustands des ersten Prozesses aus der Warteschlange in den Zustand "Bereit" gemeint. Der Zustand des Prozesses, welcher die V()-Operation aufruft, ändert sich hier nicht.
Nach diesen grundlegenden Definitionen folgen mit dem Mutex und dem Zählsemaphor zwei konkretere Konzepte, anhand derer die Einsatzmöglichkeiten von Semaphoren gezeigt werden.
Erläutere warum es Sinn macht, dass die P()-Operation auch als down()-Operation betitelt wird, und warum analog die V()-Operation als up() betitelt wird.
<loop_task title="P() und V() sind atomar">
Die P()- und V()-Operation ist jeweils als atomare Operation definiert.
Was bedeutet dies für die Ausführung dieser beiden Operationen?
Diese Seite steht unter der Creative Commons Namensnennung 3.0 Unported Lizenz http://i.creativecommons.org/l/by/3.0/80x15.png