公开(公告)号：US20120096317A1

公开(公告)日：2012-04-19

申请号：US13082618

申请日：2011-04-08

申请人： Wei Li ,  Zhi Da Luo ,  Yao Qi

发明人： Wei Li ,  Zhi Da Luo ,  Yao Qi

IPC分类号： G06F11/00

CPC分类号： G06F9/524

摘要： A method and/or system for detecting deadlock, comprising: obtaining lock information related to locking operation in a program; generating a first lock graph based on the obtained lock information, wherein each node in the first lock graph comprises a set of locks comprising at least one lock and a set of program locations comprising at least one lock location; extracting a strongly connected sub graph in the first lock graph; unfolding the strongly connected sub graph in the first lock graph to generate a second lock graph, wherein each node in the second lock graph comprises a single lock; and extracting a strongly connected sub graph in the second lock graph, the strongly connected sub graph in the second lock graph indicating a deadlock in the program.

摘要翻译： 一种用于检测死锁的方法和/或系统，包括：获得与程序中的锁定操作有关的锁定信息; 基于获得的锁定信息生成第一锁定图，其中第一锁定图中的每个节点包括一组锁，其包括至少一个锁和包括至少一个锁定位置的一组程序位置; 在第一个锁图中提取强连接的子图; 在第一锁图中展开强连接子图以产生第二锁图，其中第二锁图中的每个节点包括单个锁; 并且在第二锁图中提取强连接子图，第二锁图中的强连接子图表示程序中的死锁。

公开(公告)号：US08490095B2

公开(公告)日：2013-07-16

申请号：US13082618

申请日：2011-04-08

申请人： Wei Li ,  Zhi Da Luo ,  Yao Qi

发明人： Wei Li ,  Zhi Da Luo ,  Yao Qi

IPC分类号： G06F9/46

CPC分类号： G06F9/524

摘要： A method and/or system for detecting deadlock, comprising: obtaining lock information related to locking operation in a program; generating a first lock graph based on the obtained lock information, wherein each node in the first lock graph comprises a set of locks comprising at least one lock and a set of program locations comprising at least one lock location; extracting a strongly connected sub graph in the first lock graph; unfolding the strongly connected sub graph in the first lock graph to generate a second lock graph, wherein each node in the second lock graph comprises a single lock; and extracting a strongly connected sub graph in the second lock graph, the strongly connected sub graph in the second lock graph indicating a deadlock in the program.

摘要翻译： 一种用于检测死锁的方法和/或系统，包括：获得与程序中的锁定操作有关的锁定信息; 基于获得的锁定信息生成第一锁定图，其中第一锁定图中的每个节点包括一组锁，其包括至少一个锁和包括至少一个锁定位置的一组程序位置; 在第一个锁图中提取强连接的子图; 在第一锁图中展开强连接子图以产生第二锁图，其中第二锁图中的每个节点包括单个锁; 并且在第二锁图中提取强连接子图，第二锁图中的强连接子图表示程序中的死锁。

公开(公告)号：US20100333110A1

公开(公告)日：2010-12-30

申请号：US12826759

申请日：2010-06-30

申请人： Zhi Da Luo ,  Yao Qi ,  Yong Zheng

发明人： Zhi Da Luo ,  Yao Qi ,  Yong Zheng

IPC分类号： G06F9/46

CPC分类号： G06F11/3612 ,  G06F9/524 ,  G06F11/3604

摘要： A deadlock detection method and computer system for parallel programs. A determination is made that a lock of the parallel programs is no longer used in a running procedure of the parallel programs. A node corresponding to the lock that is no longer used, and edges relating to the lock that is no longer used, are deleted from a lock graph corresponding to the running procedure of the parallel programs in order to acquire an updated lock graph. The lock graph is constructed according to a lock operation of the parallel programs. Deadlock detection is then performed on the updated lock graph.

摘要翻译： 一种用于并行程序的死锁检测方法和计算机系统。 确定在并行程序的运行过程中不再使用并行程序的锁。 对应于不再使用的锁的节点以及与不再使用的锁相关的边缘从与并行程序的运行过程相对应的锁图中被删除，以便获取更新的锁图。 锁图是根据并行程序的锁定操作构建的。 然后在更新的锁图上执行死锁检测。

公开(公告)号：US08615760B2

公开(公告)日：2013-12-24

申请号：US12886741

申请日：2010-09-21

申请人： Zhi Da Luo ,  Yao Qi

发明人： Zhi Da Luo ,  Yao Qi

IPC分类号： G06F9/46

CPC分类号： G06F11/3636 ,  G06F11/3471 ,  G06F2201/86

摘要： A method and system for facilitating runtime memory analysis. The method includes: assigning a unique ID for each task in a running program; recording memory access events occurring during the running program, including the IDs of the task performing the memory accesses; issuing a task termination notification in response to a task terminating, the task termination notification including the ID of the terminating task; and releasing all the memory access events having the ID of the terminating task in the memory, in response to the task termination notification. This method and system can ensure that the memory access events stored in the memory will not increase unlimitedly, so that the memory overhead is reduced remarkably and dynamic memory analysis can be faster and more efficient.

摘要翻译： 一种用于促进运行时记忆分析的方法和系统。 该方法包括：为正在运行的程序中的每个任务分配唯一的ID; 记录在运行程序期间发生的存储器访问事件，包括执行存储器访问的任务的ID; 响应于任务终止发出任务终止通知，所述任务终止通知包括终止任务的ID; 以及响应于任务终止通知，将具有终止任务的ID的所有存储器访问事件释放在存储器中。 该方法和系统可以确保存储在存储器中的存储器访问事件不会无限增加，从而显着降低内存开销，并且动态内存分析可以更快更有效率。

公开(公告)号：US20120198460A1

公开(公告)日：2012-08-02

申请号：US13437339

申请日：2012-04-02

申请人： Zhi DA Luo ,  Yao Qi ,  Yong Zheng

发明人： Zhi DA Luo ,  Yao Qi ,  Yong Zheng

IPC分类号： G06F9/46

CPC分类号： G06F11/3612 ,  G06F9/524 ,  G06F11/3604

摘要： A deadlock detection method and computer system for parallel programs. A determination is made that a lock of the parallel programs is no longer used in a running procedure of the parallel programs. A node corresponding to the lock that is no longer used, and edges relating to the lock that is no longer used, are deleted from a lock graph corresponding to the running procedure of the parallel programs in order to acquire an updated lock graph. The lock graph is constructed according to a lock operation of the parallel programs. Deadlock detection is then performed on the updated lock graph.

摘要翻译： 一种用于并行程序的死锁检测方法和计算机系统。 确定在并行程序的运行过程中不再使用并行程序的锁。 对应于不再使用的锁的节点以及与不再使用的锁相关的边缘从与并行程序的运行过程相对应的锁图中被删除，以便获取更新的锁图。 锁图是根据并行程序的锁定操作构建的。 然后在更新的锁图上执行死锁检测。

公开(公告)号：US20110078684A1

公开(公告)日：2011-03-31

申请号：US12886741

申请日：2010-09-21

申请人： Zhi Da Luo ,  Yao Qi

发明人： Zhi Da Luo ,  Yao Qi

IPC分类号： G06F9/46

CPC分类号： G06F11/3636 ,  G06F11/3471 ,  G06F2201/86

摘要： A method and system for facilitating runtime memory analysis. The method includes: assigning a unique ID for each task in a running program; recording memory access events occurring during the running program, including the IDs of the task performing the memory accesses; issuing a task termination notification in response to a task terminating, the task termination notification including the ID of the terminating task; and releasing all the memory access events having the ID of the terminating task in the memory, in response to the task termination notification. This method and system can ensure that the memory access events stored in the memory will not increase unlimitedly, so that the memory overhead is reduced remarkably and dynamic memory analysis can be faster and more efficient.

摘要翻译： 一种用于促进运行时记忆分析的方法和系统。 该方法包括：为正在运行的程序中的每个任务分配唯一的ID; 记录在运行程序期间发生的存储器访问事件，包括执行存储器访问的任务的ID; 响应于任务终止发出任务终止通知，所述任务终止通知包括终止任务的ID; 以及响应于任务终止通知，将具有终止任务的ID的所有存储器访问事件释放在存储器中。 该方法和系统可以确保存储在存储器中的存储器访问事件不会无限增加，从而显着降低内存开销，并且动态内存分析可以更快更有效率。

公开(公告)号：US20090178028A1

公开(公告)日：2009-07-09

申请号：US12350820

申请日：2009-01-08

申请人： Steven Francis Best ,  Yan Li ,  Yao Qi ,  Wei Ying Yu ,  Yong Zheng

发明人： Steven Francis Best ,  Yan Li ,  Yao Qi ,  Wei Ying Yu ,  Yong Zheng

IPC分类号： G06F11/36

CPC分类号： G06F11/3664 ,  G06F9/45512 ,  G06F9/541

摘要： A method and system for invoking Just-In-Time debugger is described, which can provide more efficient JIT debugging for complex code mixed applications. A method for invoking a Just-In-Time (JIT) debugger according to one embodiment includes checking a code type of a code address where a JIT debugging request is triggered from a process of a code-mixed application in response to the JIT debugging request from the process; acquiring corresponding JIT debugging information for different code types of the code-mixed application; and invoking a JIT debugger corresponding to the code type in response to the checked code type of the code address in the process and the acquired corresponding JIT debugging information.

摘要翻译： 描述了一种用于调用即时调试器的方法和系统，可以为复杂的代码混合应用程序提供更有效的JIT调试。 根据一个实施例的用于调用即时（JIT）调试器的方法包括：响应于JIT调试请求，从代码混合应用程序的过程检查JIT调试请求被触发的代码地址的代码类型 从过程中 为代码混合应用程序的不同代码类型获取相应的JIT调试信息; 以及响应于所述处理中的代码地址的所检查的代码类型和所获取的相应的JIT调试信息来调用与所述代码类型相对应的JIT调试器。

公开(公告)号：US08326894B2

公开(公告)日：2012-12-04

申请号：US12610111

申请日：2009-10-30

申请人： Yao Qi

发明人： Yao Qi

IPC分类号： G06F12/00 ,  G06F17/30

CPC分类号： G06F12/0253 ,  G06F11/3485

摘要： The present invention provides a method and system for processing memory access events. The method comprises: executing an extended program including instrumented memory tracking code for tracking memory access events of a plurality of objects; allocating a unique identifier for each of the plurality of tracked objects; creating a weak reference for each of the plurality of tracked objects, wherein a mapping relationship is established between the identifier of the weak reference and that of the corresponding tracked object; recording and storing the memory access events of the plurality of tracked objects; in response to receiving a notification of memory garbage collection which includes an identifier of a weak reference of a collected object, determining the identifier of the collected object based on the mapping relationship between the identifier of the weak reference and that of the corresponding tracked object, and searching the stored memory access events for the memory access events of the collected object; and deleting the memory access events of the collected object. The storage overhead may be reduced according to the above method of the present invention.

摘要翻译： 本发明提供了一种用于处理存储器访问事件的方法和系统。 该方法包括：执行包括用于跟踪多个对象的存储器访问事件的仪表化存储器跟踪代码的扩展程序; 为所述多个被跟踪对象中的每一个分配唯一标识符; 为所述多个跟踪对象中的每一个创建弱参考，其中在所述弱参考的标识符与所述对应的跟踪对象的标识符之间建立映射关系; 记录和存储多个跟踪对象的存储器访问事件; 响应于接收到包含收集对象的弱引用的标识符的内存垃圾收集的通知，基于弱引用的标识符与相应的被跟踪对象的标识之间的映射关系来确定所收集的对象的标识符， 以及搜索所存储的存储器访问事件以获取所收集的对象的存储器访问事件; 并删除所收集对象的内存访问事件。 根据本发明的上述方法可以减少存储开销。

公开(公告)号：US20120167054A1

公开(公告)日：2012-06-28

申请号：US13413181

申请日：2012-03-06

申请人： Yan Kai Liu ,  Yao Qi ,  Xing Xing Shen ,  Chuang Tang

发明人： Yan Kai Liu ,  Yao Qi ,  Xing Xing Shen ,  Chuang Tang

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

CPC分类号： G06F11/3664 ,  G06F11/3624

摘要： System(s), method(s), and computer program product(s) for collecting program runtime information are provided. In one aspect, this comprises: an instrumentation module for inserting, by program instrumentation, monitoring code into the constructor of an exception class in a program to run; and a monitoring module implemented by said monitoring code, the monitoring module for collecting program runtime information during the running process of the program. In another aspect, this comprises: obtaining verification point variables from assertions for a program to be tested; inserting monitoring code into positions in the program that access the obtained verification point variables; and as the program runs, collecting runtime information of the program by the inserted monitoring code.

摘要翻译： 提供了用于收集程序运行时信息的系统，方法和计算机程序产品。 一方面，它包括：一个仪表模块，用于通过程序仪器将监控代码插入程序运行的异常类的构造函数; 以及由所述监视代码实现的监视模块，所述监视模块用于在所述程序的运行过程期间收集程序运行时信息。 在另一方面，这包括：从要测试的程序的断言获得验证点变量; 将监控代码插入程序中访问所获得的验证点变量的位置; 并且随着程序的运行，通过插入的监视代码来收集程序的运行时信息。

公开(公告)号：US20080270988A1

公开(公告)日：2008-10-30

申请号：US12110430

申请日：2008-04-28

申请人： Yan Li ,  Yao Qi ,  Weiying Yu ,  Yong Zheng

发明人： Yan Li ,  Yao Qi ,  Weiying Yu ,  Yong Zheng

IPC分类号： G06F11/36

CPC分类号： G06F11/362

摘要： A method and system for debugging a program in multithread environment which interrupts the running of a debuggee program begins by replacing the instruction at the position at which a breakpoint for debugging is desired to be set with a breakpoint instruction. When the breakpoint instruction is replaced back with the instruction at the position at which the breakpoint for debugging is set, an instruction is set in front of the breakpoint for debugging as a fence breakpoint; and when the instruction at the position at which the breakpoint for debugging is set, is replaced again with the breakpoint instruction. On completion, the fence breakpoint is replaced with the original instruction of the debuggee program at that position.

摘要翻译： 用于调试多线程环境中的程序的方法和系统，其中断调试程序的运行，首先将需要使用断点指令设置的调试断点位置处的指令替换。 当断点指令被替换为用于调试断点的位置处的指令时，在断点前设置指令作为围栏断点; 并且当设置用于调试断点的位置处的指令被替换为断点指令。 完成后，该栅栏断点被替换为该位置的调试程序的原始指令。