BD-2st-1.2-w09.tresc-1.1-Slajd20
Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
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.
