Pr-1st-1.1-m04-Slajd28

Kanały typu FC

Kanały FIFO są pewnym mechanizmem synchronizacji wymaganym przez wiele aplikacji. Ułatwiają one także znalezienie rozwiązania i konstrukcję algorytmów rozproszonych dla wielu problemów. Z drugiej jednak strony, są mechanizmem ograniczającym, w porównaniu z kanałami nonFIFO, współbieżność komunikacji, a tym samym efektywność przetwarzania. Uwzględniając wspomniane wcześniej cechy kanałów FIFO, zaproponowano rozwiązanie, nazwane kanałami typu FC (ang. Flush Channels), które w swym zamyśle miało łączyć zalety kanałów FIFO i nonFIFO, a więc pewien stopień synchronizacji i współbieżnej komunikacji. Kanał typu FC realizuje zestaw czterech mechanizmów (operacji) komunikacji:

• $send^{t}$ (ang. two-way-flush send),
• $send^{f}$ (ang. forward-flush send),
• $send^{b}$ (ang. backward-flush-send),
• $send^{o}$ (ang. ordinary send).

Zdarzenia odpowiadające wykonaniu tych operacji oznaczono przez $send^{t}$, $send^{f}$ , $send^{b}$ oraz $send^{o}$, a wiadomości przesyłane z ich użyciem - przez $M^{t}$, $M^{f}$ , $M^{b}$ , $M^{o}$ . Wiadomości spełniają przy tym pewne warunki odnoszące się do zmiany ich kolejności w kanale (wyprzedzania).

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