Vassos Hadzilacos, Joseph Y. Halpern
Mathematical Systems Theory
We investigate the power of a broadcast mechanism in a distributed network. We do so by considering the problem of synchronizing clocks in an errorfree network, under the assumption that there is no upper bound on message transmission time, but that broadcast messages are guaranteed to be received within an interval of size ε, for some fixed constant ε. This is intended to be an idealization of what happens in multiple access networks, such as the Ethernet. We then consider tradeoffs between the type and number of broadcasts, and the tightness of synchronization. Our results include (1) matching upper and lower bounds of (1+1/K)ε on the precision of clock synchronization attainable for n≧3 process using K (n-1)-casts, 3≦K≦n, (2) matching upper and lower bounds of (1+1/n)ε on the precision of clock synchronization attainable for n≧3 processes using an arbitrary number of (n-1)-casts, and (3) matching upper and lower bounds of (1+n-2/n)ε on the precision attainable using 2-casting. © 1991 Springer-Verlag.
Vassos Hadzilacos, Joseph Y. Halpern
Mathematical Systems Theory
Joseph Y. Halpern
Journal of Philosophical Logic
Adam J. Grove, Joseph Y. Halpern, et al.
SIAM Journal on Computing
Fahiem Bacchus, Joseph Y. Halpern, et al.
IJCAI 1995