BD-2st-1.2-w09.tresc-1.1-Slajd20

Procedura wykrywania zakleszczenia (1)

Do budowy grafu WFG wykorzystujemy struktury opisujące blokady. Z każdą blokadą są związane dwie listy: lista transakcji, które uzyskały blokadę, oraz lista transakcji oczekujących na przydział blokady. Obie listy mają postać ((Ti, mi),...), gdzie Ti oznacza transakcję, natomiast mi oznacza rodzaj blokady. Do grafu WFG dodajemy łuk Ti ? Tj, jeżeli zachodzi warunek:

- transakcja Tj należy do listy transakcji, które uzyskały blokadę, natomiast Ti jest na liście transakcji oczekujących, lub

- transakcja Tj jest przed transakcją Ti na liście transakcji oczekujących,

- blokady mi i mj są niekompatybilne.

<< Poprzedni slajd | Spis treści | Następny slajd >>