src/vm/jit/i386/md-atomic.hpp

   1 /* src/vm/jit/i386/atomic.hpp - i386 atomic instructions
   2
   3    Copyright (C) 2008
   4    CACAOVM - Verein zur Foerderung der freien virtuellen Maschine CACAO
   5
   6    This file is part of CACAO.
   7
   8    This program is free software; you can redistribute it and/or
   9    modify it under the terms of the GNU General Public License as
  10    published by the Free Software Foundation; either version 2, or (at
  11    your option) any later version.
  12
  13    This program is distributed in the hope that it will be useful, but
  14    WITHOUT ANY WARRANTY; without even the implied warranty of
  15    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
  16    General Public License for more details.
  17
  18    You should have received a copy of the GNU General Public License
  19    along with this program; if not, write to the Free Software
  20    Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
  21    02110-1301, USA.
  22
  23 */
  24
  25
  26 #ifndef _MD_ATOMIC_HPP
  27 #define _MD_ATOMIC_HPP
  28
  29 #include "config.h"
  30
  31 #include <stdint.h>
  32
  33 #include "threads/atomic.hpp"
  34
  35
  36 /**
  37  * An atomic compare and swap for 32-bit integer values.
  38  *
  39  * @param p      Pointer to memory address.
  40  * @param oldval Old value to be expected.
  41  * @param newval New value to be stored.
  42  *
  43  * @return value of the memory location before the store
  44  */
  45 inline uint32_t Atomic::compare_and_swap(volatile uint32_t *p, uint32_t oldval, uint32_t newval)
  46 {
  47         uint32_t result;
  48
  49         __asm__ __volatile__ ("lock; cmpxchgl %2, %1"
  50                                                   : "=a" (result), "=m" (*p)
  51                                                   : "r" (newval), "m" (*p), "0" (oldval)
  52                                                   : "cc");
  53
  54         return result;
  55 }
  56
  57
  58 /**
  59  * An atomic compare and swap for 64-bit integer values.
  60  *
  61  * @param p      Pointer to memory address.
  62  * @param oldval Old value to be expected.
  63  * @param newval New value to be stored.
  64  *
  65  * @return value of the memory location before the store
  66  */
  67 inline uint64_t Atomic::compare_and_swap(volatile uint64_t *p, uint64_t oldval, uint64_t newval)
  68 {
  69 #warning Should we use cmpxchg8b or a generic version?
  70         return generic_compare_and_swap(p, oldval, newval);
  71 }
  72
  73
  74 /**
  75  * An atomic compare and swap for pointer values.
  76  *
  77  * @param p      Pointer to memory address.
  78  * @param oldval Old value to be expected.
  79  * @param newval New value to be stored.
  80  *
  81  * @return value of the memory location before the store
  82  */
  83 inline void* Atomic::compare_and_swap(volatile void** p, void* oldval, void* newval)
  84 {
  85         return (void*) compare_and_swap((volatile uint32_t*) p, (uint32_t) oldval, (uint32_t) newval);
  86 }
  87
  88
  89 /**
  90  * A memory barrier.
  91  */
  92 inline void Atomic::memory_barrier(void)
  93 {
  94         __asm__ __volatile__ ("lock; add $0, 0(%%esp)" : : : "memory" );
  95 }
  96
  97
  98 /**
  99  * A write memory barrier.
 100  */
 101 inline void Atomic::write_memory_barrier(void)
 102 {
 103         __asm__ __volatile__ ("" : : : "memory");
 104 }
 105
 106
 107 /**
 108  * An instruction barrier.
 109  */
 110 inline void Atomic::instruction_barrier(void)
 111 {
 112         // We need the "memory" constraint here because compare_and_swap does not
 113         // have it.
 114         __asm__ __volatile__ ("" : : : "memory");
 115 }
 116
 117 #endif // _MD_ATOMIC_HPP
 118
 119
 120 /*
 121  * These are local overrides for various environment variables in Emacs.
 122  * Please do not remove this and leave it at the end of the file, where
 123  * Emacs will automagically detect them.
 124  * ---------------------------------------------------------------------
 125  * Local variables:
 126  * mode: c++
 127  * indent-tabs-mode: t
 128  * c-basic-offset: 4
 129  * tab-width: 4
 130  * End:
 131  * vim:noexpandtab:sw=4:ts=4:
 132  */