Pr-1st-1.1-m04-Slajd30

Typy wiadomości w kanałach FC

Wiadomość $M^t$, wysłana w wyniku wykonania operacji $sen{d}^t$, z definicji nie wyprzedza w kanale żadnej wiadomości, ani też nie dopuszcza by inna wiadomość ją wyprzedziła. Wiadomość taką nazywać też będziemy wiadomością typu TF. Wiadomość $M^f$ (wiadomość typu FF), wysłana w efekcie wykonania operacji $sen{d}^f$, nie wyprzedza w kanale żadnej innej wiadomości. Z kolei wiadomość $M^b$ (wiadomość typu BF), wysłana w wyniku wykonania operacji $sen{d}^b$, nie dopuszcza by ją wyprzedziła inna wiadomość. W końcu wiadomość $M^o$ (wiadomość typu OF), wysłana w efekcie wykonania operacji $sen{d}^o$, może wyprzedzać i być wyprzedzana przez inne wiadomości.

Łatwo zauważyć, że najmniejszą swobodę w komunikacji i w efekcie najmniejszy poziom współbieżności, oferuje operacja $sen{d}^t$, anajwiększą swobodę - operacja $sen{d}^o$. Pierwsza z nich modeluje w istocie kanały FIFO , a ostatnia - kanały nonFIFO .

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