| [gesichtete Version] | [gesichtete Version] |
(LOOP2 Upgrade) |
|||
| Zeile 1: | Zeile 1: | ||
=Vier Bedingungen nach Coffman= | =Vier Bedingungen nach Coffman= | ||
<loop_index>Coffman, 4 Bedingungen, Deadlock|Deadlock, Coffman</loop_index> | <loop_index id="5fa9788426ded">Coffman, 4 Bedingungen, Deadlock|Deadlock, Coffman</loop_index> | ||
<p> | <p> | ||
Eine grundlegende Arbeit über ''System Deadlocks'' veröffentlichten E.G. Coffman, Jr.; M.J. Elphick und A. Shoshani im Jahre 1971 in der Zeitschrift [http://dl.acm.org/citation.cfm?id=356588&dl=ACM&coll=DL&CFID=259872056&CFTOKEN=90437868 Computing Surveys, Vol. 3, No. 2]; <small>(hier ist ein [http://people.cs.umass.edu/~mcorner/courses/691J/papers/TS/coffman_deadlocks/coffman_deadlocks.pdf alternativer Link zu diesem Dokument])</small>. | Eine grundlegende Arbeit über ''System Deadlocks'' veröffentlichten E.G. Coffman, Jr.; M.J. Elphick und A. Shoshani im Jahre 1971 in der Zeitschrift [http://dl.acm.org/citation.cfm?id=356588&dl=ACM&coll=DL&CFID=259872056&CFTOKEN=90437868 Computing Surveys, Vol. 3, No. 2]; <small>(hier ist ein [http://people.cs.umass.edu/~mcorner/courses/691J/papers/TS/coffman_deadlocks/coffman_deadlocks.pdf alternativer Link zu diesem Dokument])</small>. | ||
</p> | </p> | ||
<loop_index>Vier Bedingungen, Deadlock|Deadlock, Vier Bedingungen|4 Bedingungen, Deadlock|Deadlock, 4 Bedingungen</loop_index> | <loop_index id="5fa9788426df8">Vier Bedingungen, Deadlock|Deadlock, Vier Bedingungen|4 Bedingungen, Deadlock|Deadlock, 4 Bedingungen</loop_index> | ||
<p> | <p> | ||
Sie beschreiben darin vier Bedingungen, welche - sobald sie allesamt zur gleichen Zeit eingetreten sind - einen Deadlock-Zustand verursacht haben: | Sie beschreiben darin vier Bedingungen, welche - sobald sie allesamt zur gleichen Zeit eingetreten sind - einen Deadlock-Zustand verursacht haben: | ||
| Zeile 11: | Zeile 11: | ||
<br /> | <br /> | ||
<p> | <p> | ||
# <loop_index>Mutual exclusion condition, Deadlock|Deadlock, Mutual exclusion condition</loop_index>''Mutual exclusion condition''<br />Eine Ressource steht einem Prozess nur exklusiv zur Verfügung, sie kann also nicht gleichzeitig von mehreren Prozessen belegt werden.<br /><br /> | # <loop_index id="5fa9788426e00">Mutual exclusion condition, Deadlock|Deadlock, Mutual exclusion condition</loop_index>''Mutual exclusion condition''<br />Eine Ressource steht einem Prozess nur exklusiv zur Verfügung, sie kann also nicht gleichzeitig von mehreren Prozessen belegt werden.<br /><br /> | ||
# <loop_index>Wait for condition, Deadlock|Deadlock, Wait for condition</loop_index>''Wait for condition''<br />Prozesse warten und behalten dabei die Kontrolle über bereits zugewiesene Ressourcen solange, bis sie alle Ressourcen zugesprochen bekommen haben, um schließlich ihre Arbeit fortführen zu können.<br /><br /> | # <loop_index id="5fa9788426e07">Wait for condition, Deadlock|Deadlock, Wait for condition</loop_index>''Wait for condition''<br />Prozesse warten und behalten dabei die Kontrolle über bereits zugewiesene Ressourcen solange, bis sie alle Ressourcen zugesprochen bekommen haben, um schließlich ihre Arbeit fortführen zu können.<br /><br /> | ||
# <loop_index>No preemption condition, Deadlock|Deadlock, No preemption condition</loop_index>''No preemption condition''<br />Zugewiesene Ressourcen können einem Prozess nicht gewaltsam wieder entrissen werden.<br /><br /> | # <loop_index id="5fa9788426e0d">No preemption condition, Deadlock|Deadlock, No preemption condition</loop_index>''No preemption condition''<br />Zugewiesene Ressourcen können einem Prozess nicht gewaltsam wieder entrissen werden.<br /><br /> | ||
# <loop_index>Circular wait condition, Deadlock|Deadlock, Circular wait condition</loop_index>''Circular wait condition''<br />Es gibt eine zyklische Kette von Prozessen, die bereits eine oder mehrere Ressourcen zugewiesen bekommen haben, und die gleichzeitig auf weitere Ressourcen warten, welche bereits dem jeweils nächsten Prozess in der Kette zugesprochen wurden. | # <loop_index id="5fa9788426e14">Circular wait condition, Deadlock|Deadlock, Circular wait condition</loop_index>''Circular wait condition''<br />Es gibt eine zyklische Kette von Prozessen, die bereits eine oder mehrere Ressourcen zugewiesen bekommen haben, und die gleichzeitig auf weitere Ressourcen warten, welche bereits dem jeweils nächsten Prozess in der Kette zugesprochen wurden. | ||
</p> | </p> | ||
Eine grundlegende Arbeit über System Deadlocks veröffentlichten E.G. Coffman, Jr.; M.J. Elphick und A. Shoshani im Jahre 1971 in der Zeitschrift Computing Surveys, Vol. 3, No. 2; (hier ist ein alternativer Link zu diesem Dokument).
Sie beschreiben darin vier Bedingungen, welche - sobald sie allesamt zur gleichen Zeit eingetreten sind - einen Deadlock-Zustand verursacht haben:
No preemption condition
Zugewiesene Ressourcen können einem Prozess nicht gewaltsam wieder entrissen werden.
Circular wait condition
Es gibt eine zyklische Kette von Prozessen, die bereits eine oder mehrere Ressourcen zugewiesen bekommen haben, und die gleichzeitig auf weitere Ressourcen warten, welche bereits dem jeweils nächsten Prozess in der Kette zugesprochen wurden.
Wenn alle vier Bedingungen zur selben Zeit zutreffen, dann liegt ein Deadlock vor.
Diese Seite steht unter der Creative Commons Namensnennung 3.0 Unported Lizenz http://i.creativecommons.org/l/by/3.0/80x15.png