静态数据竞争检测工具之RELAY-安装和使用

RELAY同样也是基于中间语言编写的静态数据竞争检测工具 安装RELAY之前确保Ocaml安装完毕，可参考之前的文章 http://blog.csdn.net/yangzhen92/article/details/46980511 下载RELAY，可参考这里，选择0.10版本，解压 进入cil目录，执行下面操作 ./configure make make check 然后回到relay根目录，执行make操作 上述步骤完成之后，relay安装成功 进入racetest目录，执行make renew_small; make 命令 执行成功就能够看到测试结果 racetest中的测试用例的整体结果都保存在out目录中 而如果想要查看每一个测试用例的详细输出信息，则进入相关的子目录，以thread_tests为例 子目录中包含gcc-log.txt文件，内容如下 cd test_dir duppy -c threads2.c -I ../../include cd ../test_dir duppy -c threads.c -I ../../include 其中每个文件表示需要待测试源文件 进入ciltrees目录， 这里可以发现有两个warnings.xml文件，都保存着数据竞争相关的信息

更进一步的使用RELAY，可参考README文件