Travaux récents: algorithmique distribuée tolérante aux défaillances

Mes travaux plus récents concernent les problèmes liés à la résistance aux défaillances dans les systèmes asynchrones. Les problèmes d'accord y sont fondamentaux. Or, le résultat d'impossibilité du consensus de Fisher, Lynch et Paterson montre que, pour les traiter, il faut disposer d'informations supplémentaires sur le système ou considérer des modèles partiellement synchrones. Dans ce cadre, le concept détecteur de défaillances est particulièrement intéressant. Un détecteur de défaillances est un oracle distribué donnant uniquement des informations sur les défaillances. Par exemple, un time-out peut être considérée comme une sorte détecteur de défaillances. Grâce aux détecteurs de défaillances on peut déterminer de façon précise quelles sont les informations sur les défaillances qui sont nécessaires pour résoudre un problème donné. On peut ainsi obtenir une hiérarchie des problèmes. D'un point de vue plus pratique on peut développer une algorithmique tolérante aux défaillances modulaires: à partir d'un problème donné, (1) on détermine le détecteur de défaillances minimal nécessaire pour résoudre ce problème, (2) on développe une algorithmique qui utilise cet oracle (3) on réalise ensuite (en ajoutant les hypothèses nécessaires sur le système considéré) cet oracle.