diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2014-12-22 09:44:56 +0000 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2014-12-22 09:44:56 +0000 |
| commit | 732b128129cf317468dc366c412be19f6a3ed01e (patch) | |
| tree | f20e8de2ff26c0caaed564af7e53de4162be533e /compiler-rt/lib/tsan/rtl/tsan_interface_java.h | |
| parent | 07bc611fb378deda65a6d3bdeda9c9fe95cb6dfd (diff) | |
| download | bcm5719-llvm-732b128129cf317468dc366c412be19f6a3ed01e.tar.gz bcm5719-llvm-732b128129cf317468dc366c412be19f6a3ed01e.zip | |
tsan: add acquire/release functions to java interface
they are required to handle synchronization on volatile/final fields
llvm-svn: 224697
Diffstat (limited to 'compiler-rt/lib/tsan/rtl/tsan_interface_java.h')
| -rw-r--r-- | compiler-rt/lib/tsan/rtl/tsan_interface_java.h | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/compiler-rt/lib/tsan/rtl/tsan_interface_java.h b/compiler-rt/lib/tsan/rtl/tsan_interface_java.h index 1f793df712d..30153a1d850 100644 --- a/compiler-rt/lib/tsan/rtl/tsan_interface_java.h +++ b/compiler-rt/lib/tsan/rtl/tsan_interface_java.h @@ -79,6 +79,14 @@ void __tsan_java_mutex_lock_rec(jptr addr, int rec) INTERFACE_ATTRIBUTE; // the same recursion level. int __tsan_java_mutex_unlock_rec(jptr addr) INTERFACE_ATTRIBUTE; +// Raw acquire/release primitives. +// Can be used to establish happens-before edges on volatile/final fields, +// in atomic operations, etc. release_store is the same as release, but it +// breaks release sequence on addr (see C++ standard 1.10/7 for details). +void __tsan_java_acquire(jptr addr) INTERFACE_ATTRIBUTE; +void __tsan_java_release(jptr addr) INTERFACE_ATTRIBUTE; +void __tsan_java_release_store(jptr addr) INTERFACE_ATTRIBUTE; + #ifdef __cplusplus } // extern "C" #endif |
