Pr-1st-1.1-m07-Slajd25

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania

Modele stanów globalnych (5)

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 jest w każdej chwili określony przez zmienną logiczną , oraz przez liczniki (ang. sent number ) i (ang. receive number), o wartościach równych liczbie dotychczas wysłanych i odebranych znaczników typu TOKEN. Z kolei stan kanału określony może być przez zbiór znaczników znajdujących się aktualnie w kanale .


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