Pr-1st-1.1-m09-Slajd20
Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
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 , lub .
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.