author | eosterlund |
Thu, 05 Oct 2017 10:55:34 +0200 | |
changeset 47593 | 2d56326b98f0 |
parent 47578 | 09c41c4913d9 |
child 48468 | 7cc7de9bf4a4 |
permissions | -rw-r--r-- |
42664 | 1 |
/* |
46523
cbcc0ebaa044
8166651: OrderAccess::load_acquire &etc should have const parameters
kbarrett
parents:
42664
diff
changeset
|
2 |
* Copyright (c) 2008, 2017, Oracle and/or its affiliates. All rights reserved. |
42664 | 3 |
* DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. |
4 |
* |
|
5 |
* This code is free software; you can redistribute it and/or modify it |
|
6 |
* under the terms of the GNU General Public License version 2 only, as |
|
7 |
* published by the Free Software Foundation. |
|
8 |
* |
|
9 |
* This code is distributed in the hope that it will be useful, but WITHOUT |
|
10 |
* ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or |
|
11 |
* FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License |
|
12 |
* version 2 for more details (a copy is included in the LICENSE file that |
|
13 |
* accompanied this code). |
|
14 |
* |
|
15 |
* You should have received a copy of the GNU General Public License version |
|
16 |
* 2 along with this work; if not, write to the Free Software Foundation, |
|
17 |
* Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. |
|
18 |
* |
|
19 |
* Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA |
|
20 |
* or visit www.oracle.com if you need additional information or have any |
|
21 |
* questions. |
|
22 |
* |
|
23 |
*/ |
|
24 |
||
25 |
#ifndef OS_CPU_LINUX_ARM_VM_ATOMIC_LINUX_ARM_HPP |
|
26 |
#define OS_CPU_LINUX_ARM_VM_ATOMIC_LINUX_ARM_HPP |
|
27 |
||
28 |
#include "runtime/os.hpp" |
|
29 |
#include "vm_version_arm.hpp" |
|
30 |
||
31 |
// Implementation of class atomic |
|
32 |
||
33 |
/* |
|
34 |
* Atomic long operations on 32-bit ARM |
|
35 |
* ARM v7 supports LDREXD/STREXD synchronization instructions so no problem. |
|
36 |
* ARM < v7 does not have explicit 64 atomic load/store capability. |
|
37 |
* However, gcc emits LDRD/STRD instructions on v5te and LDM/STM on v5t |
|
38 |
* when loading/storing 64 bits. |
|
39 |
* For non-MP machines (which is all we support for ARM < v7) |
|
40 |
* under current Linux distros these instructions appear atomic. |
|
41 |
* See section A3.5.3 of ARM Architecture Reference Manual for ARM v7. |
|
42 |
* Also, for cmpxchg64, if ARM < v7 we check for cmpxchg64 support in the |
|
43 |
* Linux kernel using _kuser_helper_version. See entry-armv.S in the Linux |
|
44 |
* kernel source or kernel_user_helpers.txt in Linux Doc. |
|
45 |
*/ |
|
46 |
||
47593
2d56326b98f0
8188224: Generalize Atomic::load/store to use templates
eosterlund
parents:
47578
diff
changeset
|
47 |
#ifndef AARCH64 |
2d56326b98f0
8188224: Generalize Atomic::load/store to use templates
eosterlund
parents:
47578
diff
changeset
|
48 |
template<> |
2d56326b98f0
8188224: Generalize Atomic::load/store to use templates
eosterlund
parents:
47578
diff
changeset
|
49 |
template<typename T> |
2d56326b98f0
8188224: Generalize Atomic::load/store to use templates
eosterlund
parents:
47578
diff
changeset
|
50 |
inline T Atomic::PlatformLoad<8>::operator()(T const volatile* src) const { |
2d56326b98f0
8188224: Generalize Atomic::load/store to use templates
eosterlund
parents:
47578
diff
changeset
|
51 |
STATIC_ASSERT(8 == sizeof(T)); |
2d56326b98f0
8188224: Generalize Atomic::load/store to use templates
eosterlund
parents:
47578
diff
changeset
|
52 |
return PrimitiveConversions::cast<T>( |
2d56326b98f0
8188224: Generalize Atomic::load/store to use templates
eosterlund
parents:
47578
diff
changeset
|
53 |
(*os::atomic_load_long_func)(reinterpret_cast<const volatile jlong*>(src))); |
42664 | 54 |
} |
55 |
||
47593
2d56326b98f0
8188224: Generalize Atomic::load/store to use templates
eosterlund
parents:
47578
diff
changeset
|
56 |
template<> |
2d56326b98f0
8188224: Generalize Atomic::load/store to use templates
eosterlund
parents:
47578
diff
changeset
|
57 |
template<typename T> |
2d56326b98f0
8188224: Generalize Atomic::load/store to use templates
eosterlund
parents:
47578
diff
changeset
|
58 |
inline void Atomic::PlatformStore<8>::operator()(T store_value, |
2d56326b98f0
8188224: Generalize Atomic::load/store to use templates
eosterlund
parents:
47578
diff
changeset
|
59 |
T volatile* dest) const { |
2d56326b98f0
8188224: Generalize Atomic::load/store to use templates
eosterlund
parents:
47578
diff
changeset
|
60 |
STATIC_ASSERT(8 == sizeof(T)); |
2d56326b98f0
8188224: Generalize Atomic::load/store to use templates
eosterlund
parents:
47578
diff
changeset
|
61 |
(*os::atomic_store_long_func)( |
2d56326b98f0
8188224: Generalize Atomic::load/store to use templates
eosterlund
parents:
47578
diff
changeset
|
62 |
PrimitiveConversions::cast<jlong>(store_value), reinterpret_cast<volatile jlong*>(dest)); |
2d56326b98f0
8188224: Generalize Atomic::load/store to use templates
eosterlund
parents:
47578
diff
changeset
|
63 |
} |
42664 | 64 |
#endif |
65 |
||
66 |
// As per atomic.hpp all read-modify-write operations have to provide two-way |
|
67 |
// barriers semantics. For AARCH64 we are using load-acquire-with-reservation and |
|
68 |
// store-release-with-reservation. While load-acquire combined with store-release |
|
69 |
// do not generally form two-way barriers, their use with reservations does - the |
|
70 |
// ARMv8 architecture manual Section F "Barrier Litmus Tests" indicates they |
|
71 |
// provide sequentially consistent semantics. All we need to add is an explicit |
|
72 |
// barrier in the failure path of the cmpxchg operations (as these don't execute |
|
73 |
// the store) - arguably this may be overly cautious as there is a very low |
|
74 |
// likelihood that the hardware would pull loads/stores into the region guarded |
|
75 |
// by the reservation. |
|
76 |
// |
|
77 |
// For ARMv7 we add explicit barriers in the stubs. |
|
78 |
||
46993
dd0f91c85ffc
8186476: Generalize Atomic::add with templates
eosterlund
parents:
46958
diff
changeset
|
79 |
template<size_t byte_size> |
dd0f91c85ffc
8186476: Generalize Atomic::add with templates
eosterlund
parents:
46958
diff
changeset
|
80 |
struct Atomic::PlatformAdd |
dd0f91c85ffc
8186476: Generalize Atomic::add with templates
eosterlund
parents:
46958
diff
changeset
|
81 |
: Atomic::AddAndFetch<Atomic::PlatformAdd<byte_size> > |
dd0f91c85ffc
8186476: Generalize Atomic::add with templates
eosterlund
parents:
46958
diff
changeset
|
82 |
{ |
dd0f91c85ffc
8186476: Generalize Atomic::add with templates
eosterlund
parents:
46958
diff
changeset
|
83 |
template<typename I, typename D> |
dd0f91c85ffc
8186476: Generalize Atomic::add with templates
eosterlund
parents:
46958
diff
changeset
|
84 |
D add_and_fetch(I add_value, D volatile* dest) const; |
dd0f91c85ffc
8186476: Generalize Atomic::add with templates
eosterlund
parents:
46958
diff
changeset
|
85 |
}; |
dd0f91c85ffc
8186476: Generalize Atomic::add with templates
eosterlund
parents:
46958
diff
changeset
|
86 |
|
dd0f91c85ffc
8186476: Generalize Atomic::add with templates
eosterlund
parents:
46958
diff
changeset
|
87 |
template<> |
dd0f91c85ffc
8186476: Generalize Atomic::add with templates
eosterlund
parents:
46958
diff
changeset
|
88 |
template<typename I, typename D> |
dd0f91c85ffc
8186476: Generalize Atomic::add with templates
eosterlund
parents:
46958
diff
changeset
|
89 |
inline D Atomic::PlatformAdd<4>::add_and_fetch(I add_value, D volatile* dest) const { |
dd0f91c85ffc
8186476: Generalize Atomic::add with templates
eosterlund
parents:
46958
diff
changeset
|
90 |
STATIC_ASSERT(4 == sizeof(I)); |
dd0f91c85ffc
8186476: Generalize Atomic::add with templates
eosterlund
parents:
46958
diff
changeset
|
91 |
STATIC_ASSERT(4 == sizeof(D)); |
42664 | 92 |
#ifdef AARCH64 |
46993
dd0f91c85ffc
8186476: Generalize Atomic::add with templates
eosterlund
parents:
46958
diff
changeset
|
93 |
D val; |
42664 | 94 |
int tmp; |
95 |
__asm__ volatile( |
|
96 |
"1:\n\t" |
|
97 |
" ldaxr %w[val], [%[dest]]\n\t" |
|
98 |
" add %w[val], %w[val], %w[add_val]\n\t" |
|
99 |
" stlxr %w[tmp], %w[val], [%[dest]]\n\t" |
|
100 |
" cbnz %w[tmp], 1b\n\t" |
|
101 |
: [val] "=&r" (val), [tmp] "=&r" (tmp) |
|
102 |
: [add_val] "r" (add_value), [dest] "r" (dest) |
|
103 |
: "memory"); |
|
104 |
return val; |
|
105 |
#else |
|
46993
dd0f91c85ffc
8186476: Generalize Atomic::add with templates
eosterlund
parents:
46958
diff
changeset
|
106 |
return add_using_helper<jint>(os::atomic_add_func, add_value, dest); |
42664 | 107 |
#endif |
108 |
} |
|
109 |
||
110 |
#ifdef AARCH64 |
|
46993
dd0f91c85ffc
8186476: Generalize Atomic::add with templates
eosterlund
parents:
46958
diff
changeset
|
111 |
template<> |
dd0f91c85ffc
8186476: Generalize Atomic::add with templates
eosterlund
parents:
46958
diff
changeset
|
112 |
template<typename I, typename D> |
dd0f91c85ffc
8186476: Generalize Atomic::add with templates
eosterlund
parents:
46958
diff
changeset
|
113 |
inline D Atomic::PlatformAdd<8>::add_and_fetch(I add_value, D volatile* dest) const { |
dd0f91c85ffc
8186476: Generalize Atomic::add with templates
eosterlund
parents:
46958
diff
changeset
|
114 |
STATIC_ASSERT(8 == sizeof(I)); |
dd0f91c85ffc
8186476: Generalize Atomic::add with templates
eosterlund
parents:
46958
diff
changeset
|
115 |
STATIC_ASSERT(8 == sizeof(D)); |
dd0f91c85ffc
8186476: Generalize Atomic::add with templates
eosterlund
parents:
46958
diff
changeset
|
116 |
D val; |
42664 | 117 |
int tmp; |
118 |
__asm__ volatile( |
|
119 |
"1:\n\t" |
|
120 |
" ldaxr %[val], [%[dest]]\n\t" |
|
121 |
" add %[val], %[val], %[add_val]\n\t" |
|
122 |
" stlxr %w[tmp], %[val], [%[dest]]\n\t" |
|
123 |
" cbnz %w[tmp], 1b\n\t" |
|
124 |
: [val] "=&r" (val), [tmp] "=&r" (tmp) |
|
125 |
: [add_val] "r" (add_value), [dest] "r" (dest) |
|
126 |
: "memory"); |
|
127 |
return val; |
|
128 |
} |
|
47578
09c41c4913d9
8187977: Generalize Atomic::xchg to use templates
eosterlund
parents:
47552
diff
changeset
|
129 |
#endif |
42664 | 130 |
|
47578
09c41c4913d9
8187977: Generalize Atomic::xchg to use templates
eosterlund
parents:
47552
diff
changeset
|
131 |
template<> |
09c41c4913d9
8187977: Generalize Atomic::xchg to use templates
eosterlund
parents:
47552
diff
changeset
|
132 |
template<typename T> |
09c41c4913d9
8187977: Generalize Atomic::xchg to use templates
eosterlund
parents:
47552
diff
changeset
|
133 |
inline T Atomic::PlatformXchg<4>::operator()(T exchange_value, |
09c41c4913d9
8187977: Generalize Atomic::xchg to use templates
eosterlund
parents:
47552
diff
changeset
|
134 |
T volatile* dest) const { |
09c41c4913d9
8187977: Generalize Atomic::xchg to use templates
eosterlund
parents:
47552
diff
changeset
|
135 |
STATIC_ASSERT(4 == sizeof(T)); |
42664 | 136 |
#ifdef AARCH64 |
47578
09c41c4913d9
8187977: Generalize Atomic::xchg to use templates
eosterlund
parents:
47552
diff
changeset
|
137 |
T old_val; |
42664 | 138 |
int tmp; |
139 |
__asm__ volatile( |
|
140 |
"1:\n\t" |
|
141 |
" ldaxr %w[old_val], [%[dest]]\n\t" |
|
142 |
" stlxr %w[tmp], %w[new_val], [%[dest]]\n\t" |
|
143 |
" cbnz %w[tmp], 1b\n\t" |
|
144 |
: [old_val] "=&r" (old_val), [tmp] "=&r" (tmp) |
|
145 |
: [new_val] "r" (exchange_value), [dest] "r" (dest) |
|
146 |
: "memory"); |
|
147 |
return old_val; |
|
148 |
#else |
|
47578
09c41c4913d9
8187977: Generalize Atomic::xchg to use templates
eosterlund
parents:
47552
diff
changeset
|
149 |
return xchg_using_helper<jint>(os::atomic_xchg_func, exchange_value, dest); |
42664 | 150 |
#endif |
151 |
} |
|
152 |
||
153 |
#ifdef AARCH64 |
|
47578
09c41c4913d9
8187977: Generalize Atomic::xchg to use templates
eosterlund
parents:
47552
diff
changeset
|
154 |
template<> |
09c41c4913d9
8187977: Generalize Atomic::xchg to use templates
eosterlund
parents:
47552
diff
changeset
|
155 |
template<typename T> |
09c41c4913d9
8187977: Generalize Atomic::xchg to use templates
eosterlund
parents:
47552
diff
changeset
|
156 |
inline T Atomic::PlatformXchg<8>::operator()(T exchange_value, |
09c41c4913d9
8187977: Generalize Atomic::xchg to use templates
eosterlund
parents:
47552
diff
changeset
|
157 |
T volatile* dest) const { |
09c41c4913d9
8187977: Generalize Atomic::xchg to use templates
eosterlund
parents:
47552
diff
changeset
|
158 |
STATIC_ASSERT(8 == sizeof(T)); |
09c41c4913d9
8187977: Generalize Atomic::xchg to use templates
eosterlund
parents:
47552
diff
changeset
|
159 |
T old_val; |
42664 | 160 |
int tmp; |
161 |
__asm__ volatile( |
|
162 |
"1:\n\t" |
|
163 |
" ldaxr %[old_val], [%[dest]]\n\t" |
|
164 |
" stlxr %w[tmp], %[new_val], [%[dest]]\n\t" |
|
165 |
" cbnz %w[tmp], 1b\n\t" |
|
166 |
: [old_val] "=&r" (old_val), [tmp] "=&r" (tmp) |
|
167 |
: [new_val] "r" (exchange_value), [dest] "r" (dest) |
|
168 |
: "memory"); |
|
169 |
return old_val; |
|
170 |
} |
|
47578
09c41c4913d9
8187977: Generalize Atomic::xchg to use templates
eosterlund
parents:
47552
diff
changeset
|
171 |
#endif // AARCH64 |
42664 | 172 |
|
173 |
// The memory_order parameter is ignored - we always provide the strongest/most-conservative ordering |
|
174 |
||
46958
a13bd8c6b7a2
8186166: Generalize Atomic::cmpxchg with templates
eosterlund
parents:
46523
diff
changeset
|
175 |
// No direct support for cmpxchg of bytes; emulate using int. |
a13bd8c6b7a2
8186166: Generalize Atomic::cmpxchg with templates
eosterlund
parents:
46523
diff
changeset
|
176 |
template<> |
a13bd8c6b7a2
8186166: Generalize Atomic::cmpxchg with templates
eosterlund
parents:
46523
diff
changeset
|
177 |
struct Atomic::PlatformCmpxchg<1> : Atomic::CmpxchgByteUsingInt {}; |
a13bd8c6b7a2
8186166: Generalize Atomic::cmpxchg with templates
eosterlund
parents:
46523
diff
changeset
|
178 |
|
a13bd8c6b7a2
8186166: Generalize Atomic::cmpxchg with templates
eosterlund
parents:
46523
diff
changeset
|
179 |
#ifndef AARCH64 |
a13bd8c6b7a2
8186166: Generalize Atomic::cmpxchg with templates
eosterlund
parents:
46523
diff
changeset
|
180 |
|
a13bd8c6b7a2
8186166: Generalize Atomic::cmpxchg with templates
eosterlund
parents:
46523
diff
changeset
|
181 |
inline jint reorder_cmpxchg_func(jint exchange_value, |
a13bd8c6b7a2
8186166: Generalize Atomic::cmpxchg with templates
eosterlund
parents:
46523
diff
changeset
|
182 |
jint volatile* dest, |
a13bd8c6b7a2
8186166: Generalize Atomic::cmpxchg with templates
eosterlund
parents:
46523
diff
changeset
|
183 |
jint compare_value) { |
a13bd8c6b7a2
8186166: Generalize Atomic::cmpxchg with templates
eosterlund
parents:
46523
diff
changeset
|
184 |
// Warning: Arguments are swapped to avoid moving them for kernel call |
a13bd8c6b7a2
8186166: Generalize Atomic::cmpxchg with templates
eosterlund
parents:
46523
diff
changeset
|
185 |
return (*os::atomic_cmpxchg_func)(compare_value, exchange_value, dest); |
a13bd8c6b7a2
8186166: Generalize Atomic::cmpxchg with templates
eosterlund
parents:
46523
diff
changeset
|
186 |
} |
a13bd8c6b7a2
8186166: Generalize Atomic::cmpxchg with templates
eosterlund
parents:
46523
diff
changeset
|
187 |
|
a13bd8c6b7a2
8186166: Generalize Atomic::cmpxchg with templates
eosterlund
parents:
46523
diff
changeset
|
188 |
inline jlong reorder_cmpxchg_long_func(jlong exchange_value, |
a13bd8c6b7a2
8186166: Generalize Atomic::cmpxchg with templates
eosterlund
parents:
46523
diff
changeset
|
189 |
jlong volatile* dest, |
a13bd8c6b7a2
8186166: Generalize Atomic::cmpxchg with templates
eosterlund
parents:
46523
diff
changeset
|
190 |
jlong compare_value) { |
a13bd8c6b7a2
8186166: Generalize Atomic::cmpxchg with templates
eosterlund
parents:
46523
diff
changeset
|
191 |
assert(VM_Version::supports_cx8(), "Atomic compare and exchange jlong not supported on this architecture!"); |
a13bd8c6b7a2
8186166: Generalize Atomic::cmpxchg with templates
eosterlund
parents:
46523
diff
changeset
|
192 |
// Warning: Arguments are swapped to avoid moving them for kernel call |
a13bd8c6b7a2
8186166: Generalize Atomic::cmpxchg with templates
eosterlund
parents:
46523
diff
changeset
|
193 |
return (*os::atomic_cmpxchg_long_func)(compare_value, exchange_value, dest); |
a13bd8c6b7a2
8186166: Generalize Atomic::cmpxchg with templates
eosterlund
parents:
46523
diff
changeset
|
194 |
} |
a13bd8c6b7a2
8186166: Generalize Atomic::cmpxchg with templates
eosterlund
parents:
46523
diff
changeset
|
195 |
|
a13bd8c6b7a2
8186166: Generalize Atomic::cmpxchg with templates
eosterlund
parents:
46523
diff
changeset
|
196 |
#endif // !AARCH64 |
a13bd8c6b7a2
8186166: Generalize Atomic::cmpxchg with templates
eosterlund
parents:
46523
diff
changeset
|
197 |
|
a13bd8c6b7a2
8186166: Generalize Atomic::cmpxchg with templates
eosterlund
parents:
46523
diff
changeset
|
198 |
template<> |
a13bd8c6b7a2
8186166: Generalize Atomic::cmpxchg with templates
eosterlund
parents:
46523
diff
changeset
|
199 |
template<typename T> |
a13bd8c6b7a2
8186166: Generalize Atomic::cmpxchg with templates
eosterlund
parents:
46523
diff
changeset
|
200 |
inline T Atomic::PlatformCmpxchg<4>::operator()(T exchange_value, |
a13bd8c6b7a2
8186166: Generalize Atomic::cmpxchg with templates
eosterlund
parents:
46523
diff
changeset
|
201 |
T volatile* dest, |
a13bd8c6b7a2
8186166: Generalize Atomic::cmpxchg with templates
eosterlund
parents:
46523
diff
changeset
|
202 |
T compare_value, |
a13bd8c6b7a2
8186166: Generalize Atomic::cmpxchg with templates
eosterlund
parents:
46523
diff
changeset
|
203 |
cmpxchg_memory_order order) const { |
a13bd8c6b7a2
8186166: Generalize Atomic::cmpxchg with templates
eosterlund
parents:
46523
diff
changeset
|
204 |
STATIC_ASSERT(4 == sizeof(T)); |
42664 | 205 |
#ifdef AARCH64 |
46958
a13bd8c6b7a2
8186166: Generalize Atomic::cmpxchg with templates
eosterlund
parents:
46523
diff
changeset
|
206 |
T rv; |
42664 | 207 |
int tmp; |
208 |
__asm__ volatile( |
|
209 |
"1:\n\t" |
|
210 |
" ldaxr %w[rv], [%[dest]]\n\t" |
|
211 |
" cmp %w[rv], %w[cv]\n\t" |
|
212 |
" b.ne 2f\n\t" |
|
213 |
" stlxr %w[tmp], %w[ev], [%[dest]]\n\t" |
|
214 |
" cbnz %w[tmp], 1b\n\t" |
|
215 |
" b 3f\n\t" |
|
216 |
"2:\n\t" |
|
217 |
" dmb sy\n\t" |
|
218 |
"3:\n\t" |
|
219 |
: [rv] "=&r" (rv), [tmp] "=&r" (tmp) |
|
220 |
: [ev] "r" (exchange_value), [dest] "r" (dest), [cv] "r" (compare_value) |
|
221 |
: "memory"); |
|
222 |
return rv; |
|
223 |
#else |
|
46958
a13bd8c6b7a2
8186166: Generalize Atomic::cmpxchg with templates
eosterlund
parents:
46523
diff
changeset
|
224 |
return cmpxchg_using_helper<jint>(reorder_cmpxchg_func, exchange_value, dest, compare_value); |
42664 | 225 |
#endif |
226 |
} |
|
227 |
||
46958
a13bd8c6b7a2
8186166: Generalize Atomic::cmpxchg with templates
eosterlund
parents:
46523
diff
changeset
|
228 |
template<> |
a13bd8c6b7a2
8186166: Generalize Atomic::cmpxchg with templates
eosterlund
parents:
46523
diff
changeset
|
229 |
template<typename T> |
a13bd8c6b7a2
8186166: Generalize Atomic::cmpxchg with templates
eosterlund
parents:
46523
diff
changeset
|
230 |
inline T Atomic::PlatformCmpxchg<8>::operator()(T exchange_value, |
a13bd8c6b7a2
8186166: Generalize Atomic::cmpxchg with templates
eosterlund
parents:
46523
diff
changeset
|
231 |
T volatile* dest, |
a13bd8c6b7a2
8186166: Generalize Atomic::cmpxchg with templates
eosterlund
parents:
46523
diff
changeset
|
232 |
T compare_value, |
a13bd8c6b7a2
8186166: Generalize Atomic::cmpxchg with templates
eosterlund
parents:
46523
diff
changeset
|
233 |
cmpxchg_memory_order order) const { |
a13bd8c6b7a2
8186166: Generalize Atomic::cmpxchg with templates
eosterlund
parents:
46523
diff
changeset
|
234 |
STATIC_ASSERT(8 == sizeof(T)); |
42664 | 235 |
#ifdef AARCH64 |
46958
a13bd8c6b7a2
8186166: Generalize Atomic::cmpxchg with templates
eosterlund
parents:
46523
diff
changeset
|
236 |
T rv; |
42664 | 237 |
int tmp; |
238 |
__asm__ volatile( |
|
239 |
"1:\n\t" |
|
240 |
" ldaxr %[rv], [%[dest]]\n\t" |
|
241 |
" cmp %[rv], %[cv]\n\t" |
|
242 |
" b.ne 2f\n\t" |
|
243 |
" stlxr %w[tmp], %[ev], [%[dest]]\n\t" |
|
244 |
" cbnz %w[tmp], 1b\n\t" |
|
245 |
" b 3f\n\t" |
|
246 |
"2:\n\t" |
|
247 |
" dmb sy\n\t" |
|
248 |
"3:\n\t" |
|
249 |
: [rv] "=&r" (rv), [tmp] "=&r" (tmp) |
|
250 |
: [ev] "r" (exchange_value), [dest] "r" (dest), [cv] "r" (compare_value) |
|
251 |
: "memory"); |
|
252 |
return rv; |
|
253 |
#else |
|
46958
a13bd8c6b7a2
8186166: Generalize Atomic::cmpxchg with templates
eosterlund
parents:
46523
diff
changeset
|
254 |
return cmpxchg_using_helper<jlong>(reorder_cmpxchg_long_func, exchange_value, dest, compare_value); |
42664 | 255 |
#endif |
256 |
} |
|
257 |
||
258 |
#endif // OS_CPU_LINUX_ARM_VM_ATOMIC_LINUX_ARM_HPP |