Memory-efficient and self-stabilizing network RESET (extended abstract)
PODC '94 Proceedings of the thirteenth annual ACM symposium on Principles of distributed computing
Self-stabilization
Error-detecting codes and fault-containing self-stabilization
Information Processing Letters
Self-stabilizing systems in spite of distributed control
Communications of the ACM
IEEE Transactions on Computers
Journal of Parallel and Distributed Computing - Self-stabilizing distributed systems
Tolerating transient and intermittent failures
Journal of Parallel and Distributed Computing - Self-stabilizing distributed systems
Specialized N-modular redundant processors in large-scale distributed systems
SRDS '96 Proceedings of the 15th Symposium on Reliable Distributed Systems
ICDCS '03 Proceedings of the 23rd International Conference on Distributed Computing Systems
State Checksum and Its Role in System Stabilization
ICDCSW '05 Proceedings of the Fourth International Workshop on Assurance in Distributed Systems and Networks (ADSN) (ICDCSW'05) - Volume 01
The use of triple-modular redundancy to improve computer reliability
IBM Journal of Research and Development
From self- to snap- stabilization
SSS'06 Proceedings of the 8th international conference on Stabilization, safety, and security of distributed systems
Fault masking in tri-redundant systems
SSS'06 Proceedings of the 8th international conference on Stabilization, safety, and security of distributed systems
A framework of safe stabilization
SSS'03 Proceedings of the 6th international conference on Self-stabilizing systems
Pragmatic self-stabilization of atomic memory in message-passing systems
SSS'11 Proceedings of the 13th international conference on Stabilization, safety, and security of distributed systems
Brief announcement: deterministic self-stabilizing leader election with O(log log n)-bits
Proceedings of the 2013 ACM symposium on Principles of distributed computing
| Hi-index | 0.00 |
Self-stabilizing systems can be started in any arbitrary state and converge to exhibit the desired behavior. However, self-stabilizing systems can be started in predefined initial states, in the same way as non-stabilizing systems. In this case, a self-stabilizing system can mask faults just like any other distributed system. Moreover, whenever faults overwhelm the systems beyond their capabilities to mask faults, the stabilizing system recovers to exhibit eventual safety and liveness, while the behavior of non-stabilizing systems is undefined and may well remain totally and permanently undesired. We demonstrate the importance of defining the initial state of a self-stabilizing system in a specific case of distributed reset over a system composed of several layers of self-stabilizing algorithms. A self-stabilizing stabilization detector ensures that, at first, only the very first layer(s) takes action, and that then higher levels are activated, ensuring smooth restarts, while preserving the stabilization property. The safety of initialized self-stabilizing systems, combined with their better ability to regain safety and liveness following severe conditions, is then demonstrated over the classical fault masking modular redundancy architecture.