1 /*
2 * Copyright (c) 1999, 2014, Oracle and/or its affiliates. All rights reserved.
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_WINDOWS_X86_VM_ATOMIC_WINDOWS_X86_INLINE_HPP
26 #define OS_CPU_WINDOWS_X86_VM_ATOMIC_WINDOWS_X86_INLINE_HPP
27
28 #include "runtime/atomic.hpp"
29 #include "runtime/os.hpp"
30
31 // The following alternative implementations are needed because
32 // Windows 95 doesn't support (some of) the corresponding Windows NT
33 // calls. Furthermore, these versions allow inlining in the caller.
34 // (More precisely: The documentation for InterlockedExchange says
35 // it is supported for Windows 95. However, when single-stepping
36 // through the assembly code we cannot step into the routine and
37 // when looking at the routine address we see only garbage code.
38 // Better safe then sorry!). Was bug 7/31/98 (gri).
39 //
40 // Performance note: On uniprocessors, the 'lock' prefixes are not
41 // necessary (and expensive). We should generate separate cases if
42 // this becomes a performance problem.
43
44 #pragma warning(disable: 4035) // Disables warnings reporting missing return statement
45
46 inline void Atomic::store (jbyte store_value, jbyte* dest) { *dest = store_value; }
47 inline void Atomic::store (jshort store_value, jshort* dest) { *dest = store_value; }
48 inline void Atomic::store (jint store_value, jint* dest) { *dest = store_value; }
49
50 inline void Atomic::store_ptr(intptr_t store_value, intptr_t* dest) { *dest = store_value; }
51 inline void Atomic::store_ptr(void* store_value, void* dest) { *(void**)dest = store_value; }
52
53 inline void Atomic::store (jbyte store_value, volatile jbyte* dest) { *dest = store_value; }
54 inline void Atomic::store (jshort store_value, volatile jshort* dest) { *dest = store_value; }
55 inline void Atomic::store (jint store_value, volatile jint* dest) { *dest = store_value; }
56
57
58 inline void Atomic::store_ptr(intptr_t store_value, volatile intptr_t* dest) { *dest = store_value; }
59 inline void Atomic::store_ptr(void* store_value, volatile void* dest) { *(void* volatile *)dest = store_value; }
60
61 // Adding a lock prefix to an instruction on MP machine
62 // VC++ doesn't like the lock prefix to be on a single line
63 // so we can't insert a label after the lock prefix.
64 // By emitting a lock prefix, we can define a label after it.
65 #define LOCK_IF_MP(mp) __asm cmp mp, 0 \
66 __asm je L0 \
67 __asm _emit 0xF0 \
68 __asm L0:
69
70 #ifdef AMD64
71 inline void Atomic::store (jlong store_value, jlong* dest) { *dest = store_value; }
72 inline void Atomic::store (jlong store_value, volatile jlong* dest) { *dest = store_value; }
73
74 inline jint Atomic::add (jint add_value, volatile jint* dest) {
75 return (jint)(*os::atomic_add_func)(add_value, dest);
76 }
77
78 inline intptr_t Atomic::add_ptr(intptr_t add_value, volatile intptr_t* dest) {
79 return (intptr_t)(*os::atomic_add_ptr_func)(add_value, dest);
80 }
81
82 inline void* Atomic::add_ptr(intptr_t add_value, volatile void* dest) {
83 return (void*)(*os::atomic_add_ptr_func)(add_value, (volatile intptr_t*)dest);
84 }
85
86 inline void Atomic::inc (volatile jint* dest) {
87 (void)add (1, dest);
88 }
89
90 inline void Atomic::inc_ptr(volatile intptr_t* dest) {
91 (void)add_ptr(1, dest);
92 }
93
94 inline void Atomic::inc_ptr(volatile void* dest) {
95 (void)add_ptr(1, dest);
96 }
97
98 inline void Atomic::dec (volatile jint* dest) {
99 (void)add (-1, dest);
100 }
101
102 inline void Atomic::dec_ptr(volatile intptr_t* dest) {
103 (void)add_ptr(-1, dest);
104 }
105
106 inline void Atomic::dec_ptr(volatile void* dest) {
107 (void)add_ptr(-1, dest);
108 }
109
110 inline jint Atomic::xchg (jint exchange_value, volatile jint* dest) {
111 return (jint)(*os::atomic_xchg_func)(exchange_value, dest);
112 }
113
114 inline intptr_t Atomic::xchg_ptr(intptr_t exchange_value, volatile intptr_t* dest) {
115 return (intptr_t)(os::atomic_xchg_ptr_func)(exchange_value, dest);
116 }
117
118 inline void* Atomic::xchg_ptr(void* exchange_value, volatile void* dest) {
119 return (void *)(os::atomic_xchg_ptr_func)((intptr_t)exchange_value, (volatile intptr_t*)dest);
120 }
121
122 inline jint Atomic::cmpxchg (jint exchange_value, volatile jint* dest, jint compare_value) {
123 return (*os::atomic_cmpxchg_func)(exchange_value, dest, compare_value);
124 }
125
126 #define VM_HAS_SPECIALIZED_CMPXCHG_BYTE
127 inline jbyte Atomic::cmpxchg (jbyte exchange_value, volatile jbyte* dest, jbyte compare_value) {
128 return (*os::atomic_cmpxchg_byte_func)(exchange_value, dest, compare_value);
129 }
130
131 inline jlong Atomic::cmpxchg (jlong exchange_value, volatile jlong* dest, jlong compare_value) {
132 return (*os::atomic_cmpxchg_long_func)(exchange_value, dest, compare_value);
133 }
134
135 inline intptr_t Atomic::cmpxchg_ptr(intptr_t exchange_value, volatile intptr_t* dest, intptr_t compare_value) {
136 return (intptr_t)cmpxchg((jlong)exchange_value, (volatile jlong*)dest, (jlong)compare_value);
137 }
138
139 inline void* Atomic::cmpxchg_ptr(void* exchange_value, volatile void* dest, void* compare_value) {
140 return (void*)cmpxchg((jlong)exchange_value, (volatile jlong*)dest, (jlong)compare_value);
141 }
142
143 inline jlong Atomic::load(volatile jlong* src) { return *src; }
144
145 #else // !AMD64
146
147 inline jint Atomic::add (jint add_value, volatile jint* dest) {
148 int mp = os::is_MP();
149 __asm {
150 mov edx, dest;
151 mov eax, add_value;
152 mov ecx, eax;
153 LOCK_IF_MP(mp)
154 xadd dword ptr [edx], eax;
155 add eax, ecx;
156 }
157 }
158
159 inline intptr_t Atomic::add_ptr(intptr_t add_value, volatile intptr_t* dest) {
160 return (intptr_t)add((jint)add_value, (volatile jint*)dest);
161 }
162
163 inline void* Atomic::add_ptr(intptr_t add_value, volatile void* dest) {
164 return (void*)add((jint)add_value, (volatile jint*)dest);
165 }
166
167 inline void Atomic::inc (volatile jint* dest) {
168 // alternative for InterlockedIncrement
169 int mp = os::is_MP();
170 __asm {
171 mov edx, dest;
172 LOCK_IF_MP(mp)
173 add dword ptr [edx], 1;
174 }
175 }
176
177 inline void Atomic::inc_ptr(volatile intptr_t* dest) {
178 inc((volatile jint*)dest);
179 }
180
181 inline void Atomic::inc_ptr(volatile void* dest) {
182 inc((volatile jint*)dest);
183 }
184
185 inline void Atomic::dec (volatile jint* dest) {
186 // alternative for InterlockedDecrement
187 int mp = os::is_MP();
188 __asm {
189 mov edx, dest;
190 LOCK_IF_MP(mp)
191 sub dword ptr [edx], 1;
192 }
193 }
194
195 inline void Atomic::dec_ptr(volatile intptr_t* dest) {
196 dec((volatile jint*)dest);
197 }
198
199 inline void Atomic::dec_ptr(volatile void* dest) {
200 dec((volatile jint*)dest);
201 }
202
203 inline jint Atomic::xchg (jint exchange_value, volatile jint* dest) {
204 // alternative for InterlockedExchange
205 __asm {
206 mov eax, exchange_value;
207 mov ecx, dest;
208 xchg eax, dword ptr [ecx];
209 }
210 }
211
212 inline intptr_t Atomic::xchg_ptr(intptr_t exchange_value, volatile intptr_t* dest) {
213 return (intptr_t)xchg((jint)exchange_value, (volatile jint*)dest);
214 }
215
216 inline void* Atomic::xchg_ptr(void* exchange_value, volatile void* dest) {
217 return (void*)xchg((jint)exchange_value, (volatile jint*)dest);
218 }
219
220 #define VM_HAS_SPECIALIZED_CMPXCHG_BYTE
221 inline jbyte Atomic::cmpxchg (jbyte exchange_value, volatile jbyte* dest, jbyte compare_value) {
222 // alternative for InterlockedCompareExchange
223 int mp = os::is_MP();
224 __asm {
225 mov edx, dest
226 mov cl, exchange_value
227 mov al, compare_value
228 LOCK_IF_MP(mp)
229 cmpxchg byte ptr [edx], cl
230 }
231 }
232
233 inline jint Atomic::cmpxchg (jint exchange_value, volatile jint* dest, jint compare_value) {
234 // alternative for InterlockedCompareExchange
235 int mp = os::is_MP();
236 __asm {
237 mov edx, dest
238 mov ecx, exchange_value
239 mov eax, compare_value
240 LOCK_IF_MP(mp)
241 cmpxchg dword ptr [edx], ecx
242 }
243 }
244
245 inline jlong Atomic::cmpxchg (jlong exchange_value, volatile jlong* dest, jlong compare_value) {
246 int mp = os::is_MP();
247 jint ex_lo = (jint)exchange_value;
248 jint ex_hi = *( ((jint*)&exchange_value) + 1 );
249 jint cmp_lo = (jint)compare_value;
250 jint cmp_hi = *( ((jint*)&compare_value) + 1 );
251 __asm {
252 push ebx
253 push edi
254 mov eax, cmp_lo
255 mov edx, cmp_hi
256 mov edi, dest
257 mov ebx, ex_lo
258 mov ecx, ex_hi
259 LOCK_IF_MP(mp)
260 cmpxchg8b qword ptr [edi]
261 pop edi
262 pop ebx
263 }
264 }
265
266 inline intptr_t Atomic::cmpxchg_ptr(intptr_t exchange_value, volatile intptr_t* dest, intptr_t compare_value) {
267 return (intptr_t)cmpxchg((jint)exchange_value, (volatile jint*)dest, (jint)compare_value);
268 }
269
270 inline void* Atomic::cmpxchg_ptr(void* exchange_value, volatile void* dest, void* compare_value) {
271 return (void*)cmpxchg((jint)exchange_value, (volatile jint*)dest, (jint)compare_value);
272 }
273
274 inline jlong Atomic::load(volatile jlong* src) {
275 volatile jlong dest;
276 volatile jlong* pdest = &dest;
277 __asm {
278 mov eax, src
279 fild qword ptr [eax]
280 mov eax, pdest
281 fistp qword ptr [eax]
282 }
283 return dest;
284 }
285
286 inline void Atomic::store(jlong store_value, volatile jlong* dest) {
287 volatile jlong* src = &store_value;
288 __asm {
289 mov eax, src
290 fild qword ptr [eax]
291 mov eax, dest
292 fistp qword ptr [eax]
293 }
294 }
295
296 inline void Atomic::store(jlong store_value, jlong* dest) {
297 Atomic::store(store_value, (volatile jlong*)dest);
298 }
299
300 #endif // AMD64
301
302 #pragma warning(default: 4035) // Enables warnings reporting missing return statement
303
304 #endif // OS_CPU_WINDOWS_X86_VM_ATOMIC_WINDOWS_X86_INLINE_HPP