Pr-1st-1.1-m09-Slajd34
Z Studia Informatyczne
Koncepcja algorytmu detekcji zakończenia (Dijkstra-Scholten ’80)
Monitory procesów aplikacyjnych przesyłają wiadomości kontrolne typu SIGNAL jako pewnego rodzaju odpowiedzi na wiadomości aplikacyjne.
Monitor pasywnego inicjatora może stwierdzić zakończenie całego przetwarzania aplikacyjnego, gdy odbierze wiadomości SIGNAL od wszystkich monitorów związanych zprocesami uaktywnionymi przez inicjatora.