Pr-1st-1.1-m04-Slajd28

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania

Kanały typu FC

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:

  • (ang. two-way-flush send),
  • (ang. forward-flush send),
  • (ang. backward-flush-send),
  • (ang. ordinary send).

Zdarzenia odpowiadające wykonaniu tych operacji oznaczono przez , , oraz , a wiadomości przesyłane z ich użyciem - przez , , , . 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 >>