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