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 inline jlong Atomic::cmpxchg (jlong exchange_value, volatile jlong* dest, jlong compare_value) {
127 return (*os::atomic_cmpxchg_long_func)(exchange_value, dest, compare_value);
128 }
129
130 inline intptr_t Atomic::cmpxchg_ptr(intptr_t exchange_value, volatile intptr_t* dest, intptr_t compare_value) {
131 return (intptr_t)cmpxchg((jlong)exchange_value, (volatile jlong*)dest, (jlong)compare_value);
132 }
133
134 inline void* Atomic::cmpxchg_ptr(void* exchange_value, volatile void* dest, void* compare_value) {
135 return (void*)cmpxchg((jlong)exchange_value, (volatile jlong*)dest, (jlong)compare_value);
136 }
137
138 inline jlong Atomic::load(volatile jlong* src) { return *src; }
139
140 #else // !AMD64
141
142 inline jint Atomic::add (jint add_value, volatile jint* dest) {
143 int mp = os::is_MP();
144 __asm {
145 mov edx, dest;
146 mov eax, add_value;
147 mov ecx, eax;
148 LOCK_IF_MP(mp)
149 xadd dword ptr [edx], eax;
150 add eax, ecx;
151 }
152 }
153
154 inline intptr_t Atomic::add_ptr(intptr_t add_value, volatile intptr_t* dest) {
155 return (intptr_t)add((jint)add_value, (volatile jint*)dest);
156 }
157
158 inline void* Atomic::add_ptr(intptr_t add_value, volatile void* dest) {
159 return (void*)add((jint)add_value, (volatile jint*)dest);
160 }
161
162 inline void Atomic::inc (volatile jint* dest) {
163 // alternative for InterlockedIncrement
164 int mp = os::is_MP();
165 __asm {
166 mov edx, dest;
167 LOCK_IF_MP(mp)
168 add dword ptr [edx], 1;
169 }
170 }
171
172 inline void Atomic::inc_ptr(volatile intptr_t* dest) {
173 inc((volatile jint*)dest);
174 }
175
176 inline void Atomic::inc_ptr(volatile void* dest) {
177 inc((volatile jint*)dest);
178 }
179
180 inline void Atomic::dec (volatile jint* dest) {
181 // alternative for InterlockedDecrement
182 int mp = os::is_MP();
183 __asm {
184 mov edx, dest;
185 LOCK_IF_MP(mp)
186 sub dword ptr [edx], 1;
187 }
188 }
189
190 inline void Atomic::dec_ptr(volatile intptr_t* dest) {
191 dec((volatile jint*)dest);
192 }
193
194 inline void Atomic::dec_ptr(volatile void* dest) {
195 dec((volatile jint*)dest);
196 }
197
198 inline jint Atomic::xchg (jint exchange_value, volatile jint* dest) {
199 // alternative for InterlockedExchange
200 __asm {
201 mov eax, exchange_value;
202 mov ecx, dest;
203 xchg eax, dword ptr [ecx];
204 }
205 }
206
207 inline intptr_t Atomic::xchg_ptr(intptr_t exchange_value, volatile intptr_t* dest) {
208 return (intptr_t)xchg((jint)exchange_value, (volatile jint*)dest);
209 }
210
211 inline void* Atomic::xchg_ptr(void* exchange_value, volatile void* dest) {
212 return (void*)xchg((jint)exchange_value, (volatile jint*)dest);
213 }
214
215 inline jint Atomic::cmpxchg (jint exchange_value, volatile jint* dest, jint compare_value) {
216 // alternative for InterlockedCompareExchange
217 int mp = os::is_MP();
218 __asm {
219 mov edx, dest
220 mov ecx, exchange_value
221 mov eax, compare_value
222 LOCK_IF_MP(mp)
223 cmpxchg dword ptr [edx], ecx
224 }
225 }
226
227 inline jlong Atomic::cmpxchg (jlong exchange_value, volatile jlong* dest, jlong compare_value) {
228 int mp = os::is_MP();
229 jint ex_lo = (jint)exchange_value;
230 jint ex_hi = *( ((jint*)&exchange_value) + 1 );
231 jint cmp_lo = (jint)compare_value;
232 jint cmp_hi = *( ((jint*)&compare_value) + 1 );
233 __asm {
234 push ebx
235 push edi
236 mov eax, cmp_lo
237 mov edx, cmp_hi
238 mov edi, dest
239 mov ebx, ex_lo
240 mov ecx, ex_hi
241 LOCK_IF_MP(mp)
242 cmpxchg8b qword ptr [edi]
243 pop edi
244 pop ebx
245 }
246 }
247
248 inline intptr_t Atomic::cmpxchg_ptr(intptr_t exchange_value, volatile intptr_t* dest, intptr_t compare_value) {
249 return (intptr_t)cmpxchg((jint)exchange_value, (volatile jint*)dest, (jint)compare_value);
250 }
251
252 inline void* Atomic::cmpxchg_ptr(void* exchange_value, volatile void* dest, void* compare_value) {
253 return (void*)cmpxchg((jint)exchange_value, (volatile jint*)dest, (jint)compare_value);
254 }
255
256 inline jlong Atomic::load(volatile jlong* src) {
257 volatile jlong dest;
258 volatile jlong* pdest = &dest;
259 __asm {
260 mov eax, src
261 fild qword ptr [eax]
262 mov eax, pdest
263 fistp qword ptr [eax]
264 }
265 return dest;
266 }
267
268 inline void Atomic::store(jlong store_value, volatile jlong* dest) {
269 volatile jlong* src = &store_value;
270 __asm {
271 mov eax, src
272 fild qword ptr [eax]
273 mov eax, dest
274 fistp qword ptr [eax]
275 }
276 }
277
278 inline void Atomic::store(jlong store_value, jlong* dest) {
279 Atomic::store(store_value, (volatile jlong*)dest);
280 }
281
282 #endif // AMD64
283
284 #pragma warning(default: 4035) // Enables warnings reporting missing return statement
285
286 #endif // OS_CPU_WINDOWS_X86_VM_ATOMIC_WINDOWS_X86_INLINE_HPP