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

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
następna edycja →
WizualnieWikikod
Szopen (dyskusja | edycje)
1922 edycje
Nie podano opisu zmian
 
Szopen (dyskusja | edycje)
1922 edycje
Nie podano opisu zmian
Linia 1: Linia 1:
==Przykład – model AND==
==Przykład – model AND==


[[Image:pr-1st-1.1-m05-Slajd17.png|Przykład – model AND]]
[[Image:Pr-1st-1.1-m05-Slajd17.png|Przykład – model AND]]


Następny graf ilustruje zakleszczenie w modelu AND. Mamy tu następujące zbiory warunkujące:  
Następny graf ilustruje zakleszczenie w modelu AND. Mamy tu następujące zbiory warunkujące:  
Linia 8: Linia 8:
  <math>\mathcal{D}_3 = \{P_2\}</math>,
  <math>\mathcal{D}_3 = \{P_2\}</math>,
  <math>\mathcal{D}_4 = \{P_3\}</math>.  
  <math>\mathcal{D}_4 = \{P_3\}</math>.  
W tym przykładzie <math>\mathcal{B} = \{ P_1, P_2, P_3, P_3 \} <\math> jest zbiorem zakleszczonych procesów.
W tym przykładzie <math>\mathcal{B} = \{ P_1, P_2, P_3, P_3 \} </math> jest zbiorem zakleszczonych procesów.




[[pr-1st-1.1-m05-Slajd16 | << Poprzedni slajd]] | [[pr-1st-1.1-m05-toc|Spis treści ]] | [[pr-1st-1.1-m05-Slajd18 | Następny slajd >>]]</math>
[[Pr-1st-1.1-m05-Slajd16 | << Poprzedni slajd]] | [[Pr-1st-1.1-m05-toc|Spis treści ]] | [[Pr-1st-1.1-m05-Slajd18 | Następny slajd >>]]

Wersja z 15:54, 7 wrz 2006

Przykład – model AND

Przykład – model AND

Następny graf ilustruje zakleszczenie w modelu AND. Mamy tu następujące zbiory warunkujące: 

𝒟1={P4,P5},
𝒟2={P1,P4},
𝒟3={P2},
𝒟4={P3}.

W tym przykładzie ℬ={P1,P2,P3,P3} jest zbiorem zakleszczonych procesów.


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

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