Pr-1st-1.1-m09-Slajd33

Założenia dodatkowe

Dla ułatwienia opisu przedstawianych algorytmów, przyjmiemy pewne dodatkowe upraszczające założenia:

• Proces aktywny staje się procesem pasywnym tylko w wyniku pewnego zdarzenia wewnętrznego
• Proces zawsze staje się aktywny po otrzymaniu wiadomości
• Proces pasywny może stać się aktywny tylko w wyniku otrzymaniu wiadomości

Innymi słowy, proces aplikacyjny może wdowolnej chwili stać się pasywny ioczekiwać na uaktywniającą go wiadomość aplikacyjną od dowolnego innego procesu. Warunek uaktywnienia procesu definiuje zatem model żądań OR izbiór warunkujący ${{𝒟}}_i={𝒫}\setminus \{P_i\}$

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