Pr-1st-1.1-m11-Slajd15

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania

Kanały niezawodne: Operacje komunikacyjne

Kanały niezawodne: Operacje komunikacyjne


Operację wysłania wiadomości przez do procesu , gwarantującą własności kanału niezawodnego oznaczać będziemy przez , a odpowiadające jej zdarzenie zapisywać będziemy jako . Analogicznie, przez oznaczać będziemy operację uaktywniającą zdarzenie i przekazującą wiadomość (wysłaną przez proces ) do procesu aplikacyjnego .

Dla uproszczenia, jeżeli nie będzie to prowadzić do niejednoznaczności, w operacjach kanałów niezawodnych pomijać będziemy indeks górny. Tym samym, przyjmować będziemy, że:

=

=



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