Pr-1st-1.1-m05-Slajd16: 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 jednostkowy==
==Przykład – model jednostkowy==


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


Pierwszy z grafów przedstawia zakleszczenie w modelu jednostkowym. Zbiory warunkujące są następujące:  
Pierwszy z grafów przedstawia zakleszczenie w modelu jednostkowym. Zbiory warunkujące są następujące:  
Linia 11: Linia 11:
<math>deadlock(\mathcal{B})</math>,
<math>deadlock(\mathcal{B})</math>,
dla  
dla  
<math>\mathcal{B} = \{ P_1, P_2, P_3, P_3 \} <\math>
<math>\mathcal{B} = \{ P_1, P_2, P_3, P_3 \} </math>




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

Wersja z 15:54, 7 wrz 2006

Przykład – model jednostkowy

Przykład – model jednostkowy

Pierwszy z grafów przedstawia zakleszczenie w modelu jednostkowym. Zbiory warunkujące są następujące: 

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

W analizowanym stanie zachodzi predykat deadlock(ℬ), dla ℬ={P1,P2,P3,P3}


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

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