专利快速检索-快速检索全球专利，免费商用专利数据库-IPRDB

1. 发明申请

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

2. 发明授权

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

3. 发明申请

US20120131559A1 Automatic Program Partition For Targeted Replay 审中-公开
标题翻译：针对目标重播的自动程序分区
公开(公告)号：US20120131559A1
公开(公告)日：2012-05-24
申请号：US12951253
申请日：2010-11-22
申请人： Ming Wu , Fan Long , Zhilei Xu , Xuezheng Liu , Haoxiang Lin , Zhenyu Guo , Zheng Zhang , Lidong Zhou
发明人： Ming Wu , Fan Long , Zhilei Xu , Xuezheng Liu , Haoxiang Lin , Zhenyu Guo , Zheng Zhang , Lidong Zhou
IPC分类号： G06F9/44
CPC分类号： G06F8/75 , G06F11/3612 , G06F11/3636 , G06F11/366
摘要： Program partitioning of an application can include creating execution flow graphs and static flow graphs of targeted functions or operations of the application. Based on the execution flow graphs or static flow graphs, replay interfaces are created. The replay interfaces provide data flows that are usable in re-execution of the application during program development.
摘要翻译：应用程序的程序分区可以包括创建应用程序的目标函数或操作的执行流程图和静态流程图。基于执行流图或静态流图，创建重播界面。重播接口提供可用于在程序开发期间重新执行应用程序的数据流。

4. 发明申请

US20100125758A1 DISTRIBUTED SYSTEM CHECKER 有权
标题翻译：分布式系统检查器
公开(公告)号：US20100125758A1
公开(公告)日：2010-05-20
申请号：US12272779
申请日：2008-11-17
申请人： Junfeng Yang , Lintao Zhang , Lidong Zhou , Zhenyu Guo , Xuezheng Liu , Jian Tang , Mao Yang
发明人： Junfeng Yang , Lintao Zhang , Lidong Zhou , Zhenyu Guo , Xuezheng Liu , Jian Tang , Mao Yang
IPC分类号： G06F11/34
CPC分类号： G06F11/362
摘要： A distributed system checker may check a distributed system against events to detect bugs in the distributed system. The events may include machines crashes, network partitions, and packet losses, for example. The distributed system checker may check a distributed system that can have multiple threads and multiple processes running on multiple nodes. To obtain control over a distributed system, a distributed system checker may insert an interposition layer between a process and the operating system on each node.
摘要翻译：分布式系统检查器可以根据事件检查分布式系统以检测分布式系统中的错误。例如，事件可能包括机器崩溃，网络分区和数据包丢失。分布式系统检查器可以检查可以在多个节点上运行多个线程和多个进程的分布式系统。为了获得对分布式系统的控制，分布式系统检查器可以在进程和每个节点上的操作系统之间插入插入层。

5. 发明授权

US07984332B2 Distributed system checker 有权
标题翻译：分布式系统检查器
公开(公告)号：US07984332B2
公开(公告)日：2011-07-19
申请号：US12272779
申请日：2008-11-17
申请人： Junfeng Yang , Lintao Zhang , Lidong Zhou , Zhenyu Guo , Xuezheng Liu , Jian Tang , Mao Yang
发明人： Junfeng Yang , Lintao Zhang , Lidong Zhou , Zhenyu Guo , Xuezheng Liu , Jian Tang , Mao Yang
IPC分类号： G06F11/00
CPC分类号： G06F11/362
摘要： A distributed system checker may check a distributed system against events to detect bugs in the distributed system. The events may include machines crashes, network partitions, and packet losses, for example. The distributed system checker may check a distributed system that can have multiple threads and multiple processes running on multiple nodes. To obtain control over a distributed system, a distributed system checker may insert an interposition layer between a process and the operating system on each node.
摘要翻译：分布式系统检查器可以根据事件检查分布式系统以检测分布式系统中的错误。例如，事件可能包括机器崩溃，网络分区和数据包丢失。分布式系统检查器可以检查可以在多个节点上运行多个线程和多个进程的分布式系统。为了获得对分布式系统的控制，分布式系统检查器可以在进程和每个节点上的操作系统之间插入插入层。

6. 发明申请

US20090327995A1 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自动生成标准或用户定义的自定义重播启用代码。

7. 发明授权

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

8. 发明申请

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

9. 发明申请

US20090328002A1 Analysis and Detection of Responsiveness Bugs 失效
标题翻译：响应性错误的分析和检测
公开(公告)号：US20090328002A1
公开(公告)日：2009-12-31
申请号：US12163806
申请日：2008-06-27
申请人： Haoxiang Lin , Wang Xi , Zhenyu Guo , Xuezheng Liu , Zheng Zhang
发明人： Haoxiang Lin , Wang Xi , Zhenyu Guo , Xuezheng Liu , Zheng Zhang
IPC分类号： G06F9/44 , G06F11/36
CPC分类号： G06F11/3604 , G06F11/3612 , G06F11/3636
摘要： Described techniques increase runtime performance of software running in user space by analyzing and detecting soft hang program errors and giving suggestions for cures. This disclosure pertains to techniques for the analysis, detection, and cure of soft hang program errors.
摘要翻译：描述的技术通过分析和检测软挂起程序错误并提供治疗建议，增加了在用户空间中运行的软件的运行时性能。本公开涉及用于分析，检测和修复软挂起程序错误的技术。

10. 发明授权

US07865911B2 Hybrid programming 有权
标题翻译：混合编程
公开(公告)号：US07865911B2
公开(公告)日：2011-01-04
申请号：US11269149
申请日：2005-11-08
申请人： Shiding Lin , Zhenyu Guo , Zheng Zhang
发明人： Shiding Lin , Zhenyu Guo , Zheng Zhang
IPC分类号： G06F9/38
CPC分类号： G06F9/52 , G06F8/31 , G06F9/522
摘要： Hybrid programming combines certain aspects of the synchronous calling nature of a thread-oriented programming model with certain aspects of the asynchronous calling nature of an event-oriented programming model by creating parallelized calls. In a described implementation, multiple synchronous calls are transformed into multiple asynchronous calls and encapsulated within a barrier time period. A hybrid programming model or protocol may be employed, for example, in conjunction with communication exchanges in a multiple-phase and multiple-party distributed programming environment.
摘要翻译：混合编程通过创建并行调用，将面向线程的编程模型的同步调用特性的某些方面与面向事件的编程模型的异步调用特性的某些方面相结合。在所描述的实现中，多个同步呼叫被转换成多个异步呼叫并且被封装在屏障时间段内。可以采用混合编程模型或协议，例如，结合多阶段和多方分布式编程环境中的通信交换。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式