Fix spinlock implementation for some !solaris sparc platforms.

Some Sparc CPUs can be run in various coherence models, ranging from
RMO (relaxed) over PSO (partial) to TSO (total). Solaris has always
run CPUs in TSO mode while in userland, but linux didn't use to and
the various *BSDs still don't. Unfortunately the sparc TAS/S_UNLOCK
were only correct under TSO. Fix that by adding the necessary memory
barrier instructions. On sparcv8+, which should be all relevant CPUs,
these are treated as NOPs if the current consistency model doesn't
require the barriers.

Discussion: 20140630222854.GW26930@awork2.anarazel.de

Will be backpatched to all released branches once a few buildfarm
cycles haven't shown up problems. As I've no access to sparc, this is
blindly written.

diff --git a/src/backend/port/tas/sunstudio_sparc.s b/src/backend/port/tas/sunstudio_sparc.s
index 486b7be167bf1d33357908f39b8090070d131b94..dcf54e2d418b3697792a89b6bd20ae3c478edb31 100644 (file)
--- a/src/backend/port/tas/sunstudio_sparc.s
+++ b/src/backend/port/tas/sunstudio_sparc.s
@@ -37,6 +37,8 @@ pg_atomic_cas:
        !
        !   http://cvs.opensolaris.org/source/xref/on/usr/src/lib/libc/sparc/threads/sparc.il
        !
+       ! NB: We're assuming we're running on a TSO system here - solaris
+       ! userland luckily always has done so.
 
 #if defined(__sparcv9) || defined(__sparcv8plus)
        cas     [%o0],%o2,%o1

diff --git a/src/include/storage/s_lock.h b/src/include/storage/s_lock.h
index ba4dfe12d8617635972d427f5e4ec033930f0a5f..7ad903860d16829b4cfcf1d88d6e96fee140bc88 100644 (file)
--- a/src/include/storage/s_lock.h
+++ b/src/include/storage/s_lock.h
@@ -393,6 +393,12 @@ tas(volatile slock_t *lock)
 
 
 #if defined(__sparc__)         /* Sparc */
+/*
+ * Solaris has always run sparc processors in TSO (total store) mode, but
+ * linux didn't use to and the *BSDs still don't. So, be careful about
+ * acquire/release semantics. The CPU will treat superflous membars as NOPs,
+ * so it's just code space.
+ */
 #define HAS_TEST_AND_SET
 
 typedef unsigned char slock_t;
@@ -414,9 +420,50 @@ tas(volatile slock_t *lock)
 :              "=r"(_res), "+m"(*lock)
 :              "r"(lock)
 :              "memory");
+#if defined(__sparcv7)
+       /*
+        * No stbar or membar available, luckily no actually produced hardware
+        * requires a barrier.
+        */
+#elif defined(__sparcv8)
+       /* stbar is available (and required for both PSO, RMO), membar isn't */
+       __asm__ __volatile__ ("stbar     \n":::"memory");
+#else
+       /*
+        * #LoadStore (RMO) | #LoadLoad (RMO) together are the appropriate acquire
+        * barrier for sparcv8+ upwards.
+        */
+       __asm__ __volatile__ ("membar #LoadStore | #LoadLoad \n":::"memory");
+#endif
        return (int) _res;
 }
 
+#if defined(__sparcv7)
+/*
+ * No stbar or membar available, luckily no actually produced hardware
+ * requires a barrier.
+ */
+#define S_UNLOCK(lock)         (*((volatile slock_t *) (lock)) = 0)
+#elif  __sparcv8
+/* stbar is available (and required for both PSO, RMO), membar isn't */
+#define S_UNLOCK(lock) \
+do \
+{ \
+       __asm__ __volatile__ ("stbar     \n":::"memory"); \
+       *((volatile slock_t *) (lock)) = 0; \
+} while (0)
+#else
+/*
+ * #LoadStore (RMO) | #StoreStore (RMO, PSO) together are the appropriate
+ * release barrier for sparcv8+ upwards.
+ */
+do \
+{ \
+       __asm__ __volatile__ ("membar #LoadStore | #StoreStore \n":::"memory"); \
+       *((volatile slock_t *) (lock)) = 0; \
+} while (0)
+#endif
+
 #endif  /* __sparc__ */
 
 
@@ -848,7 +895,7 @@ typedef int slock_t;
 #endif  /* _AIX */
 
 
-/* These are in s_lock.c */
+/* These are in sunstudio_(sparc|x86).s */
 
 #if defined(__SUNPRO_C) && (defined(__i386) || defined(__x86_64__) || defined(__sparc__) || defined(__sparc))
 #define HAS_TEST_AND_SET