一种适应于通信协议自稳定性的恢复算法
A RECOVERY ALGORITHM FOR SELF STABILIZING COMMUNICATION PROTOCOLS作者机构:武汉理工大学计算机科学系武汉430063 华中科技大学计算机科学系武汉430074
出 版 物:《计算机研究与发展》 (Journal of Computer Research and Development)
年 卷 期:2000年第37卷第9期
页 面:1145-1152页
核心收录:
学科分类:0810[工学-信息与通信工程] 12[管理学] 1201[管理学-管理科学与工程(可授管理学、工学学位)] 08[工学] 081001[工学-通信与信息系统] 081201[工学-计算机系统结构] 0812[工学-计算机科学与技术(可授工学、理学学位)]
基 金:国家自然科学基金!(项目编号 69672 0 0 6) 湖北省自然科学基金!(项目编号 94J0 69)
摘 要:主要提出了一种适应于通信协议自稳定性的恢复算法 .先论述了适用于该算法的有关概念及形式描述方法 ;接着描述了该恢复算法 ,并给出了该算法的正确性证明及复杂性分析 ;最后通过一个多进程通信协议的实例研究 ,验证了该算法的正确性和有效性 .