Pr-1st-1.1-m09-Slajd27
Z Studia Informatyczne
Algorytm detekcji zakończenia Dijkstra, Feijen, van Gasteren (3)
Procedura InitProc wywoływana jest przez monitor podczas inicjacji kolejnej rundy. Powoduje ona przesłanie następnikowi w pierścieniu znacznika o kolorze White oraz przypisanie wartości White zmiennej .