Error-detecting codes and fault-containing self-stabilization

被引:22
作者
Herman, T [1 ]
Pemmaraju, S
机构
[1] Univ Iowa, Dept Comp Sci, Iowa City, IA 52242 USA
[2] Indian Inst Technol, Bombay, Maharashtra, India
关键词
fault tolerance; self-stabilization; fault containment; error-detecting codes;
D O I
10.1016/S0020-0190(99)00164-7
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
Self-stabilizing algorithms recover from all cases of transient failure, but the mechanism of self-stabilization may be costly for mild cases of transient failure. Error-detecting codes can be used to identify, with high probability, transient faults in data. This note investigates how error-detecting codes can enhance self-stabilization to deal efficiently with the common case of single-process transient faults. The main results are characterizations of self-stabilizing algorithms that can use error-detecting codes to recover from single-process transient faults in a single step. (C) 2000 Elsevier Science B.V. All rights reserved.
引用
收藏
页码:41 / 46
页数:6
相关论文
共 8 条
[1]   Local stabilizer [J].
Afek, Y ;
Dolev, S .
PROCEEDINGS OF THE FIFTH ISRAELI SYMPOSIUM ON THEORY OF COMPUTING AND SYSTEMS, 1997, :74-84
[2]   CONVERGENCE OF ITERATION SYSTEMS [J].
ARORA, A ;
ATTIE, P ;
EVANGELIST, M ;
GOUDA, M .
DISTRIBUTED COMPUTING, 1993, 7 (01) :43-53
[3]   SELF-STABILIZATION OF DYNAMIC-SYSTEMS ASSUMING ONLY READ WRITE ATOMICITY [J].
DOLEV, S ;
ISRAELI, A ;
MORAN, S .
DISTRIBUTED COMPUTING, 1993, 7 (01) :3-16
[4]  
Ghosh S., 1996, Proceedings of the Fifteenth Annual ACM Symposium on Principles of Distributed Computing, P45, DOI 10.1145/248052.248057
[5]  
GHOSH S, 1996, J COMPUT INFORM, V2, P322
[6]  
KAKUGAWA H, 1997, P 3 WORKSH SELF STAB, P16
[7]  
Kutten S., 1997, Proceedings of the Sixteenth Annual ACM Symposium on Principles of Distributed Computing, P149, DOI 10.1145/259380.259435
[8]   A highly safe self-stabilizing mutual exclusion algorithm [J].
Yen, IL .
INFORMATION PROCESSING LETTERS, 1996, 57 (06) :301-305