Near-optimal radio use for wireless network synchronization

In this paper, we consider the model of communication where wireless devices can either switch their radios off to save energy (and hence, can neither send nor receive messages), or switch their radios on and engage in communication. The problem has been extensively studied in practice, in the setting such as deployment and clock synchronization of wireless sensor networks. We distill a clean theoretical formulation of minimizing radio use and present near-optimal solutions. Our base model ignores issues of communication interference, although we also extend the model to handle this requirement. We assume that nodes intend to communicate periodically, or according to some time-based schedule. Clearly, perfectly synchronized devices could switch their radios on for exactly the minimum periods required by their joint schedules. The main challenge in the deployment of wireless networks is to synchronize the devices' schedules, given that their initial schedules may be offset relative to one another (even if their clocks run at the same speed). In this paper, we study how frequently the devices must switch on their radios in order to both synchronize their clocks and communicate. In this setting, we significantly improve previous results, and show optimal use of the radio for two processors and near-optimal use of the radio for synchronization of an arbitrary number of processors. In particular, for two processors we prove deterministic matching @Q(d) upper and lower bounds on the number of times the radio has to be on, where d is the discretized uncertainty period of the clock shift between the two processors. (In contrast, all previous results for two processors are randomized.) For n=d^@b processors (for any positive @b =1 our algorithm runs with at most poly-log(d) radio invocations per processor. Our bounds also hold in a radio-broadcast model where interference must be taken into account.