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

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

公开(公告)号：US08448175B2

公开(公告)日：2013-05-21

申请号：US12915127

申请日：2010-10-29

申请人： Yang Che ,  Li-Fang Lee ,  Yao Qi

发明人： Yang Che ,  Li-Fang Lee ,  Yao Qi

IPC分类号： G06F9/46

CPC分类号： G06F11/3404 ,  G06F9/524 ,  G06F11/3466 ,  G06F2201/825 ,  G06F2201/86 ,  G06F2201/865

摘要： A method and system of deadlock detection in a parallel program, the method comprising: recording lock events during the operation of the parallel program and a first order relation among the lock events; converting information relevant to the operation of the parallel program into gate lock events and recording the gate lock events; establishing a second order relation among the gate lock events and lock events associated with the gate lock events and adding the second order relation to the first order relation; constructing a lock graph corresponding to the operation procedure of the parallel program based on the added first order relation; and performing deadlock detection on the constructed lock graph. The deadlock detection method of the invention can improve the accuracy of deadlock detection without depending on the deadlock detection algorithm per se, and can be applied with facility to various development environments and reduce development costs.

摘要翻译： 一种并行程序中死锁检测的方法和系统，该方法包括：在并行程序的操作期间记录锁定事件和锁定事件之间的一级关系; 将与并行程序的操作相关的信息转换为门锁事件并记录门锁事件; 在所述门锁事件和与所述门锁事件相关联的锁定事件之间建立二阶关系，并将所述第二顺序关系与所述一级关系相加; 基于所添加的一阶关系构造与并行程序的操作过程相对应的锁图; 并在构造的锁图上执行死锁检测。 本发明的死锁检测方法可以提高死锁检测的精度，而不依赖于死锁检测算法本身，并且可以应用于各种开发环境的设备并降低开发成本。

公开(公告)号：US20110107151A1

公开(公告)日：2011-05-05

申请号：US12915127

申请日：2010-10-29

申请人： Yang Che ,  Li-Fang Lee ,  Yao Qi

发明人： Yang Che ,  Li-Fang Lee ,  Yao Qi

IPC分类号： G06F11/34

CPC分类号： G06F11/3404 ,  G06F9/524 ,  G06F11/3466 ,  G06F2201/825 ,  G06F2201/86 ,  G06F2201/865

摘要： A method and system of deadlock detection in a parallel program, the method comprising: recording lock events during the operation of the parallel program and a first order relation among the lock events; converting information relevant to the operation of the parallel program into gate lock events and recording the gate lock events; establishing a second order relation among the gate lock events and lock events associated with the gate lock events and adding the second order relation to the first order relation; constructing a lock graph corresponding to the operation procedure of the parallel program based on the added first order relation; and performing deadlock detection on the constructed lock graph. The deadlock detection method of the invention can improve the accuracy of deadlock detection without depending on the deadlock detection algorithm per se, and can be applied with facility to various development environments and reduce development costs.

摘要翻译： 一种并行程序中死锁检测的方法和系统，该方法包括：在并行程序的操作期间记录锁定事件和锁定事件之间的一级关系; 将与并行程序的操作相关的信息转换为门锁事件并记录门锁事件; 在所述门锁事件和与所述门锁事件相关联的锁定事件之间建立二阶关系，并将所述第二顺序关系与所述一级关系相加; 基于所添加的一阶关系构造与并行程序的操作过程相对应的锁图; 并在构造的锁图上执行死锁检测。 本发明的死锁检测方法可以提高死锁检测的精度，而不依赖于死锁检测算法本身，并且可以应用于各种开发环境的设备并降低开发成本。