Pr-1st-1.1-m11-Slajd09

Kanały wytrwałe: Specyfikacja

Kanał między dwoma procesami nazywać będziemy kanałem wytrwałym (upartym) (ang. stubborn point-to-point link ), jeżeli posiada on własności wytrwałego dostarczania i braku samogeneracji.

Własność wytrwałego dostarczania (ang. stubborn delivery ) oznacza, że jeżeli wiadomość $M$ wysyłana jest przez proces $P_i$ do procesu $P_j$ i oba te procesy są poprawne (nie ulegają awarii), to wiadomość $M$ jest dostarczona nieskończoną liczbę razy do $P_j$.

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 tego procesu przez jakiś inny proces $P_i$. Innymi słowy, kanał nie tworzy samorzutnie wiadomości.

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