公开(公告)号：CN102053861B

公开(公告)日：2014-03-12

申请号：CN200910209076.4

申请日：2009-10-30

Applicant: 国际商业机器公司

Inventor： 车漾 ,  齐尧 ,  李丽芳

IPC: G06F9/46 ,  G06F9/52

CPC classification number: G06F11/3404 ,  G06F9/524 ,  G06F11/3466 ,  G06F2201/825 ,  G06F2201/86 ,  G06F2201/865

Abstract: 本发明公开一种并行程序中死锁检测的方法和系统，该方法包括：记录并行程序运行过程中的锁事件及所述锁事件之间的第一次序关系；将并行程序运行的相关信息转化为保护锁事件并记录所述保护锁事件；建立保护锁事件和与所述保护锁事件相关的锁事件之间的第二次序关系，并将所述第二次序关系添加到所述第一次序关系中；根据添加后的第一次序关系构建对应于所述并行程序运行过程的锁图；以及对所述构建的锁图进行死锁检测。本发明的死锁检测方法不依赖于死锁检测算法本身就能够提高死锁检测的准确性，可以灵活地应用于各种开发环境并且降低开发成本。

公开(公告)号：CN102053861A

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

申请号：CN200910209076.4

申请日：2009-10-30

Applicant: 国际商业机器公司

Inventor： 车漾 ,  齐尧 ,  李丽芳

IPC: G06F9/46 ,  G06F9/52

CPC classification number: G06F11/3404 ,  G06F9/524 ,  G06F11/3466 ,  G06F2201/825 ,  G06F2201/86 ,  G06F2201/865

Abstract: 本发明公开一种并行程序中死锁检测的方法和系统，该方法包括：记录并行程序运行过程中的锁事件及所述锁事件之间的第一次序关系；将并行程序运行的相关信息转化为保护锁事件并记录所述保护锁事件；建立保护锁事件和与所述保护锁事件相关的锁事件之间的第二次序关系，并将所述第二次序关系添加到所述第一次序关系中；根据添加后的第一次序关系构建对应于所述并行程序运行过程的锁图；以及对所述构建的锁图进行死锁检测。本发明的死锁检测方法不依赖于死锁检测算法本身就能够提高死锁检测的准确性，可以灵活地应用于各种开发环境并且降低开发成本。