Algoritmo ad anello
Da Wikipedia, l'enciclopedia libera.
Supponiamo che i processi siano ordinati (fisicamente o logicamente) e che ogni processo conosca il proprio successore.
Quando un processo P si accorge che il coordinatore non è più attivo, costruisce un messaggio ELECTION includendo il suo identificatore, e lo manda al suo successore (o al primo dei successori attivi)
Ad ogni passo, i processi inseriscono il proprio identificatore nel messaggio Alla fine del giro, il messaggio ritorna al processo P, che riconosce il proprio identificatore nel messaggio.
Il processo P determina il nuovo coordinatore e manda un messaggio COORDINATOR per dire chi è il nuovo coordinatore e quali sono i processi attivi nell'anello.
Possono essere presenti anche più messaggi ELECTION, l'importante è che tutti i processi che iniziano l'elezione usino lo stesso algoritmo per decretare il coordinatore
