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 static uint32_t Atomic_compare_and_swap_32(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
  53         return result;
  54 }
  55
  56
  57 /**
  58  * An atomic compare and swap for 64-bit integer values.
  59  *
  60  * @param p      Pointer to memory address.
  61  * @param oldval Old value to be expected.
  62  * @param newval New value to be stored.
  63  *
  64  * @return value of the memory location before the store
  65  */
  66 inline static uint64_t Atomic_compare_and_swap_64(volatile uint64_t *p, uint64_t oldval, uint64_t newval)
  67 {
  68 #warning Should we use cmpxchg8b or a generic version?
  69         return 0;
  70 }
  71
  72
  73 /**
  74  * An atomic compare and swap for pointer values.
  75  *
  76  * @param p      Pointer to memory address.
  77  * @param oldval Old value to be expected.
  78  * @param newval New value to be stored.
  79  *
  80  * @return value of the memory location before the store
  81  */
  82 inline static void* Atomic_compare_and_swap_ptr(volatile void** p, void* oldval, void* newval)
  83 {
  84         return (void*) Atomic_compare_and_swap_32((volatile uint32_t*) p, (uint32_t) oldval, (uint32_t) newval);
  85 }
  86
  87
  88 /**
  89  * A memory barrier.
  90  */
  91 inline static void Atomic_memory_barrier(void)
  92 {
  93         __asm__ __volatile__ ("lock; add $0, 0(%%esp)" : : : "memory" );
  94 }
  95
  96
  97 #define STORE_ORDER_BARRIER() __asm__ __volatile__ ("" : : : "memory");
  98 #define MEMORY_BARRIER_AFTER_ATOMIC() /* nothing */
  99
 100 #endif // _MD_ATOMIC_HPP
 101
 102
 103 /*
 104  * These are local overrides for various environment variables in Emacs.
 105  * Please do not remove this and leave it at the end of the file, where
 106  * Emacs will automagically detect them.
 107  * ---------------------------------------------------------------------
 108  * Local variables:
 109  * mode: c++
 110  * indent-tabs-mode: t
 111  * c-basic-offset: 4
 112  * tab-width: 4
 113  * End:
 114  * vim:noexpandtab:sw=4:ts=4:
 115  */