[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[RFC PATCH v2 13/15] xen/arm32: port Linux's arm32 atomic.h to Xen



From: Ash Wilding <ash.j.wilding@xxxxxxxxx>

 - Drop arch_* prefixes.

 - Redirect include of <xen/compiler.h> to <xen/rwonce.h>, and swap
   usage of READ_ONCE()/WRITE_ONCE() to the __* versions accordingly.
   As discussed earlier in the series, we can do this because we're
   accessing an atomic_t's counter member, which is an int, so the
   extra checks performed by READ_ONCE()/WRITE_ONCE() are redundant,
   and this actually matches the Linux arm64 code which already uses
   the __* variants.

 - Drop support for pre-Armv7 systems.

 - Drop atomic64_t helper definitions as we don't currently have an
   atomic64_t in Xen.

 - Add explicit strict variants of atomic_{add,sub}_return() as Linux
   does not define these for arm32 and they're needed for Xen. These
   strict variants are just wrappers that sandwich a call to the
   relaxed variants between two smp_mb()'s.'

Signed-off-by: Ash Wilding <ash.j.wilding@xxxxxxxxx>
---
 xen/include/asm-arm/arm32/atomic.h | 357 +++--------------------------
 1 file changed, 28 insertions(+), 329 deletions(-)

diff --git a/xen/include/asm-arm/arm32/atomic.h 
b/xen/include/asm-arm/arm32/atomic.h
index ac6338dd9b..2d8cd3c586 100644
--- a/xen/include/asm-arm/arm32/atomic.h
+++ b/xen/include/asm-arm/arm32/atomic.h
@@ -1,31 +1,26 @@
-/* SPDX-License-Identifier: GPL-2.0-only */
 /*
- *  arch/arm/include/asm/atomic.h
+ * Taken from Linux 5.10-rc2 (last commit 3cea11cd5)
  *
- *  Copyright (C) 1996 Russell King.
- *  Copyright (C) 2002 Deep Blue Solutions Ltd.
+ * Copyright (C) 1996 Russell King.
+ * Copyright (C) 2002 Deep Blue Solutions Ltd.
+ * SPDX-License-Identifier: GPL-2.0-only
  */
-#ifndef __ASM_ARM_ATOMIC_H
-#define __ASM_ARM_ATOMIC_H
+#ifndef __ASM_ARM_ARM32_ATOMIC_H
+#define __ASM_ARM_ARM32_ATOMIC_H
 
-#include <linux/compiler.h>
-#include <linux/prefetch.h>
-#include <linux/types.h>
-#include <linux/irqflags.h>
-#include <asm/barrier.h>
-#include <asm/cmpxchg.h>
-
-#ifdef __KERNEL__
+#include <xen/rwonce.h>
+#include <xen/prefetch.h>
+#include <xen/types.h>
+#include "system.h"
+#include "cmpxchg.h"
 
 /*
  * On ARM, ordinary assignment (str instruction) doesn't clear the local
  * strex/ldrex monitor on some implementations. The reason we can use it for
  * atomic_set() is the clrex or dummy strex done on every exception return.
  */
-#define atomic_read(v) READ_ONCE((v)->counter)
-#define atomic_set(v,i)        WRITE_ONCE(((v)->counter), (i))
-
-#if __LINUX_ARM_ARCH__ >= 6
+#define atomic_read(v) __READ_ONCE((v)->counter)
+#define atomic_set(v,i)        __WRITE_ONCE(((v)->counter), (i))
 
 /*
  * ARMv6 UP and SMP safe atomic ops.  We use load exclusive and
@@ -153,68 +148,6 @@ static inline int atomic_fetch_add_unless(atomic_t *v, int 
a, int u)
 }
 #define atomic_fetch_add_unless                atomic_fetch_add_unless
 
-#else /* ARM_ARCH_6 */
-
-#ifdef CONFIG_SMP
-#error SMP not supported on pre-ARMv6 CPUs
-#endif
-
-#define ATOMIC_OP(op, c_op, asm_op)                                    \
-static inline void atomic_##op(int i, atomic_t *v)                     \
-{                                                                      \
-       unsigned long flags;                                            \
-                                                                       \
-       raw_local_irq_save(flags);                                      \
-       v->counter c_op i;                                              \
-       raw_local_irq_restore(flags);                                   \
-}                                                                      \
-
-#define ATOMIC_OP_RETURN(op, c_op, asm_op)                             \
-static inline int atomic_##op##_return(int i, atomic_t *v)             \
-{                                                                      \
-       unsigned long flags;                                            \
-       int val;                                                        \
-                                                                       \
-       raw_local_irq_save(flags);                                      \
-       v->counter c_op i;                                              \
-       val = v->counter;                                               \
-       raw_local_irq_restore(flags);                                   \
-                                                                       \
-       return val;                                                     \
-}
-
-#define ATOMIC_FETCH_OP(op, c_op, asm_op)                              \
-static inline int atomic_fetch_##op(int i, atomic_t *v)                        
\
-{                                                                      \
-       unsigned long flags;                                            \
-       int val;                                                        \
-                                                                       \
-       raw_local_irq_save(flags);                                      \
-       val = v->counter;                                               \
-       v->counter c_op i;                                              \
-       raw_local_irq_restore(flags);                                   \
-                                                                       \
-       return val;                                                     \
-}
-
-static inline int atomic_cmpxchg(atomic_t *v, int old, int new)
-{
-       int ret;
-       unsigned long flags;
-
-       raw_local_irq_save(flags);
-       ret = v->counter;
-       if (likely(ret == old))
-               v->counter = new;
-       raw_local_irq_restore(flags);
-
-       return ret;
-}
-
-#define atomic_fetch_andnot            atomic_fetch_andnot
-
-#endif /* __LINUX_ARM_ARCH__ */
-
 #define ATOMIC_OPS(op, c_op, asm_op)                                   \
        ATOMIC_OP(op, c_op, asm_op)                                     \
        ATOMIC_OP_RETURN(op, c_op, asm_op)                              \
@@ -242,266 +175,32 @@ ATOMIC_OPS(xor, ^=, eor)
 
 #define atomic_xchg(v, new) (xchg(&((v)->counter), new))
 
-#ifndef CONFIG_GENERIC_ATOMIC64
-typedef struct {
-       s64 counter;
-} atomic64_t;
+/*
+ * Linux doesn't define strict atomic_add_return() or atomic_sub_return()
+ * for /arch/arm -- Let's manually define these for Xen.
+ */
 
-#define ATOMIC64_INIT(i) { (i) }
-
-#ifdef CONFIG_ARM_LPAE
-static inline s64 atomic64_read(const atomic64_t *v)
-{
-       s64 result;
-
-       __asm__ __volatile__("@ atomic64_read\n"
-"      ldrd    %0, %H0, [%1]"
-       : "=&r" (result)
-       : "r" (&v->counter), "Qo" (v->counter)
-       );
-
-       return result;
-}
-
-static inline void atomic64_set(atomic64_t *v, s64 i)
-{
-       __asm__ __volatile__("@ atomic64_set\n"
-"      strd    %2, %H2, [%1]"
-       : "=Qo" (v->counter)
-       : "r" (&v->counter), "r" (i)
-       );
-}
-#else
-static inline s64 atomic64_read(const atomic64_t *v)
-{
-       s64 result;
-
-       __asm__ __volatile__("@ atomic64_read\n"
-"      ldrexd  %0, %H0, [%1]"
-       : "=&r" (result)
-       : "r" (&v->counter), "Qo" (v->counter)
-       );
-
-       return result;
-}
-
-static inline void atomic64_set(atomic64_t *v, s64 i)
+static inline int atomic_add_return(int i, atomic_t *v)
 {
-       s64 tmp;
-
-       prefetchw(&v->counter);
-       __asm__ __volatile__("@ atomic64_set\n"
-"1:    ldrexd  %0, %H0, [%2]\n"
-"      strexd  %0, %3, %H3, [%2]\n"
-"      teq     %0, #0\n"
-"      bne     1b"
-       : "=&r" (tmp), "=Qo" (v->counter)
-       : "r" (&v->counter), "r" (i)
-       : "cc");
-}
-#endif
-
-#define ATOMIC64_OP(op, op1, op2)                                      \
-static inline void atomic64_##op(s64 i, atomic64_t *v)                 \
-{                                                                      \
-       s64 result;                                                     \
-       unsigned long tmp;                                              \
-                                                                       \
-       prefetchw(&v->counter);                                         \
-       __asm__ __volatile__("@ atomic64_" #op "\n"                     \
-"1:    ldrexd  %0, %H0, [%3]\n"                                        \
-"      " #op1 " %Q0, %Q0, %Q4\n"                                       \
-"      " #op2 " %R0, %R0, %R4\n"                                       \
-"      strexd  %1, %0, %H0, [%3]\n"                                    \
-"      teq     %1, #0\n"                                               \
-"      bne     1b"                                                     \
-       : "=&r" (result), "=&r" (tmp), "+Qo" (v->counter)               \
-       : "r" (&v->counter), "r" (i)                                    \
-       : "cc");                                                        \
-}                                                                      \
-
-#define ATOMIC64_OP_RETURN(op, op1, op2)                               \
-static inline s64                                                      \
-atomic64_##op##_return_relaxed(s64 i, atomic64_t *v)                   \
-{                                                                      \
-       s64 result;                                                     \
-       unsigned long tmp;                                              \
-                                                                       \
-       prefetchw(&v->counter);                                         \
-                                                                       \
-       __asm__ __volatile__("@ atomic64_" #op "_return\n"              \
-"1:    ldrexd  %0, %H0, [%3]\n"                                        \
-"      " #op1 " %Q0, %Q0, %Q4\n"                                       \
-"      " #op2 " %R0, %R0, %R4\n"                                       \
-"      strexd  %1, %0, %H0, [%3]\n"                                    \
-"      teq     %1, #0\n"                                               \
-"      bne     1b"                                                     \
-       : "=&r" (result), "=&r" (tmp), "+Qo" (v->counter)               \
-       : "r" (&v->counter), "r" (i)                                    \
-       : "cc");                                                        \
-                                                                       \
-       return result;                                                  \
-}
-
-#define ATOMIC64_FETCH_OP(op, op1, op2)                                        
\
-static inline s64                                                      \
-atomic64_fetch_##op##_relaxed(s64 i, atomic64_t *v)                    \
-{                                                                      \
-       s64 result, val;                                                \
-       unsigned long tmp;                                              \
-                                                                       \
-       prefetchw(&v->counter);                                         \
-                                                                       \
-       __asm__ __volatile__("@ atomic64_fetch_" #op "\n"               \
-"1:    ldrexd  %0, %H0, [%4]\n"                                        \
-"      " #op1 " %Q1, %Q0, %Q5\n"                                       \
-"      " #op2 " %R1, %R0, %R5\n"                                       \
-"      strexd  %2, %1, %H1, [%4]\n"                                    \
-"      teq     %2, #0\n"                                               \
-"      bne     1b"                                                     \
-       : "=&r" (result), "=&r" (val), "=&r" (tmp), "+Qo" (v->counter)  \
-       : "r" (&v->counter), "r" (i)                                    \
-       : "cc");                                                        \
-                                                                       \
-       return result;                                                  \
-}
-
-#define ATOMIC64_OPS(op, op1, op2)                                     \
-       ATOMIC64_OP(op, op1, op2)                                       \
-       ATOMIC64_OP_RETURN(op, op1, op2)                                \
-       ATOMIC64_FETCH_OP(op, op1, op2)
-
-ATOMIC64_OPS(add, adds, adc)
-ATOMIC64_OPS(sub, subs, sbc)
-
-#define atomic64_add_return_relaxed    atomic64_add_return_relaxed
-#define atomic64_sub_return_relaxed    atomic64_sub_return_relaxed
-#define atomic64_fetch_add_relaxed     atomic64_fetch_add_relaxed
-#define atomic64_fetch_sub_relaxed     atomic64_fetch_sub_relaxed
-
-#undef ATOMIC64_OPS
-#define ATOMIC64_OPS(op, op1, op2)                                     \
-       ATOMIC64_OP(op, op1, op2)                                       \
-       ATOMIC64_FETCH_OP(op, op1, op2)
-
-#define atomic64_andnot atomic64_andnot
-
-ATOMIC64_OPS(and, and, and)
-ATOMIC64_OPS(andnot, bic, bic)
-ATOMIC64_OPS(or,  orr, orr)
-ATOMIC64_OPS(xor, eor, eor)
-
-#define atomic64_fetch_and_relaxed     atomic64_fetch_and_relaxed
-#define atomic64_fetch_andnot_relaxed  atomic64_fetch_andnot_relaxed
-#define atomic64_fetch_or_relaxed      atomic64_fetch_or_relaxed
-#define atomic64_fetch_xor_relaxed     atomic64_fetch_xor_relaxed
-
-#undef ATOMIC64_OPS
-#undef ATOMIC64_FETCH_OP
-#undef ATOMIC64_OP_RETURN
-#undef ATOMIC64_OP
-
-static inline s64 atomic64_cmpxchg_relaxed(atomic64_t *ptr, s64 old, s64 new)
-{
-       s64 oldval;
-       unsigned long res;
-
-       prefetchw(&ptr->counter);
-
-       do {
-               __asm__ __volatile__("@ atomic64_cmpxchg\n"
-               "ldrexd         %1, %H1, [%3]\n"
-               "mov            %0, #0\n"
-               "teq            %1, %4\n"
-               "teqeq          %H1, %H4\n"
-               "strexdeq       %0, %5, %H5, [%3]"
-               : "=&r" (res), "=&r" (oldval), "+Qo" (ptr->counter)
-               : "r" (&ptr->counter), "r" (old), "r" (new)
-               : "cc");
-       } while (res);
-
-       return oldval;
-}
-#define atomic64_cmpxchg_relaxed       atomic64_cmpxchg_relaxed
-
-static inline s64 atomic64_xchg_relaxed(atomic64_t *ptr, s64 new)
-{
-       s64 result;
-       unsigned long tmp;
-
-       prefetchw(&ptr->counter);
-
-       __asm__ __volatile__("@ atomic64_xchg\n"
-"1:    ldrexd  %0, %H0, [%3]\n"
-"      strexd  %1, %4, %H4, [%3]\n"
-"      teq     %1, #0\n"
-"      bne     1b"
-       : "=&r" (result), "=&r" (tmp), "+Qo" (ptr->counter)
-       : "r" (&ptr->counter), "r" (new)
-       : "cc");
-
-       return result;
-}
-#define atomic64_xchg_relaxed          atomic64_xchg_relaxed
-
-static inline s64 atomic64_dec_if_positive(atomic64_t *v)
-{
-       s64 result;
-       unsigned long tmp;
+       int ret;
 
        smp_mb();
-       prefetchw(&v->counter);
-
-       __asm__ __volatile__("@ atomic64_dec_if_positive\n"
-"1:    ldrexd  %0, %H0, [%3]\n"
-"      subs    %Q0, %Q0, #1\n"
-"      sbc     %R0, %R0, #0\n"
-"      teq     %R0, #0\n"
-"      bmi     2f\n"
-"      strexd  %1, %0, %H0, [%3]\n"
-"      teq     %1, #0\n"
-"      bne     1b\n"
-"2:"
-       : "=&r" (result), "=&r" (tmp), "+Qo" (v->counter)
-       : "r" (&v->counter)
-       : "cc");
-
+       ret = atomic_add_return_relaxed(i, v);
        smp_mb();
 
-       return result;
+       return ret;
 }
-#define atomic64_dec_if_positive atomic64_dec_if_positive
+#define atomic_fetch_add(i, v) atomic_add_return(i, v)
 
-static inline s64 atomic64_fetch_add_unless(atomic64_t *v, s64 a, s64 u)
+static inline int atomic_sub_return(int i, atomic_t *v)
 {
-       s64 oldval, newval;
-       unsigned long tmp;
+       int ret;
 
        smp_mb();
-       prefetchw(&v->counter);
-
-       __asm__ __volatile__("@ atomic64_add_unless\n"
-"1:    ldrexd  %0, %H0, [%4]\n"
-"      teq     %0, %5\n"
-"      teqeq   %H0, %H5\n"
-"      beq     2f\n"
-"      adds    %Q1, %Q0, %Q6\n"
-"      adc     %R1, %R0, %R6\n"
-"      strexd  %2, %1, %H1, [%4]\n"
-"      teq     %2, #0\n"
-"      bne     1b\n"
-"2:"
-       : "=&r" (oldval), "=&r" (newval), "=&r" (tmp), "+Qo" (v->counter)
-       : "r" (&v->counter), "r" (u), "r" (a)
-       : "cc");
-
-       if (oldval != u)
-               smp_mb();
+       ret = atomic_sub_return_relaxed(i, v);
+       smp_mb();
 
-       return oldval;
+       return ret;
 }
-#define atomic64_fetch_add_unless atomic64_fetch_add_unless
 
-#endif /* !CONFIG_GENERIC_ATOMIC64 */
-#endif
-#endif
\ No newline at end of file
+#endif /* __ASM_ARM_ARM32_ATOMIC_H */
-- 
2.24.3 (Apple Git-128)




 


Rackspace

Lists.xenproject.org is hosted with RackSpace, monitoring our
servers 24x7x365 and backed by RackSpace's Fanatical Support®.