tsan_interface_atomic.h 11 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228
  1. //===-- tsan_interface_atomic.h ---------------------------------*- C++ -*-===//
  2. //
  3. // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
  4. // See https://llvm.org/LICENSE.txt for license information.
  5. // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
  6. //
  7. //===----------------------------------------------------------------------===//
  8. //
  9. // This file is a part of ThreadSanitizer (TSan), a race detector.
  10. //
  11. // Public interface header for TSan atomics.
  12. //===----------------------------------------------------------------------===//
  13. #ifndef TSAN_INTERFACE_ATOMIC_H
  14. #define TSAN_INTERFACE_ATOMIC_H
  15. #include <sanitizer/common_interface_defs.h>
  16. #ifdef __cplusplus
  17. extern "C" {
  18. #endif
  19. typedef char __tsan_atomic8;
  20. typedef short __tsan_atomic16;
  21. typedef int __tsan_atomic32;
  22. typedef long __tsan_atomic64;
  23. #if defined(__SIZEOF_INT128__) || \
  24. (__clang_major__ * 100 + __clang_minor__ >= 302)
  25. __extension__ typedef __int128 __tsan_atomic128;
  26. #define __TSAN_HAS_INT128 1
  27. #else
  28. #define __TSAN_HAS_INT128 0
  29. #endif
  30. // Part of ABI, do not change.
  31. // https://github.com/llvm/llvm-project/blob/main/libcxx/include/atomic
  32. typedef enum {
  33. __tsan_memory_order_relaxed,
  34. __tsan_memory_order_consume,
  35. __tsan_memory_order_acquire,
  36. __tsan_memory_order_release,
  37. __tsan_memory_order_acq_rel,
  38. __tsan_memory_order_seq_cst
  39. } __tsan_memory_order;
  40. __tsan_atomic8 SANITIZER_CDECL
  41. __tsan_atomic8_load(const volatile __tsan_atomic8 *a, __tsan_memory_order mo);
  42. __tsan_atomic16 SANITIZER_CDECL
  43. __tsan_atomic16_load(const volatile __tsan_atomic16 *a, __tsan_memory_order mo);
  44. __tsan_atomic32 SANITIZER_CDECL
  45. __tsan_atomic32_load(const volatile __tsan_atomic32 *a, __tsan_memory_order mo);
  46. __tsan_atomic64 SANITIZER_CDECL
  47. __tsan_atomic64_load(const volatile __tsan_atomic64 *a, __tsan_memory_order mo);
  48. #if __TSAN_HAS_INT128
  49. __tsan_atomic128 SANITIZER_CDECL __tsan_atomic128_load(
  50. const volatile __tsan_atomic128 *a, __tsan_memory_order mo);
  51. #endif
  52. void SANITIZER_CDECL __tsan_atomic8_store(volatile __tsan_atomic8 *a,
  53. __tsan_atomic8 v,
  54. __tsan_memory_order mo);
  55. void SANITIZER_CDECL __tsan_atomic16_store(volatile __tsan_atomic16 *a,
  56. __tsan_atomic16 v,
  57. __tsan_memory_order mo);
  58. void SANITIZER_CDECL __tsan_atomic32_store(volatile __tsan_atomic32 *a,
  59. __tsan_atomic32 v,
  60. __tsan_memory_order mo);
  61. void SANITIZER_CDECL __tsan_atomic64_store(volatile __tsan_atomic64 *a,
  62. __tsan_atomic64 v,
  63. __tsan_memory_order mo);
  64. #if __TSAN_HAS_INT128
  65. void SANITIZER_CDECL __tsan_atomic128_store(volatile __tsan_atomic128 *a,
  66. __tsan_atomic128 v,
  67. __tsan_memory_order mo);
  68. #endif
  69. __tsan_atomic8 SANITIZER_CDECL __tsan_atomic8_exchange(
  70. volatile __tsan_atomic8 *a, __tsan_atomic8 v, __tsan_memory_order mo);
  71. __tsan_atomic16 SANITIZER_CDECL __tsan_atomic16_exchange(
  72. volatile __tsan_atomic16 *a, __tsan_atomic16 v, __tsan_memory_order mo);
  73. __tsan_atomic32 SANITIZER_CDECL __tsan_atomic32_exchange(
  74. volatile __tsan_atomic32 *a, __tsan_atomic32 v, __tsan_memory_order mo);
  75. __tsan_atomic64 SANITIZER_CDECL __tsan_atomic64_exchange(
  76. volatile __tsan_atomic64 *a, __tsan_atomic64 v, __tsan_memory_order mo);
  77. #if __TSAN_HAS_INT128
  78. __tsan_atomic128 SANITIZER_CDECL __tsan_atomic128_exchange(
  79. volatile __tsan_atomic128 *a, __tsan_atomic128 v, __tsan_memory_order mo);
  80. #endif
  81. __tsan_atomic8 SANITIZER_CDECL __tsan_atomic8_fetch_add(
  82. volatile __tsan_atomic8 *a, __tsan_atomic8 v, __tsan_memory_order mo);
  83. __tsan_atomic16 SANITIZER_CDECL __tsan_atomic16_fetch_add(
  84. volatile __tsan_atomic16 *a, __tsan_atomic16 v, __tsan_memory_order mo);
  85. __tsan_atomic32 SANITIZER_CDECL __tsan_atomic32_fetch_add(
  86. volatile __tsan_atomic32 *a, __tsan_atomic32 v, __tsan_memory_order mo);
  87. __tsan_atomic64 SANITIZER_CDECL __tsan_atomic64_fetch_add(
  88. volatile __tsan_atomic64 *a, __tsan_atomic64 v, __tsan_memory_order mo);
  89. #if __TSAN_HAS_INT128
  90. __tsan_atomic128 SANITIZER_CDECL __tsan_atomic128_fetch_add(
  91. volatile __tsan_atomic128 *a, __tsan_atomic128 v, __tsan_memory_order mo);
  92. #endif
  93. __tsan_atomic8 SANITIZER_CDECL __tsan_atomic8_fetch_sub(
  94. volatile __tsan_atomic8 *a, __tsan_atomic8 v, __tsan_memory_order mo);
  95. __tsan_atomic16 SANITIZER_CDECL __tsan_atomic16_fetch_sub(
  96. volatile __tsan_atomic16 *a, __tsan_atomic16 v, __tsan_memory_order mo);
  97. __tsan_atomic32 SANITIZER_CDECL __tsan_atomic32_fetch_sub(
  98. volatile __tsan_atomic32 *a, __tsan_atomic32 v, __tsan_memory_order mo);
  99. __tsan_atomic64 SANITIZER_CDECL __tsan_atomic64_fetch_sub(
  100. volatile __tsan_atomic64 *a, __tsan_atomic64 v, __tsan_memory_order mo);
  101. #if __TSAN_HAS_INT128
  102. __tsan_atomic128 SANITIZER_CDECL __tsan_atomic128_fetch_sub(
  103. volatile __tsan_atomic128 *a, __tsan_atomic128 v, __tsan_memory_order mo);
  104. #endif
  105. __tsan_atomic8 SANITIZER_CDECL __tsan_atomic8_fetch_and(
  106. volatile __tsan_atomic8 *a, __tsan_atomic8 v, __tsan_memory_order mo);
  107. __tsan_atomic16 SANITIZER_CDECL __tsan_atomic16_fetch_and(
  108. volatile __tsan_atomic16 *a, __tsan_atomic16 v, __tsan_memory_order mo);
  109. __tsan_atomic32 SANITIZER_CDECL __tsan_atomic32_fetch_and(
  110. volatile __tsan_atomic32 *a, __tsan_atomic32 v, __tsan_memory_order mo);
  111. __tsan_atomic64 SANITIZER_CDECL __tsan_atomic64_fetch_and(
  112. volatile __tsan_atomic64 *a, __tsan_atomic64 v, __tsan_memory_order mo);
  113. #if __TSAN_HAS_INT128
  114. __tsan_atomic128 SANITIZER_CDECL __tsan_atomic128_fetch_and(
  115. volatile __tsan_atomic128 *a, __tsan_atomic128 v, __tsan_memory_order mo);
  116. #endif
  117. __tsan_atomic8 SANITIZER_CDECL __tsan_atomic8_fetch_or(
  118. volatile __tsan_atomic8 *a, __tsan_atomic8 v, __tsan_memory_order mo);
  119. __tsan_atomic16 SANITIZER_CDECL __tsan_atomic16_fetch_or(
  120. volatile __tsan_atomic16 *a, __tsan_atomic16 v, __tsan_memory_order mo);
  121. __tsan_atomic32 SANITIZER_CDECL __tsan_atomic32_fetch_or(
  122. volatile __tsan_atomic32 *a, __tsan_atomic32 v, __tsan_memory_order mo);
  123. __tsan_atomic64 SANITIZER_CDECL __tsan_atomic64_fetch_or(
  124. volatile __tsan_atomic64 *a, __tsan_atomic64 v, __tsan_memory_order mo);
  125. #if __TSAN_HAS_INT128
  126. __tsan_atomic128 SANITIZER_CDECL __tsan_atomic128_fetch_or(
  127. volatile __tsan_atomic128 *a, __tsan_atomic128 v, __tsan_memory_order mo);
  128. #endif
  129. __tsan_atomic8 SANITIZER_CDECL __tsan_atomic8_fetch_xor(
  130. volatile __tsan_atomic8 *a, __tsan_atomic8 v, __tsan_memory_order mo);
  131. __tsan_atomic16 SANITIZER_CDECL __tsan_atomic16_fetch_xor(
  132. volatile __tsan_atomic16 *a, __tsan_atomic16 v, __tsan_memory_order mo);
  133. __tsan_atomic32 SANITIZER_CDECL __tsan_atomic32_fetch_xor(
  134. volatile __tsan_atomic32 *a, __tsan_atomic32 v, __tsan_memory_order mo);
  135. __tsan_atomic64 SANITIZER_CDECL __tsan_atomic64_fetch_xor(
  136. volatile __tsan_atomic64 *a, __tsan_atomic64 v, __tsan_memory_order mo);
  137. #if __TSAN_HAS_INT128
  138. __tsan_atomic128 SANITIZER_CDECL __tsan_atomic128_fetch_xor(
  139. volatile __tsan_atomic128 *a, __tsan_atomic128 v, __tsan_memory_order mo);
  140. #endif
  141. __tsan_atomic8 SANITIZER_CDECL __tsan_atomic8_fetch_nand(
  142. volatile __tsan_atomic8 *a, __tsan_atomic8 v, __tsan_memory_order mo);
  143. __tsan_atomic16 SANITIZER_CDECL __tsan_atomic16_fetch_nand(
  144. volatile __tsan_atomic16 *a, __tsan_atomic16 v, __tsan_memory_order mo);
  145. __tsan_atomic32 SANITIZER_CDECL __tsan_atomic32_fetch_nand(
  146. volatile __tsan_atomic32 *a, __tsan_atomic32 v, __tsan_memory_order mo);
  147. __tsan_atomic64 SANITIZER_CDECL __tsan_atomic64_fetch_nand(
  148. volatile __tsan_atomic64 *a, __tsan_atomic64 v, __tsan_memory_order mo);
  149. #if __TSAN_HAS_INT128
  150. __tsan_atomic128 SANITIZER_CDECL __tsan_atomic128_fetch_nand(
  151. volatile __tsan_atomic128 *a, __tsan_atomic128 v, __tsan_memory_order mo);
  152. #endif
  153. int SANITIZER_CDECL __tsan_atomic8_compare_exchange_weak(
  154. volatile __tsan_atomic8 *a, __tsan_atomic8 *c, __tsan_atomic8 v,
  155. __tsan_memory_order mo, __tsan_memory_order fail_mo);
  156. int SANITIZER_CDECL __tsan_atomic16_compare_exchange_weak(
  157. volatile __tsan_atomic16 *a, __tsan_atomic16 *c, __tsan_atomic16 v,
  158. __tsan_memory_order mo, __tsan_memory_order fail_mo);
  159. int SANITIZER_CDECL __tsan_atomic32_compare_exchange_weak(
  160. volatile __tsan_atomic32 *a, __tsan_atomic32 *c, __tsan_atomic32 v,
  161. __tsan_memory_order mo, __tsan_memory_order fail_mo);
  162. int SANITIZER_CDECL __tsan_atomic64_compare_exchange_weak(
  163. volatile __tsan_atomic64 *a, __tsan_atomic64 *c, __tsan_atomic64 v,
  164. __tsan_memory_order mo, __tsan_memory_order fail_mo);
  165. #if __TSAN_HAS_INT128
  166. int SANITIZER_CDECL __tsan_atomic128_compare_exchange_weak(
  167. volatile __tsan_atomic128 *a, __tsan_atomic128 *c, __tsan_atomic128 v,
  168. __tsan_memory_order mo, __tsan_memory_order fail_mo);
  169. #endif
  170. int SANITIZER_CDECL __tsan_atomic8_compare_exchange_strong(
  171. volatile __tsan_atomic8 *a, __tsan_atomic8 *c, __tsan_atomic8 v,
  172. __tsan_memory_order mo, __tsan_memory_order fail_mo);
  173. int SANITIZER_CDECL __tsan_atomic16_compare_exchange_strong(
  174. volatile __tsan_atomic16 *a, __tsan_atomic16 *c, __tsan_atomic16 v,
  175. __tsan_memory_order mo, __tsan_memory_order fail_mo);
  176. int SANITIZER_CDECL __tsan_atomic32_compare_exchange_strong(
  177. volatile __tsan_atomic32 *a, __tsan_atomic32 *c, __tsan_atomic32 v,
  178. __tsan_memory_order mo, __tsan_memory_order fail_mo);
  179. int SANITIZER_CDECL __tsan_atomic64_compare_exchange_strong(
  180. volatile __tsan_atomic64 *a, __tsan_atomic64 *c, __tsan_atomic64 v,
  181. __tsan_memory_order mo, __tsan_memory_order fail_mo);
  182. #if __TSAN_HAS_INT128
  183. int SANITIZER_CDECL __tsan_atomic128_compare_exchange_strong(
  184. volatile __tsan_atomic128 *a, __tsan_atomic128 *c, __tsan_atomic128 v,
  185. __tsan_memory_order mo, __tsan_memory_order fail_mo);
  186. #endif
  187. __tsan_atomic8 SANITIZER_CDECL __tsan_atomic8_compare_exchange_val(
  188. volatile __tsan_atomic8 *a, __tsan_atomic8 c, __tsan_atomic8 v,
  189. __tsan_memory_order mo, __tsan_memory_order fail_mo);
  190. __tsan_atomic16 SANITIZER_CDECL __tsan_atomic16_compare_exchange_val(
  191. volatile __tsan_atomic16 *a, __tsan_atomic16 c, __tsan_atomic16 v,
  192. __tsan_memory_order mo, __tsan_memory_order fail_mo);
  193. __tsan_atomic32 SANITIZER_CDECL __tsan_atomic32_compare_exchange_val(
  194. volatile __tsan_atomic32 *a, __tsan_atomic32 c, __tsan_atomic32 v,
  195. __tsan_memory_order mo, __tsan_memory_order fail_mo);
  196. __tsan_atomic64 SANITIZER_CDECL __tsan_atomic64_compare_exchange_val(
  197. volatile __tsan_atomic64 *a, __tsan_atomic64 c, __tsan_atomic64 v,
  198. __tsan_memory_order mo, __tsan_memory_order fail_mo);
  199. #if __TSAN_HAS_INT128
  200. __tsan_atomic128 SANITIZER_CDECL __tsan_atomic128_compare_exchange_val(
  201. volatile __tsan_atomic128 *a, __tsan_atomic128 c, __tsan_atomic128 v,
  202. __tsan_memory_order mo, __tsan_memory_order fail_mo);
  203. #endif
  204. void SANITIZER_CDECL __tsan_atomic_thread_fence(__tsan_memory_order mo);
  205. void SANITIZER_CDECL __tsan_atomic_signal_fence(__tsan_memory_order mo);
  206. #ifdef __cplusplus
  207. } // extern "C"
  208. #endif
  209. #endif // TSAN_INTERFACE_ATOMIC_H