[发明专利]一致性协议表

权利要求书

1.一种用于促成数据通信的装置，所述装置包括：

代理，其包括：

状态表存储设备，其用于保持状态表组，所述状态表组表示互连一致性协议的多个一致性协议动作，其中，所述状态表组包括至少一个嵌套状态表以及特定状态表，所述特定状态表链接到与从在所述特定状态表中定义的第一一致性状态的状态转换相对应的嵌套状态表，并且该嵌套状态表指示要从所述第一一致性状态转换到的至少一个第二一致性状态；以及

与所述状态表存储设备相关联的协议逻辑，所述协议逻辑：

接收一致性协议消息；并且

至少部分地基于所述一致性协议消息，从所述状态表组确定所述多个一致性协议动作中的一个一致性协议动作。

2.根据权利要求1所述的装置，其中，还在所述状态表组中的至少一个其它状态表中链接到所述嵌套状态表。

3.根据权利要求1所述的装置，其中，所述嵌套状态表与对应于所述特定状态表的动作的子动作相对应。

4.根据权利要求1所述的装置，其中，所述特定状态表链接到至少两个嵌套状态表。

5.根据权利要求1所述的装置，其中，协议层逻辑：

在所述状态表组中识别与所述消息相对应的所述特定状态表；

识别与所述特定状态表的与所述消息的属性相对应的行；并且

在所述行中识别对所述嵌套状态表的引用；并且

访问所述嵌套状态表以确定所述一致性协议动作。

6.根据权利要求5所述的装置，其中，所述特定状态表包括与当前状态相对应的一个或多个列以及与下一状态相对应的一个或多个列，并且对所述嵌套状态表的所述引用被包括在所述与下一状态相对应的列中。

7.根据权利要求6所述的装置，其中，所述一致性协议动作包括转换到由所述与下一状态相对应的列中的一个或多个单元格所指定的另一状态。

8.根据权利要求1所述的装置，其中，所述消息包括监听、数据消息、完成、和转发响应消息中的至少一个。

9.根据权利要求1所述的装置，其中，所述状态表组实施协议的正式规范。

10.根据权利要求9所述的装置，其中，所述状态表组为机器可解析表。

11.根据权利要求1所述的装置，其中，所述状态表组包括明确非确定性的表。

12.根据权利要求11所述的装置，其中，所述状态表组缺少偏置字段。

13.一种用于促成数据通信的装置，所述装置包括：

状态表存储设备，其用于保持状态表组，所述状态表组表示互连一致性协议的多个一致性协议动作，其中，所述状态表组包括至少一个嵌套状态表以及特定状态表，所述特定状态表链接到与从在所述特定状态表中定义的第一一致性状态的状态转换相对应的嵌套状态表，并且该嵌套状态表指示要从所述第一一致性状态转换到的至少一个第二一致性状态；以及

测试引擎，其适用于验证特定协议的状态机的至少一部分，其中，验证所述状态机包括仿真代理的一致性协议动作，并且所述状态表组被用于根据所述特定协议仿真所述代理的一致性协议动作。

14.根据权利要求13所述的装置，其中，所述测试引擎进一步用于根据所述状态表组生成测试平台代理。

15.根据权利要求14所述的装置，其中，生成测试平台代理包括根据所述状态表组生成至少一个Murphi模型。

16.根据权利要求15所述的装置，其中，所述生成所述测试平台代理还包括将所述Murphi模型转换为至少一个类别定义。