[发明专利]一种用于数据竞争检测的程序调度方法

权利要求书

1.一种用于数据竞争检测的程序调度方法，其特征在于包括以下步骤：

(1)划分给定程序为若干个程序块；

(2)运行一次给定程序，并计算每个程序块bi中锁的类型的集合，锁的类型的集合是以下两个集合的并集；

a)所有线程在bi中运行时获取的锁的类型集合；

b)所有线程在程序块bj中运行时获取的锁的类型集合，其中bj限定为从bi可通过k个程序块的调用可到达的程序块；

(3)选择数据竞争检测工具，再次运行给定程序，并根据每个线程和锁、程序块中锁类型集合的关系调度每个线程的运行；所述数据竞争检测工具为Happens-before；

(4)在步骤(3)的运行中同时使用选定的工具检测数据竞争；

(5)在步骤(3)的运行中同时重新计算每个程序块的锁的类型集合，用于下一次运行的调度；

(6)重复步骤(3)至(5)若干次，并收集每次检测到的数据竞争；

所述步骤(2)和(5)中锁类型的算法为区分Java程序中不同锁的内存对象摘要算法。

2.根据权利要求1所述的用于数据竞争检测的程序调度方法，其特征在于：所述步骤(2)和(5)中程序块的锁类型集合生成为动态生成或静态生成；若使用静态生成，则权利要求1中步骤(5)可以省略。

3.根据权利要求1或2所述的用于数据竞争检测的程序调度方法，其特征在于：所述步骤(1)中划分给定程序为若干个程序块采用单位程序块划分方法。

4.根据权利要求3所述的用于数据竞争检测的程序调度方法，其特征在于：所述单位程序块划分方法包括函数、程序基本块划分。

5.根据权利要求1所述的用于数据竞争检测的程序调度方法，其特征在于：所述步骤(1)中每个程序块为连续的若干行程序语句。