公开(公告)号：CN102222016B

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

申请号：CN201010150075.X

申请日：2010-04-16

Applicant: 国际商业机器公司

Inventor： 罗志达 ,  齐尧 ,  李威

IPC: G06F9/46

CPC classification number: G06F9/524

Abstract: 本发明涉及程序中的死锁检测技术，尤其涉及通过锁图分析的方式来检测程序中的死锁的技术。本发明提供了一种用于死锁检测的方法，包括：获取程序中与上锁操作有关的锁信息；基于所获取的锁信息，生成第一锁图，其中第一锁图中的每个节点包括锁集合和程序位置集合，其中锁集合包括至少一个锁，并且程序位置集合包括至少一个程序位置；提取所述第一锁图中的强连通子图；将所述第一锁图中的强连通子图展开，以生成第二锁图，其中第二锁图中的每个节点包括单个锁；以及提取所述第二锁图中的强连通子图，所述第二锁图中的强连通子图指示程序中的死锁。

公开(公告)号：CN102222016A

公开(公告)日：2011-10-19

申请号：CN201010150075.X

申请日：2010-04-16

Applicant: 国际商业机器公司

Inventor： 罗志达 ,  齐尧 ,  李威

IPC: G06F9/46

CPC classification number: G06F9/524

Abstract: 本发明涉及程序中的死锁检测技术，尤其涉及通过锁图分析的方式来检测程序中的死锁的技术。本发明提供了一种用于死锁检测的方法，包括：获取程序中与上锁操作有关的锁信息；基于所获取的锁信息，生成第一锁图，其中第一锁图中的每个节点包括锁集合和程序位置集合，其中锁集合包括至少一个锁，并且程序位置集合包括至少一个程序位置；提取所述第一锁图中的强连通子图；将所述第一锁图中的强连通子图展开，以生成第二锁图，其中第二锁图中的每个节点包括单个锁；以及提取所述第二锁图中的强连通子图，所述第二锁图中的强连通子图指示程序中的死锁。