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