Pr-1st-1.1-m11-Slajd09

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania

Kanały wytrwałe: Specyfikacja

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ść wysyłana jest przez proces do procesu i oba te procesy są poprawne (nie ulegają awarii), to wiadomość jest dostarczona nieskończoną liczbę razy do .

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


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