Pr-1st-1.1-m11-Slajd07

Kanały rzetelne: Specyfikacja

Kanał między dwoma procesami nazywać będziemy kanałem rzetelnym (ang. fair loss point-to-point link ) jeżeli posiada on własności rzetelnego dostarczania, ograniczonego powielania i braku samogeneracji:

Własność rzetelnego dostarczania (ang. fair loss delivery ) oznacza. że jeżeli wiadomość $M$ wysyłana jest nieskończoną liczbę razy przez proces $P_i$ do procesu $P_j$ i żaden z tych procesów nie ulega awarii (oba są poprawne), to wiadomość $M$ jest dostarczona nieskończoną liczbę razy do $P_j$. Należy zauważyć, że własność ta dopuszcza zagubienia wiadomości $M$ ; nawet nieskończoną liczbę razy.

Własność ograniczonego powielania (ang. finite duplication ) oznacza, że jeżeli wiadomość $M$ wysyłana jest skończoną liczbę razy przez proces $P_i$ do procesu $P_j$, to wiadomość ta nie może być dostarczona nieskończoną liczbę razy do procesu $P_j$.

Własność braku samogeneracji (ang. no creation ) oznacza, że jeżeli wiadomość $M$ 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 >>