[PATCH 1/4] score: Add libatomic support
Sebastian Huber
sebastian.huber at embedded-brains.de
Wed May 11 13:19:55 UTC 2016
Close #2695.
---
cpukit/score/Makefile.am | 1 +
cpukit/score/cpu/sparc/Makefile.am | 1 -
cpukit/score/cpu/sparc/sparcv8-atomic.c | 211 --------------------------------
cpukit/score/src/libatomic.c | 79 ++++++++++++
4 files changed, 80 insertions(+), 212 deletions(-)
delete mode 100644 cpukit/score/cpu/sparc/sparcv8-atomic.c
create mode 100644 cpukit/score/src/libatomic.c
diff --git a/cpukit/score/Makefile.am b/cpukit/score/Makefile.am
index 937a9ce..a5e1ed0 100644
--- a/cpukit/score/Makefile.am
+++ b/cpukit/score/Makefile.am
@@ -362,6 +362,7 @@ libscore_a_SOURCES += src/sched.c
libscore_a_SOURCES += src/semaphore.c
libscore_a_SOURCES += src/smpbarrierwait.c
libscore_a_SOURCES += src/kern_tc.c
+libscore_a_SOURCES += src/libatomic.c
EXTRA_DIST = src/Unlimited.txt
diff --git a/cpukit/score/cpu/sparc/Makefile.am b/cpukit/score/cpu/sparc/Makefile.am
index 8cf4f4a..edebbb6 100644
--- a/cpukit/score/cpu/sparc/Makefile.am
+++ b/cpukit/score/cpu/sparc/Makefile.am
@@ -14,7 +14,6 @@ libscorecpu_a_SOURCES = cpu.c cpu_asm.S
libscorecpu_a_SOURCES += sparc-context-volatile-clobber.S
libscorecpu_a_SOURCES += sparc-context-validate.S
libscorecpu_a_SOURCES += sparc-counter.c
-libscorecpu_a_SOURCES += sparcv8-atomic.c
libscorecpu_a_CPPFLAGS = $(AM_CPPFLAGS)
include $(srcdir)/preinstall.am
diff --git a/cpukit/score/cpu/sparc/sparcv8-atomic.c b/cpukit/score/cpu/sparc/sparcv8-atomic.c
deleted file mode 100644
index 2b3bdbc..0000000
--- a/cpukit/score/cpu/sparc/sparcv8-atomic.c
+++ /dev/null
@@ -1,211 +0,0 @@
-/*
- * Copyright (c) 2014-2015 embedded brains GmbH. All rights reserved.
- *
- * embedded brains GmbH
- * Dornierstr. 4
- * 82178 Puchheim
- * Germany
- * <rtems at embedded-brains.de>
- *
- * The license and distribution terms for this file may be
- * found in the file LICENSE in this distribution or at
- * http://www.rtems.org/license/LICENSE.
- */
-
-#if HAVE_CONFIG_H
- #include "config.h"
-#endif
-
-#include <rtems/score/cpuopts.h>
-#include <rtems/score/isrlevel.h>
-
-/*
- * This file is a dirty hack. A proper solution would be to add RTEMS support
- * for libatomic in GCC (see also libatomic/configure.tgt).
- */
-
-#if defined(RTEMS_SMP)
-static volatile uint32_t _SPARCV8_The_one_lock;
-
-static inline uint32_t _SPARCV8_Atomic_swap(
- volatile uint32_t *address,
- uint32_t value
-)
-{
- asm volatile (
- "swap [%2], %0"
- : "=r" (value)
- : "0" (value), "r" (address)
- : "memory"
- );
-
- return value;
-}
-#endif
-
-static ISR_Level _SPARCV8_Acquire_the_one_lock( void )
-{
- ISR_Level level;
-
- _ISR_Disable_without_giant( level );
-
-#if defined(RTEMS_SMP)
- do {
- while ( _SPARCV8_The_one_lock ) {
- /* Wait */
- }
- } while ( _SPARCV8_Atomic_swap( &_SPARCV8_The_one_lock, 1 ) );
-#endif
-
- return level;
-}
-
-static void _SPARCV8_Release_the_one_lock( ISR_Level level )
-{
-#if defined(RTEMS_SMP)
- _SPARCV8_The_one_lock = 0;
-#endif
- _ISR_Enable_without_giant( level );
-}
-
-uint8_t __atomic_exchange_1( uint8_t *mem, uint8_t val, int model )
-{
- uint8_t prev;
- ISR_Level level;
-
- level = _SPARCV8_Acquire_the_one_lock();
-
- prev = *mem;
- *mem = val;
-
- _SPARCV8_Release_the_one_lock( level );
-
- return prev;
-}
-
-/*
- * In order to get rid of the warning "conflicting types for built-in function
- * '__atomic_compare_exchange_4' [enabled by default]", you must port libatomic
- * to SPARC/RTEMS. The libatomic is provided by GCC.
- */
-uint32_t __atomic_exchange_4( uint32_t *mem, uint32_t val, int model )
-{
- uint32_t prev;
- ISR_Level level;
-
- level = _SPARCV8_Acquire_the_one_lock();
-
- prev = *mem;
- *mem = val;
-
- _SPARCV8_Release_the_one_lock( level );
-
- return prev;
-}
-
-/*
- * You get probably a warning here which can be ignored: "warning: conflicting
- * types for built-in function '__atomic_compare_exchange_4' [enabled by
- * default]"
- */
-bool __atomic_compare_exchange_4(
- uint32_t *mem,
- uint32_t *expected,
- uint32_t desired,
- int success,
- int failure
-)
-{
- bool equal;
- ISR_Level level;
- uint32_t actual;
-
- level = _SPARCV8_Acquire_the_one_lock();
-
- actual = *mem;
- equal = ( actual == *expected );
- if ( equal ) {
- *mem = desired;
- } else {
- *expected = actual;
- }
-
- _SPARCV8_Release_the_one_lock( level );
-
- return equal;
-}
-
-uint32_t __atomic_fetch_add_4( uint32_t *mem, uint32_t val, int model )
-{
- uint32_t prev;
- ISR_Level level;
-
- level = _SPARCV8_Acquire_the_one_lock();
-
- prev = *mem;
- *mem = prev + val;
-
- _SPARCV8_Release_the_one_lock( level );
-
- return prev;
-}
-
-uint32_t __atomic_fetch_sub_4( uint32_t *mem, uint32_t val, int model )
-{
- uint32_t prev;
- ISR_Level level;
-
- level = _SPARCV8_Acquire_the_one_lock();
-
- prev = *mem;
- *mem = prev - val;
-
- _SPARCV8_Release_the_one_lock( level );
-
- return prev;
-}
-
-uint32_t __atomic_fetch_and_4( uint32_t *mem, uint32_t val, int model )
-{
- uint32_t prev;
- ISR_Level level;
-
- level = _SPARCV8_Acquire_the_one_lock();
-
- prev = *mem;
- *mem = prev & val;
-
- _SPARCV8_Release_the_one_lock( level );
-
- return prev;
-}
-
-uint32_t __atomic_fetch_or_4( uint32_t *mem, uint32_t val, int model )
-{
- uint32_t prev;
- ISR_Level level;
-
- level = _SPARCV8_Acquire_the_one_lock();
-
- prev = *mem;
- *mem = prev | val;
-
- _SPARCV8_Release_the_one_lock( level );
-
- return prev;
-}
-
-uint32_t __atomic_fetch_xor_4( uint32_t *mem, uint32_t val, int model )
-{
- uint32_t prev;
- ISR_Level level;
-
- level = _SPARCV8_Acquire_the_one_lock();
-
- prev = *mem;
- *mem = prev ^ val;
-
- _SPARCV8_Release_the_one_lock( level );
-
- return prev;
-}
diff --git a/cpukit/score/src/libatomic.c b/cpukit/score/src/libatomic.c
new file mode 100644
index 0000000..871b2c2
--- /dev/null
+++ b/cpukit/score/src/libatomic.c
@@ -0,0 +1,79 @@
+/*
+ * Copyright (c) 2016 embedded brains GmbH. All rights reserved.
+ *
+ * embedded brains GmbH
+ * Dornierstr. 4
+ * 82178 Puchheim
+ * Germany
+ * <rtems at embedded-brains.de>
+ *
+ * The license and distribution terms for this file may be
+ * found in the file LICENSE in this distribution or at
+ * http://www.rtems.org/license/LICENSE.
+ */
+
+#if HAVE_CONFIG_H
+#include "config.h"
+#endif
+
+#include <machine/_libatomic.h>
+
+#include <rtems/score/apimutex.h>
+#include <rtems/score/atomic.h>
+#include <rtems/score/isrlevel.h>
+
+#if defined(RTEMS_SMP)
+/*
+ * For real SMP targets this is not useful. The main purpose is support for
+ * testing on simulators like SIS.
+ */
+static Atomic_Flag _Libatomic_The_one_lock = ATOMIC_INITIALIZER_FLAG;
+#endif
+
+__uint32_t _Libatomic_Protect_start( void *ptr )
+{
+ ISR_Level isr_level;
+
+ (void) ptr;
+ _ISR_Disable_without_giant( isr_level );
+
+#if defined(RTEMS_SMP)
+ while (
+ _Atomic_Flag_test_and_set( &_Libatomic_The_one_lock, ATOMIC_ORDER_SEQ_CST )
+ ) {
+ /* Next try. Yes, a TAS spin lock implementation is stupid. */
+ }
+#endif
+
+ return isr_level;
+}
+
+void _Libatomic_Protect_end( void *ptr, __uint32_t isr_level )
+{
+ (void) ptr;
+
+#if defined(RTEMS_SMP)
+ _Atomic_Flag_clear( &_Libatomic_The_one_lock, ATOMIC_ORDER_SEQ_CST );
+#endif
+
+ _ISR_Enable_without_giant( isr_level );
+}
+
+/*
+ * FIXME: The once lock should be only a temporary solution. We need a
+ * dedicated internal mutex for this.
+ */
+
+void _Libatomic_Lock_n( void *ptr, __size_t n )
+{
+ (void) ptr;
+ (void) n;
+ _Once_Lock();
+}
+
+void _Libatomic_Unlock_n( void *ptr, __size_t n )
+{
+ (void) ptr;
+ (void) n;
+ _Once_Unlock();
+}
--
1.8.4.5
More information about the devel
mailing list