fix broken atomic store on powerpc[64]
authorRich Felker <dalias@aerifal.cx>
Fri, 14 Sep 2018 14:47:16 +0000 (10:47 -0400)
committerRich Felker <dalias@aerifal.cx>
Fri, 14 Sep 2018 14:47:16 +0000 (10:47 -0400)
in our memory model, all atomics are supposed to be full barriers;
stores are not release-only. this is important because store is used
as an unlock operation in places where it needs to acquire the waiter
count to determine if a futex wake is needed. at least in the
malloc-internal locks, but possibly elsewhere, soft deadlocks from
missing futex wake (breakable by poking the threads to restart the
syscall, e.g. by attaching a tracer) were reported to occur.

once the malloc lock is replaced with Jens Gustedt's new lock
implementation (see commit 47d0bcd4762f223364e5b58d5a381aaa0cbd7c38),
malloc will not be affected by the issue, but it's not clear that
other uses won't be. reducing the strength of the ordering properties
required from a_store would require a thorough analysis of how it's
used.

to fix the problem, I'm removing the powerpc[64]-specific a_store
definition; now, the top-level atomic.h will implement a_store using
a_barrier on both sides of the store.

it's not clear to me yet whether there might be issues with the other
atomics. it's possible that a_post_llsc needs to be replaced with a
full barrier to guarantee the formal semanics we want, but either way
I think the difference is unlikely to impact the way we use them.

arch/powerpc/atomic_arch.h
arch/powerpc64/atomic_arch.h

index 5b65cde7dccd4e320c2bec4edcdb26b03de646f5..c267391975078d3dc04c8cbc4880c1819d6899ae 100644 (file)
@@ -30,14 +30,6 @@ static inline void a_post_llsc()
        __asm__ __volatile__ ("isync" : : : "memory");
 }
 
-#define a_store a_store
-static inline void a_store(volatile int *p, int v)
-{
-       a_pre_llsc();
-       *p = v;
-       a_post_llsc();
-}
-
 #define a_clz_32 a_clz_32
 static inline int a_clz_32(uint32_t x)
 {
index 17cababdc977940f43995aadc33cc3546cbc6fd3..2bed82be2c434806d3307db415b5b85516780f7b 100644 (file)
@@ -48,14 +48,6 @@ static inline void a_post_llsc()
        __asm__ __volatile__ ("isync" : : : "memory");
 }
 
-#define a_store a_store
-static inline void a_store(volatile int *p, int v)
-{
-       a_pre_llsc();
-       *p = v;
-       a_post_llsc();
-}
-
 #define a_crash a_crash
 static inline void a_crash()
 {