Pr-1st-1.1-m05-Slajd10

Z Studia Informatyczne

Przejdź do nawigacji Przejdź do wyszukiwania

Zakleszczenie w modelu OR

W modelu OR do uaktywnienia procesu $P_{i}$ wystarczy jedna wiadomość od któregokolwiek z procesów jego zbioru warunkującego $𝒟_{i}$ . Dlatego:

$d e a d l o c k (ℬ) \equiv$

$(ℬ \subseteq 𝒫) \land (ℬ \neq \emptyset) \land$

$\forall P_{i} : : P_{i} \in ℬ (p a s s i v e_{i} \land | 𝒟_{i} | = 1 \land$

$𝒟 \subseteq ℬ \land$

$(\forall P_{j} : : P_{j} \in 𝒟_{i} : : (\neg i n - t r a n s i t_{i} [j] \land \neg a v a i l a b l e_{i} [j]))))$

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

Źródło: „https://wazniak.mimuw.edu.pl/index.php?title=Pr-1st-1.1-m05-Slajd10&oldid=81343”

Menu nawigacyjne