research unit 1
 

This site is powered by Aigaion - A PHP/Web based management system for shared and annotated bibliographies. For more information visit Aigaion.nl.SourceForge.hetLogo

Publication

Type of publication:Inproceedings
Entered by:
TitleComputing on a Partially Eponymous Ring
Bibtex cite IDRACTI-RU1-2006-75
Booktitle Principles of Distributed Systems (OPODIS 2006)
Year published 2006
Volume 410
Pages 595-613
URL http://cosy.univ-reims.fr/~opodis07/ARCHIVES/opodis06/index.html
Keywords Distributed computation; Partially eponymous; Ring; Solvability; Computability; Message complexity; Multiple leader election; Circularly symmetric relation
Abstract
We study the partially eponymous model of distributed computation, which simultaneously generalizes the anonymous and the eponymous models. In this model, processors have identities, which are neither necessarily all identical (as in the anonymous model) nor necessarily unique (as in the eponymous model). In a decision problem formalized as a relation, processors receive inputs and seek to reach outputs respecting the relation. We focus on the partially eponymous ring, and we shall consider the computation of circularly symmetric relations on it. We consider sets of rings where all rings in the set have the same multiset of identity multiplicities.  We distinguish between solvability and computability: in solvability, processors are required to always reach outputs respecting the relation; in computability, they must do so whenever this is possible, and must otherwise report impossibility.  We present a topological characterization of solvability for a relation on a set of rings, which can be expressed as an efficiently checkable, number-theoretic predicate.  We present a universal distributed algorithm for computing a relation on a set of rings; it runs any distributed algorithm for constructing views, followed by local steps.  We derive, as our main result, a universal upper bound on the message complexity to compute a relation on a set of rings; this bound demonstrates a graceful degradation with the Least Minimum Base, a parameter indicating the degree of least possible eponymity for a set of rings. Thereafter, we identify two cases where a relation can be computed on a set of rings, with rings of size n, with an efficient number of O .n  lg n/ messages.
Authors
Mavronicolas, Marios
Michael, Loizos
Spirakis, Paul
Topics
BibTeXBibTeX
RISRIS
Attachments
fulltext.pdf (main file)
 
Publication ID339