我应该如何使用 DataRaceBench 1.3.2?

问题描述

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

为了安装它,我点击了这个链接enter link description here

所以,我安装了 ThreadSanitizerArcherROMPCoderrect 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。

我没有确切的问题,但我需要澄清一下。

解决方法

本软件不用于检查您的代码。

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