Pr-1st-1.1-m05-Slajd21

Detekcja wystąpienia zakleszczenia

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({ℬ}))$

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