Pr-1st-1.1-m06-Slajd24

Z Studia Informatyczne
Wersja z dnia 15:56, 7 wrz 2006 autorstwa Szopen (dyskusja | edycje)
(różn.) ← poprzednia wersja | przejdź do aktualnej wersji (różn.) | następna wersja → (różn.)
Przejdź do nawigacjiPrzejdź do wyszukiwania

Detekcja zakleszczenia dla modelu predykatowego (1)

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.


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