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