【技术实现步骤摘要】
一致性协议表本申请是申请日为2013年3月15日、申请号为201380049062.5的同名专利申请的分案申请。
本公开总体上涉及计算机开发领域,并且更具体地,涉及包括对相互依存的约束系统的协调的软件开发。
技术介绍
半导体处理和逻辑设计的发展已允许在集成电路设备上呈现的逻辑数量的增加。作为一个必然结果,计算机系统配置已从系统中的单个或多个集成电路演进为在个体集成电路上呈现的多个内核、多个硬件线程、和多个逻辑处理器,以及集成在这种处理器内的其它接口。处理器或集成电路通常包括单个物理处理器管芯,其中该处理器管芯可以包括任意数量的内核、硬件线程、逻辑处理器、接口、存储器、控制器集线器等。作为在较小封装中的适应更强处理能力的更大能力的结果,更小的计算设备增加了流行度。智能电话、平板计算机、超薄笔记本计算机、以及其它用户设备已按指数级增长。然而,这些更小的设备依靠服务器以用于超出形状因子的数据存储和复杂处理。因此,也提高了对于高性能计算市场(即,服务器空间)的需求。例如,在现代服务器中,通常不但仅有具有多个内核的单个处理器,而且还有多个物理处理器(也被称为多个插口)以提高 ...
【技术保护点】
1.一种装置,包括:一致性代理,其用于:根据描述一致性代理为支持特定的一致性协议而要遵循的状态机转换的多个状态机表来确定行为,其中,所述多个状态机表中的一个特定状态机表对应于特定动作,并且所述特定状态机表指示所述一致性代理在至少一些状态转换中使用所述多个状态机表中的另一状态机表。
【技术特征摘要】
2012.10.22 US 61/717,0911.一种装置,包括:一致性代理,其用于:根据描述一致性代理为支持特定的一致性协议而要遵循的状态机转换的多个状态机表来确定行为,其中,所述多个状态机表中的一个特定状态机表对应于特定动作,并且所述特定状态机表指示所述一致性代理在至少一些状态转换中使用所述多个状态机表中的另一状态机表。2.根据权利要求1所述的装置,其中,在所述特定状态机表中链接到所述另一状态机表。3.根据权利要求2所述的装置,其中,由所述多个状态机表中的多个不同的状态机表链接到所述另一状态机表。4.根据权利要求1所述的装置,其中,所述另一状态机表在至少一个其它状态机表中被引用。5.根据权利要求1所述的装置,其中,所述行为是要至少部分地基于所述另一状态机表来确定的。6.根据权利要求1所述的装置,其中,所述一致性代理用于:识别所述特定状态机表中与特定状态相对应的行;并且在所述行中识别对所述另一状态机表的引用。7.根据权利要求6所述的装置,其中,所述特定状态机表包括与当前状态相对应的一个或多个列以及与下一状态相关联的一个或多个列,并且对所述另一状态机表的所述引用被包括在与下一状态相关联的列中。8.根据权利要求7所述的装置,其中,所述行为包括转换到由所述与下一状态相关联的列中的一个或多个单元格所指定的另一状态。9.根据权利要求8所述的装置,其中,所述行为包括使用所述另一状态机表。10.根据权利要求1所述的装置,其中,所述多个状态机表实施协议的正式规范。11.根据权利要求10所述的装置,其中,所述协议包括一致性协议。12.根据权利要求10所述的装置,其中,所述多个状态机表包括机器可解析表。13.根据权利要求1所述的装置,其中,所述多个状态机表包括明确非确定性的表。14.根据权利要求13所述的装置,其中,所述多个状态机表缺少偏置字段。15.一种装置,包括:一致性协议的正式规范的多个状态机表,其中,所述多个状态机表描述在所述一致性协议中一致性代理要遵循的状态机转换,每个状态机表与相应的动作相关联,并且包括多个相应的列,其中一些列与当前状态相关联而其它列与下一...
【专利技术属性】
技术研发人员:R·比尔斯,Y·S·迪隆,
申请(专利权)人:英特尔公司,
类型:发明
国别省市:美国,US
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。