26865

5

- ----—

Warunki konieczne Istnienia blokady

Sytuacja blokady matę powstać wtedy ■ tytko wtedy, ody w systemie sa jednoczesno spełnone cztery warunki (WKB).

1.    wzajemne wykluczanie

Przynajmniej jeden zasób musi byc niepodzielny, tzn ze zasobu tego może uZywac w danym czasie tytko Jeden proces Jeżeli Inny proces zamawia dany zasób, lo jest zawieszany do czasu, az zasób zostanio zwolniony.

2.    przetrzymywanie i oczekrwarse

Musi etmeć proces mający przydzielony co najmniej jeden zasób ■ oczekujący na przydział dodatkowego zasobu, który jest przetrzymywany przez inny proces

•    dwa procesy zadaia przydziału pamed.

•    lezba dostepnei parr»<o 200kB.

• proces A:    • proces B

Zadanie przydziału 80KB.    Zadanie przydziału 70kB,

zadanie przydziału 60kB    Zadanie przydziału 80kB,

Przykład z przekazywaniem komunikatów

• proces A:    • proces B

receive< B, Mi).    o rece»ve< A. M2).

send(B.M2).    send< A. Ml).

-----------------------8

3. Brak wywłaszczeń

Zasoby nie podlegają wywłaszczaniu, tzn . ze zasób może zostać zwolniony tylko z iniciatywy przetrzymującego go procesu, po zakończeniu działania lego procesu

4 Czekanie cyklczne

Musi istnieć zbtór <Po.Pi,... ,Pn) czokajacycb procesów (w stano Z) takich, ze

Po czeka na zasób przetrzymywany przez proces p>

Pi czeka na zasób przetrzymywany przez proces Pi

Pn czeka na zasób przetrzymywany przez proces Po

• warunek czekania cyklicznego 4 impkkuje warunek 2.. wiec warunki te me sa zupełnie niezależne Rozpakywame ich z osobna jest jednak wygodne