blob: 239ecdc9516d042e69fc5b1773cfa2fb29fcad4a [file] [log] [blame]
Linus Torvalds1da177e2005-04-16 15:20:36 -07001#ifndef _ASM_IA64_SPINLOCK_H
2#define _ASM_IA64_SPINLOCK_H
3
4/*
5 * Copyright (C) 1998-2003 Hewlett-Packard Co
6 * David Mosberger-Tang <davidm@hpl.hp.com>
7 * Copyright (C) 1999 Walt Drummond <drummond@valinux.com>
8 *
9 * This file is used for SMP configurations only.
10 */
11
12#include <linux/compiler.h>
13#include <linux/kernel.h>
Jiri Slaby1977f032007-10-18 23:40:25 -070014#include <linux/bitops.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070015
16#include <asm/atomic.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070017#include <asm/intrinsics.h>
18#include <asm/system.h>
19
Ingo Molnarfb1c8f92005-09-10 00:25:56 -070020#define __raw_spin_lock_init(x) ((x)->lock = 0)
Linus Torvalds1da177e2005-04-16 15:20:36 -070021
Linus Torvalds1da177e2005-04-16 15:20:36 -070022/*
Tony Luck2c869632009-09-25 08:42:16 -070023 * Ticket locks are conceptually two parts, one indicating the current head of
24 * the queue, and the other indicating the current tail. The lock is acquired
25 * by atomically noting the tail and incrementing it by one (thus adding
26 * ourself to the queue and noting our position), then waiting until the head
27 * becomes equal to the the initial value of the tail.
Tony Luck9d40ee22009-10-07 10:54:19 -070028 * The pad bits in the middle are used to prevent the next_ticket number
29 * overflowing into the now_serving number.
Tony Luck2c869632009-09-25 08:42:16 -070030 *
Tony Luck9d40ee22009-10-07 10:54:19 -070031 * 31 17 16 15 14 0
Tony Luck2c869632009-09-25 08:42:16 -070032 * +----------------------------------------------------+
Tony Luck9d40ee22009-10-07 10:54:19 -070033 * | now_serving | padding | next_ticket |
Tony Luck2c869632009-09-25 08:42:16 -070034 * +----------------------------------------------------+
Linus Torvalds1da177e2005-04-16 15:20:36 -070035 */
36
Tony Luck9d40ee22009-10-07 10:54:19 -070037#define TICKET_SHIFT 17
38#define TICKET_BITS 15
39#define TICKET_MASK ((1 << TICKET_BITS) - 1)
Linus Torvalds1da177e2005-04-16 15:20:36 -070040
Tony Luck2c869632009-09-25 08:42:16 -070041static __always_inline void __ticket_spin_lock(raw_spinlock_t *lock)
Linus Torvalds1da177e2005-04-16 15:20:36 -070042{
Tony Luck9d40ee22009-10-07 10:54:19 -070043 int *p = (int *)&lock->lock, ticket, serve;
Linus Torvalds1da177e2005-04-16 15:20:36 -070044
Tony Luck9d40ee22009-10-07 10:54:19 -070045 ticket = ia64_fetchadd(1, p, acq);
Tony Luck2c869632009-09-25 08:42:16 -070046
Tony Luck9d40ee22009-10-07 10:54:19 -070047 if (!(((ticket >> TICKET_SHIFT) ^ ticket) & TICKET_MASK))
Tony Luck2c869632009-09-25 08:42:16 -070048 return;
49
Tony Luck9d40ee22009-10-07 10:54:19 -070050 ia64_invala();
51
52 for (;;) {
53 asm volatile ("ld4.c.nc %0=[%1]" : "=r"(serve) : "r"(p) : "memory");
54
55 if (!(((serve >> TICKET_SHIFT) ^ ticket) & TICKET_MASK))
56 return;
Tony Luck2c869632009-09-25 08:42:16 -070057 cpu_relax();
Tony Luck9d40ee22009-10-07 10:54:19 -070058 }
Linus Torvalds1da177e2005-04-16 15:20:36 -070059}
Christoph Lameterf5210892005-08-05 08:02:00 -070060
Tony Luck2c869632009-09-25 08:42:16 -070061static __always_inline int __ticket_spin_trylock(raw_spinlock_t *lock)
62{
Tony Luck9d40ee22009-10-07 10:54:19 -070063 int tmp = ACCESS_ONCE(lock->lock);
Christoph Lameterf5210892005-08-05 08:02:00 -070064
Tony Luck9d40ee22009-10-07 10:54:19 -070065 if (!(((tmp >> TICKET_SHIFT) ^ tmp) & TICKET_MASK))
66 return ia64_cmpxchg(acq, &lock->lock, tmp, tmp + 1, sizeof (tmp)) == tmp;
Tony Luck2c869632009-09-25 08:42:16 -070067 return 0;
Christoph Lameterf5210892005-08-05 08:02:00 -070068}
69
Tony Luck2c869632009-09-25 08:42:16 -070070static __always_inline void __ticket_spin_unlock(raw_spinlock_t *lock)
71{
Tony Luck9d40ee22009-10-07 10:54:19 -070072 unsigned short *p = (unsigned short *)&lock->lock + 1, tmp;
Linus Torvalds1da177e2005-04-16 15:20:36 -070073
Tony Luck9d40ee22009-10-07 10:54:19 -070074 asm volatile ("ld2.bias %0=[%1]" : "=r"(tmp) : "r"(p));
75 ACCESS_ONCE(*p) = (tmp + 2) & ~1;
Tony Luck2c869632009-09-25 08:42:16 -070076}
77
Tony Luck1502f082009-10-12 09:51:41 -070078static __always_inline void __ticket_spin_unlock_wait(raw_spinlock_t *lock)
79{
80 int *p = (int *)&lock->lock, ticket;
81
82 ia64_invala();
83
84 for (;;) {
85 asm volatile ("ld4.c.nc %0=[%1]" : "=r"(ticket) : "r"(p) : "memory");
86 if (!(((ticket >> TICKET_SHIFT) ^ ticket) & TICKET_MASK))
87 return;
88 cpu_relax();
89 }
90}
91
Tony Luck2c869632009-09-25 08:42:16 -070092static inline int __ticket_spin_is_locked(raw_spinlock_t *lock)
93{
94 long tmp = ACCESS_ONCE(lock->lock);
95
Tony Luck9d40ee22009-10-07 10:54:19 -070096 return !!(((tmp >> TICKET_SHIFT) ^ tmp) & TICKET_MASK);
Tony Luck2c869632009-09-25 08:42:16 -070097}
98
99static inline int __ticket_spin_is_contended(raw_spinlock_t *lock)
100{
101 long tmp = ACCESS_ONCE(lock->lock);
102
Tony Luck9d40ee22009-10-07 10:54:19 -0700103 return ((tmp - (tmp >> TICKET_SHIFT)) & TICKET_MASK) > 1;
Tony Luck2c869632009-09-25 08:42:16 -0700104}
105
106static inline int __raw_spin_is_locked(raw_spinlock_t *lock)
107{
108 return __ticket_spin_is_locked(lock);
109}
110
111static inline int __raw_spin_is_contended(raw_spinlock_t *lock)
112{
113 return __ticket_spin_is_contended(lock);
114}
115#define __raw_spin_is_contended __raw_spin_is_contended
116
117static __always_inline void __raw_spin_lock(raw_spinlock_t *lock)
118{
119 __ticket_spin_lock(lock);
120}
121
122static __always_inline int __raw_spin_trylock(raw_spinlock_t *lock)
123{
124 return __ticket_spin_trylock(lock);
125}
126
127static __always_inline void __raw_spin_unlock(raw_spinlock_t *lock)
128{
129 __ticket_spin_unlock(lock);
130}
131
132static __always_inline void __raw_spin_lock_flags(raw_spinlock_t *lock,
133 unsigned long flags)
134{
135 __raw_spin_lock(lock);
136}
137
138static inline void __raw_spin_unlock_wait(raw_spinlock_t *lock)
139{
Tony Luck1502f082009-10-12 09:51:41 -0700140 __ticket_spin_unlock_wait(lock);
Tony Luck2c869632009-09-25 08:42:16 -0700141}
Linus Torvalds1da177e2005-04-16 15:20:36 -0700142
Ingo Molnarfb1c8f92005-09-10 00:25:56 -0700143#define __raw_read_can_lock(rw) (*(volatile int *)(rw) >= 0)
144#define __raw_write_can_lock(rw) (*(volatile int *)(rw) == 0)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700145
Robin Holt2d09cde2009-04-02 16:59:47 -0700146#ifdef ASM_SUPPORTED
147
148static __always_inline void
149__raw_read_lock_flags(raw_rwlock_t *lock, unsigned long flags)
150{
151 __asm__ __volatile__ (
152 "tbit.nz p6, p0 = %1,%2\n"
153 "br.few 3f\n"
154 "1:\n"
155 "fetchadd4.rel r2 = [%0], -1;;\n"
156 "(p6) ssm psr.i\n"
157 "2:\n"
158 "hint @pause\n"
159 "ld4 r2 = [%0];;\n"
160 "cmp4.lt p7,p0 = r2, r0\n"
161 "(p7) br.cond.spnt.few 2b\n"
162 "(p6) rsm psr.i\n"
163 ";;\n"
164 "3:\n"
165 "fetchadd4.acq r2 = [%0], 1;;\n"
166 "cmp4.lt p7,p0 = r2, r0\n"
167 "(p7) br.cond.spnt.few 1b\n"
168 : : "r"(lock), "r"(flags), "i"(IA64_PSR_I_BIT)
169 : "p6", "p7", "r2", "memory");
170}
171
172#define __raw_read_lock(lock) __raw_read_lock_flags(lock, 0)
173
174#else /* !ASM_SUPPORTED */
175
176#define __raw_read_lock_flags(rw, flags) __raw_read_lock(rw)
177
Ingo Molnarfb1c8f92005-09-10 00:25:56 -0700178#define __raw_read_lock(rw) \
Linus Torvalds1da177e2005-04-16 15:20:36 -0700179do { \
Ingo Molnarfb1c8f92005-09-10 00:25:56 -0700180 raw_rwlock_t *__read_lock_ptr = (rw); \
Linus Torvalds1da177e2005-04-16 15:20:36 -0700181 \
182 while (unlikely(ia64_fetchadd(1, (int *) __read_lock_ptr, acq) < 0)) { \
183 ia64_fetchadd(-1, (int *) __read_lock_ptr, rel); \
184 while (*(volatile int *)__read_lock_ptr < 0) \
185 cpu_relax(); \
186 } \
187} while (0)
188
Robin Holt2d09cde2009-04-02 16:59:47 -0700189#endif /* !ASM_SUPPORTED */
190
Ingo Molnarfb1c8f92005-09-10 00:25:56 -0700191#define __raw_read_unlock(rw) \
Linus Torvalds1da177e2005-04-16 15:20:36 -0700192do { \
Ingo Molnarfb1c8f92005-09-10 00:25:56 -0700193 raw_rwlock_t *__read_lock_ptr = (rw); \
Linus Torvalds1da177e2005-04-16 15:20:36 -0700194 ia64_fetchadd(-1, (int *) __read_lock_ptr, rel); \
195} while (0)
196
197#ifdef ASM_SUPPORTED
Robin Holt2d09cde2009-04-02 16:59:47 -0700198
199static __always_inline void
200__raw_write_lock_flags(raw_rwlock_t *lock, unsigned long flags)
201{
202 __asm__ __volatile__ (
203 "tbit.nz p6, p0 = %1, %2\n"
204 "mov ar.ccv = r0\n"
205 "dep r29 = -1, r0, 31, 1\n"
206 "br.few 3f;;\n"
207 "1:\n"
208 "(p6) ssm psr.i\n"
209 "2:\n"
210 "hint @pause\n"
211 "ld4 r2 = [%0];;\n"
212 "cmp4.eq p0,p7 = r0, r2\n"
213 "(p7) br.cond.spnt.few 2b\n"
214 "(p6) rsm psr.i\n"
215 ";;\n"
216 "3:\n"
217 "cmpxchg4.acq r2 = [%0], r29, ar.ccv;;\n"
218 "cmp4.eq p0,p7 = r0, r2\n"
219 "(p7) br.cond.spnt.few 1b;;\n"
220 : : "r"(lock), "r"(flags), "i"(IA64_PSR_I_BIT)
221 : "ar.ccv", "p6", "p7", "r2", "r29", "memory");
222}
223
224#define __raw_write_lock(rw) __raw_write_lock_flags(rw, 0)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700225
Ingo Molnarfb1c8f92005-09-10 00:25:56 -0700226#define __raw_write_trylock(rw) \
Linus Torvalds1da177e2005-04-16 15:20:36 -0700227({ \
228 register long result; \
229 \
230 __asm__ __volatile__ ( \
231 "mov ar.ccv = r0\n" \
232 "dep r29 = -1, r0, 31, 1;;\n" \
233 "cmpxchg4.acq %0 = [%1], r29, ar.ccv\n" \
234 : "=r"(result) : "r"(rw) : "ar.ccv", "r29", "memory"); \
235 (result == 0); \
236})
237
Ingo Molnarfb1c8f92005-09-10 00:25:56 -0700238static inline void __raw_write_unlock(raw_rwlock_t *x)
Christoph Lameterf5210892005-08-05 08:02:00 -0700239{
240 u8 *y = (u8 *)x;
241 barrier();
242 asm volatile ("st1.rel.nta [%0] = r0\n\t" :: "r"(y+3) : "memory" );
243}
244
Linus Torvalds1da177e2005-04-16 15:20:36 -0700245#else /* !ASM_SUPPORTED */
246
Robin Holt2d09cde2009-04-02 16:59:47 -0700247#define __raw_write_lock_flags(l, flags) __raw_write_lock(l)
248
Ingo Molnarfb1c8f92005-09-10 00:25:56 -0700249#define __raw_write_lock(l) \
Linus Torvalds1da177e2005-04-16 15:20:36 -0700250({ \
251 __u64 ia64_val, ia64_set_val = ia64_dep_mi(-1, 0, 31, 1); \
252 __u32 *ia64_write_lock_ptr = (__u32 *) (l); \
253 do { \
254 while (*ia64_write_lock_ptr) \
255 ia64_barrier(); \
256 ia64_val = ia64_cmpxchg4_acq(ia64_write_lock_ptr, ia64_set_val, 0); \
257 } while (ia64_val); \
258})
259
Ingo Molnarfb1c8f92005-09-10 00:25:56 -0700260#define __raw_write_trylock(rw) \
Linus Torvalds1da177e2005-04-16 15:20:36 -0700261({ \
262 __u64 ia64_val; \
263 __u64 ia64_set_val = ia64_dep_mi(-1, 0, 31,1); \
264 ia64_val = ia64_cmpxchg4_acq((__u32 *)(rw), ia64_set_val, 0); \
265 (ia64_val == 0); \
266})
267
Ingo Molnarfb1c8f92005-09-10 00:25:56 -0700268static inline void __raw_write_unlock(raw_rwlock_t *x)
Christoph Lameterf5210892005-08-05 08:02:00 -0700269{
270 barrier();
271 x->write_lock = 0;
272}
273
Linus Torvalds1da177e2005-04-16 15:20:36 -0700274#endif /* !ASM_SUPPORTED */
275
Keith Owensbf7ecec2005-12-10 14:24:28 +1100276static inline int __raw_read_trylock(raw_rwlock_t *x)
277{
278 union {
279 raw_rwlock_t lock;
280 __u32 word;
281 } old, new;
282 old.lock = new.lock = *x;
283 old.lock.write_lock = new.lock.write_lock = 0;
284 ++new.lock.read_counter;
285 return (u32)ia64_cmpxchg4_acq((__u32 *)(x), new.word, old.word) == old.word;
286}
Linus Torvalds1da177e2005-04-16 15:20:36 -0700287
Martin Schwidefskyef6edc92006-09-30 23:27:43 -0700288#define _raw_spin_relax(lock) cpu_relax()
289#define _raw_read_relax(lock) cpu_relax()
290#define _raw_write_relax(lock) cpu_relax()
291
Linus Torvalds1da177e2005-04-16 15:20:36 -0700292#endif /* _ASM_IA64_SPINLOCK_H */