[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)
|
Lists.xenproject.org is hosted with RackSpace, monitoring our |