我应该如何使用 DataRaceBench 1.3.2?

How should I use DataRaceBench 1.3.2?

我正在尝试安装并学习如何使用 DataRaceBench 1.3.2,这是一个 基准测试 套件,旨在系统地和定量地评估数据竞争检测工具的有效性,如此处显示 enter link description here。 我有一个名为 poisson_openmp.f90 的代码,它是一个 Fortran 代码,用于计算矩形泊松方程的近似解,旨在作为创建并行版本的起点。

为了安装它,我遵循了这个 link: https://github.com/LLNL/dataracebench/blob/master/user_guide.md

所以,我安装了 ThreadSanitizerArcherROMP Coderrect 扫描仪.

现在我应该:

仔细检查文件位置和为正确的环境变量设置添加的路径。要 运行 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.

我没有确切的问题,但我需要对此进行一些澄清。

此软件并非旨在用于检查您的代码。

相反,这是一个基准测试,用于检查其他工具(您可以用来检查您的 OpenMP 代码)如何发现问题。该软件附带各种包含已知问题的程序,DataRaceBench 软件检查被基准测试的工具是否能够发现这些已知问题。