Deadlock

Question 1

Co je to uviaznutie?

Answer 1

ak proces caka na udalost ktora nemoze nastat, teda nikdy sa neukonci

Question 2

Ako vieme rozoznat ci je proces uviaznuty?

Answer 2

Bohuzial to nevieme

Question 3

Kedy je mnozina procesov v stave uviaznutia?

Answer 3

Ak kazdy caka na udalost, ktoru moze sposobit len iny proces tejto mnoziny

Question 4

Ake su 4 nutne podmienky vzniku uviaznutia?

Answer 4

1. vzajomne vylucovanie
2. nepreemptivne pridelovanie prostriedkov (prideleny prostriedok nie je mozne procesu odobrat)
3. ciastnocne pridelovanie prostriedkov
4. cakanie na prostriedky
   ak vsetky platia, mame uviaznutie

Question 5

Co je ciastocne pridelovanie prostriedkov?

Answer 5

Proces moze o prostriedky cakat postupne, moze mat nejake pridelene zatial co caka na dalsie

Question 6

Co je cakanie na prostriedky?

Answer 6

Ak proces nema pridelene prostriedky ktore ziada, caka

Question 7

Co je kruhove cakanie?

Answer 7

postupnost procesov taka, ze kazdy caka na prostriedok toho dalsieho a posledny na toho prveho

Question 8

Ako vieme modelovat uviaznutie?

Answer 8

Grafom alokacie prostriedkov - bipartitny orientovany graf, kde vrcholy su procesy P a prostriedky R

Question 9

V grafe alokacie prostriedkov, co je hrana P ->R?

Answer 9

P potrebuje prostriedok R

Question 10

V grafe alokacie prostriedkov, co je hrana R->P?

Answer 10

Proces P ma prideleny prostriedok R a uvolni ho az ked sa ukonci

Question 11

Co to su Petriho siete?

Answer 11

kazdy proces vsetky jeho “riadky”, sipka je smerovanie procesu alebo preplanovanie na druhy proces

Question 12

Co je problem z pohladu OS pri rieseni uviaznutia?

Answer 12

OS moze riadit pristup len k prostiredkom ktore poskytuje ako CPU, pamat, subory ,semafory a pod., nema vsak vplyv na prostriedky implementovane procesmi

Question 13

Ake su 4 pristupy k rieseniu problemu uviaznutia?

Answer 13

1. Ignorovanie problemu
2. Detekcia uviaznutia a zotavenie
3. Predchadzanie uviaznutia
4. Vyhybanie sa uviaznutiu

Question 14

Co je zac taktika Ignorovanie uviaznutia?

Answer 14

Len ak je uviaznutie nepravdepodobne a zriedkave, ajtak to ale nie je idealny sposob

Question 15

Co je zac taktika detekcia uviaznutia a zotavenie?

Answer 15

Ked uviaznutie nastane, OS restartuje niektory z mnoziny uviaznutych procesov. Musi mat teda implementovany detekcny mechanizmus.

Question 16

Ake detekcne mechanizmy uviaznutia vieme implementovat?

Answer 16

1. operator ktory stav zisti a zasiahne
2. taky co zrusi proces zablokovany urcitu dlhu dobu
3. prida sa uprava alokacneho grafu, ak sa najde slucka, nastalo uviaznutie

Question 17

Co je to zotavenie?

Answer 17

Zrusenie vsetkych uviaznutych procesov, alebo jedneho, alebo navrat do neuviaznuteho stavu

Question 18

Ako vieme predchadzat uviaznutiu?

Answer 18

Upravime implementaciu aby niektora z nutnych podmienok nebola splnena, teda zrusit jednu zo styroch podmienok uviaznutia

Question 19

Ako vieme odstranit vzajomne vylucovanie?

Answer 19

Pristup k spolocnemu prostriedku moze byt sprostredkovany koordinacnym procesom ktory bude k nemu pristupovat ako jediny, s ktorym budu komunikovat procesy. Moze ale vzniknut nova kriticka oblast.

Question 20

Co je to preempcia?

Answer 20

odobranie prostriedku ktory uz bol prideleny

Question 21

Aky je problem preemptivneho pridelovania prostriedkov?

Answer 21

moze to mat fatalne dosledky, ak ich budeme nasilu brat

Question 22

Kedy vieme vyuzit preemptivnu taktiku?

Answer 22

pre zdroje ktorych stav vieme uchovat

Question 23

Ako vieme docielit Pridelenie vsetkych prostriedkov procesu?

Answer 23

Proces by mohol vzdy pred alokovanim dalsich prostriedkov uvolnit vsetky ktore ma a poziadat o zvyseny objem naraz

Question 24

Aky je problem pri pridelovani vsetkych prostriedkov?

Answer 24

mnohe procesy vopred nevedia kolko prostriedkov potrebuju

Question 25

Ako vieme eliminovat cyklicke cakanie?

Answer 25

Vsetky prostriedky ocislujeme/zoradime, kazdy proces vie ziadat prostriedky len v poradi ich cisel, tym nemoze vzniknut cyklus v grafe alokacii prostriedkov

Question 26

Co je to vyhybanie uviaznutiu?

Answer 26

OS a procesy sa spravaju tak aby k uviaznutiu nedoslo pocas vykonavania Ziadna z nutnych podmienok nie je trvale odstranena ale procesy sa vyhybaju tomu aby platili vsetky naraz

Question 27

Co je to odmietnutie spustenia procesu?

Answer 27

pozri slide 25 + priklady

Question 28

Co je bankarov algoritmus?

Answer 28

algoritmus odmietnutia pridelenia prostriedku

Question 29

Ako funguje bankarov algoritmus?

Answer 29

Operacny system (bankar) sa rozhodne ci klientovi (procesu) prideli prostriedok daneho typu. Kazdy proces musi na zaciatku oznamit celkove mnozstvo jednotlivych prostriedkov ktore potrebuje a po skonceni ich vrati.

Question 30

Kedy bankar prideli prostriedky procesu?

Answer 30

Len ak existuje postupnost ktora vedie k uspokojeniu vsetkych procesov. Stav je bezpecny ak vedie do dalsieho bezpecneho stavu.

Question 31

Je bankarov algoritmus prakticky pouzitelny a preco?

Answer 31

Nie, lebo neda sa povedat jednoducho kolko prostriedkov proces potrebuje

Question 32

Pozri priklady bankarovho algoritmu na slajdoch od 32

Answer 32

32

Question 33

Ako vieme detekovat uviaznutie v jadre OS Linux?

Answer 33

futex() alebo pthread_mutex_lock() vrati EDEADLK | OS si pre kazdy proces udrzuje zoznam zamkov na ktore caka

Question 34

Ako vieme detekovat uviaznutie pre zamky na suboroch?

Answer 34

zamky na suboroch nastavime systemovym volanim fcntl (POSIX).

Question 35

Aky je rozdiel medzi F_SETLK a F_SETLKW?

Answer 35

F_SETLKW bude cakat az kym nebude mozne zamok ziskat