Pr-1st-1.1-m07-Slajd21

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania

Modele stanów globalnych – przykład 1 (2)

Modele stanów globalnych – przykład 1 (2)

Po wysłaniu znacznika będącego konkretną wiadomością typu TOKEN (każda wiadomość, a więc również każdy znacznik, ma swój unikalny identyfikator mId ) w kierunku procesu , znacznik przez pewien czas znajduje się w kanale (przypomnijmy, że w ogólności czas przebywania wiadomości w kanale jest skończony, lecz nie znany a priori ). Tak więc w chwili stan globalny można opisać następująco:

Zauważmy, że znajomość stanów lokalnych procesów oraz w chwili pozwala łatwo wyznaczyć stan kanału jako różnicę mnogościową oraz .

Po odebraniu znacznika przez proces system osiąga stan :


Jak widać, w chwili kanał jest już pusty i istotnie .

Po wysłaniu przez znacznika do procesu osiągany jest kolejny stan, :

Następnie znacznik jest odbierany przez i osiągany jest kolejny stan, a potem w analogiczny sposób następne.

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