Co to jest blokada

Co to jest BLOKADA: 1. zakleszczenie: uklad przynajmniej dwóch mechanizmów, których wykonywanie nie moze byc kontynuowane, poniewaz jeden mechanizm utrzymuje zasób potrzebny drugiemu procesowi i mechanizm utrzymujacy ten zasób tez nie moze dzialac, gdyz potrzebuje zasobu przydzielonego do drugiego, unieruchomionego procesu. Przykladem b. poza systemami operacyjnymi sa cztery samochody oczekujace na prawo wjazdu na skrzyzowanie równorzedne. Mechanizmy uczestniczace w b. tworza cykl w grafie oczekiwania. Literacki opis tej sytuacji zawiera wiersz "Rycerz Krzykalski" J. Tuwima. Do wykrywania b. sluzy graf przydzialu zasobów, konstruowany poprzez mechanizm operacyjny. Teoretycznie jest tez mozliwe unikanie b. ( algorytm bankiera), jednak z uwagi na zlozonosc obliczeniowa jest rzadko użytkowane. Do b. moze dochodzic w systemie, gdzie jest spelniony którys z w a r u n k ó w k o- n i e c z n y c h b.: (a) istnieje wzajemne wylaczanie; (b) zachodzi w procesach przypadek przetrzymywania zasobu i oczekiwania na inny zasób (hold and wait); nie ma wywlaszczen; (d) doszlo do czekania cyklicznego. Na kontrolowaniu tych warunków opiera się zapobieganie blokadom. Przerywanie b. bazuje na likwidacji wybranych mechanizmów-ofiar (victims), dokonywanej wedlug kryterium najmniejszych strat w systemie (zlikwidowane mechanizmy trzeba bedzie powtórzyc od poczatku). W minimalizowaniu strat wynikajacych z przelamywania b. jest pomocne etapowe wykonywanie mechanizmów, a więc organizowanie tak zwany punktów kontrolnych; 2. zajecie: chwilowa rezerwacja zasobu ( pliku, rekordu bazy danych) na wylaczny uzytek procesu. W polskiej poezji fachowej istnieja dwie konwencje nazewnicze: jedna z nich zaleca uzywanie pary terminów b l o k a d a i z a j m o w a n i e, zastosowane tutaj, w trakcie gdy druga nakazuje uzywanie pary z a k l e s z c z e n i e i b l o k o w a n i e. Mozna poprzestac na względzie, ze "mechanizmy się blokuja, zajmuje się zasoby"; 3. blokowanie: tymczasowe oczekiwanie poprzez mechanizm na wystapienie zdarzenia. Mechanizm zablokowany nie wystepuje w zadnym cyklu w grafie przydzialu zasobów, jego wznowienie nastapi automatycznie, chyba ze dojdzie do glodzenia procesu. Zobacz tez algorytm strusia, uklad arbitrazu, szamotanie, utrzymanie mechanizmu, prawo stanu Kansas