检测多线程程序中的死锁的方法和装置

摘要

本发明提供了一种检测多线程程序中的死锁的方法。构建调用图，该调用图具有对应于以多线程程序的代码编写的、一个或多个函数的一个根和多个节点。根据在调用图的每个节点上起作用的、一个或多个资源集合，计算资源图。判断在资源图的两个或更多个节点之间是否存在循环。循环是多线程程序中死锁的指示。

主权项

1.一种检测多线程程序中的死锁的方法，该方法包括以下步骤：构建调用图，所述调用图具有对应于以所述多线程程序的代码编写的、一个或多个函数的一个根以及多个节点；根据在所述调用图的每个节点上起作用的、一个或多个资源集合，计算资源图；以及判断在所述资源图的两个或更多个节点之间是否存在循环，其中，循环是所述多线程程序中死锁的指示。