写多线程程序,某个变量是否要加锁?
几个锁的加锁顺序不同,是否会造成死锁?
这里有一个小工具可以测试你的逻辑是否正确。
这是一个500多行的C++命令行程序,当然它既读不懂C/C++代码,也没办法做到模拟程序运行。因此你需要将要测试的逻辑改写成它能识别的语法格式。
(目前的版本能处理的锁的类型仅为简单的只有lock/unlock操作这样的锁类型)
例如,下面的程序test1.txt:
var list;
var lock1:lock;
thread 1:
read list;
thread 2:
write list;
执行此工具后,它会显示:
>threadchk.exe test1.txt
line: 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.txt
Error: 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;
再测试就没有问题了。
例子中举的都是线程和变量都比较少的情况,实际情况要复杂得多。例如三重锁交叉引用等等,这里就不再赘述了。遇到多线程的问题就用这个工具验证你的思路吧。
死锁和安全测试的算法均为偶擅长的穷举法。工具及源码的下载地址在: