Pannes de processus liées à la contention

Anaïs Durand (1) , Michel Raynal (2, 3) , Gadi Taubenfeld (4)

1 DELYS - DistributEd aLgorithms and sYStems
2 WIDE - the World Is Distributed Exploring the tension between scale and coordination
3 POLYU - The Hong Kong Polytechnic University [Hong Kong]
4 IDC - Interdisciplinary Center [Israël]

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.

Mots clés: Contention; Systèmes asynchrones; Tolérance aux pannes; Renommage; k-accord

Domaines: Calcul parallèle, distribué et partagé [cs.DC]

Anaïs Durand, Michel Raynal, Gadi Taubenfeld. Pannes de processus liées à la contention. ALGOTEL 2019 - 21èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2019, Saint Laurent de la Cabrerisse, France. pp.1-4. ⟨hal-02118917⟩