A Bridge Between the Asynchronous Message Passing Model and Local Computations in Graphs - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2005

A Bridge Between the Asynchronous Message Passing Model and Local Computations in Graphs

Résumé

A distributed system is a collection of processes that can interact. Three major process interaction models in distributed systems have principally been considered: - the message passing model, - the shared memory model, - the local computation model. In each model the processes are represented by vertices of a graph and the interactions are represented by edges. In the message passing model and the shared memory model, processes interact by communication primitives: messages can be sent along edges or atomic read/write operations can be performed on registers associated with edges. In the local computation model interactions are defined by labelled graph rewriting rules; supports of rules are edges or stars. These models (and their sub-models) reflect different system architectures, different levels of synchronization and different levels of abstraction. Understanding the power of various models, the role of structural network properties and the role of the initial knowledge enhances our understanding of basic distributed algorithms. This is done with some typical problems in distributed computing: election, naming, spanning tree construction, termination detection, network topology recognition, consensus, mutual exclusion. Furthermore, solutions to these problems constitute primitive building blocks for many other distributed algorithms. A survey may be found in [FR03], this survey presents some links with several parameters of the models including synchrony, communication media and randomization. An important goal in the study of these models is to understand some relationships between them. This paper is a contribution to this goal; more precisely we establish a bridge between tools and results presented in [YK96] for the message passing model and tools and results presented in [Ang80, BCG+96, Maz97, CM04, CMZ04, Cha05] for the local computation model

Domaines

Autre [cs.OH]
Fichier principal
Vignette du fichier
chalopin.metivier.mfcs.pdf (150.36 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00308135 , version 1 (29-07-2008)

Identifiants

  • HAL Id : hal-00308135 , version 1

Citer

Jérémie Chalopin, Yves Métivier. A Bridge Between the Asynchronous Message Passing Model and Local Computations in Graphs. International Symposium on Mathematical Foundations of Computer Science (MFCS 2005), Aug 2005, Poland. pp.212--223. ⟨hal-00308135⟩
185 Consultations
131 Téléchargements

Partager

Gmail Facebook X LinkedIn More