1 /*
   2  * Copyright (c) 1999, 2017, 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_HPP
  26 #define OS_CPU_WINDOWS_X86_VM_ATOMIC_WINDOWS_X86_HPP
  27 
  28 #include "runtime/os.hpp"
  29 
  30 // The following alternative implementations are needed because
  31 // Windows 95 doesn't support (some of) the corresponding Windows NT
  32 // calls. Furthermore, these versions allow inlining in the caller.
  33 // (More precisely: The documentation for InterlockedExchange says
  34 // it is supported for Windows 95. However, when single-stepping
  35 // through the assembly code we cannot step into the routine and
  36 // when looking at the routine address we see only garbage code.
  37 // Better safe then sorry!). Was bug 7/31/98 (gri).
  38 //
  39 // Performance note: On uniprocessors, the 'lock' prefixes are not
  40 // necessary (and expensive). We should generate separate cases if
  41 // this becomes a performance problem.
  42 
  43 #pragma warning(disable: 4035) // Disables warnings reporting missing return statement
  44 
  45 inline void Atomic::store    (jbyte    store_value, jbyte*    dest) { *dest = store_value; }
  46 inline void Atomic::store    (jshort   store_value, jshort*   dest) { *dest = store_value; }
  47 inline void Atomic::store    (jint     store_value, jint*     dest) { *dest = store_value; }
  48 
  49 inline void Atomic::store_ptr(intptr_t store_value, intptr_t* dest) { *dest = store_value; }
  50 inline void Atomic::store_ptr(void*    store_value, void*     dest) { *(void**)dest = store_value; }
  51 
  52 inline void Atomic::store    (jbyte    store_value, volatile jbyte*    dest) { *dest = store_value; }
  53 inline void Atomic::store    (jshort   store_value, volatile jshort*   dest) { *dest = store_value; }
  54 inline void Atomic::store    (jint     store_value, volatile jint*     dest) { *dest = store_value; }
  55 
  56 
  57 inline void Atomic::store_ptr(intptr_t store_value, volatile intptr_t* dest) { *dest = store_value; }
  58 inline void Atomic::store_ptr(void*    store_value, volatile void*     dest) { *(void* volatile *)dest = store_value; }
  59 
  60 #ifdef AMD64
  61 inline void Atomic::store    (jlong    store_value, jlong*    dest) { *dest = store_value; }
  62 inline void Atomic::store    (jlong    store_value, volatile jlong*    dest) { *dest = store_value; }
  63 
  64 inline jint     Atomic::add    (jint     add_value, volatile jint*     dest) {
  65   return (jint)(*os::atomic_add_func)(add_value, dest);
  66 }
  67 
  68 inline intptr_t Atomic::add_ptr(intptr_t add_value, volatile intptr_t* dest) {
  69   return (intptr_t)(*os::atomic_add_ptr_func)(add_value, dest);
  70 }
  71 
  72 inline void*    Atomic::add_ptr(intptr_t add_value, volatile void*     dest) {
  73   return (void*)(*os::atomic_add_ptr_func)(add_value, (volatile intptr_t*)dest);
  74 }
  75 
  76 inline void Atomic::inc    (volatile jint*     dest) {
  77   (void)add    (1, dest);
  78 }
  79 
  80 inline void Atomic::inc_ptr(volatile intptr_t* dest) {
  81   (void)add_ptr(1, dest);
  82 }
  83 
  84 inline void Atomic::inc_ptr(volatile void*     dest) {
  85   (void)add_ptr(1, dest);
  86 }
  87 
  88 inline void Atomic::dec    (volatile jint*     dest) {
  89   (void)add    (-1, dest);
  90 }
  91 
  92 inline void Atomic::dec_ptr(volatile intptr_t* dest) {
  93   (void)add_ptr(-1, dest);
  94 }
  95 
  96 inline void Atomic::dec_ptr(volatile void*     dest) {
  97   (void)add_ptr(-1, dest);
  98 }
  99 
 100 inline jint     Atomic::xchg    (jint     exchange_value, volatile jint*     dest) {
 101   return (jint)(*os::atomic_xchg_func)(exchange_value, dest);
 102 }
 103 
 104 inline intptr_t Atomic::xchg_ptr(intptr_t exchange_value, volatile intptr_t* dest) {
 105   return (intptr_t)(os::atomic_xchg_ptr_func)(exchange_value, dest);
 106 }
 107 
 108 inline void*    Atomic::xchg_ptr(void*    exchange_value, volatile void*     dest) {
 109   return (void *)(os::atomic_xchg_ptr_func)((intptr_t)exchange_value, (volatile intptr_t*)dest);
 110 }
 111 
 112 #define DEFINE_STUB_CMPXCHG(ByteSize, StubType, StubName)               \
 113   template<>                                                            \
 114   template<typename T>                                                  \
 115   inline T Atomic::PlatformCmpxchg<ByteSize>::operator()(T exchange_value, \
 116                                                          T volatile* dest, \
 117                                                          T compare_value, \
 118                                                          cmpxchg_memory_order order) const { \
 119     return cmpxchg_using_stub<StubType>(StubName, exchange_value, dest, compare_value); \
 120 }
 121 
 122 DEFINE_STUB_CMPXCHG(1, jbyte, os::atomic_cmpxchg_byte_func)
 123 DEFINE_STUB_CMPXCHG(4, jint,  os::atomic_cmpxchg_func)
 124 DEFINE_STUB_CMPXCHG(8, jlong, os::atomic_cmpxchg_long_func)
 125 
 126 #undef DEFINE_STUB_CMPXCHG
 127 
 128 inline jlong Atomic::load(const volatile jlong* src) { return *src; }
 129 
 130 #else // !AMD64
 131 
 132 inline jint     Atomic::add    (jint     add_value, volatile jint*     dest) {
 133   __asm {
 134     mov edx, dest;
 135     mov eax, add_value;
 136     mov ecx, eax;
 137     lock xadd dword ptr [edx], eax;
 138     add eax, ecx;
 139   }
 140 }
 141 
 142 inline intptr_t Atomic::add_ptr(intptr_t add_value, volatile intptr_t* dest) {
 143   return (intptr_t)add((jint)add_value, (volatile jint*)dest);
 144 }
 145 
 146 inline void*    Atomic::add_ptr(intptr_t add_value, volatile void*     dest) {
 147   return (void*)add((jint)add_value, (volatile jint*)dest);
 148 }
 149 
 150 inline void Atomic::inc    (volatile jint*     dest) {
 151   // alternative for InterlockedIncrement
 152   __asm {
 153     mov edx, dest;
 154     lock add dword ptr [edx], 1;
 155   }
 156 }
 157 
 158 inline void Atomic::inc_ptr(volatile intptr_t* dest) {
 159   inc((volatile jint*)dest);
 160 }
 161 
 162 inline void Atomic::inc_ptr(volatile void*     dest) {
 163   inc((volatile jint*)dest);
 164 }
 165 
 166 inline void Atomic::dec    (volatile jint*     dest) {
 167   // alternative for InterlockedDecrement
 168   __asm {
 169     mov edx, dest;
 170     lock sub dword ptr [edx], 1;
 171   }
 172 }
 173 
 174 inline void Atomic::dec_ptr(volatile intptr_t* dest) {
 175   dec((volatile jint*)dest);
 176 }
 177 
 178 inline void Atomic::dec_ptr(volatile void*     dest) {
 179   dec((volatile jint*)dest);
 180 }
 181 
 182 inline jint     Atomic::xchg    (jint     exchange_value, volatile jint*     dest) {
 183   // alternative for InterlockedExchange
 184   __asm {
 185     mov eax, exchange_value;
 186     mov ecx, dest;
 187     xchg eax, dword ptr [ecx];
 188   }
 189 }
 190 
 191 inline intptr_t Atomic::xchg_ptr(intptr_t exchange_value, volatile intptr_t* dest) {
 192   return (intptr_t)xchg((jint)exchange_value, (volatile jint*)dest);
 193 }
 194 
 195 inline void*    Atomic::xchg_ptr(void*    exchange_value, volatile void*     dest) {
 196   return (void*)xchg((jint)exchange_value, (volatile jint*)dest);
 197 }
 198 
 199 template<>
 200 template<typename T>
 201 inline T Atomic::PlatformCmpxchg<1>::operator()(T exchange_value,
 202                                                 T volatile* dest,
 203                                                 T compare_value,
 204                                                 cmpxchg_memory_order order) const {
 205   STATIC_ASSERT(1 == sizeof(T));
 206   // alternative for InterlockedCompareExchange
 207   __asm {
 208     mov edx, dest
 209     mov cl, exchange_value
 210     mov al, compare_value
 211     lock cmpxchg byte ptr [edx], cl
 212   }
 213 }
 214 
 215 template<>
 216 template<typename T>
 217 inline T Atomic::PlatformCmpxchg<4>::operator()(T exchange_value,
 218                                                 T volatile* dest,
 219                                                 T compare_value,
 220                                                 cmpxchg_memory_order order) const {
 221   STATIC_ASSERT(4 == sizeof(T));
 222   // alternative for InterlockedCompareExchange
 223   __asm {
 224     mov edx, dest
 225     mov ecx, exchange_value
 226     mov eax, compare_value
 227     lock cmpxchg dword ptr [edx], ecx
 228   }
 229 }
 230 
 231 template<>
 232 template<typename T>
 233 inline T Atomic::PlatformCmpxchg<8>::operator()(T exchange_value,
 234                                                 T volatile* dest,
 235                                                 T compare_value,
 236                                                 cmpxchg_memory_order order) const {
 237   STATIC_ASSERT(8 == sizeof(T));
 238   jint ex_lo  = (jint)exchange_value;
 239   jint ex_hi  = *( ((jint*)&exchange_value) + 1 );
 240   jint cmp_lo = (jint)compare_value;
 241   jint cmp_hi = *( ((jint*)&compare_value) + 1 );
 242   __asm {
 243     push ebx
 244     push edi
 245     mov eax, cmp_lo
 246     mov edx, cmp_hi
 247     mov edi, dest
 248     mov ebx, ex_lo
 249     mov ecx, ex_hi
 250     lock cmpxchg8b qword ptr [edi]
 251     pop edi
 252     pop ebx
 253   }
 254 }
 255 
 256 inline jlong Atomic::load(const 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_HPP