利索-全球专利检索

  1. 登录
  2. 注册

搜索结果

165 条记录 (耗时 0.024 秒)

    Analysis and detection of soft hang responsiveness program errors
    1.
    发明授权
    Analysis and detection of soft hang responsiveness program errors 失效
    分析和检测软挂起响应程序错误

    公开(公告)号：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

    IPC分类号： G06F9/44 ,  G06F11/00

    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.

    摘要翻译： 分析和检测软挂起程序错误可能会导致在运行时修复编程错误或重构源代码的建议。 例如，响应函数调用模式和阻塞函数调用模式可用于检测源代码文件中的软挂起程序错误。 演绎数据库规则可以从响应和阻止函数调用模式中编译，以在调用图中找到匹配的函数调用。

    ANNOTATION-AIDED CODE GENERATION IN LIBRARY-BASED REPLAY
    4.
    发明申请
    ANNOTATION-AIDED CODE GENERATION IN LIBRARY-BASED REPLAY 审中-公开
    基于图书馆的重新生成辅助代码

    公开(公告)号：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自动生成标准或用户定义的自定义重播启用代码。

    ONLINE PREDICATE CHECKING FOR DISTRIBUTED SYSTEMS
    5.
    发明申请
    ONLINE PREDICATE CHECKING FOR DISTRIBUTED SYSTEMS 有权
    在线预测分布式系统

    公开(公告)号：US20090327458A1

    公开(公告)日：2009-12-31

    申请号：US12163671

    申请日：2008-06-27

    申请人： Xuezheng Liu ,  Zheng Zhang ,  Jian Tang ,  Zhenyu Guo ,  Ming Wu

    发明人： Xuezheng Liu ,  Zheng Zhang ,  Jian Tang ,  Zhenyu Guo ,  Ming Wu

    IPC分类号： G06F15/177

    CPC分类号： G06F11/3062 ,  G06F11/3006 ,  G06F11/3447 ,  G06F11/3692 ,  G06F2201/805 ,  H04L41/06 ,  H04L67/10 ,  H04L67/125

    摘要： Exemplary methods, computer-readable media, and systems describe detecting a performance bug or a nontrivial correctness in a distributed system. The techniques describe using an online predicate checker by specifying a predicate on distributed properties of the distributed system. The process describes monitoring and checking the predicate when the system is deployed and providing a service. In response to detection of the performance bug, the process describes performing modifications of the predicate or installing new predicate.

    摘要翻译： 示例性方法，计算机可读介质和系统描述了检测分布式系统中的性能错误或非平凡的正确性。 该技术描述了通过在分布式系统的分布式属性上指定谓词来使用在线谓词检查器。 该过程描述了在部署系统并提供服务时监视和检查谓词。 为了响应性能错误的检测，该过程描述执行谓词的修改或安装新的谓词。

    SPACE SEPARATION FOR A LIBRARY BASED RECORD AND REPLAY TOOL
    6.
    发明申请
    SPACE SEPARATION FOR A LIBRARY BASED RECORD AND REPLAY TOOL 审中-公开
    基于图书的记录和复印工具的空间分隔

    公开(公告)号：US20090328079A1

    公开(公告)日：2009-12-31

    申请号：US12163306

    申请日：2008-06-27

    申请人： Zhenyu Guo ,  Xuezheng Liu ,  Zheng Zhang

    发明人： Zhenyu Guo ,  Xuezheng Liu ,  Zheng Zhang

    IPC分类号： G06F9/54

    CPC分类号： G06F9/545 ,  G06F11/366 ,  G06F11/3692 ,  G06F11/3696 ,  G06F2209/542

    摘要： Techniques for separating application processes into a system space and a replay space are described in a record and replay tool. The technique permits applications to run in the replay space while a record and replay library runs and manages resources in system space ensuring accurate replay of saved data that are used by applications.

    摘要翻译： 用于将应用程序进程分离成系统空间和重放空间的技术在记录和重放工具中描述。 该技术允许应用程序在重放空间中运行，而记录和重放库运行和管理系统空间中的资源，确保应用程序使用的保存数据的准确重放。

    Online predicate checking for distributed systems
    7.
    发明授权
    Online predicate checking for distributed systems 有权
    分布式系统的在线谓词检查

    公开(公告)号：US07747742B2

    公开(公告)日：2010-06-29

    申请号：US12163671

    申请日：2008-06-27

    申请人： Xuezheng Liu ,  Zheng Zhang ,  Jian Tang ,  Zhenyu Guo ,  Ming Wu

    发明人： Xuezheng Liu ,  Zheng Zhang ,  Jian Tang ,  Zhenyu Guo ,  Ming Wu

    IPC分类号： G06F15/173

    CPC分类号： G06F11/3062 ,  G06F11/3006 ,  G06F11/3447 ,  G06F11/3692 ,  G06F2201/805 ,  H04L41/06 ,  H04L67/10 ,  H04L67/125

    摘要： Exemplary methods, computer-readable media, and systems describe detecting a performance bug or a nontrivial correctness in a distributed system. The techniques describe using an online predicate checker by specifying a predicate on distributed properties of the distributed system. The process describes monitoring and checking the predicate when the system is deployed and providing a service. In response to detection of the performance bug, the process describes performing modifications of the predicate or installing new predicate.

    摘要翻译： 示例性方法，计算机可读介质和系统描述了检测分布式系统中的性能错误或非平凡的正确性。 该技术描述了通过在分布式系统的分布式属性上指定谓词来使用在线谓词检查器。 该过程描述了在部署系统并提供服务时监视和检查谓词。 为了响应性能错误的检测，该过程描述执行谓词的修改或安装新的谓词。

    Predicate checking for distributed systems
    8.
    发明授权
    Predicate checking for distributed systems 失效
    分布式系统的谓词检查

    公开(公告)号：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.

    摘要翻译： 与分布式系统结合进行谓词检查可使调查用户能够在分布式系统的实例状态和/或分布式状态的上下文中检查谓词。 在示例实施例中，一种方法需要接受分布式系统仿真数据并且使用分布式系统仿真数据执行分布式系统的仿真以创建分布式系统模拟状态。 分布式系统的至少一部分模拟状态被暴露。 分布式系统的暴露部分模拟状态被检索并存储为分布式系统的暴露状态。 将分布式系统的暴露状态与分布式系统的谓词状态进行比较。 如果根据比较在暴露状态和谓词状态之间检测到不一致，则发出至少一个报警。

    Collection-Based Object Replication
    9.
    发明申请
    Collection-Based Object Replication 有权
    基于集合的对象复制

    公开(公告)号：US20080005199A1

    公开(公告)日：2008-01-03

    申请号：US11428214

    申请日：2006-06-30

    申请人： Wei Chen ,  Dan Teodosiu ,  Cristian George Teodorescu ,  Xuezheng Liu ,  Zheng Zhang

    发明人： Wei Chen ,  Dan Teodosiu ,  Cristian George Teodorescu ,  Xuezheng Liu ,  Zheng Zhang

    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.

    摘要翻译： 基于集合的对象复制在包括连接到服务器的客户端计算设备（客户端）和多个数据存储节点的系统中描述。 在一个方面，数据存储节点生成集合的多个副本的副本。 该集合是数据放置，访问，复制和修复的单位。 其他数据存储节点还配置有多个副本的相应副本。 数据存储节点验证直接从客户端接收的存储在集合中的对象是否已经被各个副本中的其他数据存储节点完全复制。

    Predicate checking for distributed systems
    10.
    发明授权
    Predicate checking for distributed systems 失效
    分布式系统的谓词检查

    公开(公告)号：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.

    摘要翻译： 与分布式系统结合进行谓词检查可使调查用户能够在分布式系统的实例状态和/或分布式状态的上下文中检查谓词。 在示例实施例中，一种方法需要接受分布式系统仿真数据并且使用分布式系统仿真数据执行分布式系统的仿真以创建分布式系统模拟状态。 分布式系统的至少一部分模拟状态被暴露。 分布式系统的暴露部分模拟状态被检索并存储为分布式系统的暴露状态。 将分布式系统的暴露状态与分布式系统的谓词状态进行比较。 如果根据比较发现暴露状态和谓词状态之间的不一致性，则发出至少一个报警。