Pannes de processus liées à la contention
Résumé
Cet article est un résumé étendu de [DRT18] dans lequel nous nous intéressons à un nouveau type de pannes de processus défini récemment par l'un des auteurs [Tau18] : les pannes λ-contraintes. Cette nouvelle notion est explicitement liée à la contention. En effet, elle ne considère que les exécutions dans lesquelles les pannes de processus se produisent lorsque la contention est plus petite où égale à un seuil λ donné. Si des pannes se produisent lorsque la contention a dépassé ce seuil λ, aucune propriété de correction (comme par exemple la terminaison) n'est garantie. [Tau18] montre que, lorsque λ = n − 1, il est possible de résoudre le problème du consensus dans un système asynchrone à registres atomiques de n processus même si un processus tombe en panne, outrepassant ainsi le résultat d'impossibilité FLP. Nous proposons ici des algorithmes pour les problèmes de k-accord et de renommage qui tolèrent à la fois des pannes de processus "classiques" et des pannes λ-contraintes.
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Loading...