论文部分内容阅读
The cooperation of different processes may be lost by mistake when a protocol is executed. The protocol cannot be normally operated under this condition. In this paper,the self fault-tolerance of protocols is discussed, and a semanticsbased approach for achieving self fault-tolerance of protocols is presented. Some main characteristics of self fault-tolerance of protocols concerning liveness, nontermination and infinity are also presented. Meanwhile, the sufficient and necessary conditions for achieving self fault-tolerance of protocols are given. Finally, a typical protocol that does not satisfy the self fault-tolerance is investigated, and a new redesign version of this existing protocol using the proposed approach is given.
The cooperation of different processes may be lost by mistake when a protocol is executed. The protocol can not be normally operated under this condition. In this paper, the self fault-tolerance of protocols is discussed, and a semantics based approach for achieving self fault-tolerance of main protocols of presented. Some main characteristics of self fault-tolerance of Nonsonization-tolerance of protocols of liveness, nontermination and infinity are also presented. no satisfy the self fault-tolerance is investigated, and a new redesign version of this existing protocol using the proposed approach is given.