发明名称 | 程序死锁检测方法和系统 | ||
摘要 | 本发明涉及程序中的死锁检测技术,尤其涉及通过锁图分析的方式来检测程序中的死锁的技术。本发明提供了一种用于死锁检测的方法,包括:获取程序中与上锁操作有关的锁信息;基于所获取的锁信息,生成第一锁图,其中第一锁图中的每个节点包括锁集合和程序位置集合,其中锁集合包括至少一个锁,并且程序位置集合包括至少一个程序位置;提取所述第一锁图中的强连通子图;将所述第一锁图中的强连通子图展开,以生成第二锁图,其中第二锁图中的每个节点包括单个锁;以及提取所述第二锁图中的强连通子图,所述第二锁图中的强连通子图指示程序中的死锁。 | ||
申请公布号 | CN102222016B | 申请公布日期 | 2013.12.04 |
申请号 | CN201010150075.X | 申请日期 | 2010.04.16 |
申请人 | 国际商业机器公司 | 发明人 | 罗志达;齐尧;李威 |
分类号 | G06F9/46(2006.01)I | 主分类号 | G06F9/46(2006.01)I |
代理机构 | 北京市金杜律师事务所 11256 | 代理人 | 酆迅;陈姗姗 |
主权项 | 一种用于程序死锁检测的方法,包括:获取程序中与上锁操作有关的锁信息;基于所获取的锁信息,生成第一锁图,其中第一锁图中的每个节点包括锁集合和程序位置集合,其中锁集合包括至少一个锁,并且程序位置集合包括至少一个程序位置;提取所述第一锁图中的强连通子图;将所述第一锁图中的强连通子图展开,以生成第二锁图,其中第二锁图中的每个节点包括单个锁;以及提取所述第二锁图中的强连通子图,所述第二锁图中的强连通子图指示程序中的死锁;所述锁信息包括:特定线程在特定程序位置的上锁操作的信息,并且其中基于所获取的锁信息生成第一锁图的步骤包括:判断所获取的特定线程在特定程序位置的上锁操作的信息所指示的锁以及对应于所述锁的程序位置是否已经被记录在所述第一锁图的预备节点中。 | ||
地址 | 美国纽约阿芒克 |