Abstract

A synchronizer is intended to allow synchronous algorithms to be executed on asynchronous networks. It is useful because desiging synchronous algorithms are generally much easier than desining asynchronous ones. In this paper, we provide synchronization protocols described as local computations. The proofs of these protocols and their use to simulate synchronous algorithms make use of their high level encoding in form of rewriting rules. We obtain a general and a unied approach for handling synchrony in the framework of local computations. All the algorithms discussed in this paper have been implemented and tested in the Visidia plateform, yielding a layer to implement synchronous algorithms.

Citations