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 0e678057f31b274fc8ac8ad9cfe2fe5391b5729a..93f483ad5a22aecfb805a3db2146f496e7be32f6 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 1a0f64eb926da4c4caab56c2c210efe3bb1f63ad..adeb88c4893acf4cb1aec0e916f3aa4fb7e9fec2 100644 (file)
--- a/src/include/storage/s_lock.h
+++ b/src/include/storage/s_lock.h
@@ -383,6 +383,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;
@@ -404,9 +410,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__ */
 
 
@@ -907,7 +954,7 @@ typedef int slock_t;
 #endif  /* _AIX */
 
 
-/* These are in s_lock.c */
+/* These are in sunstudio_(sparc|x86).s */
 
 
 #if defined(sun3)      /* Sun3 */