Élection ultime de leader et conditions minimales de synchronisme

Dans le même temps, je m'intéresse à l'implémentation des détecteurs de défaillances. Pour cela on considère $\Omega$, un détecteur de défaillances qui choisit ultimement un même processus correct pour tous : $\Omega$ réalise une élection ultime de leader. Nous proposons divers algorithmes pour le réaliser dans [24].

Dans [13] et [30], il s'agit dans une certaine mesure de déterminer les conditions minimales sur un système pour réaliser une élection ultime de leader. On peut résumer un des intérêts de la démarche suivie de la façon suivante:

1. On peut montrer que le détecteur de défaillances $\Omega$ qui réalise une élection ultime de leader est le plus faible détecteur de défaillances permettant de résoudre le problème du Consensus.
2. En déterminant les conditions minimales de synchronie nécessaires pour implémenter $\Omega$, on détermine aussi les conditions minimales de synchronie nécessaires la résolution du Consensus.