Self stabilization
S Dolev - Journal of Aerospace Computing, Information, and …, 2004 - arc.aiaa.org
AULT tolerance and reliability are important issues for flight vehicles such as aircraft, space-
shuttles, and satellites. A self-stabilizing system recovers automatically following …
shuttles, and satellites. A self-stabilizing system recovers automatically following …
[BOOK][B] Distributed systems: an algorithmic approach
S Ghosh - 2006 - taylorfrancis.com
Most applications in distributed computing center around a set of common subproblems.
Distributed Systems: An Algorithmic Approach presents the algorithmic issues and …
Distributed Systems: An Algorithmic Approach presents the algorithmic issues and …
Self-stabilizing pulse synchronization inspired by biological pacemaker networks
A Daliot, D Dolev, H Parnas - Symposium on Self-Stabilizing Systems, 2003 - Springer
Abstract We define the “Pulse Synchronization” problem that requires nodes to achieve tight
synchronization of regular pulse events, in the settings of distributed computing systems …
synchronization of regular pulse events, in the settings of distributed computing systems …
Time optimal synchronous self stabilizing spanning tree
A Kravchik, S Kutten - International symposium on distributed computing, 2013 - Springer
In this research, we present the first time-optimal self stabilizing algorithm for synchronous
distributed spanning tree construction, assuming the standard shared registers size (O (log …
distributed spanning tree construction, assuming the standard shared registers size (O (log …
Accelerated heartbeat protocols
MG Gouda, TM McGuire - Proceedings. 18th International …, 1998 - ieeexplore.ieee.org
Heartbeat protocols are used by distributed programs to ensure that if a process in a
program terminates or fails, then the remaining processes in the program terminate. We …
program terminates or fails, then the remaining processes in the program terminate. We …
Coupling-based internal clock synchronization for large-scale dynamic distributed systems
This paper studies the problem of realizing a common software clock among a large set of
nodes without an external time reference (ie, internal clock synchronization), any centralized …
nodes without an external time reference (ie, internal clock synchronization), any centralized …
Self-Stabilizing Clock Synchronization in Probabilistic Networks
B Charron-Bost, LP de Monterno - 37th International Symposium on …, 2023 - hal.science
We consider the fundamental problem of clock synchronization in a synchronous multi-agent
system. Each agent holds a clock with an arbitrary initial value, and clocks must eventually …
system. Each agent holds a clock with an arbitrary initial value, and clocks must eventually …
Making randomized algorithms self-stabilizing
V Turau - International Colloquium on Structural Information and …, 2019 - Springer
It is well known that the areas of self-stabilizing algorithms and local algorithms are closely
related. Using program transformation techniques local algorithms can be made self …
related. Using program transformation techniques local algorithms can be made self …
A time-optimal self-stabilizing synchronizer using a phase clock
A synchronizer with a phase counter (sometimes called asynchronous phase clock) is an
asynchronous distributed algorithm, where each node maintains a local" pulse counter" that …
asynchronous distributed algorithm, where each node maintains a local" pulse counter" that …
Possible and impossible self-stabilizing digital clock synchronization in general graphs
S Dolev - Real-Time Systems, 1997 - Springer
We study digital clock synchronization for multiprocessor systems, where processors are
triggered by a common clock pulse and communicate with others via shared memory. A self …
triggered by a common clock pulse and communicate with others via shared memory. A self …