摘要
主要提出了一种适应于通信协议自稳定性的恢复算法 .先论述了适用于该算法的有关概念及形式描述方法 ;接着描述了该恢复算法 ,并给出了该算法的正确性证明及复杂性分析 ;最后通过一个多进程通信协议的实例研究 ,验证了该算法的正确性和有效性 .
A recovery algorithm for self stabilizing communication protocols is presented in this paper. First some concepts and a formal description method for the algorithm are described. Then the algorithm procedures are proposed, its corretness is proved, and its complexity is analyzed. Finally, the availability and efficiency of the algorithm are verified by illustrating an example protocol with multi process.
出处
《计算机研究与发展》
EI
CSCD
北大核心
2000年第9期1145-1152,共8页
Journal of Computer Research and Development
基金
国家自然科学基金!(项目编号 69672 0 0 6)
湖北省自然科学基金!(项目编号 94J0 69)
关键词
通信协议
恢复算法
自稳定性
计算机网络
computer networks, communication protocols, recovery algorithm, self stabilization
