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

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

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

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

公开(公告)号：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的所有存储器访问事件释放在存储器中。 该方法和系统可以确保存储在存储器中的存储器访问事件不会无限增加，从而显着降低内存开销，并且动态内存分析可以更快更有效率。

公开(公告)号：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的所有存储器访问事件释放在存储器中。 该方法和系统可以确保存储在存储器中的存储器访问事件不会无限增加，从而显着降低内存开销，并且动态内存分析可以更快更有效率。

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

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

公开(公告)号：US20120254838A1

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

申请号：US13433125

申请日：2012-03-28

申请人： Zhi Da Luo ,  Wei Liu

发明人： Zhi Da Luo ,  Wei Liu

IPC分类号： G06F9/44

CPC分类号： G06F11/3476 ,  G06F11/3636 ,  G06F11/3644 ,  G06F2201/865

摘要： Apparatus, computer-readable storage medium and a method executed by a computer for tracing the memory accesses of an object-oriented program comprises assigning a unique identification to each class object created from at least one class in the object-oriented program by modifying a class definition of the at least one class. In response to an unloading of one of the class objects, obtaining class unloading related information from a runtime environment of the object-oriented program and obtaining the unique identification of the unloaded class object according to the returned information. Then releasing memory space assigned to the unloaded class object for storing the memory access information of the unloaded class object.

摘要翻译： 装置，计算机可读存储介质和由计算机执行的用于跟踪面向对象程序的存储器访问的方法包括：通过修改类来为从面向对象程序中的至少一个类创建的每个类对象分配唯一标识 定义至少一个类。 响应于卸载其中一个类对象，从面向对象程序的运行时环境中获取类卸载相关信息，并根据返回的信息获取卸载的类对象的唯一标识。 然后释放分配给卸载的类对象的存储空间，用于存储卸载的类对象的存储器访问信息。

公开(公告)号：US08589894B2

公开(公告)日：2013-11-19

申请号：US13406747

申请日：2012-02-28

申请人： Yang Che ,  Zhi Da Luo ,  Li Jing Mu ,  Zhi Hua Pan

发明人： Yang Che ,  Zhi Da Luo ,  Li Jing Mu ,  Zhi Hua Pan

IPC分类号： G06F11/34

CPC分类号： G06F17/30958 ,  G06F11/3013 ,  G06F11/302 ,  G06F11/3096

摘要： A computer-implemented method for monitoring an object-oriented application is disclosed. A transaction-representative-digraph is built based upon a real-time running of the application, and the digraph contains nodes of a plurality of replaceable classes. A key node is selected based upon invocation relationships between the nodes. A monitor program is instrumented at the selected key node.

摘要翻译： 公开了一种用于监视面向对象应用程序的计算机实现的方法。 基于应用程序的实时运行构建事务代表图，并且图形包含多个可替换类的节点。 基于节点之间的调用关系选择关键节点。 监视程序在所选的关键节点进行检测。

公开(公告)号：US09817744B2

公开(公告)日：2017-11-14

申请号：US13433125

申请日：2012-03-28

申请人： Zhi Da Luo ,  Wei Liu

发明人： Zhi Da Luo ,  Wei Liu

IPC分类号： G06F9/44 ,  G06F11/34 ,  G06F11/36

CPC分类号： G06F11/3476 ,  G06F11/3636 ,  G06F11/3644 ,  G06F2201/865

摘要： Apparatus, computer-readable storage medium and a method executed by a computer for tracing the memory accesses of an object-oriented program comprises assigning a unique identification to each class object created from at least one class in the object-oriented program by modifying a class definition of the at least one class. In response to an unloading of one of the class objects, obtaining class unloading related information from a runtime environment of the object-oriented program and obtaining the unique identification of the unloaded class object according to the returned information. Then releasing memory space assigned to the unloaded class object for storing the memory access information of the unloaded class object.