Zde můžete vidět rozdíly mezi vybranou verzí a aktuální verzí dané stránky.
Obě strany předchozí revize Předchozí verze | Následující verze Obě strany příští revize | ||
mgr-szz:in-pos:1-pos [2019/06/16 19:48] lachmanfrantisek |
mgr-szz:in-pos:1-pos [2019/06/16 20:16] lachmanfrantisek RAG, WFG |
||
---|---|---|---|
Řádek 515: | Řádek 515: | ||
* prostředek se nepřidělí, pokud by hrozilo uváznutí (hrozí stárnutí) | * prostředek se nepřidělí, pokud by hrozilo uváznutí (hrozí stárnutí) | ||
+ | <box 90% blue|Resource-Allocation Graph, RAG> | ||
+ | * množina uzlů (procesy ⚫, zdroje ⬛) | ||
+ | * hrany | ||
+ | * požadavků (proces -> zdroj) | ||
+ | * přidělení (zdroj -> proces) | ||
+ | * zdroje mohou mít více instancí | ||
+ | |||
+ | Jestliže se v RAG nevyskytuje cyklus: | ||
+ | * => k uváznutí nedošlo | ||
+ | Jestliže se v RAG vyskytuje cyklus: | ||
+ | * existuje pouze jedna instance daného typu => k uváznutí došlo | ||
+ | * existuje více instancí daného typu => k uváznutí může dojít | ||
+ | </box> | ||
+ | |||
+ | |||
+ | <box 90% blue|Wait-for-Graph, WFG> | ||
+ | * vztahy pouze mezi procesy | ||
+ | * hrana = proces čeká na uvolnění zdroje druhým procesem | ||
+ | |||
+ | * Systém uvázl, pokud je v grafu cyklus. | ||
+ | </box> | ||
<box 95% round blue|Bankéřův algoritmus > | <box 95% round blue|Bankéřův algoritmus > |