Abstract:Distributed computing is the study of achieving cooperative behavior between independent computing processes with possibly conflicting goals. Distributed computing is ubiquitous in the Internet, wireless networks, multi-core and multi-processor computers, teams of mobile robots, etc. In this thesis, we study two fundamental distributed computing problems, clock synchronization and mutual exclusion. Our contributions are as follows. (1) We introduce the gradient clock synchronization (GCS) problem. As in traditional clock synchronization, a group of nodes in a bounded delay communication network try to synchronize their logical clocks, by reading their hardware clocks and exchanging messages. We say the distance between two nodes is the uncertainty in message delay between the nodes, and we say the clock skew between the nodes is their difference in logical clock values. GCS studies clock skew as a function of distance. We show that surprisingly, every clock synchronization algorithm exhibits some execution in which two nodes at distance one apart have Ω( logDloglog D ) clock skew, where D is the maximum distance between any pair of nodes. (2) We present an energy efficient and fault tolerant clock synchronization algorithm suitable for wireless networks. The algorithm synchronizes nodes to each other, as well as to real time. It satisfies a relaxed gradient property. That is, it guarantees that, using certain reasonable operating parameters, nearby nodes are well synchronized most of the time. (3) We study the mutual exclusion (mutex) problem, in which a set of processes in a shared memory system compete for exclusive access to a shared resource. We prove a tight Ω(n log n) lower bound on the time for n processes to each access the resource once. Our novel proof technique is based on separately lower bounding the amount of information needed for solving mutex, and upper bounding the amount of information any mutex algorithm can acquire in each step. We hope that our results offer fresh ways of looking at classical problems, and point to interesting new open problems. (Copies available exclusively from MIT Libraries, Rm. 14-0551, Cambridge, MA 02139-4307. Ph. 617-253-5668; Fax 617-253-1690.)

Gradient Clock Synchronization

Gradient TRIX

Fundamental Limits on Synchronizing Clocks over Networks.

Lower Bounds in Distributed Computing

Exponential convergence of time-of-arrival based network clock synchronization under practical assumptions

Fundamental Limits on Synchronization of Affine Clocks in Networks

Globally Exponential Synchronization for Dynamical Networks with Discrete-Time Communications

New Synchronization Algorithm and Analysis of Its Convergence Rate for Clock Oscillators in Dynamical Network with Time-Delays

Communication-efficient Clock Synchronization

Optimization of Synchronization in Gradient Clustered Networks.

A model-based approach to clock synchronization

Consensus-based Clock Synchronization for Wide Area Networks

A Clock Synchronization Algorithm Based on Parametric Difference for Distributed Node Clusters

Novel Clock Synchronization Algorithm of Parametric Difference for Parallel and Distributed Simulations

Clock Synchronization Algorithms for Networked Systems

Algorithm of Simulation Time Synchronization over Large-Scale Nodes

Network Clocks: Detecting the Temporal Scale of Information Diffusion

A Global Clock Skew Estimation Scheme for Hierarchical Wireless Sensor Networks

A High Precision and Low Power Digital Synchronous Clock for Sensor Network

Secure Clock Synchronization under Collusion Attacks

A Step to the Decentralized Real-Time Timekeeping Network