Pr-1st-1.1-m06-Slajd25

Detekcja zakleszczenia dla modelu predykatowego (2)

W celu uproszczenia prezentacji algorytmu detekcji zakleszczenia dla modelu predykatowego przyjmiemy, że monitory procesów aplikacyjnych tworzą strukturę pierścienia.

Niech ponadto:

$succ(i)=(i){mod}_n+1$

$pred(i)=(i+n-2){mod}_n+1$

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