[发明专利]一种验证协议的方法及装置有效
| 申请号： | 201610204332.0 | 申请日： | 2016-04-05 |
| 公开（公告）号： | CN105933286B | 公开（公告）日： | 2019-08-02 |
| 发明（设计）人： | 王振江;王朝辉;钟俊华 | 申请（专利权）人： | 浪潮电子信息产业股份有限公司 |
| 主分类号： | H04L29/06 | 分类号： | H04L29/06;H04L12/24 |
| 代理公司： | 济南信达专利事务所有限公司 37100 | 代理人： | 李世喆 |
| 地址： | 250100 山东*** | 国省代码： | 山东;37 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明提供了一种验证协议的方法及装置，该方法，包括：预先建立预设数量个CPU簇，其中，每个CPU簇中包括：CPU形式化模型和节点芯片形式化模型；运行每个CPU簇中的所述CPU形式化模型和所述节点芯片形式化模型，实现CPU簇之间的数据交互；根据所述CPU形式化模型和所述节点芯片形式化模型的运行信息，进行协议验证。本发明提供了一种验证协议的方法及装置，能够更加简单地验证协议。 | ||
| 搜索关键词： | 一种 验证 协议 方法 装置 | ||
【主权项】：
1.一种验证协议的方法，其特征在于，包括：S0：预先建立预设数量个CPU簇，其中，每个CPU簇中包括：CPU形式化模型和节点芯片形式化模型；S1：运行每个CPU簇中的所述CPU形式化模型和所述节点芯片形式化模型，实现CPU簇之间的数据交互，所述 S1，包括：运行每个 CPU 簇中的所述CPU 形式化模型和所述节点芯片形式化模型，实现任意两个 CPU 簇之间的cache 一致性的请求过程，在该实现过程中，在每个 CPU 簇内部， Intel CPU 协议和节点控制芯片协议进行互相转换，在每个 CPU 簇之间，通过节点控制芯片协议进行交互，所述 CPU 形式化模型，包括：本地代理HA 、缓存代理CA ；所述节点芯片形式化模型，包括：本地处理引擎、远端处理引擎；所述任意两个 CPU 簇包括：第一 CPU 簇、第二 CPU 簇；所述实现任意两个 CPU 簇之间的 cache 一致性的请求过程，包括：所述第一 CPU 簇中 CA 向所述第一 CPU 簇中的远端处理引擎发送 cache一致性请求，所述第一 CPU 簇中的远端处理引擎将所述 cache 一致性请求发送给所述第二 CPU 簇的本地处理引擎，所述第二 CPU 簇的本地处理引擎将所述 cache 一致性请求发送给所述第二 CPU 簇的 HA；所述第二 CPU 簇的 HA 将所述 cache 一致性请求的数据回复发送给所述第二 CPU 簇的 CA，所述第二 CPU 簇的 CA 将所述数据回复发送给所述第二CPU 簇的远端处理引擎，所述第二 CPU 簇的远端处理引擎将所述数据回复发送给所述第一 CPU 簇中的本地处理引擎，所述第一 CPU 簇中的本地处理引擎将所述数据回复发送给所述第一 CPU 簇中的 HA，所述第一 CPU 簇中的 HA 将所述数据回复发送给所述第一 CPU 簇中的 CA，所述第一 CPU 簇中的 CA 处理所述数据回复；S2：根据所述CPU形式化模型和所述节点芯片形式化模型的运行信息，进行协议验证;所述S0，包括：根据Intel CPU协议和节点控制芯片协议，建立每个CPU簇中的所述CPU形式化模型和所述节点芯片形式化模型，Inter CPU协议是指QPI（QuickPath Interconnect）协议，节点控制芯片协议是指基于MESI协议的改进协议。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于浪潮电子信息产业股份有限公司，未经浪潮电子信息产业股份有限公司许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201610204332.0/，转载请声明来源钻瓜专利网。
- 上一篇：移动智能设备流式大数据实时处理方法
- 下一篇：一种以太网交换机自动检测系统
