公开(公告)号：CN100517245C

公开(公告)日：2009-07-22

申请号：CN200710133889.0

申请日：2007-10-12

Applicant: 东南大学

Inventor： 汪芸 ,  王俊岭

IPC: G06F11/07

Abstract: 一种主动复制容错系统非阻塞消息全序化方法，提出“后继确认”机制，定义客户请求原始、关联全序值和可执行三种状态，一个客户请求只能处于其中一种状态，从原始状态起，通过收到连续的较大决定消息，确认关联较小全序值的决定消息的正确性；利用逻辑令牌环的控制结构对客户请求进行重新排序；系统正常时，不同决定所关联的全序值不同，系统按照全序值递增1的方式与客户请求相关联，获得可执行的客户请求序列，系统发生错误时，根据“后继确认”，感知多于一个令牌存在，选择一个决定消息保留，保持客户请求全序化特性，使得一个全序值仅关联一个客户请求，解决逻辑令牌环异常运行时造成的决定冲突。

公开(公告)号：CN101140534A

公开(公告)日：2008-03-12

申请号：CN200710133889.0

申请日：2007-10-12

Applicant: 东南大学

Inventor： 汪芸 ,  王俊岭

IPC: G06F11/07

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