一种基于失效检测器快速异步系统共识算法.pdfVIP

第% 期 王+ 刚等：一种基于失效检测器的快速异步系统共识算法 + + + ·’* · 一种基于失效检测器的快速异步系统共识算法! % %，! ! 王+ 刚 ，张大方 ，杨金民 （%, 湖南大学 计算机与通信学院，湖南 长沙) %-! ；!, 湖南大学 软件学院，湖南 长沙) %-! ） 摘+ 要：异步系统下的共识问题是容错方向中的关键问题。首先分析了几种基于失效检测器的共识算法，然后 考虑减少响应时间，对现有算法提出改进。改进后的算法满足异步系统下共识问题的两阶段最低限度，并且在 特定条件下可以在第一阶段快速作出响应。经实验证明，改进后的算法具有更快的响应时间和较少的通信量。 关键词：异步系统；容错；共识问题；失效检测器 中图法分类号：./!, -+ + + 文献标识码：0+ + + 文章编号：%%$ (’#（!* ）%$ ’*$ 1234 0356789:6:;3 :63=63;3 0?:9@48A B23=C :6 12@;9= D=4=74:9 E0FG G26?% ，HI0FG D2$J26?%，! ，K0FG L@6$A@6! （%! #$$%% #’ #() *+%, - #((*./01+/#. ，2*.1. 3./4%,5/+6 ，71.571 2*.1. ) %-! ，7/.1 ；!! #$$%% #’ 8#’ +91,% ，2*.1. 3./4%,5/+6 ， 71.571 2*.1. ) %-! ，7/.1 ） !#$%’$ ：:63=63;3 M9:N=A @3 7=6492 4: 48= @AM=A=6424@:6 :J J2;4$4:=9264 2356789:6:;3 C@349@N;4=C 3534=A3, .8= M2M=9 2625O=3 48= M=9J:9A267= :J 3=P=92 7:63=63;3 2?:9@48A3 N23=C :6 48= J2@;9= C=4=74:9, Q6 :9C=9 4: 9=C;7= 9=3M:63= 4@A= ，@4 M9:M:3=3 4824 7:63=63;3 M9:N=A 726 9=278 2 ?:N2 C=7@3@:6 @6 :6= 7:AA;6@724@:6 34=M ;6C=9 3M=7@J@7 7:6C@4@:63, .8= =RM=9@$ A=64 M9:P=C 48= 2?:9@48A 823 J=S 7:AA;6@724@:6 :2C3 26C T;@7U=9 9=3M:63= 4@A=, ()* +,%-# ：0356789:6:;3 V534=A ；12@;9=$4:=9264 ；:63=63;3 /9:N=A ；12@;9= D=4=74:9 + + 一致性问题是分布式计算中的常见问题。例如，在一个复 826C92 和.:;=?［! ］提出的，在文中给出了基于失效检测器解 制数据系统中，对复制数据进行相同顺序的操作；在复制传感 决异步模型下共识问题的算法，基于失效检测器的共识算法模 器系统中，对传感器的值达成一致；在一个广播系统中以相同 型可以用图% 来表示。共识算法周期性地询问失效检测器，失 的顺序传递一个消息等。共识问题就是对一致性问题的本质 效检测器在被询问时返回当前所怀疑的错误进程，共识算法根 归纳。在消息传递系统中，任何复制容错系统都会涉及到共识 据返回的结果来完成下一步运算。所有的共识算法均具有纵 问题，因此共识问题是容错研究中的一个关键问题。共识问题 容性，即只有当失效检测器的条件满足时，共识算法才可能给 抽象地来说，就是要求一系列进程对某个值（W2;= ）达成一个