Pr-1st-1.1-m07-Slajd27

Modele stanów globalnych – przykład 2

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

W efekcie stan globalny $\mathrm{\Sigma }(\tau )$ możemy przedstawić w naszym przypadku wsposób następujący:

$\mathrm{\Sigma }(\tau )=⟨S_1(\tau ),S_2(\tau ),S_3(\tau ),L_{1,2}(\tau ),L_{2,3}(\tau ),L_{3,1}(\tau )⟩$

Tym samym kolejne stany mają postać:

${\mathrm{\Sigma }}^0=⟨1,0,0,0,0,0⟩$ - znacznik jest w posiadaniu procesu $P_1$ , kanały są puste.

${\mathrm{\Sigma }}^1=⟨0,0,0,1,0,0⟩$ - znacznik znajduje się w kanale $L_{1,2}$ (został wysłany przez $P_1$ ale jeszcze nie został odebrany przez $P_2$ )

${\mathrm{\Sigma }}^2=⟨0,1,0,0,0,0⟩$ - znacznik jest w posiadaniu procesu $P_2$, kanały są puste.

${\mathrm{\Sigma }}^3=⟨0,0,0,0,1,0⟩$ - znacznik znajduje się w kanale $L_{2,3}$ (został wysłany przez $P_2$ ale jeszcze nie został odebrany przez $P_3$ )

${\mathrm{\Sigma }}^4=⟨0,0,1,0,0,0⟩$ - znacznik jest w posiadaniu procesu $P_3$, kanały są puste.

${\mathrm{\Sigma }}^5=⟨0,0,0,0,0,1⟩$ - znacznik znajduje się w kanale

$L_{3,1}$ (został wysłany przez $P_3$ ale jeszcze nie został odebrany przez $P_1$ )

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