Deadlock: Porovnání verzí
Smazaný obsah Přidaný obsah
Kategorie:Databáze |
+Tanenbaum, +Coffman |
||
Řádek 8:
== Podmínky deadlocku ==
K uváznutí dojde jen při splnění všech následujících podmínek, které se označují jako ''Coffmanovy podmínky'' (protože je v článku z roku 1971 poprvé popsal [[Edward G. Coffman, Jr.|Edward G. Coffman, Jr.]]):{{Sfn|Tanenbaum|2009|s=164}}{{Sfn|Coffman|Elphick|Shoshani|1971}}
;Vzájemné vyloučení (Mutual exclusion):
;Drž a čekej (Hold & wait): Proces může žádat o další prostředky, i když už má nějaké přiděleny.
;Neodnímatelnost (No preemption): Jakmile proces zmíněný prostředek vlastní, nelze mu ho
;Cyklické čekání (Circular wait):
== Řešení zablokování ==
Řádek 41:
Deadlock může být distribuovaný, tedy obsahovat proces čekající na událost nebo prostředek na jiném [[počítač]]i. Detekce distribuovaného deadlocku je ještě složitější než detekce deadlocku na jednom počítači.
==
=== Reference ===
<references />
=== Literatura ===
* {{Citace monografie
| jméno = Andrew S.
| příjmení = Tanenbaum
| titul = Modern Operating Systems
| vydání = 3
| vydavatel = Pearson Education International
| rok = 2009
| místo = London
| ref = harv
}}
* {{Citace periodika
| titul = System Deadlocks
| periodikum = ACM Computing Surveys
| jméno = Edward G., Jr.
| příjmení = Coffman
| jméno2 = Michael J.
| příjmení2 = Elphick
| jméno3 = Arie
| příjmení3 = Shoshani
| ročník = 3
| číslo = 2
| rok = 1971
| strany = 67-78
| url = http://www.ccs.neu.edu/home/pjd/cs7600-s10/Tuesday_January_26_01/p67-coffman.pdf
| datum přístupu = 2021-03-12
| url2 = http://www.cs.umass.edu/~mcorner/courses/691J/papers/TS/coffman_deadlocks/coffman_deadlocks.pdf
| doi = 10.1145/356586.356588
| s2cid = 15975305
| ref = harv
}}
=== Související články ===
* [[Nekonečný cyklus]]
* [[Livelock]]
| |||