X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fruntime%2Fx86-arch.h;h=1200ef1435578ad196bda0a0be0f7535799360bd;hb=34b6835722544ff2b49b11e2c7e085ac9fb0e3d7;hp=30363db9df20a1def6ecbd8c304d3526b52da293;hpb=7a79c7338b8c8fb6d84a275d7c0e51ce93150059;p=sbcl.git diff --git a/src/runtime/x86-arch.h b/src/runtime/x86-arch.h index 30363db..1200ef1 100644 --- a/src/runtime/x86-arch.h +++ b/src/runtime/x86-arch.h @@ -18,7 +18,8 @@ * here? (The answer wasn't obvious to me when merging the * architecture-abstracting patches for CSR's SPARC port. -- WHN 2002-02-15) */ -#include "interr.h" +#define COMPILER_BARRIER \ + do { __asm__ __volatile__ ( "" : : : "memory"); } while (0) static inline void get_spinlock(volatile lispobj *word, unsigned long value) @@ -29,13 +30,13 @@ get_spinlock(volatile lispobj *word, unsigned long value) lose("recursive get_spinlock: 0x%x,%ld\n",word,value); do { #if defined(LISP_FEATURE_DARWIN) - asm ("xor %0,%0;\n\ + asm volatile ("xor %0,%0;\n\ lock/cmpxchg %1,%2" : "=a" (eax) : "r" (value), "m" (*word) : "memory", "cc"); #else - asm ("xor %0,%0\n\ + asm volatile ("xor %0,%0\n\ lock cmpxchg %1,%2" : "=a" (eax) : "r" (value), "m" (*word) @@ -51,22 +52,23 @@ get_spinlock(volatile lispobj *word, unsigned long value) static inline void release_spinlock(volatile lispobj *word) { + /* See comment in RELEASE-SPINLOCK in target-thread.lisp. */ + COMPILER_BARRIER; *word=0; + COMPILER_BARRIER; } -#include - static inline lispobj swap_lispobjs(volatile lispobj *dest, lispobj value) { lispobj old_value; #if defined(LISP_FEATURE_DARWIN) - asm ("lock/xchg %0,(%1)" + asm volatile ("lock/xchg %0,(%1)" : "=r" (old_value) : "r" (dest), "0" (value) : "memory"); #else - asm ("lock xchg %0,(%1)" + asm volatile ("lock xchg %0,(%1)" : "=r" (old_value) : "r" (dest), "0" (value) : "memory");