Pr-1st-1.1-m07-Slajd19

Modele stanów globalnych (2)

Załóżmy, że stan $S_i({\tau })$ procesu $P_i$ w każdej chwili ${\tau }$ czasu globalnego (rzeczywistego) zdefiniowany jest przez trzy zmienne: $presen{t}_i({\tau })$, $outLo{g}_i({\tau })$, $inLo{g}_i(\tau )$.

$S_i({\tau })=⟨presen{t}_i({\tau }),outLo{g}_i({\tau }),inLo{g}_i({\tau })⟩$

• $presen{t}_i({\tau })$ przyjmuje wartość True, tylko wówczas, gdy znacznik typu TOKEN znajduje się w chwili ${\tau }$ w procesie $P_i$ (proces ten posiada znacznik i zarazem dostęp do współdzielonego zasobu)
• $outLo{g}_i({\tau })$ jest kolejką znaczników wysłanych do chwili ${\tau }$ przez proces $P_i$.
• $inLo{g}_i({\tau })$ jest kolejką znaczników odebranych przez proces $P_i$ do chwili ${\tau }$.

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