Pr-1st-1.1-m05-Slajd22

Detekcja wystąpienia zakleszczenia procesu

Problem detekcji wystąpienia zakleszczenia, sprowadza się do znalezienia odpowiedzi na pytanie: Czy istnieje w pewnej chwili zbiór ${ℬ}$, dla którego predykat $deadlock({ℬ})$ jest prawdziwy? Odpowiedź na to pytanie określa wartość predykatu:

$dE\equiv (\mathrm{\exists }{ℬ}::deadlock({ℬ}))$

Detekcja zakleszczenia procesu $P_i$ sprowadza się do sprawdzenia czy prawdziwy jest predykat:

$d{P}_i\equiv (\mathrm{\exists }{ℬ}::deadlock({ℬ})\wedge P\in {ℬ})$

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