[发明专利]一种分布式容错计算机成员一致性保证方法

摘要

本发明是一种分布式容错计算机成员一致性保证方法，包括以下步骤：1)容错计算机节点状态的初始化：N节点的容错计算机，初始状态设置为(Ai，N+1-i，0，A1A2…AN)，Ai为第i个节点，N+1-i为初始确认计数器(AC)值，0为初始失败计数器(FC)值，A1A2…AN为初始成员列表，即初始状态下每个节点的成员列表中包含系统所有节点；2)节点Ai按顺序向所有节点广播数据帧；Ai成员列表记为mem(Ai)；本发明针对分布式计算机系统容错技术，解决分布式系统余度管理问题，能够可靠地对系统各节点状态进行管理，有效避免系统成员结党的发生，使系统对故障作出及时一致性地响应，为机载分布式容错计算机的新型容错策略提供了有效支持。

主权项

一种分布式容错计算机成员一致性保证方法，其特征在于：所述方法包括以下步骤：1)容错计算机节点状态的初始化：N节点的容错计算机，初始状态设置为(A_i，N+1‑i，0，A₁A₂…A_N)，A_i为第i个节点，N+1‑i为初始确认计数器(AC)值，0为初始失败计数器(FC)值，A₁A₂…A_N为初始成员列表，即初始状态下每个节点的成员列表中包含系统所有节点；2)节点A_i按顺序向所有节点广播数据帧；A_i成员列表记为mem(A_i)；A_i判断本地AC是否大于FC，若结果为真，节点A_i清零本地AC和FC，使用本地成员列表与待发送数据合并计算CRC校验和，得到CRC后将其与待发数据组成数据帧，将该数据帧广播给所有节点(包括自身)；若结果为假，节点反馈错误给上层应用并进入冻结状态；3)节点A_k接收并解码数据帧；节点A_k接收A_i发送来的数据帧，使用本地成员列表对接收数据帧进行解码及CRC校验；CRC校验成功的节点认为数据正确接收，CRC校验失败的节点认为数据帧接收失败；若节点A_k正确接收数据，则A_k将A_i加入本地成员列表，并累加AC；若节点A_k接收数据失败，则A_k将A_i从本地成员列表删除，并累加FC；若节点A_k没有在预期时间点接收到A_i发送的数据帧，则将A_i从本地成员列表删除，但不累加任何计数器；4)节点A_i发送数据后寻找第一成功节点；节点Ai发送数据后，等待下一节点在预期时间段发送来的正确数据帧；判断是否满足：mem(A_i)＝mem(A_j)，结果为真则A_j为A_i的第一成功节点，A_i被确认(即Ai正确)，隐含确认算法结束。