Snap-stabilizing PIF algorithm in arbitrary networks
Tóm tắt
We present the first snap-stabilizing propagation of information with feedback (PIF) protocol in arbitrary networks. A snap-stabilizing protocol, starting from any arbitrary initial system configuration, always behaves according to its specification. Our protocol is distributed, deterministic, and does not use a pre-constructed spanning tree.
Từ khóa
#Intelligent networks #Protocols #Feedback #Distributed computing #Broadcasting #Fault tolerance #Algorithm design and analysis #Tree graphs #Computer science #Fault detectionTài liệu tham khảo
10.1109/TSE.1982.235573
10.1016/0020-0190(91)90111-T
10.1109/ICDSC.2001.918937
cournier, 2001, Snap-stabilizing systems, Technical Report RROI-I0 LaRIA University of Picardie Jules Verne
10.1145/361179.361202
10.1007/BF02278851
10.1109/71.588622
10.1007/BF02278852
10.1016/0020-0190(79)90151-0
lynch, 1996, Distributed Algorithms
10.1145/167088.167256
arora, 1994, Distributed reset, IEEE Transactions on Computers, 43, 1026, 10.1109/12.312126
10.1109/SFCS.1991.185377
10.1109/SFCS.1991.185378
bui, 1999, Space optimal PIF algorithm: Self-stabilizing with no extra space, IPCCC'99 IEEE International Performance Computing and Communications Conference, 20
bui, 1999, Snap-stabilizing PIF algorithm in tree networks without sense of direction, SIROCCO '99 The 6th International Colloquium On Structural Information and Communication Complexity Proceedings, 32
10.1109/ICDCS.1998.679492
afek, 1990, Memory-efficient self-stabilization on general networks, WDAG90 Distributed Algorithms 4th International Workshop Proceedings Springer-Verlag LNCS 486, 15
10.1109/SLFSTB.1999.777490
raynal, 1990, Synchronization and Control of Distributed Systems and Programs
tel, 1994, Introduction to Distributed Algorithms, 10.1007/BFb0020419
10.1109/TIT.1983.1056620
varghese, 1993, Self-Stabilization by Local Checking and Correction