Snapshots et Détection de Propriétés Stables dans les Systèmes Distribués Anonymes

Jérémie Chalopin (1) , Yves Métivier (2) , Thomas Morsellino (2)

1 LIF - Laboratoire d'informatique Fondamentale de Marseille - UMR 6166
2 LaBRI - Laboratoire Bordelais de Recherche en Informatique

Nous étudions les problèmes du calcul d'état global (ou snapshot) et, plus généralement, de la détection de propriétés stables dans les systèmes totalement distribués et anonymes. Nous considérons le modèle classique à passage de messages dans lequel, pour une étape de calcul, chaque élément du système peut changer son état, envoyer ou recevoir un message à travers des liens de communication. La plupart des algorithmes existants pour résoudre le problème du calcul d'état global supposent que les éléments du système ont des identifiants uniques ou qu'il existe un unique noeud initiateur. Ce travail concerne le calcul d'état global dans les systèmes anonymes et plus généralement quelles sont les propriétés stables d'un système distribué qui peuvent être détectées anonymement par l'utilisation de snapshots locaux tout en autorisant des initiateurs multiples et en ne connaissant qu'une borne supérieure sur le diamètre du réseau.

Mots clés: Calcul distribué; État global; Propriété stable

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

Jérémie Chalopin, Yves Métivier, Thomas Morsellino. Snapshots et Détection de Propriétés Stables dans les Systèmes Distribués Anonymes. 14èmes Rencontres Francophones sur les Aspects Algorithmiques de Télécommunications (AlgoTel), 2012, La Grande Motte, France. pp.id 20. ⟨hal-00687146v2⟩