Pr-1st-1.1-m05-Slajd10: Różnice pomiędzy wersjami

Wersja z 15:53, 7 wrz 2006

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]))))$

@@ Linia 1: / Linia 1: @@
 ==Zakleszczenie w modelu OR==
-[[Image:pr-1st-1.1-m05-Slajd10.png|Zakleszczenie w modelu OR]]
+[[Image:Pr-1st-1.1-m05-Slajd10.png|Zakleszczenie w modelu OR]]
 W modelu OR do uaktywnienia procesu <math>P_i</math> wystarczy jedna wiadomość od któregokolwiek z procesów jego zbioru warunkującego <math>\mathcal{D}_i</math>. Dlatego:
@@ Linia 17: / Linia 17: @@
-[[pr-1st-1.1-m05-Slajd09 | << Poprzedni slajd]] | [[pr-1st-1.1-m05-toc|Spis treści ]] | [[pr-1st-1.1-m05-Slajd11 | Następny slajd >>]]
+[[Pr-1st-1.1-m05-Slajd09 | << Poprzedni slajd]] | [[Pr-1st-1.1-m05-toc|Spis treści ]] | [[Pr-1st-1.1-m05-Slajd11 | Następny slajd >>]]