-
公开(公告)号:US08121824B2
公开(公告)日:2012-02-21
申请号:US13077345
申请日:2011-03-31
申请人: Xuezheng Liu , Wei Lin , Zheng Zhang
发明人: Xuezheng Liu , Wei Lin , Zheng Zhang
IPC分类号: G06F17/50 , G06F15/173
CPC分类号: G06F11/3688
摘要: 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.
摘要翻译: 与分布式系统结合进行谓词检查可使调查用户能够在分布式系统的实例状态和/或分布式状态的上下文中检查谓词。 在示例实施例中,一种方法需要接受分布式系统仿真数据并且使用分布式系统仿真数据执行分布式系统的仿真以创建分布式系统模拟状态。 分布式系统的至少一部分模拟状态被暴露。 分布式系统的暴露部分模拟状态被检索并存储为分布式系统的暴露状态。 将分布式系统的暴露状态与分布式系统的谓词状态进行比较。 如果根据比较在暴露状态和谓词状态之间检测到不一致,则发出至少一个报警。
-
公开(公告)号:US07933759B2
公开(公告)日:2011-04-26
申请号:US12058362
申请日:2008-03-28
申请人: Xuezheng Liu , Wei Lin , Zheng Zhang
发明人: Xuezheng Liu , Wei Lin , Zheng Zhang
IPC分类号: G06F17/50 , G06F15/173
CPC分类号: G06F11/3688
摘要: 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.
摘要翻译: 与分布式系统结合进行谓词检查可使调查用户能够在分布式系统的实例状态和/或分布式状态的上下文中检查谓词。 在示例实施例中,一种方法需要接受分布式系统仿真数据并且使用分布式系统仿真数据执行分布式系统的仿真以创建分布式系统模拟状态。 分布式系统的至少一部分模拟状态被暴露。 分布式系统的暴露部分模拟状态被检索并存储为分布式系统的暴露状态。 将分布式系统的暴露状态与分布式系统的谓词状态进行比较。 如果根据比较发现暴露状态和谓词状态之间的不一致性,则发出至少一个报警。
-
公开(公告)号:US20090006064A1
公开(公告)日:2009-01-01
申请号:US11771934
申请日:2007-06-29
申请人: Wei Lin , Xuezheng Liu , Zheng Zhang
发明人: Wei Lin , Xuezheng Liu , Zheng Zhang
IPC分类号: G06G7/62
CPC分类号: G06F17/5009
摘要: Replaying distributed systems involves playing a distributed system in a simulator using data from a real-world operation. In an example embodiment, a simulation process is to simulate a distributed system that has a first instance and a second instance. The simulation process includes a first simulation object corresponding to the first instance and a second simulation object corresponding to the second instance. In another example embodiment, communications between the first instance and the second instance are simulated within the simulation process using function calls between the first simulation object and the second simulation object.
摘要翻译: 重播分布式系统涉及使用来自真实世界操作的数据在模拟器中播放分布式系统。 在示例实施例中,模拟过程是模拟具有第一实例和第二实例的分布式系统。 模拟处理包括对应于第一实例的第一模拟对象和对应于第二实例的第二模拟对象。 在另一个示例实施例中,使用第一仿真对象和第二仿真对象之间的函数调用在模拟过程中模拟第一实例和第二实例之间的通信。
-
公开(公告)号:US20110178788A1
公开(公告)日:2011-07-21
申请号:US13077345
申请日:2011-03-31
申请人: Xuezheng Liu , Wei Lin , Zheng Zhang
发明人: Xuezheng Liu , Wei Lin , Zheng Zhang
IPC分类号: G06F17/50 , G06F15/173
CPC分类号: G06F11/3688
摘要: 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.
摘要翻译: 与分布式系统结合进行谓词检查可使调查用户能够在分布式系统的实例状态和/或分布式状态的上下文中检查谓词。 在示例实施例中,一种方法需要接受分布式系统仿真数据并且使用分布式系统仿真数据执行分布式系统的仿真以创建分布式系统模拟状态。 分布式系统模拟状态的至少一部分被暴露。 分布式系统的暴露部分模拟状态被检索并存储为分布式系统的暴露状态。 将分布式系统的暴露状态与分布式系统的谓词状态进行比较。 如果根据比较在暴露状态和谓词状态之间检测到不一致,则发出至少一个报警。
-
公开(公告)号:US07925487B2
公开(公告)日:2011-04-12
申请号:US11771934
申请日:2007-06-29
申请人: Wei Lin , Xuezheng Liu , Zheng Zhang
发明人: Wei Lin , Xuezheng Liu , Zheng Zhang
IPC分类号: G06F17/50
CPC分类号: G06F17/5009
摘要: Replaying distributed systems involves playing a distributed system in a simulator using data from a real-world operation. In an example embodiment, a simulation process is to simulate a distributed system that has a first instance and a second instance. The simulation process includes a first simulation object corresponding to the first instance and a second simulation object corresponding to the second instance. In another example embodiment, communications between the first instance and the second instance are simulated within the simulation process using function calls between the first simulation object and the second simulation object.
摘要翻译: 重播分布式系统涉及使用来自真实世界操作的数据在模拟器中播放分布式系统。 在示例实施例中,模拟过程是模拟具有第一实例和第二实例的分布式系统。 模拟处理包括对应于第一实例的第一模拟对象和对应于第二实例的第二模拟对象。 在另一个示例实施例中,使用第一仿真对象和第二仿真对象之间的函数调用在模拟过程中模拟第一实例和第二实例之间的通信。
-
公开(公告)号:US20090248381A1
公开(公告)日:2009-10-01
申请号:US12058362
申请日:2008-03-28
申请人: Xuezheng Liu , Wei Lin , Zheng Zhang
发明人: Xuezheng Liu , Wei Lin , Zheng Zhang
IPC分类号: G06G7/62
CPC分类号: G06F11/3688
摘要: 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.
摘要翻译: 与分布式系统结合进行谓词检查可使调查用户能够在分布式系统的实例状态和/或分布式状态的上下文中检查谓词。 在示例实施例中,一种方法需要接受分布式系统仿真数据并且使用分布式系统仿真数据执行分布式系统的仿真以创建分布式系统模拟状态。 分布式系统的至少一部分模拟状态被暴露。 分布式系统的暴露部分模拟状态被检索并存储为分布式系统的暴露状态。 将分布式系统的暴露状态与分布式系统的谓词状态进行比较。 如果根据比较发现暴露状态和谓词状态之间的不一致性,则发出至少一个报警。
-
公开(公告)号:US20090327995A1
公开(公告)日:2009-12-31
申请号:US12163725
申请日:2008-06-27
申请人: Zhenyu Guo , Xuezheng Liu , Zheng Zhang
发明人: Zhenyu Guo , Xuezheng Liu , Zheng Zhang
IPC分类号: G06F9/44
CPC分类号: G06F8/30 , G06F11/3624
摘要: Techniques for automatically generating replay-enabling code in a library based replay system. The technique requires a code template programmed by an operating system developer. Then, utilizing an application programming interface (API) annotation, either standard or user-defined, customized replay-enabled code is automatically generated for every specific API.
摘要翻译: 在基于库的重播系统中自动生成重播启用代码的技术。 该技术需要由操作系统开发人员编写的代码模板。 然后,利用应用程序编程接口(API)注释,为每个特定API自动生成标准或用户定义的自定义重播启用代码。
-
公开(公告)号:US20080005199A1
公开(公告)日:2008-01-03
申请号:US11428214
申请日:2006-06-30
IPC分类号: G06F17/30
CPC分类号: G06F17/30581 , H04L67/1002 , H04L67/1095
摘要: Collection-based object replication is described in a system that includes a client computing device (client) connected to a server and multiple data storage nodes. In one aspect, a data storage node generates a replica of multiple replicas of a collection. The collection is a unit of data placement, access, replication, and repair. Other data storage nodes are also configured with a respective replica of the multiple replicas. The data storage node verifies whether an object received directly from the client for storage in the collection has been fully replicated by the other data storage nodes in respective replicas.
摘要翻译: 基于集合的对象复制在包括连接到服务器的客户端计算设备(客户端)和多个数据存储节点的系统中描述。 在一个方面,数据存储节点生成集合的多个副本的副本。 该集合是数据放置,访问,复制和修复的单位。 其他数据存储节点还配置有多个副本的相应副本。 数据存储节点验证直接从客户端接收的存储在集合中的对象是否已经被各个副本中的其他数据存储节点完全复制。
-
公开(公告)号:US08166464B2
公开(公告)日:2012-04-24
申请号:US12163806
申请日:2008-06-27
申请人: Haoxiang Lin , Xi Wang , Zhenyu Guo , Xuezheng Liu , Zheng Zhang
发明人: Haoxiang Lin , Xi Wang , Zhenyu Guo , Xuezheng Liu , Zheng Zhang
CPC分类号: G06F11/3604 , G06F11/3612 , G06F11/3636
摘要: Analyzing and detecting soft hang program errors may lead to suggestions for either curing the programming errors at runtime or refactoring the source code. For instance, responsive function invocation patterns and blocking function invocation patterns may be used to detect soft hang program errors in a source code file. Deductive database rules may be compiled from the responsive and blocking function invocation patterns to find matching function invocations in a call graph.
摘要翻译: 分析和检测软挂起程序错误可能会导致在运行时修复编程错误或重构源代码的建议。 例如,响应函数调用模式和阻塞函数调用模式可用于检测源代码文件中的软挂起程序错误。 演绎数据库规则可以从响应和阻止函数调用模式中编译,以在调用图中找到匹配的函数调用。
-
公开(公告)号:US08117155B2
公开(公告)日:2012-02-14
申请号:US11428214
申请日:2006-06-30
IPC分类号: G07F7/00
CPC分类号: G06F17/30581 , H04L67/1002 , H04L67/1095
摘要: Collection-based object replication for a system that includes a client computing device (client) connected to a server and multiple data storage nodes. In certain cases, a data storage node generates a replica of multiple replicas of a collection. The collection is a unit of data placement, access, replication, and repair. Other data storage nodes are also configured with a respective replica of the multiple replicas. The data storage node verifies whether an object received directly from the client for storage in the collection has been fully replicated by the other data storage nodes in respective replicas.
摘要翻译: 包含连接到服务器的客户端计算设备(客户端)和多个数据存储节点的系统的基于集合的对象复制。 在某些情况下,数据存储节点生成集合的多个副本的副本。 该集合是数据放置,访问,复制和修复的单位。 其他数据存储节点还配置有多个副本的相应副本。 数据存储节点验证直接从客户端接收的存储在集合中的对象是否已经被各个副本中的其他数据存储节点完全复制。
-
-
-
-
-
-
-
-
-