blob: ed6c22919e473e2de059d905373b6d98a9a29a50 [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
Marc Zyngier603605a2011-05-23 17:16:59 +01008#include <asm/processor.h>
9
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 */
14#define ALT_SMP(smp, up) \
15 "9998: " smp "\n" \
16 " .pushsection \".alt.smp.init\", \"a\"\n" \
17 " .long 9998b\n" \
18 " " up "\n" \
19 " .popsection\n"
20
21#ifdef CONFIG_THUMB2_KERNEL
22#define SEV ALT_SMP("sev.w", "nop.w")
Dave Martin917692f2011-02-09 12:06:59 +010023/*
24 * For Thumb-2, special care is needed to ensure that the conditional WFE
25 * instruction really does assemble to exactly 4 bytes (as required by
26 * the SMP_ON_UP fixup code). By itself "wfene" might cause the
27 * assembler to insert a extra (16-bit) IT instruction, depending on the
28 * presence or absence of neighbouring conditional instructions.
29 *
30 * To avoid this unpredictableness, an approprite IT is inserted explicitly:
31 * the assembler won't change IT instructions which are explicitly present
32 * in the input.
33 */
34#define WFE(cond) ALT_SMP( \
35 "it " cond "\n\t" \
36 "wfe" cond ".n", \
37 \
38 "nop.w" \
39)
Russell King000d9c72011-01-15 16:22:12 +000040#else
41#define SEV ALT_SMP("sev", "nop")
42#define WFE(cond) ALT_SMP("wfe" cond, "nop")
43#endif
44
Rabin Vincentc5113b62010-01-25 19:43:03 +010045static inline void dsb_sev(void)
46{
47#if __LINUX_ARM_ARCH__ >= 7
48 __asm__ __volatile__ (
Will Deacon73a6fdc2013-05-13 11:39:50 +010049 "dsb ishst\n"
Russell King000d9c72011-01-15 16:22:12 +000050 SEV
Rabin Vincentc5113b62010-01-25 19:43:03 +010051 );
Russell King000d9c72011-01-15 16:22:12 +000052#else
Rabin Vincentc5113b62010-01-25 19:43:03 +010053 __asm__ __volatile__ (
54 "mcr p15, 0, %0, c7, c10, 4\n"
Russell King000d9c72011-01-15 16:22:12 +000055 SEV
Rabin Vincentc5113b62010-01-25 19:43:03 +010056 : : "r" (0)
57 );
58#endif
59}
60
Linus Torvalds1da177e2005-04-16 15:20:36 -070061/*
Will Deacon546c2892012-07-06 15:43:41 +010062 * ARMv6 ticket-based spin-locking.
Linus Torvalds1da177e2005-04-16 15:20:36 -070063 *
Will Deacon546c2892012-07-06 15:43:41 +010064 * A memory barrier is required after we get a lock, and before we
65 * release it, because V6 CPUs are assumed to have weakly ordered
66 * memory.
Linus Torvalds1da177e2005-04-16 15:20:36 -070067 */
Linus Torvalds1da177e2005-04-16 15:20:36 -070068
Thomas Gleixner0199c4e2009-12-02 20:01:25 +010069#define arch_spin_unlock_wait(lock) \
70 do { while (arch_spin_is_locked(lock)) cpu_relax(); } while (0)
Linus Torvalds1da177e2005-04-16 15:20:36 -070071
Thomas Gleixner0199c4e2009-12-02 20:01:25 +010072#define arch_spin_lock_flags(lock, flags) arch_spin_lock(lock)
Linus Torvalds1da177e2005-04-16 15:20:36 -070073
Thomas Gleixner0199c4e2009-12-02 20:01:25 +010074static inline void arch_spin_lock(arch_spinlock_t *lock)
Linus Torvalds1da177e2005-04-16 15:20:36 -070075{
76 unsigned long tmp;
Will Deacon546c2892012-07-06 15:43:41 +010077 u32 newval;
78 arch_spinlock_t lockval;
Linus Torvalds1da177e2005-04-16 15:20:36 -070079
80 __asm__ __volatile__(
Will Deacon546c2892012-07-06 15:43:41 +010081"1: ldrex %0, [%3]\n"
82" add %1, %0, %4\n"
83" strex %2, %1, [%3]\n"
84" teq %2, #0\n"
Linus Torvalds1da177e2005-04-16 15:20:36 -070085" bne 1b"
Will Deacon546c2892012-07-06 15:43:41 +010086 : "=&r" (lockval), "=&r" (newval), "=&r" (tmp)
87 : "r" (&lock->slock), "I" (1 << TICKET_SHIFT)
Russell King6d9b37a2005-07-26 19:44:26 +010088 : "cc");
89
Will Deacon546c2892012-07-06 15:43:41 +010090 while (lockval.tickets.next != lockval.tickets.owner) {
91 wfe();
92 lockval.tickets.owner = ACCESS_ONCE(lock->tickets.owner);
93 }
94
Russell King6d9b37a2005-07-26 19:44:26 +010095 smp_mb();
Linus Torvalds1da177e2005-04-16 15:20:36 -070096}
97
Thomas Gleixner0199c4e2009-12-02 20:01:25 +010098static inline int arch_spin_trylock(arch_spinlock_t *lock)
Linus Torvalds1da177e2005-04-16 15:20:36 -070099{
Will Deacon15e7e5c2013-06-05 11:27:26 +0100100 unsigned long contended, res;
Will Deacon546c2892012-07-06 15:43:41 +0100101 u32 slock;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700102
Will Deacon15e7e5c2013-06-05 11:27:26 +0100103 do {
104 __asm__ __volatile__(
105 " ldrex %0, [%3]\n"
106 " mov %2, #0\n"
107 " subs %1, %0, %0, ror #16\n"
108 " addeq %0, %0, %4\n"
109 " strexeq %2, %0, [%3]"
Will Deaconafa31d82013-08-12 18:03:26 +0100110 : "=&r" (slock), "=&r" (contended), "=&r" (res)
Will Deacon15e7e5c2013-06-05 11:27:26 +0100111 : "r" (&lock->slock), "I" (1 << TICKET_SHIFT)
112 : "cc");
113 } while (res);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700114
Will Deacon15e7e5c2013-06-05 11:27:26 +0100115 if (!contended) {
Russell King6d9b37a2005-07-26 19:44:26 +0100116 smp_mb();
117 return 1;
118 } else {
119 return 0;
120 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700121}
122
Thomas Gleixner0199c4e2009-12-02 20:01:25 +0100123static inline void arch_spin_unlock(arch_spinlock_t *lock)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700124{
Russell King6d9b37a2005-07-26 19:44:26 +0100125 smp_mb();
Will Deacon20e260b2013-01-24 14:47:38 +0100126 lock->tickets.owner++;
Rabin Vincentc5113b62010-01-25 19:43:03 +0100127 dsb_sev();
Linus Torvalds1da177e2005-04-16 15:20:36 -0700128}
129
Will Deacon0cbad9c2013-10-09 17:19:22 +0100130static inline int arch_spin_value_unlocked(arch_spinlock_t lock)
131{
132 return lock.tickets.owner == lock.tickets.next;
133}
134
Will Deacon546c2892012-07-06 15:43:41 +0100135static inline int arch_spin_is_locked(arch_spinlock_t *lock)
136{
Will Deacon0cbad9c2013-10-09 17:19:22 +0100137 return !arch_spin_value_unlocked(ACCESS_ONCE(*lock));
Will Deacon546c2892012-07-06 15:43:41 +0100138}
139
140static inline int arch_spin_is_contended(arch_spinlock_t *lock)
141{
142 struct __raw_tickets tickets = ACCESS_ONCE(lock->tickets);
143 return (tickets.next - tickets.owner) > 1;
144}
145#define arch_spin_is_contended arch_spin_is_contended
146
Linus Torvalds1da177e2005-04-16 15:20:36 -0700147/*
148 * RWLOCKS
Ingo Molnarfb1c8f92005-09-10 00:25:56 -0700149 *
150 *
Linus Torvalds1da177e2005-04-16 15:20:36 -0700151 * Write locks are easy - we just set bit 31. When unlocking, we can
152 * just write zero since the lock is exclusively held.
153 */
Ingo Molnarfb1c8f92005-09-10 00:25:56 -0700154
Thomas Gleixnere5931942009-12-03 20:08:46 +0100155static inline void arch_write_lock(arch_rwlock_t *rw)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700156{
157 unsigned long tmp;
158
159 __asm__ __volatile__(
160"1: ldrex %0, [%1]\n"
161" teq %0, #0\n"
Russell King000d9c72011-01-15 16:22:12 +0000162 WFE("ne")
Linus Torvalds1da177e2005-04-16 15:20:36 -0700163" strexeq %0, %2, [%1]\n"
164" teq %0, #0\n"
165" bne 1b"
166 : "=&r" (tmp)
167 : "r" (&rw->lock), "r" (0x80000000)
Russell King6d9b37a2005-07-26 19:44:26 +0100168 : "cc");
169
170 smp_mb();
Linus Torvalds1da177e2005-04-16 15:20:36 -0700171}
172
Thomas Gleixnere5931942009-12-03 20:08:46 +0100173static inline int arch_write_trylock(arch_rwlock_t *rw)
Russell King4e8fd222005-07-24 12:13:40 +0100174{
Will Deacon00efaa02013-08-12 18:04:05 +0100175 unsigned long contended, res;
Russell King4e8fd222005-07-24 12:13:40 +0100176
Will Deacon00efaa02013-08-12 18:04:05 +0100177 do {
178 __asm__ __volatile__(
179 " ldrex %0, [%2]\n"
180 " mov %1, #0\n"
181 " teq %0, #0\n"
182 " strexeq %1, %3, [%2]"
183 : "=&r" (contended), "=&r" (res)
184 : "r" (&rw->lock), "r" (0x80000000)
185 : "cc");
186 } while (res);
Russell King4e8fd222005-07-24 12:13:40 +0100187
Will Deacon00efaa02013-08-12 18:04:05 +0100188 if (!contended) {
Russell King6d9b37a2005-07-26 19:44:26 +0100189 smp_mb();
190 return 1;
191 } else {
192 return 0;
193 }
Russell King4e8fd222005-07-24 12:13:40 +0100194}
195
Thomas Gleixnere5931942009-12-03 20:08:46 +0100196static inline void arch_write_unlock(arch_rwlock_t *rw)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700197{
Russell King6d9b37a2005-07-26 19:44:26 +0100198 smp_mb();
199
Linus Torvalds1da177e2005-04-16 15:20:36 -0700200 __asm__ __volatile__(
Russell King00b4c902005-12-01 15:47:24 +0000201 "str %1, [%0]\n"
Linus Torvalds1da177e2005-04-16 15:20:36 -0700202 :
203 : "r" (&rw->lock), "r" (0)
Russell King6d9b37a2005-07-26 19:44:26 +0100204 : "cc");
Rabin Vincentc5113b62010-01-25 19:43:03 +0100205
206 dsb_sev();
Linus Torvalds1da177e2005-04-16 15:20:36 -0700207}
208
Catalin Marinasc2a4c402006-05-19 21:55:35 +0100209/* write_can_lock - would write_trylock() succeed? */
Thomas Gleixnere5931942009-12-03 20:08:46 +0100210#define arch_write_can_lock(x) ((x)->lock == 0)
Catalin Marinasc2a4c402006-05-19 21:55:35 +0100211
Linus Torvalds1da177e2005-04-16 15:20:36 -0700212/*
213 * Read locks are a bit more hairy:
214 * - Exclusively load the lock value.
215 * - Increment it.
216 * - Store new lock value if positive, and we still own this location.
217 * If the value is negative, we've already failed.
218 * - If we failed to store the value, we want a negative result.
219 * - If we failed, try again.
220 * Unlocking is similarly hairy. We may have multiple read locks
221 * currently active. However, we know we won't have any write
222 * locks.
223 */
Thomas Gleixnere5931942009-12-03 20:08:46 +0100224static inline void arch_read_lock(arch_rwlock_t *rw)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700225{
226 unsigned long tmp, tmp2;
227
228 __asm__ __volatile__(
229"1: ldrex %0, [%2]\n"
230" adds %0, %0, #1\n"
231" strexpl %1, %0, [%2]\n"
Russell King000d9c72011-01-15 16:22:12 +0000232 WFE("mi")
Linus Torvalds1da177e2005-04-16 15:20:36 -0700233" rsbpls %0, %1, #0\n"
234" bmi 1b"
235 : "=&r" (tmp), "=&r" (tmp2)
236 : "r" (&rw->lock)
Russell King6d9b37a2005-07-26 19:44:26 +0100237 : "cc");
238
239 smp_mb();
Linus Torvalds1da177e2005-04-16 15:20:36 -0700240}
241
Thomas Gleixnere5931942009-12-03 20:08:46 +0100242static inline void arch_read_unlock(arch_rwlock_t *rw)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700243{
Russell King4e8fd222005-07-24 12:13:40 +0100244 unsigned long tmp, tmp2;
245
Russell King6d9b37a2005-07-26 19:44:26 +0100246 smp_mb();
247
Linus Torvalds1da177e2005-04-16 15:20:36 -0700248 __asm__ __volatile__(
249"1: ldrex %0, [%2]\n"
250" sub %0, %0, #1\n"
251" strex %1, %0, [%2]\n"
252" teq %1, #0\n"
253" bne 1b"
254 : "=&r" (tmp), "=&r" (tmp2)
255 : "r" (&rw->lock)
Russell King6d9b37a2005-07-26 19:44:26 +0100256 : "cc");
Rabin Vincentc5113b62010-01-25 19:43:03 +0100257
258 if (tmp == 0)
259 dsb_sev();
Linus Torvalds1da177e2005-04-16 15:20:36 -0700260}
261
Thomas Gleixnere5931942009-12-03 20:08:46 +0100262static inline int arch_read_trylock(arch_rwlock_t *rw)
Russell King8e347032006-08-31 15:09:30 +0100263{
Will Deacon00efaa02013-08-12 18:04:05 +0100264 unsigned long contended, res;
Russell King8e347032006-08-31 15:09:30 +0100265
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? */
Thomas Gleixnere5931942009-12-03 20:08:46 +0100287#define arch_read_can_lock(x) ((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 */