Pr-1st-1.1-m05-Slajd09: Różnice pomiędzy wersjami
Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
Nie podano opisu zmian |
Nie podano opisu zmian |
||
| Linia 1: | Linia 1: | ||
==Zakleszczenie w modelu AND== | ==Zakleszczenie w modelu AND== | ||
[[Image: | [[Image:Pr-1st-1.1-m05-Slajd09.png|Zakleszczenie w modelu AND]] | ||
W modelu AND proces pasywny <math>P_i</math> staje się aktywny, jeżeli dotarły do niego wiadomości od każdego z procesów tworzących jego zbiór warunkujący <math>\mathcal{D}_i</math>. Wówczas: | W modelu AND proces pasywny <math>P_i</math> staje się aktywny, jeżeli dotarły do niego wiadomości od każdego z procesów tworzących jego zbiór warunkujący <math>\mathcal{D}_i</math>. Wówczas: | ||
| Linia 15: | Linia 15: | ||
[[ | [[Pr-1st-1.1-m05-Slajd08 | << Poprzedni slajd]] | [[Pr-1st-1.1-m05-toc|Spis treści ]] | [[Pr-1st-1.1-m05-Slajd10 | Następny slajd >>]] | ||
Wersja z 15:53, 7 wrz 2006
Zakleszczenie w modelu AND
W modelu AND proces pasywny staje się aktywny, jeżeli dotarły do niego wiadomości od każdego z procesów tworzących jego zbiór warunkujący . Wówczas:
