检查线程是否安全的小工具

写多线程程序，某个变量是否要加锁？

几个锁的加锁顺序不同，是否会造成死锁？

这里有一个小工具可以测试你的逻辑是否正确。

 

这是一个500多行的C++命令行程序，当然它既读不懂C/C++代码，也没办法做到模拟程序运行。因此你需要将要测试的逻辑改写成它能识别的语法格式。

（目前的版本能处理的锁的类型仅为简单的只有lock/unlock操作这样的锁类型）

 

例如，下面的程序test1.txt：

var list;var lock1:lock;

 

thread 1:

 

read list;

thread 2:

 

write list;执行此工具后,它会显示:

>threadchk.exe test1.txtline: 11 unsafe-access of variable 'list'   thread: 1  at line: 6*  thread: 2  at line: 11

done

就是说在线程1执行到第6行并且线程2执行到第11行时会对list变量有不安全的引用

 

程序改写,加上锁后:

var list;var lock1:lock;

 

thread 1:

 

lock lock1;read list;unlock lock1;

thread 2:

lock lock1;write list;unlock lock1;

 

再执行工具:

>threadchk.exe test1.txt

done

 

如显示的,就没有问题了.

 

再例如，众所周知的，两个锁引起死锁的问题：

var list;var lock1:lock;var lock2:lock;

 

thread 1:

 

lock lock1;lock lock2;read list;unlock lock1;unlock lock2;

thread 2:

 

lock lock2;lock lock1;write list;unlock lock1;unlock lock2;

 

运行结果如下:

>threadchk.exe test1.txtError: deadlock of lock lock1 detected   thread: 1  at line: 8*  thread: 2  at line: 16

done

 

调整一下锁的顺序,将thread 2部份改为:

lock lock1;

lock lock2;write list;unlock lock2;

unlock lock1;

再测试就没有问题了。

 

例子中举的都是线程和变量都比较少的情况，实际情况要复杂得多。例如三重锁交叉引用等等，这里就不再赘述了。遇到多线程的问题就用这个工具验证你的思路吧。

死锁和安全测试的算法均为偶擅长的穷举法。工具及源码的下载地址在：

http://download.csdn.net/source/3057588