HAL : hal-00308126, version 1

Fiche détaillée

Récupérer au format BibTeX - EndNote - TEI - RefWorks -

33rd International conference on Current trends in theory and practice of computer science (SOFSEM 2007), Czech Republic (2007)

About the termination detection in the asynchronous message passing model

Jérémie Chalopin 1, Emmanuel Godard 1, Yves Métivier 2, Gerard Tel

(2007)

This paper presents a complete characterisation of the families of networks in which distributed computations can be performed in a process terminating manner, that is with explicit termination (at least one node of the network knows that every node has obtained its final state) in the asynchronous message passing model. The characterisation encompasses all criteria that have been formulated in the past that were known to influence explicit termination: topological restriction (tree), topological knowledge (size or diameter), and local knowledge to distinguish nodes (identities or a leader). These results are now presented as corollaries of a single generalising theorem. In addition our characterisation covers combinations of these, as well as new criteria, notably, link labelings.

1 :	Laboratoire d'informatique Fondamentale de Marseille (LIF)
	CNRS : UMR6166 – Université de la Méditerranée - Aix-Marseille II – Université de Provence - Aix-Marseille I
2 :	Laboratoire Bordelais de Recherche en Informatique (LaBRI)
	CNRS : UMR5800 – Université Sciences et Technologies - Bordeaux I – École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB) – Université Victor Segalen - Bordeaux II

Domaine

:

Informatique/Autre Informatique/Calcul parallèle, distribué et partagé

hal-00308126, version 1

http://hal.archives-ouvertes.fr/hal-00308126

oai:hal.archives-ouvertes.fr:hal-00308126

Contributeur : Yves Métivier <>

Soumis le : Mardi 29 Juillet 2008, 17:12:15

Dernière modification le : Lundi 27 Octobre 2008, 09:32:56