X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fruntime%2Fx86-arch.h;h=ad87f45acd9f72cb392c30688594e66896b80aef;hb=83de338570dd0d867a9a247213ac16f0ab85c123;hp=1a51e6b43162bab7a7279071ac756af84b5bd4cd;hpb=4d633465231c79adeb3e4e59bf30c011d1d0e9dd;p=sbcl.git diff --git a/src/runtime/x86-arch.h b/src/runtime/x86-arch.h index 1a51e6b..ad87f45 100644 --- a/src/runtime/x86-arch.h +++ b/src/runtime/x86-arch.h @@ -12,13 +12,26 @@ #include "interr.h" /* for declaration of lose() */ #define ARCH_HAS_STACK_POINTER +#define ALIEN_STACK_GROWS_DOWNWARD /* FIXME: Do we also want * #define ARCH_HAS_FLOAT_REGISTERS * 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) + +#ifdef LISP_FEATURE_WIN32 +extern int os_number_of_processors; +#define yield_on_uniprocessor() \ + do { if (os_number_of_processors<=1) SwitchToThread(); } while(0) +#else +/* Stubs are better than ifdef EVERYWHERE. */ +#define yield_on_uniprocessor() \ + do {} while(0) +#endif + static inline void get_spinlock(volatile lispobj *word, unsigned long value) @@ -35,13 +48,16 @@ get_spinlock(volatile lispobj *word, unsigned long value) : "r" (value), "m" (*word) : "memory", "cc"); #else + if (eax!=0) { + asm volatile("rep; nop"); + } asm volatile ("xor %0,%0\n\ lock cmpxchg %1,%2" : "=a" (eax) : "r" (value), "m" (*word) : "memory", "cc"); #endif - + yield_on_uniprocessor(); } while(eax!=0); #else *word=value; @@ -51,11 +67,12 @@ 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) {