[Openmp-commits] [PATCH] D13072: [OpenMP] Enable ThreadSanitizer to check OpenMP programs

[Simone via Openmp-commits]

simoatze created this revision.
simoatze added a reviewer: hfinkel.
simoatze added a subscriber: openmp-commits.

This patch allows ThreadSanitizer (Tsan) to verify OpenMP programs. It means that no false positive will be reported by Tsan when verifying an OpenMP programs.
This patch introduces annotations within the OpenMP runtime module to provide information about thread synchronization to the Tsan runtime.

In order to enable the Tsan support when building the runtime, you must enable the TSAN_SUPPORT option with the following environment variable:

-DLIBOMP_TSAN_SUPPORT=TRUE

The building will generate a library called libomp_tsan.so.
I guess this is not something that we want, so probably it should be removed, but I will leave it for the first review.

http://reviews.llvm.org/D13072

Files:
  runtime/CMakeLists.txt
  runtime/src/dynamic_annotations.h
  runtime/src/kmp_barrier.cpp
  runtime/src/kmp_lock.cpp
  runtime/src/kmp_runtime.c
  runtime/src/kmp_tasking.c
  runtime/src/z_Linux_util.c

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D13072.35419.patch
Type: text/x-patch
Size: 50418 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/openmp-commits/attachments/20150922/bef454a9/attachment-0001.bin>