Pr-1st-1.1-m10-Slajd04

Detekcja zakończenia: liczniki wiadomości (1)

Rozważmy dla modelu atomowego rozwiązanie problemu detekcji zakończenia przetwarzania rozproszonego z zastosowaniem liczników wiadomości zaproponowane przez Matterna:

• $sc_{i}(\tau )$– określa liczbę wiadomości wysłanych do chwili $\tau$ przez Pi
• $rc_{i}(\tau )$ – określa liczbę wiadomości odebranych do chwili $\tau$ przez Pi
• $SC(\tau )$ – sumaryczna liczba wiadomości wysłanych przez wszystkie procesy przetwarzania rozproszonego do chwili $\tau$
• $RC(\tau )$ – sumaryczna liczba wiadomości wysłanych przez wszystkie procesy przetwarzania rozproszonego do chwili $\tau$

<< Poprzedni slajd | Spis treści | Następny slajd >>