inria-00627910, version 1
Interconnection network with a shared whiteboard: Impact of (a)synchronicity on computing power
Becker Florent
1Adrian Kosowski
2Nicolas Nisse
3Ivan Rapaport
4, 5Karol Suchan
6
N° RR-7746 (2011)
Résumé : In this work we study the computational power of graph-based models of distributed computing in which each node additionally has access to a global whiteboard. A node can read the contents of the whiteboard and, when activated, can write one message of $O(\log n)$ bits on it. A message is only based on the local knowledge of the node and the current content of the whiteboard. When the protocol terminates, each node computes the output based on the final contents of the whiteboard in order to answer some question on the network's topology. We propose a framework to formally define several scenarios modelling how nodes access the whiteboard, in a synchronous way or not. This extends the work of Becker {\it et al.} [IPDPS 2011] where nodes were imposed to create their messages only based on their local knowledge (i.e., with the whiteboard empty). We prove that the four models studied have increasing power of computation: any problem that can be solved in the weakest one can be solved in the the second, and so on. Moreover, we exhibit problems that {\it separate} models, i.e., that can be solved in one model but not in a weaker one. These problems are related to Maximal Independent Set and detection of cycles. Finally we investigate problems related to connectivity as the construction of spanning- or BFS-tree in our different models.
- 1 : Laboratoire d'Informatique Fondamentale d'Orléans (LIFO)
- Université d'Orléans : EA4022 – Ecole Nationale Supérieure d'Ingénieurs de Bourges
- 2 : CEPAGE (INRIA Bordeaux - Sud-Ouest)
- INRIA – CNRS : UMR5800 – Université Sciences et Technologies - Bordeaux I – École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)
- 3 : MASCOTTE (INRIA Sophia Antipolis / Laboratoire I3S)
- INRIA – Université Nice Sophia Antipolis [UNS] – CNRS : UMR7271
- 4 : Departamento de Ingeniería Matemática [Santiago] (DIM)
- Departamento de Ingeniería Matemática – Universidad de Chile
- 5 : Centro de Modelamiento Matemático (CMM)
- CNRS : UMI2807 – Universidad de Chile
- 6 : Facultad de Ingeniería y Ciencias [Santiago]
- Universidad Adolfo Ibáñez
- Domaine : Informatique/Algorithme et structure de données
Informatique/Théorie de l'information et codage
Mathématiques/Théorie de l'information et codage - Référence interne : RR-7746
- inria-00627910, version 1
- http://hal.inria.fr/inria-00627910
- oai:hal.inria.fr:inria-00627910
- Contributeur : Nicolas Nisse
- Soumis le : Jeudi 29 Septembre 2011, 19:35:48
- Dernière modification le : Mardi 17 Janvier 2012, 23:34:17






Documents associés
Exporter