https://512.cz/index.php?feed=atom&target=Tonda13&title=Speci%C3%A1ln%C3%AD%3AP%C5%99%C3%ADsp%C4%9Bvky%2FTonda13 2026-10-20T08:46:17Z Z FAV wiki MediaWiki 1.17.0 https://512.cz/index.php?title=Monitory 2014-06-10T09:32:01Z

<p>Tonda13: doplnění ukázkového kódu</p> <hr /> <div>Monitor je synchronizační primitivum, které se používá pro řizeni přístupu ke sdíleným prostředkům. Jeho zvláštností<br /> je, že jde o speciální konstrukci programovacího jazyka (musí ho tedy implementovat překladač), typicky implementovanou pomocí jineho synchronizačního primitiva. Výhodou monitoru oproti jiným primitivum je jeho<br /> vysokoúrovňovost - snadněji se používá a je bezpečnější. Při jeho použití je méně pravděpodobné, že programátor<br /> udělá chybu.<br /> <br /> <br /> * Monitor je speciální typ modulu, ve kterém jsou sdružena data a procedury, které s nimi mohou manipulovat<br /> * Monitory musí umět rozpoznat překladač a přeložit je do odpovídajícího kódu<br /> * Procesy mohou volat procedury monitoru, ale nemohou přímo přistupovat k datům monitoru<br /> * V monitoru může být v jednu chvíli AKTIVNÍ pouze jeden proces; ostatní jsou při pokusu o vstup do monitoru pozastaveny.<br /> * Monitory poskytují speciální typ proměnné nazývané podmínka<br /> * Podmínky mohou být definovány a použity pouze uvnitř monitoru<br /> * Nad podmínkami jsou definovány dvě operace:<br /> ** c.wait - volající bude pozastaven nad podmínkou c. Pokud je některý proces připraven vstoupit do monitoru, bude mu to dovoleno<br /> ** c.signal - pokud existuje jeden nebo více procesů pozastavených nad podmínkou c, reaktivuje jeden z pozastavených procesů, tj. bude mu dovoleno pokračovat v běhu uvnitř monitoru pokud nad podmínkou nespí žádný proces, nedělá nic<br /> <br /> Pozor, pokud by signál pouze vzbudil proces, běžely by v monitoru dva.<br /> Možná řešení:<br /> * Hoare - proces volající c.signal se pozastaví a vzbudí se až poté co předchozí rektivovaný proces opustí monitor nebo se pozastaví<br /> * Hansen - Signal smí být uveden pouze jako poslední příkaz v monitoru. Po volání signal musí proces opustit monitor<br /> <br /> V Javě jsou monitory implementovány pomocí klíčového slova synchronized. Zde je problém více vláken v monitoru vyřešen tak, že čekající může běžet až poté, co proces volající signál opustí monitor.<br /> <br /> <br /> == Monitor - závozník ==<br /> &lt;pre&gt;<br /> //stav skladu<br /> int pivo = 10;<br /> int vino = 100;<br /> cond c1, c2; //podmínkové proměnné<br /> <br /> getPivo(){<br /> while(pivo &lt; 1){<br /> wait(c1);<br /> }<br /> pivo--;<br /> }<br /> <br /> zavozPiva(){<br /> pivo++;<br /> signal(c1);<br /> }<br /> <br /> zavozPiva(pocet){<br /> pivo = pivo + pocet;<br /> broadcast(c1); //vzdudí všechny čekající na pivo<br /> }<br /> <br /> getVino(){<br /> ...analogicky..<br /> }<br /> zavozVina(){<br /> ...analogicky..<br /> }<br /> zavozVina(pocet){<br /> ...analogicky..<br /> }<br /> &lt;/pre&gt;<br /> Je-li počet čekajících na pivo větší než počet zavezených piv, tak se jen vzbudí a znovu uspí =&gt; neefektivní!<br /> <br /> Implementace monitoru v programovacím jazyce C je realizována pomocí MUTEXu + podmínkových proměnných.<br /> <br /> {{fav-kiv-bzinf}}<br /> <br /> <br /> [[Kategorie:fav-kiv-bzinf]]</div>

Tonda13 https://512.cz/index.php?title=Soubor:Stavy-procesu.jpg 2014-06-10T09:18:15Z

<p>Tonda13: načtena nová verze &amp;quot;Soubor:Stavy-procesu.jpg&amp;quot;</p> <hr /> <div></div>

Tonda13