X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=includes%2Fstg%2FSMP.h;h=52fd6f1bc69b99dfc39c168e3e2d55451fb57cfe;hb=9c23f06f3eb925dca063d5102b0ced4a9afe795e;hp=b302f4886bdeaa234955519eaaed18cf0c3011b8;hpb=0ee6cfbe62211121fc84a9d2e500f414f9e397f7;p=ghc-hetmet.git diff --git a/includes/stg/SMP.h b/includes/stg/SMP.h index b302f48..52fd6f1 100644 --- a/includes/stg/SMP.h +++ b/includes/stg/SMP.h @@ -293,6 +293,12 @@ load_load_barrier(void) { #endif } +// Load a pointer from a memory location that might be being modified +// concurrently. This prevents the compiler from optimising away +// multiple loads of the memory location, as it might otherwise do in +// a busy wait loop for example. +#define VOLATILE_LOAD(p) (*((StgVolatilePtr)(p))) + /* ---------------------------------------------------------------------- */ #else /* !THREADED_RTS */ @@ -300,6 +306,7 @@ load_load_barrier(void) { #define store_load_barrier() /* nothing */ #define load_load_barrier() /* nothing */ +#if !IN_STG_CODE || IN_STGCRUN INLINE_HEADER StgWord xchg(StgPtr p, StgWord w) { @@ -308,7 +315,8 @@ xchg(StgPtr p, StgWord w) return old; } -STATIC_INLINE StgWord +EXTERN_INLINE StgWord cas(StgVolatilePtr p, StgWord o, StgWord n); +EXTERN_INLINE StgWord cas(StgVolatilePtr p, StgWord o, StgWord n) { StgWord result; @@ -330,6 +338,9 @@ atomic_dec(StgVolatilePtr p) { return --(*p); } +#endif + +#define VOLATILE_LOAD(p) ((StgWord)*((StgWord*)(p))) #endif /* !THREADED_RTS */