【技术实现步骤摘要】
【国外来华专利技术】一致性协议表
本公开总体上涉及计算机开发领域,并且更具体地,涉及包括对相互依存的约束系统的协调的软件开发。
技术介绍
半导体处理和逻辑设计的发展已允许在集成电路设备上呈现的逻辑数量的增加。作为一个必然结果,计算机系统配置已从系统中的单个或多个集成电路演进为在个体集成电路上呈现的多个内核、多个硬件线程、和多个逻辑处理器,以及集成在这种处理器内的其它接口。处理器或集成电路通常包括单个物理处理器管芯,其中该处理器管芯可以包括任意数量的内核、硬件线程、逻辑处理器、接口、存储器、控制器集线器等。作为在较小封装中的适应更强处理能力的更大能力的结果,更小的计算设备增加了流行度。智能电话、平板计算机、超薄笔记本计算机、以及其它用户设备已按指数级增长。然而,这些更小的设备依靠服务器以用于超出形状因子的数据存储和复杂处理。因此,也提高了对于高性能计算市场(即,服务器空间)的需求。例如,在现代服务器中,通常不但仅有具有多个内核的单个处理器,而且还有多个物理处理器(也被称为多个插口)以提高计算能力。但是随着处理能力随着计算系统中识别的数量的增加而增长,插口和其它设备之间的通信变得更加关键。实际上,互连已从主要负责电通信的更为传统的多点分支总线成长为促成快速通信的完全成熟的互连架构。不幸的是,随着对于未来处理器的需求以按更高速率消耗,对应的需求被置于现有互连架构的能力上。附图说明图1示出了根据一个实施例的包括在计算机系统中连接I/O设备的点对点互连的系统的简化框图;图2示出了根据一个实施例的分层协议栈的简化框图;图3示出了事务描述符的实施例。图4示出了串行点对点链路的实施例。图5示 ...
【技术保护点】
一种装置,包括:代理,其包括:状态表存储设备,其用于保持状态表组,所述状态表组表示多个一致性协议动作,其中,所述状态表组包括至少一个嵌套状态表;与所述状态表存储设备相关联的协议逻辑,所述协议逻辑:接收一致性协议消息;并且至少部分地基于所述一致性协议消息,从所述状态表组确定所述多个一致性协议动作中的一个一致性协议动作。
【技术特征摘要】
【国外来华专利技术】2012.10.22 US 61/717,0911.一种用于促成数据通信的装置,所述装置包括:代理,其包括:状态表存储设备,其用于保持状态表组,所述状态表组表示互连一致性协议的多个一致性协议动作,其中,所述状态表组包括至少一个嵌套状态表以及特定状态表,所述特定状态表链接到与从在所述特定状态表中定义的第一一致性状态的状态转换相对应的嵌套状态表,并且该嵌套状态表指示要从所述第一一致性状态转换到的至少一个第二一致性状态;以及与所述状态表存储设备相关联的协议逻辑,所述协议逻辑:接收一致性协议消息;并且至少部分地基于所述一致性协议消息,从所述状态表组确定所述多个一致性协议动作中的一个一致性协议动作。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模型转换为至少一个类别定义。17.根据权利要求14所述的装置,其中,所述测试平台代理在被执行时仿真所述代理的请求和响应。18.根据权利要求13所述的装置,其中,所述状态表组包括至少两个嵌套状态表。19.根据权利要求13所述的装置,其中,所述特定状态表链接到至少两个嵌套状态表。20.根据权利要求13所述的装置,其中,所述嵌套状态表与对应于所述特定状态表的动作的子动作相对应。21.一种用于促成数据通信的方法,所述方法包括:接收一致性协议消息;在状态表组中识别与所述消息相对应的特定状态表,其中所述状态表组包括至少一个嵌套状态表以及特定状态表,所述特定状态表链接到与从在所述特...
【专利技术属性】
技术研发人员:R·比尔斯,Y·S·迪隆,
申请(专利权)人:英特尔公司,
类型:发明
国别省市:美国;US
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。