发明授权
- 专利标题: Predicate checking for distributed systems
- 专利标题(中): 分布式系统的谓词检查
-
申请号: US13077345申请日: 2011-03-31
-
公开(公告)号: US08121824B2公开(公告)日: 2012-02-21
- 发明人: Xuezheng Liu , Wei Lin , Zheng Zhang
- 申请人: Xuezheng Liu , Wei Lin , Zheng Zhang
- 申请人地址: US WA Redmond
- 专利权人: Microsoft Corporation
- 当前专利权人: Microsoft Corporation
- 当前专利权人地址: US WA Redmond
- 代理机构: Lee & Hayes, PLLC
- 主分类号: G06F17/50
- IPC分类号: G06F17/50 ; G06F15/173
摘要:
Predicate checking in conjunction with distributed systems can enable an investigating user to check predicates in the context of instance states and/or distributed states of a distributed system. In an example embodiment, a method entails accepting distributed system simulation data and performing a simulation of a distributed system using the distributed system simulation data to create distributed system simulated states. At least a portion of the distributed system simulated states are exposed. The exposed portion of the distributed system simulated states is retrieved and stored as exposed states for the distributed system. The exposed states for the distributed system are compared to predicate states for the distributed system. If an inconsistency is detected between the exposed states and the predicate states based on the comparing, at least one alarm is issued.
公开/授权文献
- US20110178788A1 Predicate Checking for Distributed Systems 公开/授权日:2011-07-21