Pr-1st-1.1-m06-Slajd24
Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
Detekcja zakleszczenia dla modelu predykatowego (1)
W przedstawionym dalej algorytmie detekcji zakleszczenia dla modelu predykatowego wykorzystana jest koncepcja ciągu (łańcucha, sekwencji) cykli detekcyjnych (ang. wave sequence), polegająca na wielokrotnym w ogólności komunikowaniu się inicjatora procesu detekcji z pozostałymi monitorami w celu wyznaczenia stanu globalnego, lub wartości predykatu globalnego.
Istotne jest przy tym, że po zainicjowaniu jednego cyklu, następny cykl może być rozpoczęty dopiero po uzyskaniu odpowiedzi od wszystkich monitorów, czyli po zakończeniu poprzedniego cyklu. Warunek ten jest jedynym warunkiem synchronizacyjnym w tym podejściu.
