#algorithmes #fr #distributedalgorithms #sorbonne

L'algorithme de l'anneau

\(p\) initiateur:

\[ \begin{align}

S_p: &\left { \text{ spontanément, une fois }\right} \\ &\text{envoi } <> \text{ au successor } \\\\

R_p: &\left { \text{ un message } <> \text{ arrive }\right} \\ &\text{réception de } <> \\ &\text{Rec}_p = true\\\

D_p: &\left { \text{Rec}_p\right} \\ &\text{décision} \end{align} $$

\(p\) non-initiateur:

$$ \begin{align}

S_p: &\left{ \text{ un message } <> \text{ arrive }\right} \\ &\text{envoi } <> \text{ au successor } \\ &\text{Rec}_p = true\\\\\

R_p: &\left { \text{ un message } <> \text{ arrive }\right} \\ &\text{réception de } <> \\ &\text{Rec}_p = true

\end{align} \]