Pr-1st-1.1-m08-Slajd46

Kanały typu FC

Przypomnijmy, że kanały FC umożliwiają dobór operacji komunikacji i tym samym własności przysyłanych wiadomości, stosownie do wymaganego zastosowania.

• Użycie wyłącznie operacji $send^{t}$ powoduje, że kanał typu FC ma własności kanału FIFO.
• Użycie tylko operacji $send^{o}$, to kanał typu FC równoważny byłby kanałowi nonFIFO.

Tak więc kanały typu FC są mechanizmem elastycznym oferującym dobór operacji komunikacji i tym samym różne stopnie współbieżności komunikacji.

Możliwa jest modyfikacja algorytmu Chandy-Lamporta, polegająca na zastąpieniu znacznika przysłanego kanałem FIFO, przez znacznik typu TF – TMARKER. Poza tym algorytm nie różni się istotnie od pierwowzoru.

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