Pr-1st-1.1-m11-Slajd06

Modele kanałów komunikacyjnych

Przypomnijmy, że kanał jest obiektem (abstrakcją, mechanizmem) skojarzoną z uporządkowaną parą procesów $\left\langle P_{i},P_{j}\right\rangle$, modelującym jednokierunkowe łącza transmisyjne. Dotychczas zakładaliśmy, że kanały są niezawodne. Oznaczało to, że każda wiadomość wysłana kanałem ostatecznie (w końcu) docierała do adresata. Takie założenie nie zawsze jest realizowalne. Przeanalizujemy więc dalej różne modele kanałów uwzględniając możliwe ich awarie. W szczególności omówimy kanały rzetelne (ang. fair-loss links ), wytrwałe (ang. stubborn links ) i niezawodne (ang. perfect links ), które będą podstawą konstrukcji wybranych algorytmów rozproszonych w środowisku zawodnym.

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