cxx_atomic_impl.h 29 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829
  1. //===----------------------------------------------------------------------===//
  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. #ifndef _LIBCPP___ATOMIC_CXX_ATOMIC_IMPL_H
  9. #define _LIBCPP___ATOMIC_CXX_ATOMIC_IMPL_H
  10. #include <__atomic/is_always_lock_free.h>
  11. #include <__atomic/memory_order.h>
  12. #include <__config>
  13. #include <__memory/addressof.h>
  14. #include <__type_traits/conditional.h>
  15. #include <__type_traits/is_assignable.h>
  16. #include <__type_traits/is_trivially_copyable.h>
  17. #include <__type_traits/remove_const.h>
  18. #include <cstddef>
  19. #include <cstring>
  20. #if !defined(_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER)
  21. # pragma GCC system_header
  22. #endif
  23. _LIBCPP_BEGIN_NAMESPACE_STD
  24. #if defined(_LIBCPP_HAS_GCC_ATOMIC_IMP) || \
  25. defined(_LIBCPP_ATOMIC_ONLY_USE_BUILTINS)
  26. // [atomics.types.generic]p1 guarantees _Tp is trivially copyable. Because
  27. // the default operator= in an object is not volatile, a byte-by-byte copy
  28. // is required.
  29. template <typename _Tp, typename _Tv, __enable_if_t<is_assignable<_Tp&, _Tv>::value, int> = 0> _LIBCPP_HIDE_FROM_ABI
  30. void __cxx_atomic_assign_volatile(_Tp& __a_value, _Tv const& __val) {
  31. __a_value = __val;
  32. }
  33. template <typename _Tp, typename _Tv, __enable_if_t<is_assignable<_Tp&, _Tv>::value, int> = 0> _LIBCPP_HIDE_FROM_ABI
  34. void __cxx_atomic_assign_volatile(_Tp volatile& __a_value, _Tv volatile const& __val) {
  35. volatile char* __to = reinterpret_cast<volatile char*>(std::addressof(__a_value));
  36. volatile char* __end = __to + sizeof(_Tp);
  37. volatile const char* __from = reinterpret_cast<volatile const char*>(std::addressof(__val));
  38. while (__to != __end)
  39. *__to++ = *__from++;
  40. }
  41. #endif
  42. #if defined(_LIBCPP_HAS_GCC_ATOMIC_IMP)
  43. template <typename _Tp>
  44. struct __cxx_atomic_base_impl {
  45. _LIBCPP_HIDE_FROM_ABI
  46. #ifndef _LIBCPP_CXX03_LANG
  47. __cxx_atomic_base_impl() _NOEXCEPT = default;
  48. #else
  49. __cxx_atomic_base_impl() _NOEXCEPT : __a_value() {}
  50. #endif // _LIBCPP_CXX03_LANG
  51. _LIBCPP_CONSTEXPR explicit __cxx_atomic_base_impl(_Tp value) _NOEXCEPT
  52. : __a_value(value) {}
  53. _Tp __a_value;
  54. };
  55. _LIBCPP_HIDE_FROM_ABI inline _LIBCPP_CONSTEXPR int __to_gcc_order(memory_order __order) {
  56. // Avoid switch statement to make this a constexpr.
  57. return __order == memory_order_relaxed ? __ATOMIC_RELAXED:
  58. (__order == memory_order_acquire ? __ATOMIC_ACQUIRE:
  59. (__order == memory_order_release ? __ATOMIC_RELEASE:
  60. (__order == memory_order_seq_cst ? __ATOMIC_SEQ_CST:
  61. (__order == memory_order_acq_rel ? __ATOMIC_ACQ_REL:
  62. __ATOMIC_CONSUME))));
  63. }
  64. _LIBCPP_HIDE_FROM_ABI inline _LIBCPP_CONSTEXPR int __to_gcc_failure_order(memory_order __order) {
  65. // Avoid switch statement to make this a constexpr.
  66. return __order == memory_order_relaxed ? __ATOMIC_RELAXED:
  67. (__order == memory_order_acquire ? __ATOMIC_ACQUIRE:
  68. (__order == memory_order_release ? __ATOMIC_RELAXED:
  69. (__order == memory_order_seq_cst ? __ATOMIC_SEQ_CST:
  70. (__order == memory_order_acq_rel ? __ATOMIC_ACQUIRE:
  71. __ATOMIC_CONSUME))));
  72. }
  73. template <typename _Tp>
  74. _LIBCPP_HIDE_FROM_ABI
  75. void __cxx_atomic_init(volatile __cxx_atomic_base_impl<_Tp>* __a, _Tp __val) {
  76. __cxx_atomic_assign_volatile(__a->__a_value, __val);
  77. }
  78. template <typename _Tp>
  79. _LIBCPP_HIDE_FROM_ABI
  80. void __cxx_atomic_init(__cxx_atomic_base_impl<_Tp>* __a, _Tp __val) {
  81. __a->__a_value = __val;
  82. }
  83. _LIBCPP_HIDE_FROM_ABI inline
  84. void __cxx_atomic_thread_fence(memory_order __order) {
  85. __atomic_thread_fence(__to_gcc_order(__order));
  86. }
  87. _LIBCPP_HIDE_FROM_ABI inline
  88. void __cxx_atomic_signal_fence(memory_order __order) {
  89. __atomic_signal_fence(__to_gcc_order(__order));
  90. }
  91. template <typename _Tp>
  92. _LIBCPP_HIDE_FROM_ABI
  93. void __cxx_atomic_store(volatile __cxx_atomic_base_impl<_Tp>* __a, _Tp __val,
  94. memory_order __order) {
  95. __atomic_store(std::addressof(__a->__a_value), std::addressof(__val), __to_gcc_order(__order));
  96. }
  97. template <typename _Tp>
  98. _LIBCPP_HIDE_FROM_ABI
  99. void __cxx_atomic_store(__cxx_atomic_base_impl<_Tp>* __a, _Tp __val,
  100. memory_order __order) {
  101. __atomic_store(std::addressof(__a->__a_value), std::addressof(__val), __to_gcc_order(__order));
  102. }
  103. template <typename _Tp>
  104. _LIBCPP_HIDE_FROM_ABI
  105. _Tp __cxx_atomic_load(const volatile __cxx_atomic_base_impl<_Tp>* __a,
  106. memory_order __order) {
  107. _Tp __ret;
  108. __atomic_load(std::addressof(__a->__a_value), std::addressof(__ret), __to_gcc_order(__order));
  109. return __ret;
  110. }
  111. template <typename _Tp>
  112. _LIBCPP_HIDE_FROM_ABI
  113. _Tp __cxx_atomic_load(const __cxx_atomic_base_impl<_Tp>* __a, memory_order __order) {
  114. _Tp __ret;
  115. __atomic_load(std::addressof(__a->__a_value), std::addressof(__ret), __to_gcc_order(__order));
  116. return __ret;
  117. }
  118. template <typename _Tp>
  119. _LIBCPP_HIDE_FROM_ABI
  120. _Tp __cxx_atomic_exchange(volatile __cxx_atomic_base_impl<_Tp>* __a,
  121. _Tp __value, memory_order __order) {
  122. _Tp __ret;
  123. __atomic_exchange(
  124. std::addressof(__a->__a_value), std::addressof(__value), std::addressof(__ret), __to_gcc_order(__order));
  125. return __ret;
  126. }
  127. template <typename _Tp>
  128. _LIBCPP_HIDE_FROM_ABI
  129. _Tp __cxx_atomic_exchange(__cxx_atomic_base_impl<_Tp>* __a, _Tp __value,
  130. memory_order __order) {
  131. _Tp __ret;
  132. __atomic_exchange(
  133. std::addressof(__a->__a_value), std::addressof(__value), std::addressof(__ret), __to_gcc_order(__order));
  134. return __ret;
  135. }
  136. template <typename _Tp>
  137. _LIBCPP_HIDE_FROM_ABI
  138. bool __cxx_atomic_compare_exchange_strong(
  139. volatile __cxx_atomic_base_impl<_Tp>* __a, _Tp* __expected, _Tp __value,
  140. memory_order __success, memory_order __failure) {
  141. return __atomic_compare_exchange(
  142. std::addressof(__a->__a_value),
  143. __expected,
  144. std::addressof(__value),
  145. false,
  146. __to_gcc_order(__success),
  147. __to_gcc_failure_order(__failure));
  148. }
  149. template <typename _Tp>
  150. _LIBCPP_HIDE_FROM_ABI
  151. bool __cxx_atomic_compare_exchange_strong(
  152. __cxx_atomic_base_impl<_Tp>* __a, _Tp* __expected, _Tp __value, memory_order __success,
  153. memory_order __failure) {
  154. return __atomic_compare_exchange(
  155. std::addressof(__a->__a_value),
  156. __expected,
  157. std::addressof(__value),
  158. false,
  159. __to_gcc_order(__success),
  160. __to_gcc_failure_order(__failure));
  161. }
  162. template <typename _Tp>
  163. _LIBCPP_HIDE_FROM_ABI
  164. bool __cxx_atomic_compare_exchange_weak(
  165. volatile __cxx_atomic_base_impl<_Tp>* __a, _Tp* __expected, _Tp __value,
  166. memory_order __success, memory_order __failure) {
  167. return __atomic_compare_exchange(
  168. std::addressof(__a->__a_value),
  169. __expected,
  170. std::addressof(__value),
  171. true,
  172. __to_gcc_order(__success),
  173. __to_gcc_failure_order(__failure));
  174. }
  175. template <typename _Tp>
  176. _LIBCPP_HIDE_FROM_ABI
  177. bool __cxx_atomic_compare_exchange_weak(
  178. __cxx_atomic_base_impl<_Tp>* __a, _Tp* __expected, _Tp __value, memory_order __success,
  179. memory_order __failure) {
  180. return __atomic_compare_exchange(
  181. std::addressof(__a->__a_value),
  182. __expected,
  183. std::addressof(__value),
  184. true,
  185. __to_gcc_order(__success),
  186. __to_gcc_failure_order(__failure));
  187. }
  188. template <typename _Tp>
  189. struct __skip_amt { enum {value = 1}; };
  190. template <typename _Tp>
  191. struct __skip_amt<_Tp*> { enum {value = sizeof(_Tp)}; };
  192. // FIXME: Haven't figured out what the spec says about using arrays with
  193. // atomic_fetch_add. Force a failure rather than creating bad behavior.
  194. template <typename _Tp>
  195. struct __skip_amt<_Tp[]> { };
  196. template <typename _Tp, int n>
  197. struct __skip_amt<_Tp[n]> { };
  198. template <typename _Tp, typename _Td>
  199. _LIBCPP_HIDE_FROM_ABI
  200. _Tp __cxx_atomic_fetch_add(volatile __cxx_atomic_base_impl<_Tp>* __a,
  201. _Td __delta, memory_order __order) {
  202. return __atomic_fetch_add(std::addressof(__a->__a_value), __delta * __skip_amt<_Tp>::value, __to_gcc_order(__order));
  203. }
  204. template <typename _Tp, typename _Td>
  205. _LIBCPP_HIDE_FROM_ABI
  206. _Tp __cxx_atomic_fetch_add(__cxx_atomic_base_impl<_Tp>* __a, _Td __delta,
  207. memory_order __order) {
  208. return __atomic_fetch_add(std::addressof(__a->__a_value), __delta * __skip_amt<_Tp>::value, __to_gcc_order(__order));
  209. }
  210. template <typename _Tp, typename _Td>
  211. _LIBCPP_HIDE_FROM_ABI
  212. _Tp __cxx_atomic_fetch_sub(volatile __cxx_atomic_base_impl<_Tp>* __a,
  213. _Td __delta, memory_order __order) {
  214. return __atomic_fetch_sub(std::addressof(__a->__a_value), __delta * __skip_amt<_Tp>::value, __to_gcc_order(__order));
  215. }
  216. template <typename _Tp, typename _Td>
  217. _LIBCPP_HIDE_FROM_ABI
  218. _Tp __cxx_atomic_fetch_sub(__cxx_atomic_base_impl<_Tp>* __a, _Td __delta,
  219. memory_order __order) {
  220. return __atomic_fetch_sub(std::addressof(__a->__a_value), __delta * __skip_amt<_Tp>::value, __to_gcc_order(__order));
  221. }
  222. template <typename _Tp>
  223. _LIBCPP_HIDE_FROM_ABI
  224. _Tp __cxx_atomic_fetch_and(volatile __cxx_atomic_base_impl<_Tp>* __a,
  225. _Tp __pattern, memory_order __order) {
  226. return __atomic_fetch_and(std::addressof(__a->__a_value), __pattern, __to_gcc_order(__order));
  227. }
  228. template <typename _Tp>
  229. _LIBCPP_HIDE_FROM_ABI
  230. _Tp __cxx_atomic_fetch_and(__cxx_atomic_base_impl<_Tp>* __a,
  231. _Tp __pattern, memory_order __order) {
  232. return __atomic_fetch_and(std::addressof(__a->__a_value), __pattern, __to_gcc_order(__order));
  233. }
  234. template <typename _Tp>
  235. _LIBCPP_HIDE_FROM_ABI
  236. _Tp __cxx_atomic_fetch_or(volatile __cxx_atomic_base_impl<_Tp>* __a,
  237. _Tp __pattern, memory_order __order) {
  238. return __atomic_fetch_or(std::addressof(__a->__a_value), __pattern, __to_gcc_order(__order));
  239. }
  240. template <typename _Tp>
  241. _LIBCPP_HIDE_FROM_ABI
  242. _Tp __cxx_atomic_fetch_or(__cxx_atomic_base_impl<_Tp>* __a, _Tp __pattern,
  243. memory_order __order) {
  244. return __atomic_fetch_or(std::addressof(__a->__a_value), __pattern, __to_gcc_order(__order));
  245. }
  246. template <typename _Tp>
  247. _LIBCPP_HIDE_FROM_ABI
  248. _Tp __cxx_atomic_fetch_xor(volatile __cxx_atomic_base_impl<_Tp>* __a,
  249. _Tp __pattern, memory_order __order) {
  250. return __atomic_fetch_xor(std::addressof(__a->__a_value), __pattern, __to_gcc_order(__order));
  251. }
  252. template <typename _Tp>
  253. _LIBCPP_HIDE_FROM_ABI
  254. _Tp __cxx_atomic_fetch_xor(__cxx_atomic_base_impl<_Tp>* __a, _Tp __pattern,
  255. memory_order __order) {
  256. return __atomic_fetch_xor(std::addressof(__a->__a_value), __pattern, __to_gcc_order(__order));
  257. }
  258. #define __cxx_atomic_is_lock_free(__s) __atomic_is_lock_free(__s, 0)
  259. #elif defined(_LIBCPP_HAS_C_ATOMIC_IMP)
  260. template <typename _Tp>
  261. struct __cxx_atomic_base_impl {
  262. _LIBCPP_HIDE_FROM_ABI
  263. #ifndef _LIBCPP_CXX03_LANG
  264. __cxx_atomic_base_impl() _NOEXCEPT = default;
  265. #else
  266. __cxx_atomic_base_impl() _NOEXCEPT : __a_value() {}
  267. #endif // _LIBCPP_CXX03_LANG
  268. _LIBCPP_CONSTEXPR explicit __cxx_atomic_base_impl(_Tp __value) _NOEXCEPT
  269. : __a_value(__value) {}
  270. _LIBCPP_DISABLE_EXTENSION_WARNING _Atomic(_Tp) __a_value;
  271. };
  272. #define __cxx_atomic_is_lock_free(__s) __c11_atomic_is_lock_free(__s)
  273. _LIBCPP_HIDE_FROM_ABI inline
  274. void __cxx_atomic_thread_fence(memory_order __order) _NOEXCEPT {
  275. __c11_atomic_thread_fence(static_cast<__memory_order_underlying_t>(__order));
  276. }
  277. _LIBCPP_HIDE_FROM_ABI inline
  278. void __cxx_atomic_signal_fence(memory_order __order) _NOEXCEPT {
  279. __c11_atomic_signal_fence(static_cast<__memory_order_underlying_t>(__order));
  280. }
  281. template<class _Tp>
  282. _LIBCPP_HIDE_FROM_ABI
  283. void __cxx_atomic_init(__cxx_atomic_base_impl<_Tp> volatile* __a, _Tp __val) _NOEXCEPT {
  284. __c11_atomic_init(std::addressof(__a->__a_value), __val);
  285. }
  286. template<class _Tp>
  287. _LIBCPP_HIDE_FROM_ABI
  288. void __cxx_atomic_init(__cxx_atomic_base_impl<_Tp> * __a, _Tp __val) _NOEXCEPT {
  289. __c11_atomic_init(std::addressof(__a->__a_value), __val);
  290. }
  291. template<class _Tp>
  292. _LIBCPP_HIDE_FROM_ABI
  293. void __cxx_atomic_store(__cxx_atomic_base_impl<_Tp> volatile* __a, _Tp __val, memory_order __order) _NOEXCEPT {
  294. __c11_atomic_store(std::addressof(__a->__a_value), __val, static_cast<__memory_order_underlying_t>(__order));
  295. }
  296. template<class _Tp>
  297. _LIBCPP_HIDE_FROM_ABI
  298. void __cxx_atomic_store(__cxx_atomic_base_impl<_Tp> * __a, _Tp __val, memory_order __order) _NOEXCEPT {
  299. __c11_atomic_store(std::addressof(__a->__a_value), __val, static_cast<__memory_order_underlying_t>(__order));
  300. }
  301. template<class _Tp>
  302. _LIBCPP_HIDE_FROM_ABI
  303. _Tp __cxx_atomic_load(__cxx_atomic_base_impl<_Tp> const volatile* __a, memory_order __order) _NOEXCEPT {
  304. using __ptr_type = __remove_const_t<decltype(__a->__a_value)>*;
  305. return __c11_atomic_load(
  306. const_cast<__ptr_type>(std::addressof(__a->__a_value)), static_cast<__memory_order_underlying_t>(__order));
  307. }
  308. template<class _Tp>
  309. _LIBCPP_HIDE_FROM_ABI
  310. _Tp __cxx_atomic_load(__cxx_atomic_base_impl<_Tp> const* __a, memory_order __order) _NOEXCEPT {
  311. using __ptr_type = __remove_const_t<decltype(__a->__a_value)>*;
  312. return __c11_atomic_load(
  313. const_cast<__ptr_type>(std::addressof(__a->__a_value)), static_cast<__memory_order_underlying_t>(__order));
  314. }
  315. template<class _Tp>
  316. _LIBCPP_HIDE_FROM_ABI
  317. _Tp __cxx_atomic_exchange(__cxx_atomic_base_impl<_Tp> volatile* __a, _Tp __value, memory_order __order) _NOEXCEPT {
  318. return __c11_atomic_exchange(
  319. std::addressof(__a->__a_value), __value, static_cast<__memory_order_underlying_t>(__order));
  320. }
  321. template<class _Tp>
  322. _LIBCPP_HIDE_FROM_ABI
  323. _Tp __cxx_atomic_exchange(__cxx_atomic_base_impl<_Tp> * __a, _Tp __value, memory_order __order) _NOEXCEPT {
  324. return __c11_atomic_exchange(
  325. std::addressof(__a->__a_value), __value, static_cast<__memory_order_underlying_t>(__order));
  326. }
  327. _LIBCPP_HIDE_FROM_ABI inline _LIBCPP_CONSTEXPR memory_order __to_failure_order(memory_order __order) {
  328. // Avoid switch statement to make this a constexpr.
  329. return __order == memory_order_release ? memory_order_relaxed:
  330. (__order == memory_order_acq_rel ? memory_order_acquire:
  331. __order);
  332. }
  333. template<class _Tp>
  334. _LIBCPP_HIDE_FROM_ABI
  335. bool __cxx_atomic_compare_exchange_strong(__cxx_atomic_base_impl<_Tp> volatile* __a, _Tp* __expected, _Tp __value, memory_order __success, memory_order __failure) _NOEXCEPT {
  336. return __c11_atomic_compare_exchange_strong(
  337. std::addressof(__a->__a_value),
  338. __expected,
  339. __value,
  340. static_cast<__memory_order_underlying_t>(__success),
  341. static_cast<__memory_order_underlying_t>(__to_failure_order(__failure)));
  342. }
  343. template<class _Tp>
  344. _LIBCPP_HIDE_FROM_ABI
  345. bool __cxx_atomic_compare_exchange_strong(__cxx_atomic_base_impl<_Tp> * __a, _Tp* __expected, _Tp __value, memory_order __success, memory_order __failure) _NOEXCEPT {
  346. return __c11_atomic_compare_exchange_strong(
  347. std::addressof(__a->__a_value),
  348. __expected,
  349. __value,
  350. static_cast<__memory_order_underlying_t>(__success),
  351. static_cast<__memory_order_underlying_t>(__to_failure_order(__failure)));
  352. }
  353. template<class _Tp>
  354. _LIBCPP_HIDE_FROM_ABI
  355. bool __cxx_atomic_compare_exchange_weak(__cxx_atomic_base_impl<_Tp> volatile* __a, _Tp* __expected, _Tp __value, memory_order __success, memory_order __failure) _NOEXCEPT {
  356. return __c11_atomic_compare_exchange_weak(
  357. std::addressof(__a->__a_value),
  358. __expected,
  359. __value,
  360. static_cast<__memory_order_underlying_t>(__success),
  361. static_cast<__memory_order_underlying_t>(__to_failure_order(__failure)));
  362. }
  363. template<class _Tp>
  364. _LIBCPP_HIDE_FROM_ABI
  365. bool __cxx_atomic_compare_exchange_weak(__cxx_atomic_base_impl<_Tp> * __a, _Tp* __expected, _Tp __value, memory_order __success, memory_order __failure) _NOEXCEPT {
  366. return __c11_atomic_compare_exchange_weak(
  367. std::addressof(__a->__a_value),
  368. __expected,
  369. __value,
  370. static_cast<__memory_order_underlying_t>(__success),
  371. static_cast<__memory_order_underlying_t>(__to_failure_order(__failure)));
  372. }
  373. template<class _Tp>
  374. _LIBCPP_HIDE_FROM_ABI
  375. _Tp __cxx_atomic_fetch_add(__cxx_atomic_base_impl<_Tp> volatile* __a, _Tp __delta, memory_order __order) _NOEXCEPT {
  376. return __c11_atomic_fetch_add(
  377. std::addressof(__a->__a_value), __delta, static_cast<__memory_order_underlying_t>(__order));
  378. }
  379. template<class _Tp>
  380. _LIBCPP_HIDE_FROM_ABI
  381. _Tp __cxx_atomic_fetch_add(__cxx_atomic_base_impl<_Tp> * __a, _Tp __delta, memory_order __order) _NOEXCEPT {
  382. return __c11_atomic_fetch_add(
  383. std::addressof(__a->__a_value), __delta, static_cast<__memory_order_underlying_t>(__order));
  384. }
  385. template<class _Tp>
  386. _LIBCPP_HIDE_FROM_ABI
  387. _Tp* __cxx_atomic_fetch_add(__cxx_atomic_base_impl<_Tp*> volatile* __a, ptrdiff_t __delta, memory_order __order) _NOEXCEPT {
  388. return __c11_atomic_fetch_add(
  389. std::addressof(__a->__a_value), __delta, static_cast<__memory_order_underlying_t>(__order));
  390. }
  391. template<class _Tp>
  392. _LIBCPP_HIDE_FROM_ABI
  393. _Tp* __cxx_atomic_fetch_add(__cxx_atomic_base_impl<_Tp*> * __a, ptrdiff_t __delta, memory_order __order) _NOEXCEPT {
  394. return __c11_atomic_fetch_add(
  395. std::addressof(__a->__a_value), __delta, static_cast<__memory_order_underlying_t>(__order));
  396. }
  397. template<class _Tp>
  398. _LIBCPP_HIDE_FROM_ABI
  399. _Tp __cxx_atomic_fetch_sub(__cxx_atomic_base_impl<_Tp> volatile* __a, _Tp __delta, memory_order __order) _NOEXCEPT {
  400. return __c11_atomic_fetch_sub(
  401. std::addressof(__a->__a_value), __delta, static_cast<__memory_order_underlying_t>(__order));
  402. }
  403. template<class _Tp>
  404. _LIBCPP_HIDE_FROM_ABI
  405. _Tp __cxx_atomic_fetch_sub(__cxx_atomic_base_impl<_Tp> * __a, _Tp __delta, memory_order __order) _NOEXCEPT {
  406. return __c11_atomic_fetch_sub(
  407. std::addressof(__a->__a_value), __delta, static_cast<__memory_order_underlying_t>(__order));
  408. }
  409. template<class _Tp>
  410. _LIBCPP_HIDE_FROM_ABI
  411. _Tp* __cxx_atomic_fetch_sub(__cxx_atomic_base_impl<_Tp*> volatile* __a, ptrdiff_t __delta, memory_order __order) _NOEXCEPT {
  412. return __c11_atomic_fetch_sub(
  413. std::addressof(__a->__a_value), __delta, static_cast<__memory_order_underlying_t>(__order));
  414. }
  415. template<class _Tp>
  416. _LIBCPP_HIDE_FROM_ABI
  417. _Tp* __cxx_atomic_fetch_sub(__cxx_atomic_base_impl<_Tp*> * __a, ptrdiff_t __delta, memory_order __order) _NOEXCEPT {
  418. return __c11_atomic_fetch_sub(
  419. std::addressof(__a->__a_value), __delta, static_cast<__memory_order_underlying_t>(__order));
  420. }
  421. template<class _Tp>
  422. _LIBCPP_HIDE_FROM_ABI
  423. _Tp __cxx_atomic_fetch_and(__cxx_atomic_base_impl<_Tp> volatile* __a, _Tp __pattern, memory_order __order) _NOEXCEPT {
  424. return __c11_atomic_fetch_and(
  425. std::addressof(__a->__a_value), __pattern, static_cast<__memory_order_underlying_t>(__order));
  426. }
  427. template<class _Tp>
  428. _LIBCPP_HIDE_FROM_ABI
  429. _Tp __cxx_atomic_fetch_and(__cxx_atomic_base_impl<_Tp> * __a, _Tp __pattern, memory_order __order) _NOEXCEPT {
  430. return __c11_atomic_fetch_and(
  431. std::addressof(__a->__a_value), __pattern, static_cast<__memory_order_underlying_t>(__order));
  432. }
  433. template<class _Tp>
  434. _LIBCPP_HIDE_FROM_ABI
  435. _Tp __cxx_atomic_fetch_or(__cxx_atomic_base_impl<_Tp> volatile* __a, _Tp __pattern, memory_order __order) _NOEXCEPT {
  436. return __c11_atomic_fetch_or(
  437. std::addressof(__a->__a_value), __pattern, static_cast<__memory_order_underlying_t>(__order));
  438. }
  439. template<class _Tp>
  440. _LIBCPP_HIDE_FROM_ABI
  441. _Tp __cxx_atomic_fetch_or(__cxx_atomic_base_impl<_Tp> * __a, _Tp __pattern, memory_order __order) _NOEXCEPT {
  442. return __c11_atomic_fetch_or(
  443. std::addressof(__a->__a_value), __pattern, static_cast<__memory_order_underlying_t>(__order));
  444. }
  445. template<class _Tp>
  446. _LIBCPP_HIDE_FROM_ABI
  447. _Tp __cxx_atomic_fetch_xor(__cxx_atomic_base_impl<_Tp> volatile* __a, _Tp __pattern, memory_order __order) _NOEXCEPT {
  448. return __c11_atomic_fetch_xor(
  449. std::addressof(__a->__a_value), __pattern, static_cast<__memory_order_underlying_t>(__order));
  450. }
  451. template<class _Tp>
  452. _LIBCPP_HIDE_FROM_ABI
  453. _Tp __cxx_atomic_fetch_xor(__cxx_atomic_base_impl<_Tp> * __a, _Tp __pattern, memory_order __order) _NOEXCEPT {
  454. return __c11_atomic_fetch_xor(
  455. std::addressof(__a->__a_value), __pattern, static_cast<__memory_order_underlying_t>(__order));
  456. }
  457. #endif // _LIBCPP_HAS_GCC_ATOMIC_IMP, _LIBCPP_HAS_C_ATOMIC_IMP
  458. #ifdef _LIBCPP_ATOMIC_ONLY_USE_BUILTINS
  459. template<typename _Tp>
  460. struct __cxx_atomic_lock_impl {
  461. _LIBCPP_HIDE_FROM_ABI
  462. __cxx_atomic_lock_impl() _NOEXCEPT
  463. : __a_value(), __a_lock(0) {}
  464. _LIBCPP_HIDE_FROM_ABI _LIBCPP_CONSTEXPR explicit
  465. __cxx_atomic_lock_impl(_Tp value) _NOEXCEPT
  466. : __a_value(value), __a_lock(0) {}
  467. _Tp __a_value;
  468. mutable __cxx_atomic_base_impl<_LIBCPP_ATOMIC_FLAG_TYPE> __a_lock;
  469. _LIBCPP_HIDE_FROM_ABI void __lock() const volatile {
  470. while(1 == __cxx_atomic_exchange(&__a_lock, _LIBCPP_ATOMIC_FLAG_TYPE(true), memory_order_acquire))
  471. /*spin*/;
  472. }
  473. _LIBCPP_HIDE_FROM_ABI void __lock() const {
  474. while(1 == __cxx_atomic_exchange(&__a_lock, _LIBCPP_ATOMIC_FLAG_TYPE(true), memory_order_acquire))
  475. /*spin*/;
  476. }
  477. _LIBCPP_HIDE_FROM_ABI void __unlock() const volatile {
  478. __cxx_atomic_store(&__a_lock, _LIBCPP_ATOMIC_FLAG_TYPE(false), memory_order_release);
  479. }
  480. _LIBCPP_HIDE_FROM_ABI void __unlock() const {
  481. __cxx_atomic_store(&__a_lock, _LIBCPP_ATOMIC_FLAG_TYPE(false), memory_order_release);
  482. }
  483. _LIBCPP_HIDE_FROM_ABI _Tp __read() const volatile {
  484. __lock();
  485. _Tp __old;
  486. __cxx_atomic_assign_volatile(__old, __a_value);
  487. __unlock();
  488. return __old;
  489. }
  490. _LIBCPP_HIDE_FROM_ABI _Tp __read() const {
  491. __lock();
  492. _Tp __old = __a_value;
  493. __unlock();
  494. return __old;
  495. }
  496. };
  497. template <typename _Tp>
  498. _LIBCPP_HIDE_FROM_ABI
  499. void __cxx_atomic_init(volatile __cxx_atomic_lock_impl<_Tp>* __a, _Tp __val) {
  500. __cxx_atomic_assign_volatile(__a->__a_value, __val);
  501. }
  502. template <typename _Tp>
  503. _LIBCPP_HIDE_FROM_ABI
  504. void __cxx_atomic_init(__cxx_atomic_lock_impl<_Tp>* __a, _Tp __val) {
  505. __a->__a_value = __val;
  506. }
  507. template <typename _Tp>
  508. _LIBCPP_HIDE_FROM_ABI
  509. void __cxx_atomic_store(volatile __cxx_atomic_lock_impl<_Tp>* __a, _Tp __val, memory_order) {
  510. __a->__lock();
  511. __cxx_atomic_assign_volatile(__a->__a_value, __val);
  512. __a->__unlock();
  513. }
  514. template <typename _Tp>
  515. _LIBCPP_HIDE_FROM_ABI
  516. void __cxx_atomic_store(__cxx_atomic_lock_impl<_Tp>* __a, _Tp __val, memory_order) {
  517. __a->__lock();
  518. __a->__a_value = __val;
  519. __a->__unlock();
  520. }
  521. template <typename _Tp>
  522. _LIBCPP_HIDE_FROM_ABI
  523. _Tp __cxx_atomic_load(const volatile __cxx_atomic_lock_impl<_Tp>* __a, memory_order) {
  524. return __a->__read();
  525. }
  526. template <typename _Tp>
  527. _LIBCPP_HIDE_FROM_ABI
  528. _Tp __cxx_atomic_load(const __cxx_atomic_lock_impl<_Tp>* __a, memory_order) {
  529. return __a->__read();
  530. }
  531. template <typename _Tp>
  532. _LIBCPP_HIDE_FROM_ABI
  533. _Tp __cxx_atomic_exchange(volatile __cxx_atomic_lock_impl<_Tp>* __a, _Tp __value, memory_order) {
  534. __a->__lock();
  535. _Tp __old;
  536. __cxx_atomic_assign_volatile(__old, __a->__a_value);
  537. __cxx_atomic_assign_volatile(__a->__a_value, __value);
  538. __a->__unlock();
  539. return __old;
  540. }
  541. template <typename _Tp>
  542. _LIBCPP_HIDE_FROM_ABI
  543. _Tp __cxx_atomic_exchange(__cxx_atomic_lock_impl<_Tp>* __a, _Tp __value, memory_order) {
  544. __a->__lock();
  545. _Tp __old = __a->__a_value;
  546. __a->__a_value = __value;
  547. __a->__unlock();
  548. return __old;
  549. }
  550. template <typename _Tp>
  551. _LIBCPP_HIDE_FROM_ABI
  552. bool __cxx_atomic_compare_exchange_strong(volatile __cxx_atomic_lock_impl<_Tp>* __a,
  553. _Tp* __expected, _Tp __value, memory_order, memory_order) {
  554. _Tp __temp;
  555. __a->__lock();
  556. __cxx_atomic_assign_volatile(__temp, __a->__a_value);
  557. bool __ret = (std::memcmp(&__temp, __expected, sizeof(_Tp)) == 0);
  558. if(__ret)
  559. __cxx_atomic_assign_volatile(__a->__a_value, __value);
  560. else
  561. __cxx_atomic_assign_volatile(*__expected, __a->__a_value);
  562. __a->__unlock();
  563. return __ret;
  564. }
  565. template <typename _Tp>
  566. _LIBCPP_HIDE_FROM_ABI
  567. bool __cxx_atomic_compare_exchange_strong(__cxx_atomic_lock_impl<_Tp>* __a,
  568. _Tp* __expected, _Tp __value, memory_order, memory_order) {
  569. __a->__lock();
  570. bool __ret = (std::memcmp(&__a->__a_value, __expected, sizeof(_Tp)) == 0);
  571. if(__ret)
  572. std::memcpy(&__a->__a_value, &__value, sizeof(_Tp));
  573. else
  574. std::memcpy(__expected, &__a->__a_value, sizeof(_Tp));
  575. __a->__unlock();
  576. return __ret;
  577. }
  578. template <typename _Tp>
  579. _LIBCPP_HIDE_FROM_ABI
  580. bool __cxx_atomic_compare_exchange_weak(volatile __cxx_atomic_lock_impl<_Tp>* __a,
  581. _Tp* __expected, _Tp __value, memory_order, memory_order) {
  582. _Tp __temp;
  583. __a->__lock();
  584. __cxx_atomic_assign_volatile(__temp, __a->__a_value);
  585. bool __ret = (std::memcmp(&__temp, __expected, sizeof(_Tp)) == 0);
  586. if(__ret)
  587. __cxx_atomic_assign_volatile(__a->__a_value, __value);
  588. else
  589. __cxx_atomic_assign_volatile(*__expected, __a->__a_value);
  590. __a->__unlock();
  591. return __ret;
  592. }
  593. template <typename _Tp>
  594. _LIBCPP_HIDE_FROM_ABI
  595. bool __cxx_atomic_compare_exchange_weak(__cxx_atomic_lock_impl<_Tp>* __a,
  596. _Tp* __expected, _Tp __value, memory_order, memory_order) {
  597. __a->__lock();
  598. bool __ret = (std::memcmp(&__a->__a_value, __expected, sizeof(_Tp)) == 0);
  599. if(__ret)
  600. std::memcpy(&__a->__a_value, &__value, sizeof(_Tp));
  601. else
  602. std::memcpy(__expected, &__a->__a_value, sizeof(_Tp));
  603. __a->__unlock();
  604. return __ret;
  605. }
  606. template <typename _Tp, typename _Td>
  607. _LIBCPP_HIDE_FROM_ABI
  608. _Tp __cxx_atomic_fetch_add(volatile __cxx_atomic_lock_impl<_Tp>* __a,
  609. _Td __delta, memory_order) {
  610. __a->__lock();
  611. _Tp __old;
  612. __cxx_atomic_assign_volatile(__old, __a->__a_value);
  613. __cxx_atomic_assign_volatile(__a->__a_value, _Tp(__old + __delta));
  614. __a->__unlock();
  615. return __old;
  616. }
  617. template <typename _Tp, typename _Td>
  618. _LIBCPP_HIDE_FROM_ABI
  619. _Tp __cxx_atomic_fetch_add(__cxx_atomic_lock_impl<_Tp>* __a,
  620. _Td __delta, memory_order) {
  621. __a->__lock();
  622. _Tp __old = __a->__a_value;
  623. __a->__a_value += __delta;
  624. __a->__unlock();
  625. return __old;
  626. }
  627. template <typename _Tp, typename _Td>
  628. _LIBCPP_HIDE_FROM_ABI
  629. _Tp* __cxx_atomic_fetch_add(volatile __cxx_atomic_lock_impl<_Tp*>* __a,
  630. ptrdiff_t __delta, memory_order) {
  631. __a->__lock();
  632. _Tp* __old;
  633. __cxx_atomic_assign_volatile(__old, __a->__a_value);
  634. __cxx_atomic_assign_volatile(__a->__a_value, __old + __delta);
  635. __a->__unlock();
  636. return __old;
  637. }
  638. template <typename _Tp, typename _Td>
  639. _LIBCPP_HIDE_FROM_ABI
  640. _Tp* __cxx_atomic_fetch_add(__cxx_atomic_lock_impl<_Tp*>* __a,
  641. ptrdiff_t __delta, memory_order) {
  642. __a->__lock();
  643. _Tp* __old = __a->__a_value;
  644. __a->__a_value += __delta;
  645. __a->__unlock();
  646. return __old;
  647. }
  648. template <typename _Tp, typename _Td>
  649. _LIBCPP_HIDE_FROM_ABI
  650. _Tp __cxx_atomic_fetch_sub(volatile __cxx_atomic_lock_impl<_Tp>* __a,
  651. _Td __delta, memory_order) {
  652. __a->__lock();
  653. _Tp __old;
  654. __cxx_atomic_assign_volatile(__old, __a->__a_value);
  655. __cxx_atomic_assign_volatile(__a->__a_value, _Tp(__old - __delta));
  656. __a->__unlock();
  657. return __old;
  658. }
  659. template <typename _Tp, typename _Td>
  660. _LIBCPP_HIDE_FROM_ABI
  661. _Tp __cxx_atomic_fetch_sub(__cxx_atomic_lock_impl<_Tp>* __a,
  662. _Td __delta, memory_order) {
  663. __a->__lock();
  664. _Tp __old = __a->__a_value;
  665. __a->__a_value -= __delta;
  666. __a->__unlock();
  667. return __old;
  668. }
  669. template <typename _Tp>
  670. _LIBCPP_HIDE_FROM_ABI
  671. _Tp __cxx_atomic_fetch_and(volatile __cxx_atomic_lock_impl<_Tp>* __a,
  672. _Tp __pattern, memory_order) {
  673. __a->__lock();
  674. _Tp __old;
  675. __cxx_atomic_assign_volatile(__old, __a->__a_value);
  676. __cxx_atomic_assign_volatile(__a->__a_value, _Tp(__old & __pattern));
  677. __a->__unlock();
  678. return __old;
  679. }
  680. template <typename _Tp>
  681. _LIBCPP_HIDE_FROM_ABI
  682. _Tp __cxx_atomic_fetch_and(__cxx_atomic_lock_impl<_Tp>* __a,
  683. _Tp __pattern, memory_order) {
  684. __a->__lock();
  685. _Tp __old = __a->__a_value;
  686. __a->__a_value &= __pattern;
  687. __a->__unlock();
  688. return __old;
  689. }
  690. template <typename _Tp>
  691. _LIBCPP_HIDE_FROM_ABI
  692. _Tp __cxx_atomic_fetch_or(volatile __cxx_atomic_lock_impl<_Tp>* __a,
  693. _Tp __pattern, memory_order) {
  694. __a->__lock();
  695. _Tp __old;
  696. __cxx_atomic_assign_volatile(__old, __a->__a_value);
  697. __cxx_atomic_assign_volatile(__a->__a_value, _Tp(__old | __pattern));
  698. __a->__unlock();
  699. return __old;
  700. }
  701. template <typename _Tp>
  702. _LIBCPP_HIDE_FROM_ABI
  703. _Tp __cxx_atomic_fetch_or(__cxx_atomic_lock_impl<_Tp>* __a,
  704. _Tp __pattern, memory_order) {
  705. __a->__lock();
  706. _Tp __old = __a->__a_value;
  707. __a->__a_value |= __pattern;
  708. __a->__unlock();
  709. return __old;
  710. }
  711. template <typename _Tp>
  712. _LIBCPP_HIDE_FROM_ABI
  713. _Tp __cxx_atomic_fetch_xor(volatile __cxx_atomic_lock_impl<_Tp>* __a,
  714. _Tp __pattern, memory_order) {
  715. __a->__lock();
  716. _Tp __old;
  717. __cxx_atomic_assign_volatile(__old, __a->__a_value);
  718. __cxx_atomic_assign_volatile(__a->__a_value, _Tp(__old ^ __pattern));
  719. __a->__unlock();
  720. return __old;
  721. }
  722. template <typename _Tp>
  723. _LIBCPP_HIDE_FROM_ABI
  724. _Tp __cxx_atomic_fetch_xor(__cxx_atomic_lock_impl<_Tp>* __a,
  725. _Tp __pattern, memory_order) {
  726. __a->__lock();
  727. _Tp __old = __a->__a_value;
  728. __a->__a_value ^= __pattern;
  729. __a->__unlock();
  730. return __old;
  731. }
  732. template <typename _Tp,
  733. typename _Base = typename conditional<__libcpp_is_always_lock_free<_Tp>::__value,
  734. __cxx_atomic_base_impl<_Tp>,
  735. __cxx_atomic_lock_impl<_Tp> >::type>
  736. #else
  737. template <typename _Tp,
  738. typename _Base = __cxx_atomic_base_impl<_Tp> >
  739. #endif //_LIBCPP_ATOMIC_ONLY_USE_BUILTINS
  740. struct __cxx_atomic_impl : public _Base {
  741. static_assert(is_trivially_copyable<_Tp>::value,
  742. "std::atomic<T> requires that 'T' be a trivially copyable type");
  743. _LIBCPP_HIDE_FROM_ABI __cxx_atomic_impl() _NOEXCEPT = default;
  744. _LIBCPP_HIDE_FROM_ABI _LIBCPP_CONSTEXPR explicit __cxx_atomic_impl(_Tp __value) _NOEXCEPT
  745. : _Base(__value) {}
  746. };
  747. _LIBCPP_END_NAMESPACE_STD
  748. #endif // _LIBCPP___ATOMIC_CXX_ATOMIC_IMPL_H