Rozdíly

Zde můžete vidět rozdíly mezi vybranou verzí a aktuální verzí dané stránky.

Odkaz na výstup diff

Obě strany předchozí revize Předchozí verze
Následující verze
Předchozí verze
mgr-szz:in-pos:1-pos [2019/06/16 19:48]
lachmanfrantisek
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 95% round blue|Bankéřův algoritmus > <box 95% round blue|Bankéřův algoritmus >
Řádek 571: Řá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>​
  
  
mgr-szz/in-pos/1-pos.1560707290.txt.gz · Poslední úprava: 2020/04/12 16:56 (upraveno mimo DokuWiki)
Nahoru
CC Attribution-Noncommercial-Share Alike 4.0 International
chimeric.de = chi`s home Valid CSS Driven by DokuWiki do yourself a favour and use a real browser - get firefox!! Recent changes RSS feed Valid XHTML 1.0