hledat
Rozdíly
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 | Předchozí verze | ||
|
mgr-szz:in-pos:1-pos [2019/06/16 20:16] lachmanfrantisek RAG, WFG |
mgr-szz:in-pos:1-pos [2020/04/12 16:56] (aktuální) |
||
|---|---|---|---|
| Řádek 514: | Řádek 514: | ||
| * zamezujeme současné platnosti všech nutných podmínek | * zamezujeme současné platnosti všech nutných podmínek | ||
| * 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 > | ||
| Řádek 592: | Řádek 570: | ||
| * postupně předbíhat uváznuté procesy | * postupně předbíhat uváznuté procesy | ||
| * zamezit současné platnosti nutných podmínek | * zamezit současné platnosti nutných podmínek | ||
| + | |||
| + | |||
| + | <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> | ||
