一种非阻塞消息全序化协议  

作　　者：汪芸[1,2] 王俊岭[1,2] 

机构地区：[1]东南大学计算机科学与技术学院,南京210096 [2]教育部计算机网络和信息集成重点实验室,南京210096

出　　处：《中国科学（E辑）》2008年第12期2066-2083,共18页Science in China(Series E)

基　　金：国家自然科学基金(批准号:60273038;90412014);国家教育部新世纪优秀人才计划(批准号:NCET-04-0478);江苏省"六大人才高峰"计划资助项目

摘　　要：消息全序化协议是主动复制技术中维护容错组成员状态一致性的关键技术之一.文中提出异步分布环境下的一种非阻塞消息全序化协议NBTOP.非阻塞表现为当主动复制容错组发生演进时,容错组中的成员无需等待进入相同组视图后再继续计算,甚至当决定消息发生冲突时,容错组成员仍能继续各自的计算.NBTOP协议采用令牌环的逻辑控制结构,成员利用再请求机制获得丢失的决定消息内容,通过后继确认机制解决决定消息冲突问题.进一步证明协议NBTOP满足全序性、一致性和终止性.对NBTOP协议进行了测试,与Totem协议做了性能比较,结果表明NBTOP协议具有较好的延迟性能,成员的非阻塞行为有利于提高协议的执行效率.

关 键 词：全序化 协议 非阻塞 主动复制 容错 令牌环 

分 类 号：TP303[自动化与计算机技术—计算机系统结构]