cds/compiler/feature_tsan.h

   1 //$$CDS-header$$
   2
   3 #ifndef CDSLIB_COMPILER_FEATURE_TSAN_H
   4 #define CDSLIB_COMPILER_FEATURE_TSAN_H
   5
   6 // Thread Sanitizer annotations.
   7 // From https://groups.google.com/d/msg/thread-sanitizer/SsrHB7FTnTk/mNTGNLQj-9cJ
   8
   9 //@cond
  10
  11 #ifdef CDS_THREAD_SANITIZER_ENABLED
  12 #   define CDS_TSAN_ANNOTATE_HAPPENS_BEFORE(addr)   AnnotateHappensBefore(__FILE__, __LINE__, reinterpret_cast<void*>(addr))\r
  13 #   define CDS_TSAN_ANNOTATE_HAPPENS_AFTER(addr)    AnnotateHappensAfter(__FILE__, __LINE__, reinterpret_cast<void*>(addr))\r
  14 \r
  15 #   define CDS_TSAN_ANNOTATE_IGNORE_READS_BEGIN     AnnotateIgnoreReadsBegin(__FILE__, __LINE__)\r
  16 #   define CDS_TSAN_ANNOTATE_IGNORE_READS_END       AnnotateIgnoreReadsEnd(__FILE__, __LINE__)\r
  17 #   define CDS_TSAN_ANNOTATE_IGNORE_WRITES_BEGIN    AnnotateIgnoreWritesBegin(__FILE__, __LINE__)\r
  18 #   define CDS_TSAN_ANNOTATE_IGNORE_WRITES_END      AnnotateIgnoreWritesEnd(__FILE__, __LINE__)\r
  19 #   define CDS_TSAN_ANNOTATE_IGNORE_RW_BEGIN        \\r
  20                                                     CDS_TSAN_ANNOTATE_IGNORE_READS_BEGIN; \\r
  21                                                     CDS_TSAN_ANNOTATE_IGNORE_WRITES_BEGIN\r
  22 #   define CDS_TSAN_ANNOTATE_IGNORE_RW_END          \\r
  23                                                     CDS_TSAN_ANNOTATE_IGNORE_WRITES_END;\\r
  24                                                     CDS_TSAN_ANNOTATE_IGNORE_READS_END\r
  25 #   define CDS_TSAN_ANNOTATE_NEW_MEMORY( addr, sz ) AnnotateNewMemory( (char *) __FILE__, __LINE__, reinterpret_cast<void *>(addr), sz )\r
  26 \r
  27     // provided by TSan\r
  28     extern "C" {\r
  29         void AnnotateHappensBefore(const char *f, int l, void *addr);\r
  30         void AnnotateHappensAfter(const char *f, int l, void *addr);\r
  31 \r
  32         void AnnotateIgnoreReadsBegin(const char *f, int l);\r
  33         void AnnotateIgnoreReadsEnd(const char *f, int l);\r
  34         void AnnotateIgnoreWritesBegin(const char *f, int l);\r
  35         void AnnotateIgnoreWritesEnd(const char *f, int l);\r
  36 \r
  37         void AnnotateNewMemory(char *f, int l, void * mem, size_t size);
  38 \r
  39     }\r
  40 \r
  41 #else // CDS_THREAD_SANITIZER_ENABLED\r
  42 \r
  43 #   define CDS_TSAN_ANNOTATE_HAPPENS_BEFORE(addr)\r
  44 #   define CDS_TSAN_ANNOTATE_HAPPENS_AFTER(addr)
  45
  46 #   define CDS_TSAN_ANNOTATE_IGNORE_READS_BEGIN\r
  47 #   define CDS_TSAN_ANNOTATE_IGNORE_READS_END\r
  48 #   define CDS_TSAN_ANNOTATE_IGNORE_WRITES_BEGIN\r
  49 #   define CDS_TSAN_ANNOTATE_IGNORE_WRITES_END\r
  50 #   define CDS_TSAN_ANNOTATE_IGNORE_RW_BEGIN\r
  51 #   define CDS_TSAN_ANNOTATE_IGNORE_RW_END\r
  52 \r
  53 #   define CDS_TSAN_ANNOTATE_NEW_MEMORY( addr, sz )\r
  54 \r
  55 #endif
  56
  57 //@endcond
  58 #endif  // #ifndef CDSLIB_COMPILER_FEATURE_TSAN_H