Self-Stabilizing Pulse Synchronization Inspired by Biological Pacemaker Networks

We define the "Pulse Synchronization" problem that requires nodes to achieve tight synchronization of regular pulse events, in the settings of distributed computing systems. Pulse-coupled synchronization is a phenomenon displayed by a large variety of biological systems, typically overcoming a high level of noise. Inspired by such biological models, a robust and self-stabilizing pulse synchronization algorithm for distributed computer systems is presented. The algorithm attains near optimal synchronization tightness while tolerating up to a third of the nodes exhibiting Byzantine behavior concurrently. We propose that pulse synchronization algorithms can be suitable for a variety of distributed tasks that require tight synchronization but which can tolerate a bound variation in the regularity of the synchronized pulse invocations.

[1]  J. Buck,et al.  Synchronous fireflies. , 1976, Scientific American.

[2]  W. Otto Friesen,et al.  Physiological anatomy and burst pattern in the cardiac ganglion of the spiny lobsterPanulirus interruptus , 1975, Journal of comparative physiology.

[3]  Jennifer L. Welch,et al.  Wait-Free Clock Synchronization , 1993, PODC '93.

[4]  Barbara Liskov,et al.  Practical uses of synchronized clocks in distributed systems , 1991, PODC '91.

[5]  Sukumar Ghosh,et al.  Stabilizing Phase-Clocks , 1995, Inf. Process. Lett..

[6]  Boaz Patt,et al.  A theory of clock synchronization , 1994 .

[7]  Jerzy Brzeziński,et al.  Self-stabilization in distributed systems - a short survey , 2000 .

[8]  Christof Koch,et al.  Biophysics of Computation: Information Processing in Single Neurons (Computational Neuroscience Series) , 1998 .

[9]  Hiroaki Kitano,et al.  Biological robustness , 2008, Nature Reviews Genetics.

[10]  Vivien A. Casagrande,et al.  Biophysics of Computation: Information Processing in Single Neurons , 1999 .

[11]  P. M. Melliar-Smith,et al.  Synchronizing clocks in the presence of faults , 1985, JACM.

[12]  E MirolloRenato,et al.  Synchronization of pulse-coupled biological oscillators , 1990 .

[13]  Anish Arora,et al.  Maintaining Digital Clocks In Step , 1991, WDAG.

[14]  Danny Dolev,et al.  Fault tolerance in the cardiac ganglion of the lobster , 1999, Biological Cybernetics.

[15]  Rudolf Mathar,et al.  Pulse-Coupled Decentral Synchronization , 1996, SIAM J. Appl. Math..

[16]  Danny Dolev,et al.  Linear Time Byzantine Self-Stabilizing Clock Synchronization , 2003, OPODIS.

[17]  Flaviu Cristian,et al.  An optimal internal clock synchronization algorithm , 1995, COMPASS '95 Proceedings of the Tenth Annual Conference on Computer Assurance Systems Integrity, Software Safety and Process Security'.

[18]  Nancy A. Lynch,et al.  Easy impossibility proofs for distributed consensus problems , 1985, PODC '85.

[19]  LFKDá.  SELF-STABILIZATION IN DISTRIBUTED SYSTEMS – A SHORT SURVEY , 2000 .

[20]  Jennifer L. Welch,et al.  Self-Stabilizing Clock Synchronization in the Presence of ByzantineFaults ( Preliminary Version ) Shlomi Dolevy , 1995 .

[21]  S. Strogatz,et al.  Synchronization of pulse-coupled biological oscillators , 1990 .

[22]  Nancy A. Lynch,et al.  An Upper and Lower Bound for Clock Synchronization , 1984, Inf. Control..

[23]  U. Alon,et al.  Robustness in bacterial chemotaxis , 2022 .

[24]  Ted Herman.  Phase Clocks for Transient Fault Repair , 2000, IEEE Trans. Parallel Distributed Syst..

[25]  Emil Grosswald,et al.  The Theory of Partitions , 1984 .

[26]  Fred B. Schneider,et al.  Understanding Protocols for Byzantine Clock Synchronization , 1987 .

[27]  T. J. Walker,et al.  Acoustic Synchrony: Two Mechanisms in the Snowy Tree Cricket , 1969, Science.

[28]  Seif Haridi,et al.  Distributed Algorithms , 1992, Lecture Notes in Computer Science.

[29]  Shlomi Dolev,et al.  Self Stabilization , 2004, J. Aerosp. Comput. Inf. Commun..

[30]  D. Dolev,et al.  Self-Stabilizing Byzantine Token Circulation , 2005 .

[31]  T. Vicsek,et al.  Self-organizing processes: The sound of many hands clapping , 2000, Nature.

[32]  Boaz Patt-Shamir,et al.  A theory of clock synchronization (extended abstract) , 1994, STOC '94.

[33]  Danny Dolev,et al.  Dynamic fault-tolerant clock synchronization , 1995, JACM.

[34]  Felix C. Freiling,et al.  Code Stabilization , 2005, Self-Stabilizing Systems.

[35]  S H Strogatz,et al.  Coupled oscillators and biological synchronization. , 1993, Scientific American.

[36]  Nancy A. Lynch,et al.  Reaching approximate agreement in the presence of faults , 1986, JACM.

[37]  Sam Toueg,et al.  Fast Distributed Agreement , 1987, SIAM J. Comput..

[38]  W. Otto Friesen,et al.  Synaptic interactions in the cardiac ganglion of the spiny lobsterPanulirus interruptus , 1975, Journal of comparative physiology.

[39]  Danny Dolev,et al.  On the possibility and impossibility of achieving clock synchronization , 1984, STOC '84.

[40]  Danny Dolev,et al.  Self-stabilization of Byzantine Protocols , 2005, Self-Stabilizing Systems.