Pr-1st-1.1-m11-Slajd14

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ść $M$ wysyłana jest przez proces $P_i$ do procesu $P_j$ i oba te procesy są poprawne, to wiadomość $M$ jest ostatecznie dostarczona do $P_j$.

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

Własność braku samogeneracji (ang. no creation ) oznacza, że jeżeli wiadomość została dostarczona do procesu $P_j$, to została ona wcześniej wysłana do procesu $P_j$ przez jakiś inny proces $P_i$. 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 >>