一种适应于通信协议自稳定性的恢复算法
A RECOVERY ALGORITHM FOR SELF STABILIZING COMMUNICATION PROTOCOLS
-
摘要: 主要提出了一种适应于通信协议自稳定性的恢复算法 .先论述了适用于该算法的有关概念及形式描述方法 ;接着描述了该恢复算法 ,并给出了该算法的正确性证明及复杂性分析 ;最后通过一个多进程通信协议的实例研究 ,验证了该算法的正确性和有效性 .Abstract: 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.
下载: