blob: b9ebc3085fb7932e632527df1f309e76260912d4 [file] [log] [blame]
Linus Torvalds1da177e2005-04-16 15:20:36 -07001#ifndef __ASM_SPINLOCK_H
2#define __ASM_SPINLOCK_H
Arnd Bergmann88ced032005-12-16 22:43:46 +01003#ifdef __KERNEL__
Linus Torvalds1da177e2005-04-16 15:20:36 -07004
5/*
6 * Simple spin lock operations.
7 *
8 * Copyright (C) 2001-2004 Paul Mackerras <paulus@au.ibm.com>, IBM
9 * Copyright (C) 2001 Anton Blanchard <anton@au.ibm.com>, IBM
10 * Copyright (C) 2002 Dave Engebretsen <engebret@us.ibm.com>, IBM
11 * Rework to support virtual processors
12 *
13 * Type of int is used as a full 64b word is not necessary.
14 *
15 * This program is free software; you can redistribute it and/or
16 * modify it under the terms of the GNU General Public License
17 * as published by the Free Software Foundation; either version
18 * 2 of the License, or (at your option) any later version.
Ingo Molnarfb1c8f92005-09-10 00:25:56 -070019 *
20 * (the type definitions are in asm/spinlock_types.h)
Linus Torvalds1da177e2005-04-16 15:20:36 -070021 */
Benjamin Herrenschmidt945feb12008-04-17 14:35:01 +100022#include <linux/irqflags.h>
Paul Mackerras0212ddd2005-11-19 20:50:46 +110023#ifdef CONFIG_PPC64
Linus Torvalds1da177e2005-04-16 15:20:36 -070024#include <asm/paca.h>
25#include <asm/hvcall.h>
Paul Mackerras0212ddd2005-11-19 20:50:46 +110026#endif
27#include <asm/asm-compat.h>
28#include <asm/synch.h>
Anton Blanchard4e14a4d2010-02-10 00:57:28 +000029#include <asm/ppc-opcode.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070030
Paul Mackerras0212ddd2005-11-19 20:50:46 +110031#ifdef CONFIG_PPC64
32/* use 0x800000yy when locked, where yy == CPU number */
Anton Blanchard54bb7f42013-08-07 02:01:51 +100033#ifdef __BIG_ENDIAN__
Paul Mackerras0212ddd2005-11-19 20:50:46 +110034#define LOCK_TOKEN (*(u32 *)(&get_paca()->lock_token))
35#else
Anton Blanchard54bb7f42013-08-07 02:01:51 +100036#define LOCK_TOKEN (*(u32 *)(&get_paca()->paca_index))
37#endif
38#else
Paul Mackerras0212ddd2005-11-19 20:50:46 +110039#define LOCK_TOKEN 1
40#endif
41
Paul Mackerrasf007cac2006-09-13 22:08:26 +100042#if defined(CONFIG_PPC64) && defined(CONFIG_SMP)
43#define CLEAR_IO_SYNC (get_paca()->io_sync = 0)
44#define SYNC_IO do { \
45 if (unlikely(get_paca()->io_sync)) { \
46 mb(); \
47 get_paca()->io_sync = 0; \
48 } \
49 } while (0)
50#else
51#define CLEAR_IO_SYNC
52#define SYNC_IO
53#endif
54
Pan Xinhui41946c82016-11-02 05:08:31 -040055#ifdef CONFIG_PPC_PSERIES
56#define vcpu_is_preempted vcpu_is_preempted
57static inline bool vcpu_is_preempted(int cpu)
58{
59 return !!(be32_to_cpu(lppaca_of(cpu).yield_count) & 1);
60}
61#endif
62
Michael Ellerman3405d232014-01-15 18:14:28 +110063static __always_inline int arch_spin_value_unlocked(arch_spinlock_t lock)
64{
65 return lock.slock == 0;
66}
67
Michael Ellerman7179ba52014-01-15 18:14:29 +110068static inline int arch_spin_is_locked(arch_spinlock_t *lock)
69{
Michael Ellerman51d7d522014-08-07 15:36:17 +100070 smp_mb();
Michael Ellerman7179ba52014-01-15 18:14:29 +110071 return !arch_spin_value_unlocked(*lock);
72}
73
Ingo Molnarfb1c8f92005-09-10 00:25:56 -070074/*
75 * This returns the old value in the lock, so we succeeded
76 * in getting the lock if the return value is 0.
77 */
Thomas Gleixner0199c4e2009-12-02 20:01:25 +010078static inline unsigned long __arch_spin_trylock(arch_spinlock_t *lock)
Linus Torvalds1da177e2005-04-16 15:20:36 -070079{
Paul Mackerras0212ddd2005-11-19 20:50:46 +110080 unsigned long tmp, token;
Ingo Molnarfb1c8f92005-09-10 00:25:56 -070081
Paul Mackerras0212ddd2005-11-19 20:50:46 +110082 token = LOCK_TOKEN;
Ingo Molnarfb1c8f92005-09-10 00:25:56 -070083 __asm__ __volatile__(
Anton Blanchard4e14a4d2010-02-10 00:57:28 +000084"1: " PPC_LWARX(%0,0,%2,1) "\n\
Ingo Molnarfb1c8f92005-09-10 00:25:56 -070085 cmpwi 0,%0,0\n\
86 bne- 2f\n\
87 stwcx. %1,0,%2\n\
Anton Blanchardf10e2e52010-02-10 01:04:06 +000088 bne- 1b\n"
89 PPC_ACQUIRE_BARRIER
90"2:"
91 : "=&r" (tmp)
Paul Mackerras0212ddd2005-11-19 20:50:46 +110092 : "r" (token), "r" (&lock->slock)
Ingo Molnarfb1c8f92005-09-10 00:25:56 -070093 : "cr0", "memory");
94
95 return tmp;
96}
97
Thomas Gleixner0199c4e2009-12-02 20:01:25 +010098static inline int arch_spin_trylock(arch_spinlock_t *lock)
Ingo Molnarfb1c8f92005-09-10 00:25:56 -070099{
Paul Mackerrasf007cac2006-09-13 22:08:26 +1000100 CLEAR_IO_SYNC;
Thomas Gleixner0199c4e2009-12-02 20:01:25 +0100101 return __arch_spin_trylock(lock) == 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700102}
103
104/*
105 * On a system with shared processors (that is, where a physical
106 * processor is multiplexed between several virtual processors),
107 * there is no point spinning on a lock if the holder of the lock
108 * isn't currently scheduled on a physical processor. Instead
109 * we detect this situation and ask the hypervisor to give the
110 * rest of our timeslice to the lock holder.
111 *
112 * So that we can tell which virtual processor is holding a lock,
113 * we put 0x80000000 | smp_processor_id() in the lock when it is
114 * held. Conveniently, we have a word in the paca that holds this
115 * value.
116 */
117
Stephen Rothwell1b041882012-03-15 18:20:13 +0000118#if defined(CONFIG_PPC_SPLPAR)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700119/* We only yield to the hypervisor if we are in shared processor mode */
Anton Blanchardf13c13a2013-08-07 02:01:26 +1000120#define SHARED_PROCESSOR (lppaca_shared_proc(local_paca->lppaca_ptr))
Thomas Gleixner445c8952009-12-02 19:49:50 +0100121extern void __spin_yield(arch_spinlock_t *lock);
Thomas Gleixnerfb3a6bb2009-12-03 20:01:19 +0100122extern void __rw_yield(arch_rwlock_t *lock);
Stephen Rothwell1b041882012-03-15 18:20:13 +0000123#else /* SPLPAR */
Linus Torvalds1da177e2005-04-16 15:20:36 -0700124#define __spin_yield(x) barrier()
125#define __rw_yield(x) barrier()
126#define SHARED_PROCESSOR 0
127#endif
Linus Torvalds1da177e2005-04-16 15:20:36 -0700128
Thomas Gleixner0199c4e2009-12-02 20:01:25 +0100129static inline void arch_spin_lock(arch_spinlock_t *lock)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700130{
Paul Mackerrasf007cac2006-09-13 22:08:26 +1000131 CLEAR_IO_SYNC;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700132 while (1) {
Thomas Gleixner0199c4e2009-12-02 20:01:25 +0100133 if (likely(__arch_spin_trylock(lock) == 0))
Linus Torvalds1da177e2005-04-16 15:20:36 -0700134 break;
135 do {
136 HMT_low();
137 if (SHARED_PROCESSOR)
138 __spin_yield(lock);
Ingo Molnarfb1c8f92005-09-10 00:25:56 -0700139 } while (unlikely(lock->slock != 0));
Linus Torvalds1da177e2005-04-16 15:20:36 -0700140 HMT_medium();
141 }
142}
143
Bart Van Assche89b58102008-06-28 16:51:35 +1000144static inline
Thomas Gleixner0199c4e2009-12-02 20:01:25 +0100145void arch_spin_lock_flags(arch_spinlock_t *lock, unsigned long flags)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700146{
147 unsigned long flags_dis;
148
Paul Mackerrasf007cac2006-09-13 22:08:26 +1000149 CLEAR_IO_SYNC;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700150 while (1) {
Thomas Gleixner0199c4e2009-12-02 20:01:25 +0100151 if (likely(__arch_spin_trylock(lock) == 0))
Linus Torvalds1da177e2005-04-16 15:20:36 -0700152 break;
153 local_save_flags(flags_dis);
154 local_irq_restore(flags);
155 do {
156 HMT_low();
157 if (SHARED_PROCESSOR)
158 __spin_yield(lock);
Ingo Molnarfb1c8f92005-09-10 00:25:56 -0700159 } while (unlikely(lock->slock != 0));
Linus Torvalds1da177e2005-04-16 15:20:36 -0700160 HMT_medium();
161 local_irq_restore(flags_dis);
162 }
163}
Will Deacona4c18872017-10-03 19:25:29 +0100164#define arch_spin_lock_flags arch_spin_lock_flags
Linus Torvalds1da177e2005-04-16 15:20:36 -0700165
Thomas Gleixner0199c4e2009-12-02 20:01:25 +0100166static inline void arch_spin_unlock(arch_spinlock_t *lock)
Ingo Molnarfb1c8f92005-09-10 00:25:56 -0700167{
Paul Mackerrasf007cac2006-09-13 22:08:26 +1000168 SYNC_IO;
Thomas Gleixner0199c4e2009-12-02 20:01:25 +0100169 __asm__ __volatile__("# arch_spin_unlock\n\t"
Anton Blanchardf10e2e52010-02-10 01:04:06 +0000170 PPC_RELEASE_BARRIER: : :"memory");
Ingo Molnarfb1c8f92005-09-10 00:25:56 -0700171 lock->slock = 0;
172}
173
Linus Torvalds1da177e2005-04-16 15:20:36 -0700174/*
175 * Read-write spinlocks, allowing multiple readers
176 * but only one writer.
177 *
178 * NOTE! it is quite common to have readers in interrupts
179 * but no interrupt writers. For those circumstances we
180 * can "mix" irq-safe locks - any writer needs to get a
181 * irq-safe write-lock, but readers can get non-irqsafe
182 * read-locks.
183 */
Linus Torvalds1da177e2005-04-16 15:20:36 -0700184
Paul Mackerras0212ddd2005-11-19 20:50:46 +1100185#ifdef CONFIG_PPC64
186#define __DO_SIGN_EXTEND "extsw %0,%0\n"
187#define WRLOCK_TOKEN LOCK_TOKEN /* it's negative */
188#else
189#define __DO_SIGN_EXTEND
190#define WRLOCK_TOKEN (-1)
191#endif
192
Linus Torvalds1da177e2005-04-16 15:20:36 -0700193/*
194 * This returns the old value in the lock + 1,
195 * so we got a read lock if the return value is > 0.
196 */
Thomas Gleixnere5931942009-12-03 20:08:46 +0100197static inline long __arch_read_trylock(arch_rwlock_t *rw)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700198{
199 long tmp;
200
201 __asm__ __volatile__(
Anton Blanchard4e14a4d2010-02-10 00:57:28 +0000202"1: " PPC_LWARX(%0,0,%1,1) "\n"
Paul Mackerras0212ddd2005-11-19 20:50:46 +1100203 __DO_SIGN_EXTEND
204" addic. %0,%0,1\n\
205 ble- 2f\n"
206 PPC405_ERR77(0,%1)
207" stwcx. %0,0,%1\n\
Anton Blanchardf10e2e52010-02-10 01:04:06 +0000208 bne- 1b\n"
209 PPC_ACQUIRE_BARRIER
210"2:" : "=&r" (tmp)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700211 : "r" (&rw->lock)
212 : "cr0", "xer", "memory");
213
214 return tmp;
215}
216
Linus Torvalds1da177e2005-04-16 15:20:36 -0700217/*
218 * This returns the old value in the lock,
219 * so we got the write lock if the return value is 0.
220 */
Thomas Gleixnere5931942009-12-03 20:08:46 +0100221static inline long __arch_write_trylock(arch_rwlock_t *rw)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700222{
Paul Mackerras0212ddd2005-11-19 20:50:46 +1100223 long tmp, token;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700224
Paul Mackerras0212ddd2005-11-19 20:50:46 +1100225 token = WRLOCK_TOKEN;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700226 __asm__ __volatile__(
Anton Blanchard4e14a4d2010-02-10 00:57:28 +0000227"1: " PPC_LWARX(%0,0,%2,1) "\n\
Linus Torvalds1da177e2005-04-16 15:20:36 -0700228 cmpwi 0,%0,0\n\
Paul Mackerras0212ddd2005-11-19 20:50:46 +1100229 bne- 2f\n"
230 PPC405_ERR77(0,%1)
231" stwcx. %1,0,%2\n\
Anton Blanchardf10e2e52010-02-10 01:04:06 +0000232 bne- 1b\n"
233 PPC_ACQUIRE_BARRIER
234"2:" : "=&r" (tmp)
Paul Mackerras0212ddd2005-11-19 20:50:46 +1100235 : "r" (token), "r" (&rw->lock)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700236 : "cr0", "memory");
237
238 return tmp;
239}
240
Thomas Gleixnere5931942009-12-03 20:08:46 +0100241static inline void arch_read_lock(arch_rwlock_t *rw)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700242{
Ingo Molnarfb1c8f92005-09-10 00:25:56 -0700243 while (1) {
Thomas Gleixnere5931942009-12-03 20:08:46 +0100244 if (likely(__arch_read_trylock(rw) > 0))
Ingo Molnarfb1c8f92005-09-10 00:25:56 -0700245 break;
246 do {
247 HMT_low();
248 if (SHARED_PROCESSOR)
249 __rw_yield(rw);
250 } while (unlikely(rw->lock < 0));
251 HMT_medium();
252 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700253}
254
Thomas Gleixnere5931942009-12-03 20:08:46 +0100255static inline void arch_write_lock(arch_rwlock_t *rw)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700256{
257 while (1) {
Thomas Gleixnere5931942009-12-03 20:08:46 +0100258 if (likely(__arch_write_trylock(rw) == 0))
Linus Torvalds1da177e2005-04-16 15:20:36 -0700259 break;
260 do {
261 HMT_low();
262 if (SHARED_PROCESSOR)
263 __rw_yield(rw);
Jake Moilanend6374132005-05-01 08:58:47 -0700264 } while (unlikely(rw->lock != 0));
Linus Torvalds1da177e2005-04-16 15:20:36 -0700265 HMT_medium();
266 }
267}
268
Thomas Gleixnere5931942009-12-03 20:08:46 +0100269static inline int arch_read_trylock(arch_rwlock_t *rw)
Ingo Molnarfb1c8f92005-09-10 00:25:56 -0700270{
Thomas Gleixnere5931942009-12-03 20:08:46 +0100271 return __arch_read_trylock(rw) > 0;
Ingo Molnarfb1c8f92005-09-10 00:25:56 -0700272}
273
Thomas Gleixnere5931942009-12-03 20:08:46 +0100274static inline int arch_write_trylock(arch_rwlock_t *rw)
Ingo Molnarfb1c8f92005-09-10 00:25:56 -0700275{
Thomas Gleixnere5931942009-12-03 20:08:46 +0100276 return __arch_write_trylock(rw) == 0;
Ingo Molnarfb1c8f92005-09-10 00:25:56 -0700277}
278
Thomas Gleixnere5931942009-12-03 20:08:46 +0100279static inline void arch_read_unlock(arch_rwlock_t *rw)
Ingo Molnarfb1c8f92005-09-10 00:25:56 -0700280{
281 long tmp;
282
283 __asm__ __volatile__(
Anton Blanchard144b9c12006-01-13 15:37:17 +1100284 "# read_unlock\n\t"
Anton Blanchardf10e2e52010-02-10 01:04:06 +0000285 PPC_RELEASE_BARRIER
Anton Blanchard144b9c12006-01-13 15:37:17 +1100286"1: lwarx %0,0,%1\n\
Paul Mackerras0212ddd2005-11-19 20:50:46 +1100287 addic %0,%0,-1\n"
288 PPC405_ERR77(0,%1)
289" stwcx. %0,0,%1\n\
Ingo Molnarfb1c8f92005-09-10 00:25:56 -0700290 bne- 1b"
291 : "=&r"(tmp)
292 : "r"(&rw->lock)
Paul Mackerrasefc36242008-11-05 18:39:27 +0000293 : "cr0", "xer", "memory");
Ingo Molnarfb1c8f92005-09-10 00:25:56 -0700294}
295
Thomas Gleixnere5931942009-12-03 20:08:46 +0100296static inline void arch_write_unlock(arch_rwlock_t *rw)
Ingo Molnarfb1c8f92005-09-10 00:25:56 -0700297{
Anton Blanchard144b9c12006-01-13 15:37:17 +1100298 __asm__ __volatile__("# write_unlock\n\t"
Anton Blanchardf10e2e52010-02-10 01:04:06 +0000299 PPC_RELEASE_BARRIER: : :"memory");
Ingo Molnarfb1c8f92005-09-10 00:25:56 -0700300 rw->lock = 0;
301}
302
Thomas Gleixner0199c4e2009-12-02 20:01:25 +0100303#define arch_spin_relax(lock) __spin_yield(lock)
304#define arch_read_relax(lock) __rw_yield(lock)
305#define arch_write_relax(lock) __rw_yield(lock)
Martin Schwidefskyef6edc92006-09-30 23:27:43 -0700306
Peter Zijlstrad89e588c2016-09-05 11:37:53 +0200307/* See include/linux/spinlock.h */
308#define smp_mb__after_spinlock() smp_mb()
309
Arnd Bergmann88ced032005-12-16 22:43:46 +0100310#endif /* __KERNEL__ */
Linus Torvalds1da177e2005-04-16 15:20:36 -0700311#endif /* __ASM_SPINLOCK_H */