谷歌数据竞争检测工具ThreadSanitizer代码阅读记录——atomic相关文件

最新推荐文章于 2024-01-16 15:24:26 发布

ZenoW

最新推荐文章于 2024-01-16 15:24:26 发布

阅读量422

点赞数

分类专栏：代码阅读分析文章标签： data race 数据竞争代码分析谷歌 google

本文链接：https://blog.csdn.net/wang545054788/article/details/102713291

版权

这篇博客详细记录了阅读谷歌数据竞争检测工具ThreadSanitizer中atomic相关文件的过程，涉及gcc-9.1.0的sanitizer_common库。文章讨论了内存序列枚举、原子性结构体、指针定义、预编译选择性包含头文件，以及在clang中对__sync系列原子操作的重新实现。同时，解释了atomic_thread_fence函数和DCHECK()断言的用途，以及在x86和其他平台上原子操作的实现细节，如proc_yield、atomic_load和atomic_store。

摘要由CSDN通过智能技术生成

gcc-9.1.0\libsanitizer\sanitizer_common\sanitizer_atomic.h

文件有一个内存序列的枚举类型

    enum memory_order {
      memory_order_relaxed = 1 << 0,
      memory_order_consume = 1 << 1,
      memory_order_acquire = 1 << 2,
      memory_order_release = 1 << 3,
      memory_order_acq_rel = 1 << 4,
      memory_order_seq_cst = 1 << 5
    };

定义了多个不同位数的原子性结构体，如atomic_uint32_t表示原子性无符号32位整形。
定义了原子性的指针，指针大小由系统的位数决定。
使用预编译选择性包含了头文件

#if defined(__clang__) || defined(__GNUC__)
# include "sanitizer_atomic_clang.h"
#elif defined(_MSC_VER)
# include "sanitizer_atomic_msvc.h"
#else
# error "Unsupported compiler"
#endif