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

21. 发明授权

US08065565B2 Statistical debugging using paths and adaptive profiling 有权
标题翻译：使用路径和适应性分析的统计调试
公开(公告)号：US08065565B2
公开(公告)日：2011-11-22
申请号：US12245581
申请日：2008-10-03
申请人： Trishul Chilimbi , Krishna Kumar Mehra , Benjamin Robert Liblit , Aditya V. Nori , Kapil Vaswani
发明人： Trishul Chilimbi , Krishna Kumar Mehra , Benjamin Robert Liblit , Aditya V. Nori , Kapil Vaswani
IPC分类号： G06F11/00
CPC分类号： G06F11/366
摘要： The method executes the application and if there are no errors from the execution of the application, the method ends. If errors exist, the errors are collected from the execution of the application in an error report. Labeled application paths are created by adding a unique label to individual application paths where the application paths are individual loops and individual functions in the application. An analysis is created of the labeled application paths by executing the application with the labeled paths, reviewing the error report for data related to the labels and if an error is sufficiently related to application paths with labels, storing the path that created the errors in a report. If an error is not sufficient related to the application path with labels, the method is repeated by the creating the analysis again by substituting additional application paths for the application paths.
摘要翻译：该方法执行应用程序，如果应用程序的执行没有错误，则该方法结束。如果存在错误，则会在错误报告中从应用程序的执行中收集错误。标签的应用程序路径是通过向单个应用程序路径添加唯一标签创建的，其中应用程序路径是单个循环和应用程序中的单个功能。通过使用标记的路径执行应用程序来创建标记的应用程序路径的分析，查看与标签相关的数据的错误报告，并且如果错误与具有标签的应用程序路径充分相关，则将创建错误的路径存储在报告。如果与标签的应用程序路径相关的错误不足，则通过将其他应用程序路径替换为应用程序路径，再次创建分析来重复该方法。

22. 发明授权

US08046752B2 Dynamic prefetching of hot data streams 失效
标题翻译：动态预取热数据流
公开(公告)号：US08046752B2
公开(公告)日：2011-10-25
申请号：US11280476
申请日：2005-11-15
申请人： Trishul Chilimbi , Martin Hirzel
发明人： Trishul Chilimbi , Martin Hirzel
IPC分类号： G06F9/45 , G06F9/26 , G06F9/34 , G06F9/30 , G06F7/40
CPC分类号： G06F9/45525 , G06F8/4442
摘要： A method and system for creating and injecting code into a running program that identifies a hot data stream, and prefetching data elements in the stream so they are available when needed by the processor. The injected code identifies the first few elements in a hot data stream (i.e. the prefix), and prefetches the balance of the elements in the stream (i.e., the suffix). Since the hot data stream identification code and prefetch code is injected at run time, pointer related time-dependencies inherent in earlier prefetch systems are eliminated. A global deterministic finite state machine (DFSM) is used to help create conceptual logic used to generate the code injected into the program for prefix detection.
摘要翻译：一种方法和系统，用于创建和注入代码以识别热数据流的运行程序，以及预取数据流中的数据元素，使其在处理器需要时可用。注入的代码识别热数据流中的前几个元素（即前缀），并且预取流中元素的平衡（即，后缀）。由于在运行时注入了热数据流识别码和预取代码，消除了早期预取系统固有的指针相关时间依赖性。全局确定性有限状态机（DFSM）用于帮助创建用于生成注入到程序中用于前缀检测的代码的概念逻辑。

23. 发明授权

US07962901B2 Using dynamic analysis to improve model checking 失效
标题翻译：使用动态分析来改进模型检查
公开(公告)号：US07962901B2
公开(公告)日：2011-06-14
申请号：US11406207
申请日：2006-04-17
申请人： Stephen McCamant , Trishul Chilimbi
发明人： Stephen McCamant , Trishul Chilimbi
IPC分类号： G06F9/44 , G06F9/45
CPC分类号： G06F11/3612
摘要： Model checking has been used to verify program behavior. However, exploration of the model is often impractical for many general purpose programs due to the complexity of an exploding state space. Instead, a program is instrumented with code that records pointer dereference information. The instrumented program is executed thereby recording pointer dereference frequency information. Then, a model of the program is explored using the pointer dereference frequency information to direct state space exploration of the model.
摘要翻译：模型检查已被用于验证程序行为。然而，由于爆炸状态空间的复杂性，对许多通用程序的探索通常是不切实际的。相反，程序使用记录指针取消引用信息的代码进行检测。执行检测程序，从而记录指针取消引用频率信息。然后，使用指针取消引用频率信息来探索程序的模型，以指导模型的状态空间探索。

24. 发明授权

US07770153B2 Heap-based bug identification using anomaly detection 有权
标题翻译：基于堆的错误识别使用异常检测
公开(公告)号：US07770153B2
公开(公告)日：2010-08-03
申请号：US11134812
申请日：2005-05-20
申请人： Trishul Chilimbi , Vinod Ganapathy
发明人： Trishul Chilimbi , Vinod Ganapathy
IPC分类号： G06F9/44 , G06F11/00
CPC分类号： G06F11/3612 , G06F11/3616
摘要： A dynamic analysis tool uses anomaly detection to find heap-based bugs. In spite of the evolving nature of the heap, programs generally exhibit several of properties of their heap usage that remain stable. Periodically, during the execution of the program, the analysis tool computes a suite of metrics which are sensitive to the state of the heap. These metrics track heap behavior, and the stability of the heap reflects quantitatively in the values of these metrics. The ranges of stable metrics, obtained by running a program on a multiple input training set, are then treated as indicators of correct behavior, and are used in conjunction with an anomaly detector to find heap-based bugs.
摘要翻译：动态分析工具使用异常检测来查找基于堆的错误。尽管堆的性质不断发展，但程序通常表现出其堆使用的几个属性保持稳定。定期地，在执行程序期间，分析工具计算一组对堆的状态敏感的度量。这些度量跟踪堆行为，并且堆的稳定性在这些度量的值中定量地反映。然后将通过运行多输入训练集上的程序获得的稳定度量的范围视为正确行为的指标，并与异常检测器结合使用以查找基于堆的错误。

25. 发明授权

US07343598B2 Cache-conscious coallocation of hot data streams 有权
标题翻译：高清数据流的缓存意识配置
公开(公告)号：US07343598B2
公开(公告)日：2008-03-11
申请号：US10737205
申请日：2003-12-15
申请人： Trishul Chilimbi , Ran Shaham
发明人： Trishul Chilimbi , Ran Shaham
IPC分类号： G06F9/45
CPC分类号： G06F12/0802 , G06F12/023
摘要： Techniques and tools for coallocating objects and/or object fields for the sake of cache performance are described. For example, a tool improves cache performance by coallocating contemporaneously accessed heap objects. The tool analyzes object accesses to identify hot data streams in a profile run of a program. The tool directs allocations for objects in a given hot data steam to the same sequentially allocated arena, separating intervening allocations coming from other allocation sites. The tool enforces the solution by redirecting heap allocations to a run-time coallocation library. The tool and analysis extend to coallocation at object field granularity. The resulting field coallocation solution generalizes common data restructuring techniques and provides insight into object restructuring by breaking down the coallocation benefit on a per-technique basis.
摘要翻译：描述了为了缓存性能而对对象和/或对象字段进行分配的技术和工具。例如，一个工具通过同时访问的堆对象来提高缓存性能。该工具分析对象访问以在程序的轮廓运行中识别热数据流。该工具将给定热数据蒸汽中的对象的分配指定给相同的顺序分配的竞技场，分离来自其他分配站点的间隔分配。该工具通过将堆分配重定向到运行时配置库来强制实施该解决方案。工具和分析扩展到物体场粒度的配置。所产生的现场配置解决方案推广了常见的数据重组技术，并通过在每个技术基础上分解了配置优势，提供了对对象重组的洞察。

26. 发明申请

US20060265438A1 Leveraging garbage collection to dynamically infer heap invariants 失效
标题翻译：利用垃圾收集来动态推断堆不变量
公开(公告)号：US20060265438A1
公开(公告)日：2006-11-23
申请号：US11134796
申请日：2005-05-20
申请人： Ajeet Shankar , Trishul Chilimbi
发明人： Ajeet Shankar , Trishul Chilimbi
IPC分类号： G06F17/30
CPC分类号： G06F11/0751 , G06F11/0718 , G06F11/073 , G06F12/0253
摘要： A program analysis tool leverages the garbage collection process to dynamically infer invariants of objects or data structures created by a program on the heap during execution. During execution of the program in a garbage-collected execution environment, the program analysis tool tracks object allocations made by the program, and records some meta data relating to invariants tracked for the type of the object, which are initially assumed satisfied by the object. Whenever a garbage collection pass visits the object, the tool checks whether the object still satisfies the invariants, and updates the meta data accordingly. The tool finally reports the invariants reflected by the meta data upon the object's death or at termination of the program. The invariants can then be used to annotate the program source code and/or detect bugs that violate the invariants.
摘要翻译：一个程序分析工具利用垃圾收集过程，在执行过程中，动态地推断由程序在堆上创建的对象或数据结构的不变量。在垃圾收集执行环境中执行程序期间，程序分析工具跟踪由程序进行的对象分配，并且记录与对象的类型跟踪的不变量相关的一些元数据，这些元数据最初被对象所满足。无论何时垃圾回收通过访问对象，工具都会检查对象是否仍然满足不变量，并相应地更新元数据。该工具最终报告了元数据在对象死亡或程序终止时反映的不变量。然后可以使用不变量来注释程序源代码和/或检测违反不变量的错误。

27. 发明申请

US20060242636A1 Variational path profiling 有权
公开(公告)号：US20060242636A1
公开(公告)日：2006-10-26
申请号：US11115924
申请日：2005-04-26
申请人： Trishul Chilimbi , Erez Perelman
发明人： Trishul Chilimbi , Erez Perelman
IPC分类号： G06F9/45
CPC分类号： G06F11/3612 , G06F11/3466
摘要： A run time software test tool instruments a program to perform a low overhead profiling of the program's execution, which records the execution time of frequent acyclic control flow paths using hardware performance counters. An analysis of the profiling data is performed to identify those program paths that have significant variation in execution time across different dynamic traversals in the same program run. This variation (measured as the difference between the fastest execution of that path and slower executions) represents the potential speedup that potentially could be achieved if the paths were optimized (such as by the addition of simple pre-fetch optimizations) to do away with these variations. The variational paths are identified to the programmer to guide optimization.

28. 发明申请

US20060123430A1 Inter-process interference elimination 有权
标题翻译：过程间干扰消除
公开(公告)号：US20060123430A1
公开(公告)日：2006-06-08
申请号：US11118684
申请日：2005-04-29
申请人： Galen Hunt , James Larus , John DeTreville , Edward Wobber , Martin Abadi , Michael Jones , Trishul Chilimbi
发明人： Galen Hunt , James Larus , John DeTreville , Edward Wobber , Martin Abadi , Michael Jones , Trishul Chilimbi
IPC分类号： G06F9/46
CPC分类号： G06F21/562 , G06F21/566 , G06F21/57
摘要： Described herein is an implementation of a technology for the construction, identification, and/or optimization of operating-system processes. At least one implementation, described herein, constructs an operating-system process having the contents as defined by a process manifest. Once constructed, the operating-system process is unalterable.
摘要翻译：这里描述了用于构建，识别和/或优化操作系统过程的技术的实现。这里描述的至少一个实现构造具有由过程清单定义的内容的操作系统过程。一旦构建，操作系统过程是不可改变的。

29. 发明申请

US20060070040A1 Dynamic prefetching of hot data streams 失效
标题翻译：动态预取热数据流
公开(公告)号：US20060070040A1
公开(公告)日：2006-03-30
申请号：US11280476
申请日：2005-11-15
申请人： Trishul Chilimbi , Martin Hirzel
发明人： Trishul Chilimbi , Martin Hirzel
IPC分类号： G06F9/44
CPC分类号： G06F9/45525 , G06F8/4442
摘要： A method and system for creating and injecting code into a running program that identifies a hot data stream, and prefetching data elements in the stream so they are available when needed by the processor. The injected code identifies the first few elements in a hot data stream (i.e. the prefix), and prefetches the balance of the elements in the stream (i.e., the suffix). Since the hot data stream identification code and prefetch code is injected at run time, pointer related time-dependencies inherent in earlier prefetch systems are eliminated. A global deterministic finite state machine (DFSM) is used to help create conceptual logic used to generate the code injected into the program for prefix detection.
摘要翻译：一种方法和系统，用于创建和注入代码以识别热数据流的运行程序，以及预取数据流中的数据元素，使其在处理器需要时可用。注入的代码识别热数据流中的前几个元素（即前缀），并且预取流中元素的平衡（即，后缀）。由于在运行时注入了热数据流识别码和预取代码，消除了早期预取系统固有的指针相关时间依赖性。全局确定性有限状态机（DFSM）用于帮助创建用于生成注入到程序中用于前缀检测的代码的概念逻辑。

30. 发明授权

US08020141B2 Operating-system process construction 有权
标题翻译：操作系统过程建设
公开(公告)号：US08020141B2
公开(公告)日：2011-09-13
申请号：US11005562
申请日：2004-12-06
申请人： Galen C. Hunt , James R. Larus , John D. DeTreville , Edward P. Wobber , Martin Abadi , Michael B. Jones , Trishul Chilimbi
发明人： Galen C. Hunt , James R. Larus , John D. DeTreville , Edward P. Wobber , Martin Abadi , Michael B. Jones , Trishul Chilimbi
IPC分类号： G06F9/44 , G06F9/445
CPC分类号： G06F21/562 , G06F21/566 , G06F21/57
摘要： Described herein is an implementation of a technology for the construction, identity, and/or optimization of operating-system processes. At least one implementation, described herein, constructs an operating-system process having the contents as defined by a process manifest. Once constructed, the operating-system process is unalterable.
摘要翻译：这里描述了用于构建，识别和/或优化操作系统过程的技术的实现。这里描述的至少一个实现构造具有由过程清单定义的内容的操作系统过程。一旦构建，操作系统过程是不可改变的。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式