Pr-1st-1.1-m08-Slajd29

Algorytm stosujący zegary wektorowe

Rozważamy system, w którym kanały są kanałami nonFIFO .

Algorytm wyznaczający stan globalny dla takiego systemu wywodzi się zkoncepcji wyznaczania stanu globalnego z użyciem zegara czasu rzeczywistego.

Ogólna koncepcja:

• określenie momentu czasu $\tau _{s}$ odpowiadającego przyszłości, w którym zostaną zapamiętane stany lokalne wszystkich procesów.
• po wyznaczeniu stanów lokalnych w momencie $\tau _{s}$, monitory przesyłają informację o stanach lokalnych do monitora konstruującego obraz globalny.

W celu adaptacji powyższej koncepcji do asynchronicznego systemu rozproszonego, proces inicjatora określa wektorowy czas wirtualny momentu zapamiętania w przyszłości stanu lokalnego procesu.

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