Pr-1st-1.1-m07-Slajd27: 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
 
m Zastępowanie tekstu – „ </math>” na „</math>”
Linia 10: Linia 10:


<math> \mathit\Sigma (\tau )=  
<math> \mathit\Sigma (\tau )=  
\left \langle S_1(\tau), S_2(\tau), S_3(\tau), L_{1,2}(\tau), L_{2,3}(\tau),L_{3,1}(\tau) \right \rangle </math>  
\left \langle S_1(\tau), S_2(\tau), S_3(\tau), L_{1,2}(\tau), L_{2,3}(\tau),L_{3,1}(\tau) \right \rangle</math>  




Linia 16: Linia 16:
Tym samym kolejne stany mają postać:
Tym samym kolejne stany mają postać:


:<math>\mathit\Sigma^0 = \left \langle 1, 0, 0, 0, 0, 0 \right \rangle </math> - znacznik jest w posiadaniu procesu <math>P_1</math> , kanały są puste.
:<math>\mathit\Sigma^0 = \left \langle 1, 0, 0, 0, 0, 0 \right \rangle</math> - znacznik jest w posiadaniu procesu <math>P_1</math> , kanały są puste.


:<math>\mathit\Sigma^1 = \left \langle 0, 0, 0, 1, 0, 0 \right \rangle </math> - znacznik znajduje się w kanale <math>L_{1,2}</math> (został wysłany przez <math>P_1</math> ale jeszcze nie został odebrany przez <math>P_2</math> )
:<math>\mathit\Sigma^1 = \left \langle 0, 0, 0, 1, 0, 0 \right \rangle</math> - znacznik znajduje się w kanale <math>L_{1,2}</math> (został wysłany przez <math>P_1</math> ale jeszcze nie został odebrany przez <math>P_2</math> )


:<math>\mathit\Sigma^2 = \left \langle 0, 1, 0, 0, 0, 0 \right \rangle </math> - znacznik jest w posiadaniu procesu <math>P_2</math>, kanały są puste.
:<math>\mathit\Sigma^2 = \left \langle 0, 1, 0, 0, 0, 0 \right \rangle</math> - znacznik jest w posiadaniu procesu <math>P_2</math>, kanały są puste.


:<math>\mathit\Sigma^3 = \left \langle 0, 0, 0, 0, 1, 0 \right \rangle </math> - znacznik znajduje się w kanale <math>L_{2,3}</math> (został wysłany przez <math>P_2</math> ale jeszcze nie został odebrany przez <math>P_3</math> )
:<math>\mathit\Sigma^3 = \left \langle 0, 0, 0, 0, 1, 0 \right \rangle</math> - znacznik znajduje się w kanale <math>L_{2,3}</math> (został wysłany przez <math>P_2</math> ale jeszcze nie został odebrany przez <math>P_3</math> )


:<math>\mathit\Sigma^4 = \left \langle 0, 0, 1, 0, 0, 0 \right \rangle </math> - znacznik jest w posiadaniu procesu <math>P_3</math>, kanały są puste.
:<math>\mathit\Sigma^4 = \left \langle 0, 0, 1, 0, 0, 0 \right \rangle</math> - znacznik jest w posiadaniu procesu <math>P_3</math>, kanały są puste.


:<math>\mathit\Sigma^5 = \left \langle 0, 0, 0, 0, 0, 1 \right \rangle </math> - znacznik znajduje się w kanale  
:<math>\mathit\Sigma^5 = \left \langle 0, 0, 0, 0, 0, 1 \right \rangle</math> - znacznik znajduje się w kanale  
<math>L_{3,1}</math> (został wysłany przez <math>P_3</math> ale jeszcze nie został odebrany przez <math>P_1</math> )
<math>L_{3,1}</math> (został wysłany przez <math>P_3</math> ale jeszcze nie został odebrany przez <math>P_1</math> )




[[pr-1st-1.1-m07-Slajd26 | << Poprzedni slajd]] | [[pr-1st-1.1-m07-toc|Spis treści ]] | [[pr-1st-1.1-m07-Slajd28 | Następny slajd >>]]
[[pr-1st-1.1-m07-Slajd26 | << Poprzedni slajd]] | [[pr-1st-1.1-m07-toc|Spis treści ]] | [[pr-1st-1.1-m07-Slajd28 | Następny slajd >>]]

Wersja z 10:50, 5 wrz 2023

Modele stanów globalnych – przykład 2

Modele stanów globalnych – przykład 2


Niech dla prostoty zapisu „1” oznacza obecność znacznika, a „0” – jego brak.

W efekcie stan globalny Σ(τ) możemy przedstawić w naszym przypadku wsposób następujący:


Σ(τ)=⟨S1(τ),S2(τ),S3(τ),L1,2(τ),L2,3(τ),L3,1(τ)⟩


Tym samym kolejne stany mają postać:

Σ0=⟨1,0,0,0,0,0⟩ - znacznik jest w posiadaniu procesu P1 , kanały są puste.
Σ1=⟨0,0,0,1,0,0⟩ - znacznik znajduje się w kanale L1,2 (został wysłany przez P1 ale jeszcze nie został odebrany przez P2 )
Σ2=⟨0,1,0,0,0,0⟩ - znacznik jest w posiadaniu procesu P2, kanały są puste.
Σ3=⟨0,0,0,0,1,0⟩ - znacznik znajduje się w kanale L2,3 (został wysłany przez P2 ale jeszcze nie został odebrany przez P3 )
Σ4=⟨0,0,1,0,0,0⟩ - znacznik jest w posiadaniu procesu P3, kanały są puste.
Σ5=⟨0,0,0,0,0,1⟩ - znacznik znajduje się w kanale

L3,1 (został wysłany przez P3 ale jeszcze nie został odebrany przez P1 )


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

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