[发明专利]集群间交互的一致性设计验证的方法和系统有效
申请号: | 200610137315.6 | 申请日: | 2006-10-17 |
公开(公告)号: | CN1979506A | 公开(公告)日: | 2007-06-13 |
发明(设计)人: | 罗伯特·J.·德维斯;戴维·W.·米尔顿;帕斯卡·A.·萨姆 | 申请(专利权)人: | 国际商业机器公司 |
主分类号: | G06F17/50 | 分类号: | G06F17/50 |
代理公司: | 中国国际贸易促进委员会专利商标事务所 | 代理人: | 康建忠 |
地址: | 美国*** | 国省代码: | 美国;US |
权利要求书: | 查看更多 | 说明书: | 查看更多 |
摘要: | 方法和系统包括产生取决于已知的次序的试验实例,和在起始处理器上执行试验实例直到其达到已知点。方法还包括在不同的处理器上执行试验实例以执行动作,和通知起始处理器采取了所述动作。用起始处理器验证该动作为正在发生。 | ||
搜索关键词: | 集群 交互 一致性 设计 验证 方法 系统 | ||
【主权项】:
1.一种方法,包括:产生取决于已知的次序的试验实例;在起始处理器上执行试验实例直到其达到已知点;在不同的处理器上执行该试验实例以执行动作;通知起始处理器采取了所述动作;和起始处理器验证发生了所述动作。
下载完整专利技术内容需要扣除积分,VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息,商用须获得专利权人授权。该专利全部权利属于国际商业机器公司,未经国际商业机器公司许可,擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作,请联系【客服】
本文链接:http://www.vipzhuanli.com/patent/200610137315.6/,转载请声明来源钻瓜专利网。