| [gesichtete Version] | [gesichtete Version] |
Keine Bearbeitungszusammenfassung |
|||
| (7 dazwischenliegende Versionen von 4 Benutzern werden nicht angezeigt) | |||
| Zeile 1: | Zeile 1: | ||
= | |||
< | <loop_index id="5fa978539ca4f">Deadlock</loop_index><loop_index id="5fa97853d244b">Verklemmung</loop_index><loop_index id="5fa97853d2456">Deadlock-Zustand</loop_index><loop_index id="5fa97853d245d">Zustand, Deadlock</loop_index> | ||
<loop_index> | |||
Deadlocks sind eine unangenehme Sache. Sie sollten besser nicht auftreten, aber das kann man leider nicht selbst bestimmen. Zunächst die Definition: | Deadlocks sind eine unangenehme Sache. Sie sollten besser nicht auftreten, aber das kann man leider nicht selbst bestimmen. Zunächst die Definition: | ||
</p> | </p> | ||
| Zeile 9: | Zeile 8: | ||
<loop_area type="definition"> | <loop_area type="definition"> | ||
<p> | <p> | ||
Eine Menge von Prozessen befindet sich nach <cite>Tanenbaum+2009</cite> in einem '''Deadlock-Zustand''', wenn jeder Prozess aus der Menge auf ein Ereignis wartet, das nur ein anderer Prozess aus der Menge auslösen kann. | Eine Menge von Prozessen befindet sich nach <cite id="5fa978539ca5a">Tanenbaum+2009</cite> in einem '''Deadlock-Zustand''', wenn jeder Prozess aus der Menge auf ein Ereignis wartet, das nur ein anderer Prozess aus der Menge auslösen kann. | ||
</p> | </p> | ||
</loop_area> | </loop_area> | ||
| Zeile 29: | Zeile 28: | ||
<loop_area type="practice"> | <loop_area type="practice"> | ||
<p> | <p> | ||
Wenn du dir vorstellen kannst, dass ein Auto im | Wenn du dir vorstellen kannst, dass ein Auto im Straßenverkehr einen Prozess repräsentiert, dann zeigt [http://pieterpan.files.wordpress.com/2008/11/deadlock.jpg dieses Bild] einen Deadlock-Zustand einer Menge von Autos. <small>([http://www.skyscrapercity.com/showpost.php?p=33297124&postcount=55 Hier gibt es eine kleine Sammlung mit ähnlichen Fotos.])</small> | ||
</p> | </p> | ||
<p> | <p> | ||
| Zeile 43: | Zeile 42: | ||
<br /> | <br /> | ||
== Ein Deadlock beim Philosophenproblem == | == Ein Deadlock beim Philosophenproblem == | ||
<p> | <p> | ||
| Zeile 52: | Zeile 52: | ||
<p> | <p> | ||
<loop_area type="task"> | <loop_area type="task"> | ||
<loop_task title="Deadlock-Philosophen"> | <loop_task title="Deadlock-Philosophen" id="5fa978539ca60"> | ||
<p> | <p> | ||
<cite>Mandl+2013</cite> geht am Ende von Kapitel 6.2.2 auf das Philosophenproblem und eine dabei bestehende Deadlock-Gefahr ein. | <cite id="5fa978539ca65">Mandl+2013</cite> geht am Ende von Kapitel 6.2.2 auf das Philosophenproblem und eine dabei bestehende Deadlock-Gefahr ein. | ||
</p> | </p> | ||
<p> | <p> | ||
Erläutere: | Erläutere: | ||
* Unter welcher Bedingung tritt bei den speisenden Philosophen ein Deadlock-Zustand ein? | * Unter welcher Bedingung tritt bei den speisenden Philosophen ein Deadlock-Zustand ein? | ||
* Welche Rolle spielt eine [[ | * Welche Rolle spielt eine [[Das_Problem_des_ung%C3%BCnstigsten_Moments#Definition:_Atomare_Aktion|atomare Aktion]] dabei? | ||
</p> | </p> | ||
</loop_task> | </loop_task> | ||
| Zeile 67: | Zeile 67: | ||
<br /> | <br /> | ||
== Aufgabe 2 == | === Aufgabe 2 === | ||
<p> | <p> | ||
<loop_area type="task"> | <loop_area type="task"> | ||
<loop_task title="Applet zum Philisophenproblem"> | <loop_task title="Applet zum Philisophenproblem" id="5fa978539ca6b"> | ||
<p> | <p> | ||
An der FH Köln wird ein [http://www.nt.fh-koeln.de/fachgebiete/inf/diplom/semwork/ Semaphor Workshop] mit Java-Applets bereitgestellt, anhand derer das Philosophenproblem mit Hilfe von insgesamt fünf Semaphoren nachvollzogen werden kann. | An der FH Köln wird ein [http://www.nt.fh-koeln.de/fachgebiete/inf/diplom/semwork/ Semaphor Workshop] mit Java-Applets bereitgestellt, anhand derer das Philosophenproblem mit Hilfe von insgesamt fünf Semaphoren nachvollzogen werden kann. | ||
| Zeile 84: | Zeile 84: | ||
</p> | </p> | ||
</loop_task> | </loop_task> | ||
</loop_area> | |||
</p> | |||
<br /> | |||
<p> | |||
== So geht es weiter: == | |||
</p> | |||
<p> | |||
<loop_area type="arrangement"><loop_toc> </loop_toc></loop_area> | |||
</p> | |||
<br /> | |||
== Alternative Webquelle zum Thema == | |||
<p> | |||
<loop_area type="websource"> | |||
<p> | |||
Operating Systems: Deadlocks<br /> | |||
<small>http://www.cs.uic.edu/~jbell/CourseNotes/OperatingSystems/7_Deadlocks.html</small> | |||
</p> | |||
<p> | |||
[http://www.cs.uic.edu/~jbell/ Dr. John T. Bell]<br /> | |||
Department of Computer Science<br /> | |||
University of Illinois, Chicago<br /> | |||
</p> | |||
</loop_area> | </loop_area> | ||
</p> | </p> | ||
Deadlocks sind eine unangenehme Sache. Sie sollten besser nicht auftreten, aber das kann man leider nicht selbst bestimmen. Zunächst die Definition:
Eine Menge von Prozessen befindet sich nach Tanenbaum 2009 in einem Deadlock-Zustand, wenn jeder Prozess aus der Menge auf ein Ereignis wartet, das nur ein anderer Prozess aus der Menge auslösen kann.
Wenn sich mehrere Prozesse in einem Deadlock-Zustand befinden, so sagt man auch vereinfachend: Es ist ein Deadlock aufgetreten.
Der englische Betriff Deadlock wird auf deutsch gerne mit Verklemmung übersetzt.
In der realen Welt gibt es eine schöne Analogie zum Deadlock-Zustand von Prozessen:
Wenn du dir vorstellen kannst, dass ein Auto im Straßenverkehr einen Prozess repräsentiert, dann zeigt dieses Bild einen Deadlock-Zustand einer Menge von Autos. (Hier gibt es eine kleine Sammlung mit ähnlichen Fotos.)
In Anbetracht dieser Bilder kannst du überlegen, ob die Menge der Prozesszustände noch um einen ergänzt werden sollte. Welcher Zustand ist damit gemeint?
Im Kapitel zum Philosophenproblem wurde bereits auf die Möglichkeit eines Deadlocks hingewiesen. Die folgenden Aufgaben greifen dieses wieder auf.
Mandl 2013 geht am Ende von Kapitel 6.2.2 auf das Philosophenproblem und eine dabei bestehende Deadlock-Gefahr ein.
Erläutere:
An der FH Köln wird ein Semaphor Workshop mit Java-Applets bereitgestellt, anhand derer das Philosophenproblem mit Hilfe von insgesamt fünf Semaphoren nachvollzogen werden kann.
http://www.nt.fh-koeln.de/fachgebiete/inf/diplom/semwork/beispiele/phil/phil.html
Erzeuge in dem Applet einen Deadlock!
Falls das Java-Applet in deinem Browser nicht startet, musst du eventuell die Java-Sicherheitseinstellungen anpassen. Trage dort ein: http://www.nt.fh-koeln.de
Operating Systems: Deadlocks
http://www.cs.uic.edu/~jbell/CourseNotes/OperatingSystems/7_Deadlocks.html
Dr. John T. Bell
Department of Computer Science
University of Illinois, Chicago
Diese Seite steht unter der Creative Commons Namensnennung 3.0 Unported Lizenz http://i.creativecommons.org/l/by/3.0/80x15.png