14.4 使用ThreadSaniiser向CDash报告数据争用
Last updated
Was this helpful?
Last updated
Was this helpful?
NOTE:此示例代码可以在 中找到,其中包含一个C++示例。该示例在CMake 3.5版(或更高版本)中是有效的,并且已经在GNU/Linux、macOS和Windows上进行过测试。
在这个示例中,我们将重用前一个示例中的方法,但是使用ThreadSanitizer或TSan,结合CTest和CDash,来检查数据竞争,并将它们报告给CDash。ThreadSanitizer的文档可以在网上找到,
这个示例中,我们将使用以下示例代码(example.cpp
):
这个示例代码中,我们启动16个线程,每个线程都调用increase
函数。increase
函数休眠1s,然后打印并递增一个整数s
。我们预计此示例代码将显示数据竞争,因为所有线程读取和修改相同的地址,而不需要任何显式同步或协调。换句话说,我们期望在代码末尾打印的最终s
,每次的结果都不同。代码有bug,我们将尝试在ThreadSanitizer的帮助下识别数据竞争。如果不运行ThreadSanitizer,我们可能不会看到代码有任何问题:
文件CMakeLists.txt
首先定义一个受支持的最低版本、项目名称、受支持的语言。在本例中,定义了C++11标准项目:
接下来,找到线程库,定义可执行文件,并将其链接到线程库:
然后,提供编译选项和代码,并链接到ThreadSanitizer:
最后,编译测试用例:
CTestConfig.cmake
没有变化:
dashboard.cmake
需要为TSan进行简单修改:
让我们以这个例子为例。通过CTEST_CMAKE_GENERATOR
选项来设置生成器:
在面板上,我们将看到以下内容:
我们可以看到更详细的动态分析:
该示例CMakeLists.txt
的核心部分:
dashboard.cmake
也需要更新:
和上一个示例一样,我们也可以在本地查看ThreadSanitizer的输出:
对使用OpenMP的应用TSan是很常见的,但是请注意,在某些情况下,OpenMP会在TSan下生成误检的结果。对于Clang编译器,一个解决方案是用-DLIBOMP_TSAN_SUPPORT=TRUE
重新编译编译器本身及其libomp
。通常,以合理的方式使用TSan可能需要重新编译整个工具堆栈,以避免误报。在使用pybind11的C++项目的情况,我们可能需要重新编译Python,并启用TSan来获得有意义的东西。或者,Python绑定可以通过使用TSan抑制而被排除在外,如 。例如:如果一个动态库同时被一个经过TSan的二进制文件和一个Python插件调用,那么这种情况可能是不可能使用TSan。
下面的博客文章讨论了如何添加对动态分析工具的支持: