Spis treœci - Patrz

otrzymuje od niego wartość największego czasu t, jaki sygnował dotychczas odebranekomunikaty. Jeśli t jest większe od lokalnego czasu procesu, to czas ten jest ustawiany na t+1(skoro odebrano komunikat wysłany w chwili t, to lokalny czas odbiorcy musi być późniejszy).Po skorygowaniu swojego czasu proces P (i) wysyła do jednego losowo wybranego (zapomocą funkcji losuj) procesu komunikat sygnowany własnym lokalnym czasem. Schematkomunikacji między procesami P i KONTROLER przedstawia rys. 5.11.Zapisz procesyP (i) i KONTROLER(i) , i=1, ..., N. Dlaczego z procesu P(i) wyodrębniono procesKONTROLER(i)?Opisany sposób synchronizowania logicznych zegarów, zaproponowany przez L.Lamporta [Lamp78], jest stosowany w algorytmach rozproszonych w celu ustalenia kolejnościzdarzeń zachodzących w rozproszonym systemie, a także w algorytmie Ricarta i Agrawaliomówionym w przykładzie 5.2.1. (W podanym tam rozwiązaniu nie uwzględniliśmykorygowania czasu. Czytelnikowi pozostawiamy połączenie ze sobą rozwiązań obu tychproblemów.)5.3.6 GłosowanieProcesy P(l. .N) komunikują się w celu demokratycznego wyborom jednego z nich.Wybory odbywają się w kolejnych turach. Początkowo kandydują wszyscy. W każdej turzeodpadają ci kandydaci, którzy nie otrzymają żadnego głosu, oraz ten kandydat, który uzyskanajmniejszą niezerową liczbę głosów (w przypadku równej liczby głosów odpada ten proces,który ma niższy numer). Za każdym razem głosują wszystkie procesy. Głosuje się za pomocąfunkcji głosuj (t), która dla N-elementowej tablicy t zwraca losowo wybrany indeks niezerowejwartości w t. Proces P (i) przekazuje swój głos procesowi SIEĆ, którego jedynym zadaniemjest rozesłanie go do wszystkich procesów biorących udział w głosowaniu. W imieniukażdego procesu P (i) głosy otrzymywane od procesu SIEĆ odbiera i zlicza proces LICZ(i),i=1, ..., N, który po otrzymaniu N głosów przekazuje tablicę wyników procesowi P (i).Schemat komunikacji między procesami P, LICZ oraz SIEĆ przedstawia rys. 5.12.125