Pr-1st-1.1-m07-Slajd25

Modele stanów globalnych (5)

W celu ilustracji podejścia alternatywnego rozważmy jeszcze raz przykład przedstawiony na poprzednich slajdach. Przyjmijmy, że stan procesu $P_i$ jest w każdej chwili określony przez zmienną logiczną $presen{t}_i$, oraz przez liczniki $sentN{o}_i$ (ang. sent number ) i $recvN{o}_i$ (ang. receive number), o wartościach równych liczbie dotychczas wysłanych i odebranych znaczników typu TOKEN. Z kolei stan kanału $L_{i,j}$ określony może być przez zbiór znaczników znajdujących się aktualnie w kanale $C_{i,j}$.

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