blob: 5f620e66384e37079396f0f177d49d19c5724c94 [file] [log] [blame]
Greg Kroah-Hartmanb2441312017-11-01 15:07:57 +01001/* SPDX-License-Identifier: GPL-2.0 */
Linus Torvalds1da177e2005-04-16 15:20:36 -07002#ifndef _ASM_IA64_SPINLOCK_H
3#define _ASM_IA64_SPINLOCK_H
4
5/*
6 * Copyright (C) 1998-2003 Hewlett-Packard Co
7 * David Mosberger-Tang <davidm@hpl.hp.com>
8 * Copyright (C) 1999 Walt Drummond <drummond@valinux.com>
9 *
10 * This file is used for SMP configurations only.
11 */
12
13#include <linux/compiler.h>
14#include <linux/kernel.h>
Jiri Slaby1977f032007-10-18 23:40:25 -070015#include <linux/bitops.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070016
Arun Sharma600634972011-07-26 16:09:06 -070017#include <linux/atomic.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070018#include <asm/intrinsics.h>
Peter Zijlstra726328d2016-05-26 10:35:03 +020019#include <asm/barrier.h>
20#include <asm/processor.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070021
Thomas Gleixner0199c4e2009-12-02 20:01:25 +010022#define arch_spin_lock_init(x) ((x)->lock = 0)
Linus Torvalds1da177e2005-04-16 15:20:36 -070023
Linus Torvalds1da177e2005-04-16 15:20:36 -070024/*
Tony Luck2c869632009-09-25 08:42:16 -070025 * Ticket locks are conceptually two parts, one indicating the current head of
26 * the queue, and the other indicating the current tail. The lock is acquired
27 * by atomically noting the tail and incrementing it by one (thus adding
28 * ourself to the queue and noting our position), then waiting until the head
29 * becomes equal to the the initial value of the tail.
Tony Luck9d40ee22009-10-07 10:54:19 -070030 * The pad bits in the middle are used to prevent the next_ticket number
31 * overflowing into the now_serving number.
Tony Luck2c869632009-09-25 08:42:16 -070032 *
Tony Luck9d40ee22009-10-07 10:54:19 -070033 * 31 17 16 15 14 0
Tony Luck2c869632009-09-25 08:42:16 -070034 * +----------------------------------------------------+
Tony Luck9d40ee22009-10-07 10:54:19 -070035 * | now_serving | padding | next_ticket |
Tony Luck2c869632009-09-25 08:42:16 -070036 * +----------------------------------------------------+
Linus Torvalds1da177e2005-04-16 15:20:36 -070037 */
38
Tony Luck9d40ee22009-10-07 10:54:19 -070039#define TICKET_SHIFT 17
40#define TICKET_BITS 15
41#define TICKET_MASK ((1 << TICKET_BITS) - 1)
Linus Torvalds1da177e2005-04-16 15:20:36 -070042
Thomas Gleixner445c8952009-12-02 19:49:50 +010043static __always_inline void __ticket_spin_lock(arch_spinlock_t *lock)
Linus Torvalds1da177e2005-04-16 15:20:36 -070044{
Tony Luck9d40ee22009-10-07 10:54:19 -070045 int *p = (int *)&lock->lock, ticket, serve;
Linus Torvalds1da177e2005-04-16 15:20:36 -070046
Tony Luck9d40ee22009-10-07 10:54:19 -070047 ticket = ia64_fetchadd(1, p, acq);
Tony Luck2c869632009-09-25 08:42:16 -070048
Tony Luck9d40ee22009-10-07 10:54:19 -070049 if (!(((ticket >> TICKET_SHIFT) ^ ticket) & TICKET_MASK))
Tony Luck2c869632009-09-25 08:42:16 -070050 return;
51
Tony Luck9d40ee22009-10-07 10:54:19 -070052 ia64_invala();
53
54 for (;;) {
55 asm volatile ("ld4.c.nc %0=[%1]" : "=r"(serve) : "r"(p) : "memory");
56
57 if (!(((serve >> TICKET_SHIFT) ^ ticket) & TICKET_MASK))
58 return;
Tony Luck2c869632009-09-25 08:42:16 -070059 cpu_relax();
Tony Luck9d40ee22009-10-07 10:54:19 -070060 }
Linus Torvalds1da177e2005-04-16 15:20:36 -070061}
Christoph Lameterf5210892005-08-05 08:02:00 -070062
Thomas Gleixner445c8952009-12-02 19:49:50 +010063static __always_inline int __ticket_spin_trylock(arch_spinlock_t *lock)
Tony Luck2c869632009-09-25 08:42:16 -070064{
Mark Rutland6aa7de02017-10-23 14:07:29 -070065 int tmp = READ_ONCE(lock->lock);
Christoph Lameterf5210892005-08-05 08:02:00 -070066
Tony Luck9d40ee22009-10-07 10:54:19 -070067 if (!(((tmp >> TICKET_SHIFT) ^ tmp) & TICKET_MASK))
68 return ia64_cmpxchg(acq, &lock->lock, tmp, tmp + 1, sizeof (tmp)) == tmp;
Tony Luck2c869632009-09-25 08:42:16 -070069 return 0;
Christoph Lameterf5210892005-08-05 08:02:00 -070070}
71
Thomas Gleixner445c8952009-12-02 19:49:50 +010072static __always_inline void __ticket_spin_unlock(arch_spinlock_t *lock)
Tony Luck2c869632009-09-25 08:42:16 -070073{
Tony Luck9d40ee22009-10-07 10:54:19 -070074 unsigned short *p = (unsigned short *)&lock->lock + 1, tmp;
Linus Torvalds1da177e2005-04-16 15:20:36 -070075
Will Deacon49ca6462019-02-22 13:37:21 +000076 /* This could be optimised with ARCH_HAS_MMIOWB */
77 mmiowb();
Tony Luck9d40ee22009-10-07 10:54:19 -070078 asm volatile ("ld2.bias %0=[%1]" : "=r"(tmp) : "r"(p));
Mark Rutland6aa7de02017-10-23 14:07:29 -070079 WRITE_ONCE(*p, (tmp + 2) & ~1);
Tony Luck2c869632009-09-25 08:42:16 -070080}
81
Thomas Gleixner445c8952009-12-02 19:49:50 +010082static inline int __ticket_spin_is_locked(arch_spinlock_t *lock)
Tony Luck2c869632009-09-25 08:42:16 -070083{
Mark Rutland6aa7de02017-10-23 14:07:29 -070084 long tmp = READ_ONCE(lock->lock);
Tony Luck2c869632009-09-25 08:42:16 -070085
Tony Luck9d40ee22009-10-07 10:54:19 -070086 return !!(((tmp >> TICKET_SHIFT) ^ tmp) & TICKET_MASK);
Tony Luck2c869632009-09-25 08:42:16 -070087}
88
Thomas Gleixner445c8952009-12-02 19:49:50 +010089static inline int __ticket_spin_is_contended(arch_spinlock_t *lock)
Tony Luck2c869632009-09-25 08:42:16 -070090{
Mark Rutland6aa7de02017-10-23 14:07:29 -070091 long tmp = READ_ONCE(lock->lock);
Tony Luck2c869632009-09-25 08:42:16 -070092
Tony Luck9d40ee22009-10-07 10:54:19 -070093 return ((tmp - (tmp >> TICKET_SHIFT)) & TICKET_MASK) > 1;
Tony Luck2c869632009-09-25 08:42:16 -070094}
95
Luck, Tony71c73562013-09-03 15:31:21 -070096static __always_inline int arch_spin_value_unlocked(arch_spinlock_t lock)
97{
98 return !(((lock.lock >> TICKET_SHIFT) ^ lock.lock) & TICKET_MASK);
99}
100
Thomas Gleixner0199c4e2009-12-02 20:01:25 +0100101static inline int arch_spin_is_locked(arch_spinlock_t *lock)
Tony Luck2c869632009-09-25 08:42:16 -0700102{
103 return __ticket_spin_is_locked(lock);
104}
105
Thomas Gleixner0199c4e2009-12-02 20:01:25 +0100106static inline int arch_spin_is_contended(arch_spinlock_t *lock)
Tony Luck2c869632009-09-25 08:42:16 -0700107{
108 return __ticket_spin_is_contended(lock);
109}
Thomas Gleixner0199c4e2009-12-02 20:01:25 +0100110#define arch_spin_is_contended arch_spin_is_contended
Tony Luck2c869632009-09-25 08:42:16 -0700111
Thomas Gleixner0199c4e2009-12-02 20:01:25 +0100112static __always_inline void arch_spin_lock(arch_spinlock_t *lock)
Tony Luck2c869632009-09-25 08:42:16 -0700113{
114 __ticket_spin_lock(lock);
115}
116
Thomas Gleixner0199c4e2009-12-02 20:01:25 +0100117static __always_inline int arch_spin_trylock(arch_spinlock_t *lock)
Tony Luck2c869632009-09-25 08:42:16 -0700118{
119 return __ticket_spin_trylock(lock);
120}
121
Thomas Gleixner0199c4e2009-12-02 20:01:25 +0100122static __always_inline void arch_spin_unlock(arch_spinlock_t *lock)
Tony Luck2c869632009-09-25 08:42:16 -0700123{
124 __ticket_spin_unlock(lock);
125}
126
Thomas Gleixner0199c4e2009-12-02 20:01:25 +0100127static __always_inline void arch_spin_lock_flags(arch_spinlock_t *lock,
Tony Luck2c869632009-09-25 08:42:16 -0700128 unsigned long flags)
129{
Thomas Gleixner0199c4e2009-12-02 20:01:25 +0100130 arch_spin_lock(lock);
Tony Luck2c869632009-09-25 08:42:16 -0700131}
Will Deacona4c18872017-10-03 19:25:29 +0100132#define arch_spin_lock_flags arch_spin_lock_flags
Tony Luck2c869632009-09-25 08:42:16 -0700133
Robin Holt2d09cde2009-04-02 16:59:47 -0700134#ifdef ASM_SUPPORTED
135
136static __always_inline void
Thomas Gleixnere5931942009-12-03 20:08:46 +0100137arch_read_lock_flags(arch_rwlock_t *lock, unsigned long flags)
Robin Holt2d09cde2009-04-02 16:59:47 -0700138{
139 __asm__ __volatile__ (
140 "tbit.nz p6, p0 = %1,%2\n"
141 "br.few 3f\n"
142 "1:\n"
143 "fetchadd4.rel r2 = [%0], -1;;\n"
144 "(p6) ssm psr.i\n"
145 "2:\n"
146 "hint @pause\n"
147 "ld4 r2 = [%0];;\n"
148 "cmp4.lt p7,p0 = r2, r0\n"
149 "(p7) br.cond.spnt.few 2b\n"
150 "(p6) rsm psr.i\n"
151 ";;\n"
152 "3:\n"
153 "fetchadd4.acq r2 = [%0], 1;;\n"
154 "cmp4.lt p7,p0 = r2, r0\n"
155 "(p7) br.cond.spnt.few 1b\n"
156 : : "r"(lock), "r"(flags), "i"(IA64_PSR_I_BIT)
157 : "p6", "p7", "r2", "memory");
158}
159
Will Deacona4c18872017-10-03 19:25:29 +0100160#define arch_read_lock_flags arch_read_lock_flags
Thomas Gleixnere5931942009-12-03 20:08:46 +0100161#define arch_read_lock(lock) arch_read_lock_flags(lock, 0)
Robin Holt2d09cde2009-04-02 16:59:47 -0700162
163#else /* !ASM_SUPPORTED */
164
Thomas Gleixnere5931942009-12-03 20:08:46 +0100165#define arch_read_lock_flags(rw, flags) arch_read_lock(rw)
Robin Holt2d09cde2009-04-02 16:59:47 -0700166
Thomas Gleixnere5931942009-12-03 20:08:46 +0100167#define arch_read_lock(rw) \
Linus Torvalds1da177e2005-04-16 15:20:36 -0700168do { \
Thomas Gleixnerfb3a6bb2009-12-03 20:01:19 +0100169 arch_rwlock_t *__read_lock_ptr = (rw); \
Linus Torvalds1da177e2005-04-16 15:20:36 -0700170 \
171 while (unlikely(ia64_fetchadd(1, (int *) __read_lock_ptr, acq) < 0)) { \
172 ia64_fetchadd(-1, (int *) __read_lock_ptr, rel); \
173 while (*(volatile int *)__read_lock_ptr < 0) \
174 cpu_relax(); \
175 } \
176} while (0)
177
Robin Holt2d09cde2009-04-02 16:59:47 -0700178#endif /* !ASM_SUPPORTED */
179
Thomas Gleixnere5931942009-12-03 20:08:46 +0100180#define arch_read_unlock(rw) \
Linus Torvalds1da177e2005-04-16 15:20:36 -0700181do { \
Thomas Gleixnerfb3a6bb2009-12-03 20:01:19 +0100182 arch_rwlock_t *__read_lock_ptr = (rw); \
Linus Torvalds1da177e2005-04-16 15:20:36 -0700183 ia64_fetchadd(-1, (int *) __read_lock_ptr, rel); \
184} while (0)
185
186#ifdef ASM_SUPPORTED
Robin Holt2d09cde2009-04-02 16:59:47 -0700187
188static __always_inline void
Thomas Gleixnere5931942009-12-03 20:08:46 +0100189arch_write_lock_flags(arch_rwlock_t *lock, unsigned long flags)
Robin Holt2d09cde2009-04-02 16:59:47 -0700190{
191 __asm__ __volatile__ (
192 "tbit.nz p6, p0 = %1, %2\n"
193 "mov ar.ccv = r0\n"
194 "dep r29 = -1, r0, 31, 1\n"
195 "br.few 3f;;\n"
196 "1:\n"
197 "(p6) ssm psr.i\n"
198 "2:\n"
199 "hint @pause\n"
200 "ld4 r2 = [%0];;\n"
201 "cmp4.eq p0,p7 = r0, r2\n"
202 "(p7) br.cond.spnt.few 2b\n"
203 "(p6) rsm psr.i\n"
204 ";;\n"
205 "3:\n"
206 "cmpxchg4.acq r2 = [%0], r29, ar.ccv;;\n"
207 "cmp4.eq p0,p7 = r0, r2\n"
208 "(p7) br.cond.spnt.few 1b;;\n"
209 : : "r"(lock), "r"(flags), "i"(IA64_PSR_I_BIT)
210 : "ar.ccv", "p6", "p7", "r2", "r29", "memory");
211}
212
Will Deacona4c18872017-10-03 19:25:29 +0100213#define arch_write_lock_flags arch_write_lock_flags
Thomas Gleixnere5931942009-12-03 20:08:46 +0100214#define arch_write_lock(rw) arch_write_lock_flags(rw, 0)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700215
Thomas Gleixnere5931942009-12-03 20:08:46 +0100216#define arch_write_trylock(rw) \
Linus Torvalds1da177e2005-04-16 15:20:36 -0700217({ \
218 register long result; \
219 \
220 __asm__ __volatile__ ( \
221 "mov ar.ccv = r0\n" \
222 "dep r29 = -1, r0, 31, 1;;\n" \
223 "cmpxchg4.acq %0 = [%1], r29, ar.ccv\n" \
224 : "=r"(result) : "r"(rw) : "ar.ccv", "r29", "memory"); \
225 (result == 0); \
226})
227
Thomas Gleixnere5931942009-12-03 20:08:46 +0100228static inline void arch_write_unlock(arch_rwlock_t *x)
Christoph Lameterf5210892005-08-05 08:02:00 -0700229{
230 u8 *y = (u8 *)x;
231 barrier();
232 asm volatile ("st1.rel.nta [%0] = r0\n\t" :: "r"(y+3) : "memory" );
233}
234
Linus Torvalds1da177e2005-04-16 15:20:36 -0700235#else /* !ASM_SUPPORTED */
236
Thomas Gleixnere5931942009-12-03 20:08:46 +0100237#define arch_write_lock(l) \
Linus Torvalds1da177e2005-04-16 15:20:36 -0700238({ \
239 __u64 ia64_val, ia64_set_val = ia64_dep_mi(-1, 0, 31, 1); \
240 __u32 *ia64_write_lock_ptr = (__u32 *) (l); \
241 do { \
242 while (*ia64_write_lock_ptr) \
243 ia64_barrier(); \
244 ia64_val = ia64_cmpxchg4_acq(ia64_write_lock_ptr, ia64_set_val, 0); \
245 } while (ia64_val); \
246})
247
Thomas Gleixnere5931942009-12-03 20:08:46 +0100248#define arch_write_trylock(rw) \
Linus Torvalds1da177e2005-04-16 15:20:36 -0700249({ \
250 __u64 ia64_val; \
251 __u64 ia64_set_val = ia64_dep_mi(-1, 0, 31,1); \
252 ia64_val = ia64_cmpxchg4_acq((__u32 *)(rw), ia64_set_val, 0); \
253 (ia64_val == 0); \
254})
255
Thomas Gleixnere5931942009-12-03 20:08:46 +0100256static inline void arch_write_unlock(arch_rwlock_t *x)
Christoph Lameterf5210892005-08-05 08:02:00 -0700257{
258 barrier();
259 x->write_lock = 0;
260}
261
Linus Torvalds1da177e2005-04-16 15:20:36 -0700262#endif /* !ASM_SUPPORTED */
263
Thomas Gleixnere5931942009-12-03 20:08:46 +0100264static inline int arch_read_trylock(arch_rwlock_t *x)
Keith Owensbf7ecec2005-12-10 14:24:28 +1100265{
266 union {
Thomas Gleixnerfb3a6bb2009-12-03 20:01:19 +0100267 arch_rwlock_t lock;
Keith Owensbf7ecec2005-12-10 14:24:28 +1100268 __u32 word;
269 } old, new;
270 old.lock = new.lock = *x;
271 old.lock.write_lock = new.lock.write_lock = 0;
272 ++new.lock.read_counter;
273 return (u32)ia64_cmpxchg4_acq((__u32 *)(x), new.word, old.word) == old.word;
274}
Linus Torvalds1da177e2005-04-16 15:20:36 -0700275
Linus Torvalds1da177e2005-04-16 15:20:36 -0700276#endif /* _ASM_IA64_SPINLOCK_H */