Pr-1st-1.1-m09-Slajd20

Problem detekcji zakończenia

Problem detekcji zakończenia przetwarzania rozproszonego obejmującego zbiór procesów, sprowadza się do sprawdzenia czy przetwarzanie osiągnęło określony stan zakończenia, a więc – czy zachodzi odpowiedni predykat $Dterm({\mathcal {P}})$, $Sterm({\mathcal {P}})$ lub $Cterm({\mathcal {P}})$.

Można dowieść, że jeżeli w czasie przetwarzania aplikacyjnego wymienianych jest m wiadomości, to niemożliwa jest konstrukcja algorytmu detekcji zakończenia o złożoności komunikacyjnej mniejszej niż m.

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