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 >>