Pr-1st-1.1-m11-Slajd14

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania

Kanały niezawodne: Specyfikacja

Kanały niezawodne: Specyfikacja


Kanał między dwoma procesami nazywany jest kanałem niezawodnym (ang. perfect point-to-point link, reliable point-to-point link ) jeżeli posiada ono własności niezawodnego dostarczania, braku powielania i braku samogeneracji.

Własność niezawodnego dostarczania (ang. reliable delivery ) oznacza, że jeżeli wiadomość wysyłana jest przez proces do procesu i oba te procesy są poprawne, to wiadomość jest ostatecznie dostarczona do .

Własność braku powielania (ang. no duplication ) oznacza, że żadna wiadomość wysłana do nie może być dostarczona do procesu więcej niż raz.

Własność braku samogeneracji (ang. no creation ) oznacza, że jeżeli wiadomość została dostarczona do procesu , to została ona wcześniej wysłana do procesu przez jakiś inny proces . Innymi słowy, kanał nie tworzy samorzutnie wiadomości.


Czasami kanały tego typu nazywa się kanałami ostatecznie niezawodnymi.


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