2010/2011 ZS. Operační systém. prostředky, zablokování

HTML
DOWNLOAD

Rozměr: px

Začít zobrazení ze stránky:

Download "2010/2011 ZS. Operační systém. prostředky, zablokování"

Monika Blažková
před 6 lety
Počet zobrazení:

1 Principy počítačů a operačních systémů Operační systém prostředky, zablokování

2 Základní pojmy Prostředek cokoliv, k čemu je potřeba hlídat přístup např.hwzařízení, záznamy v DB Odnímatelné vs. neodnímatelné lze/nelze odejmout bez následků? Požadavky na využití neodnímatelných prostředků mohou způsobit ů zablokování

3 Práce s prostředky Žádost blokující Práce s prostředkem výlučná Uvolnění prostředku dobrovolné automatické

4 Zablokování Množina procesů je zablokována, jestliže každý proces z této množiny čeká na událost, kterou může způsobit jen jiný ýproces z této množiny.

5 Coffmanovy podmínky zablokování 1. Vzájemné vyloučení (Exclusive use) prostředek vlastní právě jeden proces nebo je volný 2. Drž a čekej (Hold and wait) proces může vlastnit prostředek a žádat o další 3. Neodnímatelnost (No preemption) přidělené prostředky nemohou být odebrány 4. Čekání do kruhu (Cyclic dependency) č kjí tř dk k h k ždýčlá k procesy čekají na prostředky v kruhu, každý článek čeká na prostředek vlastněný dalším článkem

6 Model zablokování Orientovaný graf uzly reprezentují prostředky procesy hrany reprezentují e e žádost o prostředek vlastnění prostředku R A A S R B

7 Vznik zablokování A R S B

8 Řešení problému zablokování pštrosí algoritmus předstíráme, že problém neexistuje detekce a zotavení (detection and recovery) řešíme, až když nastane problém vyhýbání se zablokování (avoidance) opatrným přidělováním zabráníme realizaci všech Coffmanových podmínek předcházení zablokování (prevention) napadení jedné z Coffmanových podmínek

9 Pštrosí algoritmus Zablokování se nedetekuje nezabraňuje se mu neodstraňuje se Uživatel sám rozhodne kill -9 bez režie OS Unix, Windows

10 Detection and Recovery Detection Hledání kružnice v grafu Recovery odebrání prostředku na přechodnou ř hd db dobu, pod ddhld dohledem operátora zabíjení nepohodlných procesů proces z cyklu závislostí proces mimo cyklus vlastnící identický prostředek (je-li více stejných prostředků)

11 Recovery checkpointing/rollback OS ukládá stav procesů restart vybraného procesu v předchozím stavu ztráta vykonané práce transakční zpracování typické spíše pro databázové systémy (v OS zdržuje)

12 Avoidance výchozí stav počet dostupných a přidělených prostředků procesy nejsou zablokovány přechod do následujícího stavu při přidělení ídalších prostředkůř pouze pokud je následující stav bezpečný existuje pořadí, v jakém uspokojit všechny procesy (nebezpečný stav - dobré pořadí přidělování prostředků neexistuje)

13 Bankéřův algoritmus Bankéř disponuje jistou částkou a slíbil různým zákazníkům různé úvěry, v součtu přesahující disponibilní částku předpokladá, že zákaznící nebudou potřebovat úvěr v plné výši všichni najednou poskytne úvěr pouze zůstane-li banka v bezpečném stavu není zablokováno existuje cesta, jak postupně zákazníky uspokojit

14 Bankéřův algoritmus - příklad Má Max Má Max Má Max A 0 6 A 1 6 A 1 6 B 0 5 B 1 5 B 2 5 C 0 4 C 2 4 C 2 4 D 0 7 D 4 7 D 4 7 Volné: 10 bezpečný Volné: 2 bezpečný Volné: 1 nebezpečný

15 Prevention Napadení některé z Coffmanových podmínek nastolení takového režimu, že je vyloučeno, aby vybraná podmínka byla splněna (tj. aby nastala taková situace) nelze aplikovat obecně, závisí na typu prostředku

16 Prevention 1. Vzájemné vyloučení (Exclusive use) prostředek vlastní právě jeden proces nebo je volný umělé vytvoření neexkluzivity např. ř spooling iluze výlučného č přístupu

17 Prevention 2. Drž a čekej (Hold and wait) proces může vlastnit prostředek a žádat o další o všechny prostředky požádat před startem před ř další žádostí vše uvolnit

18 Prevention 3. Neodjímatelnost (No preemption) přidělené prostředky nemohou být odebrány nedělá se, vede ke zmatkům

19 Prevention 4. Čekání do kruhu (Cyclic dependency) procesy čekají na prostředky v kruhu, každý článek čeká na prostředek vlastněný dalším článkem možnost žádat pouze o 1 prostředek dk očíslování prostředků, možno žádat pouze o prostředky s vyšším číslem pořadí nemusí být globální, stačí v rámci množiny prostředků sdílených současně v nějakém kontextu zámky v subsystémech operačního systému

Podobné dokumenty

Principy operačních systémů. Lekce 7: Obrana proti deadlocku

Principy operačních systémů. Lekce 7: Obrana proti deadlocku Principy operačních systémů Lekce 7: Obrana proti deadlocku Deadlock Deadlock = uváznutí, zablokování Vznik problému: proces drží určité prostředky, požaduje přidělení dalších prostředků, tyto nedostane