[发明专利]一种验证cache一致性协议的方法及装置有效
| 申请号： | 201610204354.7 | 申请日： | 2016-04-05 |
| 公开（公告）号： | CN105912415B | 公开（公告）日： | 2017-12-29 |
| 发明（设计）人： | 王振江;王朝辉;钟俊华 | 申请（专利权）人： | 浪潮电子信息产业股份有限公司 |
| 主分类号： | G06F11/07 | 分类号： | G06F11/07 |
| 代理公司： | 济南信达专利事务所有限公司37100 | 代理人： | 李世喆 |
| 地址： | 250100 山东*** | 国省代码： | 山东;37 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明提供了一种验证cache一致性协议的方法及装置，该方法，包括预先设置cache一致性协议的协议表项，将每个协议表项与预设状态机的一个状态对应；预先根据所述状态机和所述协议表项，建立所述cache一致性协议的形式化模型；确定待运行的协议表项；确定到达每个待运行的协议表项对应的状态的所有场景；根据每个所述场景，运行所述形式化模型；根据所述形式化模型的运行结果，验证所述cache一致性协议。本发明提供了一种验证cache一致性协议的方法及装置，能够使得验证结果更加准确。 | ||
| 搜索关键词： | 一种 验证 cache 一致性 协议 方法 装置 | ||
【主权项】：
一种验证cache一致性协议的方法，其特征在于，包括：S1：预先设置cache一致性协议的协议表项，将每个协议表项与预设状态机的一个状态对应；S2：预先根据所述状态机和所述协议表项，建立所述cache一致性协议的形式化模型；S3：确定待运行的协议表项；S4：确定到达每个待运行的协议表项对应的状态的所有场景；S5：根据每个所述场景，运行所述形式化模型；S6：根据所述形式化模型的运行结果，验证所述cache一致性协议。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于浪潮电子信息产业股份有限公司，未经浪潮电子信息产业股份有限公司许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201610204354.7/，转载请声明来源钻瓜专利网。
