blob: cae331d553f81b8ab649aa4e65c6da35038c5f97 [file] [log] [blame]
Catalin Marinas08e875c2012-03-05 11:49:30 +00001/*
2 * Copyright (C) 2012 ARM Ltd.
3 *
4 * This program is free software; you can redistribute it and/or modify
5 * it under the terms of the GNU General Public License version 2 as
6 * published by the Free Software Foundation.
7 *
8 * This program is distributed in the hope that it will be useful,
9 * but WITHOUT ANY WARRANTY; without even the implied warranty of
10 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
11 * GNU General Public License for more details.
12 *
13 * You should have received a copy of the GNU General Public License
14 * along with this program. If not, see <http://www.gnu.org/licenses/>.
15 */
16#ifndef __ASM_SPINLOCK_H
17#define __ASM_SPINLOCK_H
18
Will Deacon81bb5c62015-02-10 03:03:15 +000019#include <asm/lse.h>
Catalin Marinas08e875c2012-03-05 11:49:30 +000020#include <asm/spinlock_types.h>
21#include <asm/processor.h>
22
23/*
24 * Spinlock implementation.
25 *
Catalin Marinas08e875c2012-03-05 11:49:30 +000026 * The memory barriers are implicit with the load-acquire and store-release
27 * instructions.
Catalin Marinas08e875c2012-03-05 11:49:30 +000028 */
Will Deacond86b8da2015-11-19 17:48:31 +000029static inline void arch_spin_unlock_wait(arch_spinlock_t *lock)
30{
31 unsigned int tmp;
32 arch_spinlock_t lockval;
Will Deaconc56bdca2016-06-02 18:40:07 +010033 u32 owner;
Catalin Marinas08e875c2012-03-05 11:49:30 +000034
Will Deacon38b850a2016-06-02 15:27:04 +010035 /*
36 * Ensure prior spin_lock operations to other locks have completed
37 * on this CPU before we test whether "lock" is locked.
38 */
39 smp_mb();
Will Deaconc56bdca2016-06-02 18:40:07 +010040 owner = READ_ONCE(lock->owner) << 16;
Will Deacon38b850a2016-06-02 15:27:04 +010041
Will Deacond86b8da2015-11-19 17:48:31 +000042 asm volatile(
43" sevl\n"
44"1: wfe\n"
45"2: ldaxr %w0, %2\n"
Will Deaconc56bdca2016-06-02 18:40:07 +010046 /* Is the lock free? */
Will Deacond86b8da2015-11-19 17:48:31 +000047" eor %w1, %w0, %w0, ror #16\n"
Will Deaconc56bdca2016-06-02 18:40:07 +010048" cbz %w1, 3f\n"
49 /* Lock taken -- has there been a subsequent unlock->lock transition? */
50" eor %w1, %w3, %w0, lsl #16\n"
51" cbz %w1, 1b\n"
52 /*
53 * The owner has been updated, so there was an unlock->lock
54 * transition that we missed. That means we can rely on the
55 * store-release of the unlock operation paired with the
56 * load-acquire of the lock operation to publish any of our
57 * previous stores to the new lock owner and therefore don't
58 * need to bother with the writeback below.
59 */
60" b 4f\n"
61"3:\n"
62 /*
63 * Serialise against any concurrent lockers by writing back the
64 * unlocked lock value
65 */
Will Deacond86b8da2015-11-19 17:48:31 +000066 ARM64_LSE_ATOMIC_INSN(
67 /* LL/SC */
68" stxr %w1, %w0, %2\n"
Will Deacon05492f22016-09-06 16:42:58 +010069 __nops(2),
Will Deacon3a5facd2016-06-08 15:10:57 +010070 /* LSE atomics */
71" mov %w1, %w0\n"
72" cas %w0, %w0, %2\n"
73" eor %w1, %w1, %w0\n")
Will Deaconc56bdca2016-06-02 18:40:07 +010074 /* Somebody else wrote to the lock, GOTO 10 and reload the value */
Will Deacon3a5facd2016-06-08 15:10:57 +010075" cbnz %w1, 2b\n"
Will Deaconc56bdca2016-06-02 18:40:07 +010076"4:"
Will Deacond86b8da2015-11-19 17:48:31 +000077 : "=&r" (lockval), "=&r" (tmp), "+Q" (*lock)
Will Deaconc56bdca2016-06-02 18:40:07 +010078 : "r" (owner)
Will Deacond86b8da2015-11-19 17:48:31 +000079 : "memory");
80}
Catalin Marinas08e875c2012-03-05 11:49:30 +000081
82#define arch_spin_lock_flags(lock, flags) arch_spin_lock(lock)
83
84static inline void arch_spin_lock(arch_spinlock_t *lock)
85{
86 unsigned int tmp;
Will Deacon52ea2a52013-10-09 15:54:26 +010087 arch_spinlock_t lockval, newval;
Catalin Marinas08e875c2012-03-05 11:49:30 +000088
89 asm volatile(
Will Deacon52ea2a52013-10-09 15:54:26 +010090 /* Atomically increment the next ticket. */
Will Deacon81bb5c62015-02-10 03:03:15 +000091 ARM64_LSE_ATOMIC_INSN(
92 /* LL/SC */
Will Deacon52ea2a52013-10-09 15:54:26 +010093" prfm pstl1strm, %3\n"
94"1: ldaxr %w0, %3\n"
95" add %w1, %w0, %w5\n"
96" stxr %w2, %w1, %3\n"
Will Deacon81bb5c62015-02-10 03:03:15 +000097" cbnz %w2, 1b\n",
98 /* LSE atomics */
99" mov %w2, %w5\n"
100" ldadda %w2, %w0, %3\n"
Will Deacon05492f22016-09-06 16:42:58 +0100101 __nops(3)
Will Deacon81bb5c62015-02-10 03:03:15 +0000102 )
103
Will Deacon52ea2a52013-10-09 15:54:26 +0100104 /* Did we get the lock? */
105" eor %w1, %w0, %w0, ror #16\n"
106" cbz %w1, 3f\n"
107 /*
108 * No: spin on the owner. Send a local event to avoid missing an
109 * unlock before the exclusive load.
110 */
111" sevl\n"
112"2: wfe\n"
113" ldaxrh %w2, %4\n"
114" eor %w1, %w2, %w0, lsr #16\n"
115" cbnz %w1, 2b\n"
116 /* We got the lock. Critical section starts here. */
117"3:"
118 : "=&r" (lockval), "=&r" (newval), "=&r" (tmp), "+Q" (*lock)
119 : "Q" (lock->owner), "I" (1 << TICKET_SHIFT)
120 : "memory");
Catalin Marinas08e875c2012-03-05 11:49:30 +0000121}
122
123static inline int arch_spin_trylock(arch_spinlock_t *lock)
124{
125 unsigned int tmp;
Will Deacon52ea2a52013-10-09 15:54:26 +0100126 arch_spinlock_t lockval;
Catalin Marinas08e875c2012-03-05 11:49:30 +0000127
Will Deacon81bb5c62015-02-10 03:03:15 +0000128 asm volatile(ARM64_LSE_ATOMIC_INSN(
129 /* LL/SC */
130 " prfm pstl1strm, %2\n"
131 "1: ldaxr %w0, %2\n"
132 " eor %w1, %w0, %w0, ror #16\n"
133 " cbnz %w1, 2f\n"
134 " add %w0, %w0, %3\n"
135 " stxr %w1, %w0, %2\n"
136 " cbnz %w1, 1b\n"
137 "2:",
138 /* LSE atomics */
139 " ldr %w0, %2\n"
140 " eor %w1, %w0, %w0, ror #16\n"
141 " cbnz %w1, 1f\n"
142 " add %w1, %w0, %3\n"
143 " casa %w0, %w1, %2\n"
144 " and %w1, %w1, #0xffff\n"
145 " eor %w1, %w1, %w0, lsr #16\n"
146 "1:")
Will Deacon52ea2a52013-10-09 15:54:26 +0100147 : "=&r" (lockval), "=&r" (tmp), "+Q" (*lock)
148 : "I" (1 << TICKET_SHIFT)
149 : "memory");
Catalin Marinas08e875c2012-03-05 11:49:30 +0000150
151 return !tmp;
152}
153
154static inline void arch_spin_unlock(arch_spinlock_t *lock)
155{
Will Deacon81bb5c62015-02-10 03:03:15 +0000156 unsigned long tmp;
157
158 asm volatile(ARM64_LSE_ATOMIC_INSN(
159 /* LL/SC */
Will Deaconc1d7cd22015-07-28 14:48:00 +0100160 " ldrh %w1, %0\n"
Will Deacon81bb5c62015-02-10 03:03:15 +0000161 " add %w1, %w1, #1\n"
162 " stlrh %w1, %0",
163 /* LSE atomics */
164 " mov %w1, #1\n"
Will Deacon05492f22016-09-06 16:42:58 +0100165 " staddlh %w1, %0\n"
166 __nops(1))
Will Deacon81bb5c62015-02-10 03:03:15 +0000167 : "=Q" (lock->owner), "=&r" (tmp)
168 :
Will Deacon52ea2a52013-10-09 15:54:26 +0100169 : "memory");
Catalin Marinas08e875c2012-03-05 11:49:30 +0000170}
171
Will Deacon5686b062013-10-09 15:54:27 +0100172static inline int arch_spin_value_unlocked(arch_spinlock_t lock)
173{
174 return lock.owner == lock.next;
175}
176
Will Deacon52ea2a52013-10-09 15:54:26 +0100177static inline int arch_spin_is_locked(arch_spinlock_t *lock)
178{
Will Deacon38b850a2016-06-02 15:27:04 +0100179 smp_mb(); /* See arch_spin_unlock_wait */
Christian Borntraegeraf2e7aa2014-11-24 10:53:11 +0100180 return !arch_spin_value_unlocked(READ_ONCE(*lock));
Will Deacon52ea2a52013-10-09 15:54:26 +0100181}
182
183static inline int arch_spin_is_contended(arch_spinlock_t *lock)
184{
Christian Borntraegeraf2e7aa2014-11-24 10:53:11 +0100185 arch_spinlock_t lockval = READ_ONCE(*lock);
Will Deacon52ea2a52013-10-09 15:54:26 +0100186 return (lockval.next - lockval.owner) > 1;
187}
188#define arch_spin_is_contended arch_spin_is_contended
189
Catalin Marinas08e875c2012-03-05 11:49:30 +0000190/*
191 * Write lock implementation.
192 *
193 * Write locks set bit 31. Unlocking, is done by writing 0 since the lock is
194 * exclusively held.
195 *
196 * The memory barriers are implicit with the load-acquire and store-release
197 * instructions.
198 */
199
200static inline void arch_write_lock(arch_rwlock_t *rw)
201{
202 unsigned int tmp;
203
Will Deacon81bb5c62015-02-10 03:03:15 +0000204 asm volatile(ARM64_LSE_ATOMIC_INSN(
205 /* LL/SC */
Catalin Marinas08e875c2012-03-05 11:49:30 +0000206 " sevl\n"
207 "1: wfe\n"
Will Deacon3a0310e2013-02-04 12:12:33 +0000208 "2: ldaxr %w0, %1\n"
Catalin Marinas08e875c2012-03-05 11:49:30 +0000209 " cbnz %w0, 1b\n"
Will Deacon3a0310e2013-02-04 12:12:33 +0000210 " stxr %w0, %w2, %1\n"
Catalin Marinas08e875c2012-03-05 11:49:30 +0000211 " cbnz %w0, 2b\n"
Will Deacon05492f22016-09-06 16:42:58 +0100212 __nops(1),
Will Deacon81bb5c62015-02-10 03:03:15 +0000213 /* LSE atomics */
214 "1: mov %w0, wzr\n"
215 "2: casa %w0, %w2, %1\n"
216 " cbz %w0, 3f\n"
217 " ldxr %w0, %1\n"
218 " cbz %w0, 2b\n"
219 " wfe\n"
220 " b 1b\n"
221 "3:")
Will Deacon3a0310e2013-02-04 12:12:33 +0000222 : "=&r" (tmp), "+Q" (rw->lock)
223 : "r" (0x80000000)
Will Deacon95c41892014-02-04 12:29:13 +0000224 : "memory");
Catalin Marinas08e875c2012-03-05 11:49:30 +0000225}
226
227static inline int arch_write_trylock(arch_rwlock_t *rw)
228{
229 unsigned int tmp;
230
Will Deacon81bb5c62015-02-10 03:03:15 +0000231 asm volatile(ARM64_LSE_ATOMIC_INSN(
232 /* LL/SC */
Will Deacon9511ca12015-07-22 18:25:52 +0100233 "1: ldaxr %w0, %1\n"
234 " cbnz %w0, 2f\n"
Will Deacon3a0310e2013-02-04 12:12:33 +0000235 " stxr %w0, %w2, %1\n"
Will Deacon9511ca12015-07-22 18:25:52 +0100236 " cbnz %w0, 1b\n"
Will Deacon81bb5c62015-02-10 03:03:15 +0000237 "2:",
238 /* LSE atomics */
239 " mov %w0, wzr\n"
240 " casa %w0, %w2, %1\n"
Will Deacon05492f22016-09-06 16:42:58 +0100241 __nops(2))
Will Deacon3a0310e2013-02-04 12:12:33 +0000242 : "=&r" (tmp), "+Q" (rw->lock)
243 : "r" (0x80000000)
Will Deacon95c41892014-02-04 12:29:13 +0000244 : "memory");
Catalin Marinas08e875c2012-03-05 11:49:30 +0000245
246 return !tmp;
247}
248
249static inline void arch_write_unlock(arch_rwlock_t *rw)
250{
Will Deacon81bb5c62015-02-10 03:03:15 +0000251 asm volatile(ARM64_LSE_ATOMIC_INSN(
252 " stlr wzr, %0",
253 " swpl wzr, wzr, %0")
254 : "=Q" (rw->lock) :: "memory");
Catalin Marinas08e875c2012-03-05 11:49:30 +0000255}
256
257/* write_can_lock - would write_trylock() succeed? */
258#define arch_write_can_lock(x) ((x)->lock == 0)
259
260/*
261 * Read lock implementation.
262 *
263 * It exclusively loads the lock value, increments it and stores the new value
264 * back if positive and the CPU still exclusively owns the location. If the
265 * value is negative, the lock is already held.
266 *
267 * During unlocking there may be multiple active read locks but no write lock.
268 *
269 * The memory barriers are implicit with the load-acquire and store-release
270 * instructions.
Will Deacon81bb5c62015-02-10 03:03:15 +0000271 *
272 * Note that in UNDEFINED cases, such as unlocking a lock twice, the LL/SC
273 * and LSE implementations may exhibit different behaviour (although this
274 * will have no effect on lockdep).
Catalin Marinas08e875c2012-03-05 11:49:30 +0000275 */
276static inline void arch_read_lock(arch_rwlock_t *rw)
277{
278 unsigned int tmp, tmp2;
279
280 asm volatile(
281 " sevl\n"
Will Deacon81bb5c62015-02-10 03:03:15 +0000282 ARM64_LSE_ATOMIC_INSN(
283 /* LL/SC */
Catalin Marinas08e875c2012-03-05 11:49:30 +0000284 "1: wfe\n"
Will Deacon3a0310e2013-02-04 12:12:33 +0000285 "2: ldaxr %w0, %2\n"
Catalin Marinas08e875c2012-03-05 11:49:30 +0000286 " add %w0, %w0, #1\n"
287 " tbnz %w0, #31, 1b\n"
Will Deacon3a0310e2013-02-04 12:12:33 +0000288 " stxr %w1, %w0, %2\n"
Will Deacon05492f22016-09-06 16:42:58 +0100289 " cbnz %w1, 2b\n"
290 __nops(1),
Will Deacon81bb5c62015-02-10 03:03:15 +0000291 /* LSE atomics */
292 "1: wfe\n"
293 "2: ldxr %w0, %2\n"
294 " adds %w1, %w0, #1\n"
295 " tbnz %w1, #31, 1b\n"
296 " casa %w0, %w1, %2\n"
297 " sbc %w0, %w1, %w0\n"
298 " cbnz %w0, 2b")
Will Deacon3a0310e2013-02-04 12:12:33 +0000299 : "=&r" (tmp), "=&r" (tmp2), "+Q" (rw->lock)
300 :
Will Deacon81bb5c62015-02-10 03:03:15 +0000301 : "cc", "memory");
Catalin Marinas08e875c2012-03-05 11:49:30 +0000302}
303
304static inline void arch_read_unlock(arch_rwlock_t *rw)
305{
306 unsigned int tmp, tmp2;
307
Will Deacon81bb5c62015-02-10 03:03:15 +0000308 asm volatile(ARM64_LSE_ATOMIC_INSN(
309 /* LL/SC */
Will Deacon3a0310e2013-02-04 12:12:33 +0000310 "1: ldxr %w0, %2\n"
Catalin Marinas08e875c2012-03-05 11:49:30 +0000311 " sub %w0, %w0, #1\n"
Will Deacon3a0310e2013-02-04 12:12:33 +0000312 " stlxr %w1, %w0, %2\n"
Will Deacon81bb5c62015-02-10 03:03:15 +0000313 " cbnz %w1, 1b",
314 /* LSE atomics */
315 " movn %w0, #0\n"
Will Deacon05492f22016-09-06 16:42:58 +0100316 " staddl %w0, %2\n"
317 __nops(2))
Will Deacon3a0310e2013-02-04 12:12:33 +0000318 : "=&r" (tmp), "=&r" (tmp2), "+Q" (rw->lock)
319 :
Will Deacon95c41892014-02-04 12:29:13 +0000320 : "memory");
Catalin Marinas08e875c2012-03-05 11:49:30 +0000321}
322
323static inline int arch_read_trylock(arch_rwlock_t *rw)
324{
Will Deacon81bb5c62015-02-10 03:03:15 +0000325 unsigned int tmp, tmp2;
Catalin Marinas08e875c2012-03-05 11:49:30 +0000326
Will Deacon81bb5c62015-02-10 03:03:15 +0000327 asm volatile(ARM64_LSE_ATOMIC_INSN(
328 /* LL/SC */
329 " mov %w1, #1\n"
Will Deacon9511ca12015-07-22 18:25:52 +0100330 "1: ldaxr %w0, %2\n"
Catalin Marinas08e875c2012-03-05 11:49:30 +0000331 " add %w0, %w0, #1\n"
Will Deacon9511ca12015-07-22 18:25:52 +0100332 " tbnz %w0, #31, 2f\n"
Will Deacon3a0310e2013-02-04 12:12:33 +0000333 " stxr %w1, %w0, %2\n"
Will Deacon9511ca12015-07-22 18:25:52 +0100334 " cbnz %w1, 1b\n"
Will Deacon81bb5c62015-02-10 03:03:15 +0000335 "2:",
336 /* LSE atomics */
337 " ldr %w0, %2\n"
338 " adds %w1, %w0, #1\n"
339 " tbnz %w1, #31, 1f\n"
340 " casa %w0, %w1, %2\n"
341 " sbc %w1, %w1, %w0\n"
Will Deacon05492f22016-09-06 16:42:58 +0100342 __nops(1)
Will Deacon81bb5c62015-02-10 03:03:15 +0000343 "1:")
344 : "=&r" (tmp), "=&r" (tmp2), "+Q" (rw->lock)
Will Deacon3a0310e2013-02-04 12:12:33 +0000345 :
Will Deacon81bb5c62015-02-10 03:03:15 +0000346 : "cc", "memory");
Catalin Marinas08e875c2012-03-05 11:49:30 +0000347
348 return !tmp2;
349}
350
351/* read_can_lock - would read_trylock() succeed? */
352#define arch_read_can_lock(x) ((x)->lock < 0x80000000)
353
354#define arch_read_lock_flags(lock, flags) arch_read_lock(lock)
355#define arch_write_lock_flags(lock, flags) arch_write_lock(lock)
356
357#define arch_spin_relax(lock) cpu_relax()
358#define arch_read_relax(lock) cpu_relax()
359#define arch_write_relax(lock) cpu_relax()
360
Will Deacon872c63f2016-09-05 11:56:05 +0100361/*
362 * Accesses appearing in program order before a spin_lock() operation
363 * can be reordered with accesses inside the critical section, by virtue
364 * of arch_spin_lock being constructed using acquire semantics.
365 *
366 * In cases where this is problematic (e.g. try_to_wake_up), an
367 * smp_mb__before_spinlock() can restore the required ordering.
368 */
369#define smp_mb__before_spinlock() smp_mb()
370
Catalin Marinas08e875c2012-03-05 11:49:30 +0000371#endif /* __ASM_SPINLOCK_H */