Pr-1st-1.1-m04-Slajd30

Typy wiadomości w kanałach FC

Wiadomość $M^{t}$, wysłana w wyniku wykonania operacji $send^{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 $send^{f}$, nie wyprzedza w kanale żadnej innej wiadomości. Z kolei wiadomość $M^{b}$ (wiadomość typu BF), wysłana w wyniku wykonania operacji $send^{b}$, nie dopuszcza by ją wyprzedziła inna wiadomość. W końcu wiadomość $M^{o}$ (wiadomość typu OF), wysłana w efekcie wykonania operacji $send^{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 $send^{t}$, anajwiększą swobodę - operacja $send^{o}$. Pierwsza z nich modeluje w istocie kanały FIFO , a ostatnia - kanały nonFIFO .

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