Résultats récents obtenus

Ces résultats ont tous été publiés dans des conférences ou des revues

• Un algorithme de consensus avec un détecteur de défaillances autorisant la perte équitable de messages.
• La définition d'un système de ``Middleware'' (Système de phases synchronisées) permettant la réalisation de diffusion atomique. Dans ce cadre :
  • Un algorithme d'implémentation de ce système dans un modèle partiellement synchrone avec temps ou un modèle avec détecteur de défaillances ultimement parfait,
  • Un algorithme réalisant le consensus dans ce système,
  • Un algorithme de diffusion atomique dans ce système. Dans le cas d'un système partiellement synchrone, on peut définir les conditions sur le système assurant que le temps de diffusion atomique est borné. On peut alors utiliser cet algorithme pour réaliser une diffusion atomique temps-réel (avec échéances pour la délivrance des messages).
  Ce système et ces algorithmes ont été choisis pour l'implémentaion retenue dans le projet A.T.R. (MENESR, CNRS, DGA, Dassault, Thomson, Axlog). Ils ont donné lieu à une implémentation réalisée par un partenaire industriel (AXLOG).
• Un algorithme de multi-diffusion authentique ordonnée. Cet algorithme présente l'avantage de minimiser le nombre de consensus nécessaire.
• Un algorithme de diffusion générique économique. Dans une diffusion générique, seuls certains messages doivent être délivrés dans le même ordre. Il s'agit de limiter l'usage de la diffusion atomique à ces messages. En appliquant cette diffusion générique à la diffusion atomique elle-même, on peut optimiser cette dernière et n'ordonner que les messages qui ne le sont pas déjà par l'ordre causal.
• Un algorithme d'élection de leader ultime en présence de pannes. Cet algorithme présente les avantages suivants. On ne change de leader que si ce dernier ne communique pas bien. De plus, ultimement, uniquement un nombre linéaire de canaux de communication seront utilisés. Enfin, les conditions supposées sur le système restent faibles.

  Cet algorithme est en cours d'implémentation.

• Un algorithme d'accord optimal pour des processus asynchrones utilisant des détecteurs de défaillances parfaits. Le point important est que cet algorithme réalise l'accord au plus tôt (early stopping) aussi vite que dans le cas synchrone, ce qui indique que l'usage de détecteurs de défaillances parfaits n'est pas, dans ce cas, pénalisant.
• Un algorithme d'exclusion mutuelle en présence de pannes de processeurs et détermination du plus faible détecteur de défaillances pour ce problème.
• Détermination du plus faible détecteur de défaillances pour résoudre le consensus avec une majorité de processus pouvant tomber en panne.
• Détermination du plus faible détecteur de défaillances pour implémenter un registre atomique.