Abstract
In this paper we report some results concerning our study of the performance of an asynchronous distributed network under the conduct of a simple synchronizer: Each processor holds back the next step of the computation until all necessary inputs have arrived.
Reported here are results concerning the performance of a synchronous network in which initialization is not simultaneous, as compared with a synchronous network in which initialization is simultaneous. It is shown that the performance is not seriously damaged and that eventually the network maintains the same rate of computation.
The model consists of a finite directed graph (V,E), where each vertex is a processor and each edge is a communication link. There exists a global clock whose beats are heard by all processors at the same time. The time of message transmission does not exceed the time between clock beats. Processing time is assumed to be zero.
The computation starts when one or more processors wake up spontaneously. A newly awake processor sends wake-up messages on all its out-going edges. On a beat, a processor performs a computational step and sends output-messages on all its out-going edges, but if some input on an incoming edge is missing, the processor skips the beat, i.e. performs no computational step and sends no output.
If on a beat all processors send a message, and all have sent the same number of messages, we say. that the network is in unison.
The main result of this paper is that when the graph is strongly connected, unison is always reached. We show that it takes at most 2 ∣ V ∣ beats to reach it, and that no more than ∣ V ∣ /2 messages will accumulate in an edge. These bounds are tight.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
B. Awerbuch, “An efficient Network Synchronization Protocol”, Proc. of the 16th Annual ACM STOC, 1984.
K. M. Chandy and L. Lamport, “Distributed Snapshots: Determining Global States of Dis¬tributed Systems”, ACM Trans, on Computer Systems, Vol. 3, No 1, Feb 1985.
F. Commoner, A.W. Holt, S. Even, A. Pnueli, “Marked Directed Graphs”, J. of Computer and System Sciences, Vol, 5, No 5, Oct. 1971.
P. Rosenstiehl, J.R. Fiksel, A. Holliger, “Intelligent Graphs: Networks of Finite Automata Capable of Solving Graph Problems”, in Graph Theory and Computing, Ed. R. C. Read, Academic Press, New York 1972.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1990 Springer-Verlag New York Inc.
About this paper
Cite this paper
Even, S., Rajsbaum, S. (1990). Unison in Distributed Networks. In: Capocelli, R.M. (eds) Sequences. Springer, New York, NY. https://doi.org/10.1007/978-1-4612-3352-7_38
Download citation
DOI: https://doi.org/10.1007/978-1-4612-3352-7_38
Publisher Name: Springer, New York, NY
Print ISBN: 978-1-4612-7977-8
Online ISBN: 978-1-4612-3352-7
eBook Packages: Springer Book Archive