[发明专利]主动复制容错系统非阻塞消息全序化方法

摘要

一种主动复制容错系统非阻塞消息全序化方法，提出“后继确认”机制，定义客户请求三种状态，从原始状态起，通过收到连续的较大决定消息，确认关联较小全序值的决定消息的正确性；利用逻辑令牌环的控制结构对客户请求进行重新排序；系统正常时，不同决定所关联的全序值不同，系统按照全序值递增1的方式与客户请求相关联；每个决定中的客户请求关联唯一确定的全序值，决定者根据本地全序值计算决定中的全序值；当成员接收决定消息时，成员按照客户请求关联全序值按升序排列，获得可执行的客户请求序列，每个成员最终获得的可执行客户请求序列相同，系统发生错误时，根据“后继确认”机制，感知多于一个令牌存在，判断冲突的决定，确保消息全序。

主权项

1.一种主动复制容错系统非阻塞消息全序化方法，采用令牌方式来获得消息全序化，包括令牌管理子方法、请求管理子方法和容错组管理子方法，令牌管理子方法用于管理创建逻辑令牌环、传递令牌、处理令牌丢失和多令牌错误以及重构逻辑令牌环；请求管理子方法用于管理成员接收客户请求、处理消息、确认请求以及丢失决定的再请求；容错组管理子方法用于管理当前容错组成员存活状态、维护当前容错组信息、删除成员、加入新成员和计算成员位置，三个子方法相互关联，令牌管理子方法发起的重构逻辑令牌环动作引发容错组管理子方法对当前容错组信息的维护以及重新计算成员在当前逻辑令牌环中位置，由容错组管理子方法负责的删除成员或者加入新成员引发令牌管理子方法中的逻辑令牌环重构；请求管理子方法依据消息发送方是否为当前容错组中成员判断是否需要进一步处理所接收消息，其特征在于：本方法提出“后继确认”机制，其基本原则是定义客户请求三种状态，从原始状态起，通过收到连续的较大决定消息，确认关联较小全序值的决定消息的正确性；其基本思路是利用逻辑令牌环的控制结构对客户请求进行重新排序；系统正常时，不同决定所关联的全序值不同，系统按照全序值递增1的方式与客户请求相关联；每个决定中的客户请求关联唯一确定的全序值，决定者根据本地全序值计算决定中的全序值，两者相等；当成员接收决定消息时，设置本地全序值为决定消息中的全序值加1；成员按照客户请求关联全序值按升序排列，就获得可执行的客户请求序列，每个成员最终获得的可执行客户请求序列相同，系统发生错误时，根据“后继确认”机制，感知多于一个令牌存在，判断冲突的决定，确保消息全序。