| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 1 | /* rwsem.h: R/W semaphores implemented using XADD/CMPXCHG for i486+ | 
 | 2 |  * | 
 | 3 |  * Written by David Howells (dhowells@redhat.com). | 
 | 4 |  * | 
 | 5 |  * Derived from asm-i386/semaphore.h | 
 | 6 |  * | 
 | 7 |  * | 
 | 8 |  * The MSW of the count is the negated number of active writers and waiting | 
 | 9 |  * lockers, and the LSW is the total number of active locks | 
 | 10 |  * | 
 | 11 |  * The lock count is initialized to 0 (no active and no waiting lockers). | 
 | 12 |  * | 
 | 13 |  * When a writer subtracts WRITE_BIAS, it'll get 0xffff0001 for the case of an | 
 | 14 |  * uncontended lock. This can be determined because XADD returns the old value. | 
 | 15 |  * Readers increment by 1 and see a positive value when uncontended, negative | 
 | 16 |  * if there are writers (and maybe) readers waiting (in which case it goes to | 
 | 17 |  * sleep). | 
 | 18 |  * | 
 | 19 |  * The value of WAITING_BIAS supports up to 32766 waiting processes. This can | 
 | 20 |  * be extended to 65534 by manually checking the whole MSW rather than relying | 
 | 21 |  * on the S flag. | 
 | 22 |  * | 
 | 23 |  * The value of ACTIVE_BIAS supports up to 65535 active processes. | 
 | 24 |  * | 
 | 25 |  * This should be totally fair - if anything is waiting, a process that wants a | 
 | 26 |  * lock will go to the back of the queue. When the currently active lock is | 
 | 27 |  * released, if there's a writer at the front of the queue, then that and only | 
 | 28 |  * that will be woken up; if there's a bunch of consequtive readers at the | 
 | 29 |  * front, then they'll all be woken up, but no other readers will be. | 
 | 30 |  */ | 
 | 31 |  | 
 | 32 | #ifndef _I386_RWSEM_H | 
 | 33 | #define _I386_RWSEM_H | 
 | 34 |  | 
 | 35 | #ifndef _LINUX_RWSEM_H | 
 | 36 | #error "please don't include asm/rwsem.h directly, use linux/rwsem.h instead" | 
 | 37 | #endif | 
 | 38 |  | 
 | 39 | #ifdef __KERNEL__ | 
 | 40 |  | 
 | 41 | #include <linux/list.h> | 
 | 42 | #include <linux/spinlock.h> | 
| Ingo Molnar | 4ea2176 | 2006-07-03 00:24:53 -0700 | [diff] [blame] | 43 | #include <linux/lockdep.h> | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 44 |  | 
 | 45 | struct rwsem_waiter; | 
 | 46 |  | 
 | 47 | extern struct rw_semaphore *FASTCALL(rwsem_down_read_failed(struct rw_semaphore *sem)); | 
 | 48 | extern struct rw_semaphore *FASTCALL(rwsem_down_write_failed(struct rw_semaphore *sem)); | 
 | 49 | extern struct rw_semaphore *FASTCALL(rwsem_wake(struct rw_semaphore *)); | 
 | 50 | extern struct rw_semaphore *FASTCALL(rwsem_downgrade_wake(struct rw_semaphore *sem)); | 
 | 51 |  | 
 | 52 | /* | 
 | 53 |  * the semaphore definition | 
 | 54 |  */ | 
 | 55 | struct rw_semaphore { | 
 | 56 | 	signed long		count; | 
 | 57 | #define RWSEM_UNLOCKED_VALUE		0x00000000 | 
 | 58 | #define RWSEM_ACTIVE_BIAS		0x00000001 | 
 | 59 | #define RWSEM_ACTIVE_MASK		0x0000ffff | 
 | 60 | #define RWSEM_WAITING_BIAS		(-0x00010000) | 
 | 61 | #define RWSEM_ACTIVE_READ_BIAS		RWSEM_ACTIVE_BIAS | 
 | 62 | #define RWSEM_ACTIVE_WRITE_BIAS		(RWSEM_WAITING_BIAS + RWSEM_ACTIVE_BIAS) | 
 | 63 | 	spinlock_t		wait_lock; | 
 | 64 | 	struct list_head	wait_list; | 
| Ingo Molnar | 4ea2176 | 2006-07-03 00:24:53 -0700 | [diff] [blame] | 65 | #ifdef CONFIG_DEBUG_LOCK_ALLOC | 
 | 66 | 	struct lockdep_map dep_map; | 
 | 67 | #endif | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 68 | }; | 
 | 69 |  | 
| Ingo Molnar | 4ea2176 | 2006-07-03 00:24:53 -0700 | [diff] [blame] | 70 | #ifdef CONFIG_DEBUG_LOCK_ALLOC | 
 | 71 | # define __RWSEM_DEP_MAP_INIT(lockname) , .dep_map = { .name = #lockname } | 
 | 72 | #else | 
 | 73 | # define __RWSEM_DEP_MAP_INIT(lockname) | 
 | 74 | #endif | 
 | 75 |  | 
 | 76 |  | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 77 | #define __RWSEM_INITIALIZER(name) \ | 
 | 78 | { RWSEM_UNLOCKED_VALUE, SPIN_LOCK_UNLOCKED, LIST_HEAD_INIT((name).wait_list) \ | 
| Ingo Molnar | 4ea2176 | 2006-07-03 00:24:53 -0700 | [diff] [blame] | 79 | 	__RWSEM_DEP_MAP_INIT(name) } | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 80 |  | 
 | 81 | #define DECLARE_RWSEM(name) \ | 
 | 82 | 	struct rw_semaphore name = __RWSEM_INITIALIZER(name) | 
 | 83 |  | 
| Ingo Molnar | 4ea2176 | 2006-07-03 00:24:53 -0700 | [diff] [blame] | 84 | extern void __init_rwsem(struct rw_semaphore *sem, const char *name, | 
 | 85 | 			 struct lock_class_key *key); | 
 | 86 |  | 
 | 87 | #define init_rwsem(sem)						\ | 
 | 88 | do {								\ | 
 | 89 | 	static struct lock_class_key __key;			\ | 
 | 90 | 								\ | 
 | 91 | 	__init_rwsem((sem), #sem, &__key);			\ | 
 | 92 | } while (0) | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 93 |  | 
 | 94 | /* | 
 | 95 |  * lock for reading | 
 | 96 |  */ | 
 | 97 | static inline void __down_read(struct rw_semaphore *sem) | 
 | 98 | { | 
 | 99 | 	__asm__ __volatile__( | 
 | 100 | 		"# beginning down_read\n\t" | 
 | 101 | LOCK_PREFIX	"  incl      (%%eax)\n\t" /* adds 0x00000001, returns the old value */ | 
| Andi Kleen | add659b | 2006-09-26 10:52:31 +0200 | [diff] [blame] | 102 | 		"  jns        1f\n" | 
 | 103 | 		"  call call_rwsem_down_read_failed\n" | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 104 | 		"1:\n\t" | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 105 | 		"# ending down_read\n\t" | 
| Linus Torvalds | b862f3b | 2006-07-08 15:24:18 -0700 | [diff] [blame] | 106 | 		: "+m" (sem->count) | 
 | 107 | 		: "a" (sem) | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 108 | 		: "memory", "cc"); | 
 | 109 | } | 
 | 110 |  | 
 | 111 | /* | 
 | 112 |  * trylock for reading -- returns 1 if successful, 0 if contention | 
 | 113 |  */ | 
 | 114 | static inline int __down_read_trylock(struct rw_semaphore *sem) | 
 | 115 | { | 
 | 116 | 	__s32 result, tmp; | 
 | 117 | 	__asm__ __volatile__( | 
 | 118 | 		"# beginning __down_read_trylock\n\t" | 
 | 119 | 		"  movl      %0,%1\n\t" | 
 | 120 | 		"1:\n\t" | 
 | 121 | 		"  movl	     %1,%2\n\t" | 
 | 122 | 		"  addl      %3,%2\n\t" | 
 | 123 | 		"  jle	     2f\n\t" | 
 | 124 | LOCK_PREFIX	"  cmpxchgl  %2,%0\n\t" | 
 | 125 | 		"  jnz	     1b\n\t" | 
 | 126 | 		"2:\n\t" | 
 | 127 | 		"# ending __down_read_trylock\n\t" | 
| Linus Torvalds | b862f3b | 2006-07-08 15:24:18 -0700 | [diff] [blame] | 128 | 		: "+m" (sem->count), "=&a" (result), "=&r" (tmp) | 
 | 129 | 		: "i" (RWSEM_ACTIVE_READ_BIAS) | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 130 | 		: "memory", "cc"); | 
 | 131 | 	return result>=0 ? 1 : 0; | 
 | 132 | } | 
 | 133 |  | 
 | 134 | /* | 
 | 135 |  * lock for writing | 
 | 136 |  */ | 
| Ingo Molnar | 4ea2176 | 2006-07-03 00:24:53 -0700 | [diff] [blame] | 137 | static inline void __down_write_nested(struct rw_semaphore *sem, int subclass) | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 138 | { | 
 | 139 | 	int tmp; | 
 | 140 |  | 
 | 141 | 	tmp = RWSEM_ACTIVE_WRITE_BIAS; | 
 | 142 | 	__asm__ __volatile__( | 
 | 143 | 		"# beginning down_write\n\t" | 
 | 144 | LOCK_PREFIX	"  xadd      %%edx,(%%eax)\n\t" /* subtract 0x0000ffff, returns the old value */ | 
 | 145 | 		"  testl     %%edx,%%edx\n\t" /* was the count 0 before? */ | 
| Andi Kleen | add659b | 2006-09-26 10:52:31 +0200 | [diff] [blame] | 146 | 		"  jz        1f\n" | 
 | 147 | 		"  call call_rwsem_down_write_failed\n" | 
 | 148 | 		"1:\n" | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 149 | 		"# ending down_write" | 
| Linus Torvalds | b862f3b | 2006-07-08 15:24:18 -0700 | [diff] [blame] | 150 | 		: "+m" (sem->count), "=d" (tmp) | 
 | 151 | 		: "a" (sem), "1" (tmp) | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 152 | 		: "memory", "cc"); | 
 | 153 | } | 
 | 154 |  | 
| Ingo Molnar | 4ea2176 | 2006-07-03 00:24:53 -0700 | [diff] [blame] | 155 | static inline void __down_write(struct rw_semaphore *sem) | 
 | 156 | { | 
 | 157 | 	__down_write_nested(sem, 0); | 
 | 158 | } | 
 | 159 |  | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 160 | /* | 
 | 161 |  * trylock for writing -- returns 1 if successful, 0 if contention | 
 | 162 |  */ | 
 | 163 | static inline int __down_write_trylock(struct rw_semaphore *sem) | 
 | 164 | { | 
 | 165 | 	signed long ret = cmpxchg(&sem->count, | 
 | 166 | 				  RWSEM_UNLOCKED_VALUE,  | 
 | 167 | 				  RWSEM_ACTIVE_WRITE_BIAS); | 
 | 168 | 	if (ret == RWSEM_UNLOCKED_VALUE) | 
 | 169 | 		return 1; | 
 | 170 | 	return 0; | 
 | 171 | } | 
 | 172 |  | 
 | 173 | /* | 
 | 174 |  * unlock after reading | 
 | 175 |  */ | 
 | 176 | static inline void __up_read(struct rw_semaphore *sem) | 
 | 177 | { | 
 | 178 | 	__s32 tmp = -RWSEM_ACTIVE_READ_BIAS; | 
 | 179 | 	__asm__ __volatile__( | 
 | 180 | 		"# beginning __up_read\n\t" | 
 | 181 | LOCK_PREFIX	"  xadd      %%edx,(%%eax)\n\t" /* subtracts 1, returns the old value */ | 
| Andi Kleen | add659b | 2006-09-26 10:52:31 +0200 | [diff] [blame] | 182 | 		"  jns        1f\n\t" | 
 | 183 | 		"  call call_rwsem_wake\n" | 
 | 184 | 		"1:\n" | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 185 | 		"# ending __up_read\n" | 
| Linus Torvalds | b862f3b | 2006-07-08 15:24:18 -0700 | [diff] [blame] | 186 | 		: "+m" (sem->count), "=d" (tmp) | 
 | 187 | 		: "a" (sem), "1" (tmp) | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 188 | 		: "memory", "cc"); | 
 | 189 | } | 
 | 190 |  | 
 | 191 | /* | 
 | 192 |  * unlock after writing | 
 | 193 |  */ | 
 | 194 | static inline void __up_write(struct rw_semaphore *sem) | 
 | 195 | { | 
 | 196 | 	__asm__ __volatile__( | 
 | 197 | 		"# beginning __up_write\n\t" | 
 | 198 | 		"  movl      %2,%%edx\n\t" | 
 | 199 | LOCK_PREFIX	"  xaddl     %%edx,(%%eax)\n\t" /* tries to transition 0xffff0001 -> 0x00000000 */ | 
| Andi Kleen | add659b | 2006-09-26 10:52:31 +0200 | [diff] [blame] | 200 | 		"  jz       1f\n" | 
 | 201 | 		"  call call_rwsem_wake\n" | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 202 | 		"1:\n\t" | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 203 | 		"# ending __up_write\n" | 
| Linus Torvalds | b862f3b | 2006-07-08 15:24:18 -0700 | [diff] [blame] | 204 | 		: "+m" (sem->count) | 
 | 205 | 		: "a" (sem), "i" (-RWSEM_ACTIVE_WRITE_BIAS) | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 206 | 		: "memory", "cc", "edx"); | 
 | 207 | } | 
 | 208 |  | 
 | 209 | /* | 
 | 210 |  * downgrade write lock to read lock | 
 | 211 |  */ | 
 | 212 | static inline void __downgrade_write(struct rw_semaphore *sem) | 
 | 213 | { | 
 | 214 | 	__asm__ __volatile__( | 
 | 215 | 		"# beginning __downgrade_write\n\t" | 
 | 216 | LOCK_PREFIX	"  addl      %2,(%%eax)\n\t" /* transitions 0xZZZZ0001 -> 0xYYYY0001 */ | 
| Andi Kleen | add659b | 2006-09-26 10:52:31 +0200 | [diff] [blame] | 217 | 		"  jns       1f\n\t" | 
 | 218 | 		"  call call_rwsem_downgrade_wake\n" | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 219 | 		"1:\n\t" | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 220 | 		"# ending __downgrade_write\n" | 
| Linus Torvalds | b862f3b | 2006-07-08 15:24:18 -0700 | [diff] [blame] | 221 | 		: "+m" (sem->count) | 
 | 222 | 		: "a" (sem), "i" (-RWSEM_WAITING_BIAS) | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 223 | 		: "memory", "cc"); | 
 | 224 | } | 
 | 225 |  | 
 | 226 | /* | 
 | 227 |  * implement atomic add functionality | 
 | 228 |  */ | 
 | 229 | static inline void rwsem_atomic_add(int delta, struct rw_semaphore *sem) | 
 | 230 | { | 
 | 231 | 	__asm__ __volatile__( | 
 | 232 | LOCK_PREFIX	"addl %1,%0" | 
| Linus Torvalds | b862f3b | 2006-07-08 15:24:18 -0700 | [diff] [blame] | 233 | 		: "+m" (sem->count) | 
 | 234 | 		: "ir" (delta)); | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 235 | } | 
 | 236 |  | 
 | 237 | /* | 
 | 238 |  * implement exchange and add functionality | 
 | 239 |  */ | 
 | 240 | static inline int rwsem_atomic_update(int delta, struct rw_semaphore *sem) | 
 | 241 | { | 
 | 242 | 	int tmp = delta; | 
 | 243 |  | 
 | 244 | 	__asm__ __volatile__( | 
| Linus Torvalds | b862f3b | 2006-07-08 15:24:18 -0700 | [diff] [blame] | 245 | LOCK_PREFIX	"xadd %0,%1" | 
 | 246 | 		: "+r" (tmp), "+m" (sem->count) | 
 | 247 | 		: : "memory"); | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 248 |  | 
 | 249 | 	return tmp+delta; | 
 | 250 | } | 
 | 251 |  | 
| Rik Van Riel | eb92f4e | 2005-10-29 18:15:44 -0700 | [diff] [blame] | 252 | static inline int rwsem_is_locked(struct rw_semaphore *sem) | 
 | 253 | { | 
 | 254 | 	return (sem->count != 0); | 
 | 255 | } | 
 | 256 |  | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 257 | #endif /* __KERNEL__ */ | 
 | 258 | #endif /* _I386_RWSEM_H */ |