Pr-1st-1.1-m10-Slajd02
Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
Plan wykładu
Celem obecnego wykładu jest przedstawienie przeglądu algorytmów poświęconych tematyce detekcji zakończenia zapoczątkowanego w poprzednim module. Wykład obejmie omówienie następujących algorytmów detekcji zakończenia dla atomowego modelu przetwarzania: algorytm z wykorzystaniem liczników wiadomości, jednofazowy algorytm detekcji zakończenia, wektorowy algorytm detekcji zakończenia. Przedstawione zostaną również algorytmy detekcji zakończenia statycznego oraz dynamicznego. Zostaną również pokazane dowody poprawności tych algorytmów oraz uwagi na temat ich złożoności obliczeniowej.
