Asynchronous Bounded Expected Delay Networks

The commonly used asynchronous bounded delay (ABD) network models assume a fixed bound on message delay. We propose a probabilistic network model, called asynchronous bounded expected delay (ABE) model. Instead of a strict bound, the ABE model requires only a bound on the expected message delay. While the conditions of ABD networks restrict the set of possible executions, in ABE networks all asynchronous executions are possible, but executions with extremely long delays are less probable. In contrast to ABD networks, ABE networks cannot be synchronised efficiently. At the example of an election algorithm, we show that the minimal assumptions of ABE networks are sufficient for the development of efficient algorithms. For anonymous, unidirectional ABE rings of known size N we devise a probabilistic leader election algorithm having average message and time complexity O(N).

[1]  Daniel S. Hirschberg,et al.  Decentralized extrema-finding in circular configurations of processors , 1980, CACM.

[2]  Gerard Tel,et al.  Synchronizing ABD networks , 1994, TNET.

[3]  R. Stockton Gaines,et al.  Decentralized Extrema- Finding in Circular Configurations of Processors , 1980 .

[4]  Alon Itai,et al.  Symmetry breaking in distributive networks , 1981, 22nd Annual Symposium on Foundations of Computer Science (sfcs 1981).

[5]  W. Randolph Franklin On an improved algorithm for decentralized extrema finding in circular configurations of processors , 1982, CACM.

[6]  Wan Fokkink,et al.  Variations on Itai-Rodeh Leader Election for Anonymous Rings and their Analysis in PRISM , 2006, J. Univers. Comput. Sci..

[7]  Bengt Jonsson,et al.  A logic for reasoning about time and reliability , 1990, Formal Aspects of Computing.

[8]  Lisa Higham,et al.  SelfStabilizing Token Circulation on Anonymous Message Passing , 1998, OPODIS.

[9]  Baruch Awerbuch,et al.  Complexity of network synchronization , 1985, JACM.

[10]  Rajeev Alur,et al.  A Temporal Logic of Nested Calls and Returns , 2004, TACAS.

[11]  Gary L. Peterson,et al.  An O(nlog n) Unidirectional Algorithm for the Circular Extrema Problem , 1982, TOPL.

[12]  Hans L. Bodlaender,et al.  New Lower Bound Techniques for Distributed Leader Finding and Other Problems on Rings of Processors , 1991, Theor. Comput. Sci..

[13]  Ernest J. H. Chang,et al.  An improved algorithm for decentralized extrema-finding in circular configurations of processes , 1979, CACM.

[14]  Andrew Hinton,et al.  PRISM: A Tool for Automatic Verification of Probabilistic Systems , 2006, TACAS.

[15]  Alon Itai,et al.  Symmetry breaking in distributed networks , 1990, Inf. Comput..

[16]  Michael J. Fischer,et al.  Self-stabilizing Leader Election in Networks of Finite-State Anonymous Agents , 2006, OPODIS.

[17]  Doron Rotem,et al.  Lower Bounds for Distributed Maximum-Finding Algorithms , 1984, JACM.

[18]  Seif Haridi,et al.  Distributed Algorithms , 1992, Lecture Notes in Computer Science.

[19]  Christel Baier,et al.  Model checking for a probabilistic branching time logic with fairness , 1998, Distributed Computing.

[20]  Nancy A. Lynch,et al.  Electing a leader in a synchronous ring , 1987, JACM.

[21]  Wan Fokkink,et al.  Leader Election in Anonymous Rings: Franklin Goes Probabilistic , 2008, IFIP TCS.

[22]  Danny Dolev,et al.  An O(n log n) Unidirectional Distributed Algorithm for Extrema Finding in a Circle , 1982, J. Algorithms.

[23]  Hans L. Bodlaender,et al.  A Better Lower Bound For Distributed Leader Finding in Bidirectional, Asynchronous Rings of Processors , 1988, Inf. Process. Lett..

[24]  Dana Angluin,et al.  Local and global properties in networks of processors (Extended Abstract) , 1980, STOC '80.

[25]  Savi Maharaj,et al.  A Survey of Formal Methods Applied to Leader Election in IEEE 1394 , 2000, J. Univers. Comput. Sci..

[26]  Lisa Higham,et al.  Self-Stabilizing Token Circulation on Anonymous Message Passing Rings (Extended Abstract) , 1998 .

[27]  Shmuel Zaks,et al.  Synchronizing asynchronous bounded delay networks , 1990, IEEE Trans. Commun..

[28]  Jan J. M. M. Rutten,et al.  Mathematical techniques for analyzing concurrent and probabilistic systems , 2004, CRM monograph series.

[29]  Valmir Carneiro Barbosa,et al.  An introduction to distributed algorithms , 1996 .