blob: ef3c6072aa45345ae4594f22aebbe9a9ebc538f1 [file] [log] [blame]
Linus Torvalds1da177e2005-04-16 15:20:36 -07001#ifndef __ASM_SPINLOCK_H
2#define __ASM_SPINLOCK_H
3
4#if __LINUX_ARM_ARCH__ < 6
5#error SMP not supported on pre-ARMv6 CPUs
6#endif
7
Will Deacon9bb17be2013-07-02 14:54:33 +01008#include <linux/prefetch.h>
Marc Zyngier603605a2011-05-23 17:16:59 +01009
Russell King000d9c72011-01-15 16:22:12 +000010/*
11 * sev and wfe are ARMv6K extensions. Uniprocessor ARMv6 may not have the K
12 * extensions, so when running on UP, we have to patch these instructions away.
13 */
Russell King000d9c72011-01-15 16:22:12 +000014#ifdef CONFIG_THUMB2_KERNEL
Dave Martin917692f2011-02-09 12:06:59 +010015/*
16 * For Thumb-2, special care is needed to ensure that the conditional WFE
17 * instruction really does assemble to exactly 4 bytes (as required by
18 * the SMP_ON_UP fixup code). By itself "wfene" might cause the
19 * assembler to insert a extra (16-bit) IT instruction, depending on the
20 * presence or absence of neighbouring conditional instructions.
21 *
22 * To avoid this unpredictableness, an approprite IT is inserted explicitly:
23 * the assembler won't change IT instructions which are explicitly present
24 * in the input.
25 */
Will Deacon27a84792013-07-02 12:10:42 +010026#define WFE(cond) __ALT_SMP_ASM( \
Dave Martin917692f2011-02-09 12:06:59 +010027 "it " cond "\n\t" \
28 "wfe" cond ".n", \
29 \
30 "nop.w" \
31)
Russell King000d9c72011-01-15 16:22:12 +000032#else
Will Deacon27a84792013-07-02 12:10:42 +010033#define WFE(cond) __ALT_SMP_ASM("wfe" cond, "nop")
Russell King000d9c72011-01-15 16:22:12 +000034#endif
35
Will Deacon27a84792013-07-02 12:10:42 +010036#define SEV __ALT_SMP_ASM(WASM(sev), WASM(nop))
37
Rabin Vincentc5113b62010-01-25 19:43:03 +010038static inline void dsb_sev(void)
39{
40#if __LINUX_ARM_ARCH__ >= 7
41 __asm__ __volatile__ (
Will Deacon73a6fdc2013-05-13 11:39:50 +010042 "dsb ishst\n"
Russell King000d9c72011-01-15 16:22:12 +000043 SEV
Rabin Vincentc5113b62010-01-25 19:43:03 +010044 );
Russell King000d9c72011-01-15 16:22:12 +000045#else
Rabin Vincentc5113b62010-01-25 19:43:03 +010046 __asm__ __volatile__ (
47 "mcr p15, 0, %0, c7, c10, 4\n"
Russell King000d9c72011-01-15 16:22:12 +000048 SEV
Rabin Vincentc5113b62010-01-25 19:43:03 +010049 : : "r" (0)
50 );
51#endif
52}
53
Linus Torvalds1da177e2005-04-16 15:20:36 -070054/*
Will Deacon546c2892012-07-06 15:43:41 +010055 * ARMv6 ticket-based spin-locking.
Linus Torvalds1da177e2005-04-16 15:20:36 -070056 *
Will Deacon546c2892012-07-06 15:43:41 +010057 * A memory barrier is required after we get a lock, and before we
58 * release it, because V6 CPUs are assumed to have weakly ordered
59 * memory.
Linus Torvalds1da177e2005-04-16 15:20:36 -070060 */
Linus Torvalds1da177e2005-04-16 15:20:36 -070061
Thomas Gleixner0199c4e2009-12-02 20:01:25 +010062#define arch_spin_unlock_wait(lock) \
63 do { while (arch_spin_is_locked(lock)) cpu_relax(); } while (0)
Linus Torvalds1da177e2005-04-16 15:20:36 -070064
Thomas Gleixner0199c4e2009-12-02 20:01:25 +010065#define arch_spin_lock_flags(lock, flags) arch_spin_lock(lock)
Linus Torvalds1da177e2005-04-16 15:20:36 -070066
Thomas Gleixner0199c4e2009-12-02 20:01:25 +010067static inline void arch_spin_lock(arch_spinlock_t *lock)
Linus Torvalds1da177e2005-04-16 15:20:36 -070068{
69 unsigned long tmp;
Will Deacon546c2892012-07-06 15:43:41 +010070 u32 newval;
71 arch_spinlock_t lockval;
Linus Torvalds1da177e2005-04-16 15:20:36 -070072
Will Deacon9bb17be2013-07-02 14:54:33 +010073 prefetchw(&lock->slock);
Linus Torvalds1da177e2005-04-16 15:20:36 -070074 __asm__ __volatile__(
Will Deacon546c2892012-07-06 15:43:41 +010075"1: ldrex %0, [%3]\n"
76" add %1, %0, %4\n"
77" strex %2, %1, [%3]\n"
78" teq %2, #0\n"
Linus Torvalds1da177e2005-04-16 15:20:36 -070079" bne 1b"
Will Deacon546c2892012-07-06 15:43:41 +010080 : "=&r" (lockval), "=&r" (newval), "=&r" (tmp)
81 : "r" (&lock->slock), "I" (1 << TICKET_SHIFT)
Russell King6d9b37a2005-07-26 19:44:26 +010082 : "cc");
83
Will Deacon546c2892012-07-06 15:43:41 +010084 while (lockval.tickets.next != lockval.tickets.owner) {
85 wfe();
86 lockval.tickets.owner = ACCESS_ONCE(lock->tickets.owner);
87 }
88
Russell King6d9b37a2005-07-26 19:44:26 +010089 smp_mb();
Linus Torvalds1da177e2005-04-16 15:20:36 -070090}
91
Thomas Gleixner0199c4e2009-12-02 20:01:25 +010092static inline int arch_spin_trylock(arch_spinlock_t *lock)
Linus Torvalds1da177e2005-04-16 15:20:36 -070093{
Will Deacon15e7e5c2013-06-05 11:27:26 +010094 unsigned long contended, res;
Will Deacon546c2892012-07-06 15:43:41 +010095 u32 slock;
Linus Torvalds1da177e2005-04-16 15:20:36 -070096
Will Deacon9bb17be2013-07-02 14:54:33 +010097 prefetchw(&lock->slock);
Will Deacon15e7e5c2013-06-05 11:27:26 +010098 do {
99 __asm__ __volatile__(
100 " ldrex %0, [%3]\n"
101 " mov %2, #0\n"
102 " subs %1, %0, %0, ror #16\n"
103 " addeq %0, %0, %4\n"
104 " strexeq %2, %0, [%3]"
Will Deaconafa31d82013-08-12 18:03:26 +0100105 : "=&r" (slock), "=&r" (contended), "=&r" (res)
Will Deacon15e7e5c2013-06-05 11:27:26 +0100106 : "r" (&lock->slock), "I" (1 << TICKET_SHIFT)
107 : "cc");
108 } while (res);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700109
Will Deacon15e7e5c2013-06-05 11:27:26 +0100110 if (!contended) {
Russell King6d9b37a2005-07-26 19:44:26 +0100111 smp_mb();
112 return 1;
113 } else {
114 return 0;
115 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700116}
117
Thomas Gleixner0199c4e2009-12-02 20:01:25 +0100118static inline void arch_spin_unlock(arch_spinlock_t *lock)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700119{
Russell King6d9b37a2005-07-26 19:44:26 +0100120 smp_mb();
Will Deacon20e260b2013-01-24 14:47:38 +0100121 lock->tickets.owner++;
Rabin Vincentc5113b62010-01-25 19:43:03 +0100122 dsb_sev();
Linus Torvalds1da177e2005-04-16 15:20:36 -0700123}
124
Will Deacon0cbad9c2013-10-09 17:19:22 +0100125static inline int arch_spin_value_unlocked(arch_spinlock_t lock)
126{
127 return lock.tickets.owner == lock.tickets.next;
128}
129
Will Deacon546c2892012-07-06 15:43:41 +0100130static inline int arch_spin_is_locked(arch_spinlock_t *lock)
131{
Will Deacon0cbad9c2013-10-09 17:19:22 +0100132 return !arch_spin_value_unlocked(ACCESS_ONCE(*lock));
Will Deacon546c2892012-07-06 15:43:41 +0100133}
134
135static inline int arch_spin_is_contended(arch_spinlock_t *lock)
136{
137 struct __raw_tickets tickets = ACCESS_ONCE(lock->tickets);
138 return (tickets.next - tickets.owner) > 1;
139}
140#define arch_spin_is_contended arch_spin_is_contended
141
Linus Torvalds1da177e2005-04-16 15:20:36 -0700142/*
143 * RWLOCKS
Ingo Molnarfb1c8f92005-09-10 00:25:56 -0700144 *
145 *
Linus Torvalds1da177e2005-04-16 15:20:36 -0700146 * Write locks are easy - we just set bit 31. When unlocking, we can
147 * just write zero since the lock is exclusively held.
148 */
Ingo Molnarfb1c8f92005-09-10 00:25:56 -0700149
Thomas Gleixnere5931942009-12-03 20:08:46 +0100150static inline void arch_write_lock(arch_rwlock_t *rw)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700151{
152 unsigned long tmp;
153
Will Deacon9bb17be2013-07-02 14:54:33 +0100154 prefetchw(&rw->lock);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700155 __asm__ __volatile__(
156"1: ldrex %0, [%1]\n"
157" teq %0, #0\n"
Russell King000d9c72011-01-15 16:22:12 +0000158 WFE("ne")
Linus Torvalds1da177e2005-04-16 15:20:36 -0700159" strexeq %0, %2, [%1]\n"
160" teq %0, #0\n"
161" bne 1b"
162 : "=&r" (tmp)
163 : "r" (&rw->lock), "r" (0x80000000)
Russell King6d9b37a2005-07-26 19:44:26 +0100164 : "cc");
165
166 smp_mb();
Linus Torvalds1da177e2005-04-16 15:20:36 -0700167}
168
Thomas Gleixnere5931942009-12-03 20:08:46 +0100169static inline int arch_write_trylock(arch_rwlock_t *rw)
Russell King4e8fd222005-07-24 12:13:40 +0100170{
Will Deacon00efaa02013-08-12 18:04:05 +0100171 unsigned long contended, res;
Russell King4e8fd222005-07-24 12:13:40 +0100172
Will Deacon9bb17be2013-07-02 14:54:33 +0100173 prefetchw(&rw->lock);
Will Deacon00efaa02013-08-12 18:04:05 +0100174 do {
175 __asm__ __volatile__(
176 " ldrex %0, [%2]\n"
177 " mov %1, #0\n"
178 " teq %0, #0\n"
179 " strexeq %1, %3, [%2]"
180 : "=&r" (contended), "=&r" (res)
181 : "r" (&rw->lock), "r" (0x80000000)
182 : "cc");
183 } while (res);
Russell King4e8fd222005-07-24 12:13:40 +0100184
Will Deacon00efaa02013-08-12 18:04:05 +0100185 if (!contended) {
Russell King6d9b37a2005-07-26 19:44:26 +0100186 smp_mb();
187 return 1;
188 } else {
189 return 0;
190 }
Russell King4e8fd222005-07-24 12:13:40 +0100191}
192
Thomas Gleixnere5931942009-12-03 20:08:46 +0100193static inline void arch_write_unlock(arch_rwlock_t *rw)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700194{
Russell King6d9b37a2005-07-26 19:44:26 +0100195 smp_mb();
196
Linus Torvalds1da177e2005-04-16 15:20:36 -0700197 __asm__ __volatile__(
Russell King00b4c902005-12-01 15:47:24 +0000198 "str %1, [%0]\n"
Linus Torvalds1da177e2005-04-16 15:20:36 -0700199 :
200 : "r" (&rw->lock), "r" (0)
Russell King6d9b37a2005-07-26 19:44:26 +0100201 : "cc");
Rabin Vincentc5113b62010-01-25 19:43:03 +0100202
203 dsb_sev();
Linus Torvalds1da177e2005-04-16 15:20:36 -0700204}
205
Catalin Marinasc2a4c402006-05-19 21:55:35 +0100206/* write_can_lock - would write_trylock() succeed? */
Will Deacon9bb17be2013-07-02 14:54:33 +0100207#define arch_write_can_lock(x) (ACCESS_ONCE((x)->lock) == 0)
Catalin Marinasc2a4c402006-05-19 21:55:35 +0100208
Linus Torvalds1da177e2005-04-16 15:20:36 -0700209/*
210 * Read locks are a bit more hairy:
211 * - Exclusively load the lock value.
212 * - Increment it.
213 * - Store new lock value if positive, and we still own this location.
214 * If the value is negative, we've already failed.
215 * - If we failed to store the value, we want a negative result.
216 * - If we failed, try again.
217 * Unlocking is similarly hairy. We may have multiple read locks
218 * currently active. However, we know we won't have any write
219 * locks.
220 */
Thomas Gleixnere5931942009-12-03 20:08:46 +0100221static inline void arch_read_lock(arch_rwlock_t *rw)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700222{
223 unsigned long tmp, tmp2;
224
Will Deacon9bb17be2013-07-02 14:54:33 +0100225 prefetchw(&rw->lock);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700226 __asm__ __volatile__(
227"1: ldrex %0, [%2]\n"
228" adds %0, %0, #1\n"
229" strexpl %1, %0, [%2]\n"
Russell King000d9c72011-01-15 16:22:12 +0000230 WFE("mi")
Linus Torvalds1da177e2005-04-16 15:20:36 -0700231" rsbpls %0, %1, #0\n"
232" bmi 1b"
233 : "=&r" (tmp), "=&r" (tmp2)
234 : "r" (&rw->lock)
Russell King6d9b37a2005-07-26 19:44:26 +0100235 : "cc");
236
237 smp_mb();
Linus Torvalds1da177e2005-04-16 15:20:36 -0700238}
239
Thomas Gleixnere5931942009-12-03 20:08:46 +0100240static inline void arch_read_unlock(arch_rwlock_t *rw)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700241{
Russell King4e8fd222005-07-24 12:13:40 +0100242 unsigned long tmp, tmp2;
243
Russell King6d9b37a2005-07-26 19:44:26 +0100244 smp_mb();
245
Will Deacon9bb17be2013-07-02 14:54:33 +0100246 prefetchw(&rw->lock);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700247 __asm__ __volatile__(
248"1: ldrex %0, [%2]\n"
249" sub %0, %0, #1\n"
250" strex %1, %0, [%2]\n"
251" teq %1, #0\n"
252" bne 1b"
253 : "=&r" (tmp), "=&r" (tmp2)
254 : "r" (&rw->lock)
Russell King6d9b37a2005-07-26 19:44:26 +0100255 : "cc");
Rabin Vincentc5113b62010-01-25 19:43:03 +0100256
257 if (tmp == 0)
258 dsb_sev();
Linus Torvalds1da177e2005-04-16 15:20:36 -0700259}
260
Thomas Gleixnere5931942009-12-03 20:08:46 +0100261static inline int arch_read_trylock(arch_rwlock_t *rw)
Russell King8e347032006-08-31 15:09:30 +0100262{
Will Deacon00efaa02013-08-12 18:04:05 +0100263 unsigned long contended, res;
Russell King8e347032006-08-31 15:09:30 +0100264
Will Deacon9bb17be2013-07-02 14:54:33 +0100265 prefetchw(&rw->lock);
Will Deacon00efaa02013-08-12 18:04:05 +0100266 do {
267 __asm__ __volatile__(
268 " ldrex %0, [%2]\n"
269 " mov %1, #0\n"
270 " adds %0, %0, #1\n"
271 " strexpl %1, %0, [%2]"
272 : "=&r" (contended), "=&r" (res)
273 : "r" (&rw->lock)
274 : "cc");
275 } while (res);
Russell King8e347032006-08-31 15:09:30 +0100276
Will Deacon00efaa02013-08-12 18:04:05 +0100277 /* If the lock is negative, then it is already held for write. */
278 if (contended < 0x80000000) {
279 smp_mb();
280 return 1;
281 } else {
282 return 0;
283 }
Russell King8e347032006-08-31 15:09:30 +0100284}
Linus Torvalds1da177e2005-04-16 15:20:36 -0700285
Catalin Marinasc2a4c402006-05-19 21:55:35 +0100286/* read_can_lock - would read_trylock() succeed? */
Will Deacon9bb17be2013-07-02 14:54:33 +0100287#define arch_read_can_lock(x) (ACCESS_ONCE((x)->lock) < 0x80000000)
Catalin Marinasc2a4c402006-05-19 21:55:35 +0100288
Thomas Gleixnere5931942009-12-03 20:08:46 +0100289#define arch_read_lock_flags(lock, flags) arch_read_lock(lock)
290#define arch_write_lock_flags(lock, flags) arch_write_lock(lock)
Robin Holtf5f7eac2009-04-02 16:59:46 -0700291
Thomas Gleixner0199c4e2009-12-02 20:01:25 +0100292#define arch_spin_relax(lock) cpu_relax()
293#define arch_read_relax(lock) cpu_relax()
294#define arch_write_relax(lock) cpu_relax()
Martin Schwidefskyef6edc92006-09-30 23:27:43 -0700295
Linus Torvalds1da177e2005-04-16 15:20:36 -0700296#endif /* __ASM_SPINLOCK_H */