我正在尝试安装并学习如何使用DataRaceBench 1.3.2
这是一个基准套件,旨在系统地和定量地评估数据竞争检测工具的有效性,如此处所示在此处输入链接描述。我有一个称为poisson_openmp.f90
Fortran 代码的代码,它计算矩形中泊松方程的近似解,旨在作为创建并行版本的起点。
为了安装它,我点击了这个链接: https ://github.com/LLNL/dataracebench/blob/master/user_guide.md
所以,我安装了ThreadSanitizer、Archer、ROMP和Coderrect Scanner。
现在我应该:
仔细检查文件位置和添加的路径以获取正确的环境变量设置。要运行 DRB,请使用:./check-data-race.sh --toolname language
( ./check-data-race.sh --romp fortran
)
使用下面查看所有可能的选项:
#show more helpful information for this script
./check-data-races.sh --help
我们甚至可以使用该--customize
标志运行部分测试程序。应在文件中输入要运行的测试程序list.def
和要测试的工具tool.def
。其余步骤保持不变,可参考上述--help
选项。
我不明白我应该如何使这一切适应我的代码以及如何测试它。我不明白我安装了什么东西。不知道什么是容器。我也不知道如何使用DataRaceBench 1.3.2
来评估我的代码。我克隆了 git,我有文件夹,但我忽略了接下来要做什么,尤其是文件 check-data-races.sh。
我没有确切的问题,但我需要对此进行澄清。