Loading...
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200 201 202 203 204 205 206 207 208 209 210 211 212 213 214 215 216 217 218 219 220 221 222 223 224 225 226 227 228 229 230 231 232 233 234 235 236 237 238 239 240 241 242 243 244 245 246 247 248 249 250 251 252 253 254 255 256 257 258 259 260 261 262 263 264 265 266 267 268 269 270 271 272 273 274 275 276 277 278 279 280 281 282 283 284 285 286 287 288 289 290 291 292 293 294 | /* * Just taken from alpha implementation. * This can't work well, perhaps. */ /* * Generic semaphore code. Buyer beware. Do your own * specific changes in <asm/semaphore-helper.h> */ #include <linux/sched.h> #include <linux/wait.h> #include <asm/semaphore.h> #include <asm/semaphore-helper.h> /* * Semaphores are implemented using a two-way counter: * The "count" variable is decremented for each process * that tries to sleep, while the "waking" variable is * incremented when the "up()" code goes to wake up waiting * processes. * * Notably, the inline "up()" and "down()" functions can * efficiently test if they need to do any extra work (up * needs to do something only if count was negative before * the increment operation. * * waking_non_zero() (from asm/semaphore.h) must execute * atomically. * * When __up() is called, the count was negative before * incrementing it, and we need to wake up somebody. * * This routine adds one to the count of processes that need to * wake up and exit. ALL waiting processes actually wake up but * only the one that gets to the "waking" field first will gate * through and acquire the semaphore. The others will go back * to sleep. * * Note that these functions are only called when there is * contention on the lock, and as such all this is the * "non-critical" part of the whole semaphore business. The * critical part is the inline stuff in <asm/semaphore.h> * where we want to avoid any extra jumps and calls. */ void __up(struct semaphore *sem) { wake_one_more(sem); wake_up(&sem->wait); } /* * Perform the "down" function. Return zero for semaphore acquired, * return negative for signalled out of the function. * * If called from __down, the return is ignored and the wait loop is * not interruptible. This means that a task waiting on a semaphore * using "down()" cannot be killed until someone does an "up()" on * the semaphore. * * If called from __down_interruptible, the return value gets checked * upon return. If the return value is negative then the task continues * with the negative value in the return register (it can be tested by * the caller). * * Either form may be used in conjunction with "up()". * */ #define DOWN_VAR \ struct task_struct *tsk = current; \ wait_queue_t wait; \ init_waitqueue_entry(&wait, tsk); #define DOWN_HEAD(task_state) \ \ \ tsk->state = (task_state); \ add_wait_queue(&sem->wait, &wait); \ \ /* \ * Ok, we're set up. sem->count is known to be less than zero \ * so we must wait. \ * \ * We can let go the lock for purposes of waiting. \ * We re-acquire it after awaking so as to protect \ * all semaphore operations. \ * \ * If "up()" is called before we call waking_non_zero() then \ * we will catch it right away. If it is called later then \ * we will have to go through a wakeup cycle to catch it. \ * \ * Multiple waiters contend for the semaphore lock to see \ * who gets to gate through and who has to wait some more. \ */ \ for (;;) { #define DOWN_TAIL(task_state) \ tsk->state = (task_state); \ } \ tsk->state = TASK_RUNNING; \ remove_wait_queue(&sem->wait, &wait); void __down(struct semaphore * sem) { DOWN_VAR DOWN_HEAD(TASK_UNINTERRUPTIBLE) if (waking_non_zero(sem)) break; schedule(); DOWN_TAIL(TASK_UNINTERRUPTIBLE) } int __down_interruptible(struct semaphore * sem) { int ret = 0; DOWN_VAR DOWN_HEAD(TASK_INTERRUPTIBLE) ret = waking_non_zero_interruptible(sem, tsk); if (ret) { if (ret == 1) /* ret != 0 only if we get interrupted -arca */ ret = 0; break; } schedule(); DOWN_TAIL(TASK_INTERRUPTIBLE) return ret; } int __down_trylock(struct semaphore * sem) { return waking_non_zero_trylock(sem); } /* Called when someone has done an up that transitioned from * negative to non-negative, meaning that the lock has been * granted to whomever owned the bias. */ struct rw_semaphore *rwsem_wake_readers(struct rw_semaphore *sem) { if (xchg(&sem->read_bias_granted, 1)) BUG(); wake_up(&sem->wait); return sem; } struct rw_semaphore *rwsem_wake_writer(struct rw_semaphore *sem) { if (xchg(&sem->write_bias_granted, 1)) BUG(); wake_up(&sem->write_bias_wait); return sem; } struct rw_semaphore * __rwsem_wake(struct rw_semaphore *sem) { if (atomic_read(&sem->count) == 0) return rwsem_wake_writer(sem); else return rwsem_wake_readers(sem); } struct rw_semaphore *down_read_failed_biased(struct rw_semaphore *sem) { struct task_struct *tsk = current; DECLARE_WAITQUEUE(wait, tsk); add_wait_queue(&sem->wait, &wait); /* put ourselves at the head of the list */ for (;;) { if (sem->read_bias_granted && xchg(&sem->read_bias_granted, 0)) break; set_task_state(tsk, TASK_UNINTERRUPTIBLE); if (!sem->read_bias_granted) schedule(); } remove_wait_queue(&sem->wait, &wait); tsk->state = TASK_RUNNING; return sem; } struct rw_semaphore *down_write_failed_biased(struct rw_semaphore *sem) { struct task_struct *tsk = current; DECLARE_WAITQUEUE(wait, tsk); add_wait_queue_exclusive(&sem->write_bias_wait, &wait); /* put ourselves at the end of the list */ for (;;) { if (sem->write_bias_granted && xchg(&sem->write_bias_granted, 0)) break; set_task_state(tsk, TASK_UNINTERRUPTIBLE | TASK_EXCLUSIVE); if (!sem->write_bias_granted) schedule(); } remove_wait_queue(&sem->write_bias_wait, &wait); tsk->state = TASK_RUNNING; /* if the lock is currently unbiased, awaken the sleepers * FIXME: this wakes up the readers early in a bit of a * stampede -> bad! */ if (atomic_read(&sem->count) >= 0) wake_up(&sem->wait); return sem; } /* Wait for the lock to become unbiased. Readers * are non-exclusive. =) */ struct rw_semaphore *down_read_failed(struct rw_semaphore *sem) { struct task_struct *tsk = current; DECLARE_WAITQUEUE(wait, tsk); __up_read(sem); /* this takes care of granting the lock */ add_wait_queue(&sem->wait, &wait); while (atomic_read(&sem->count) < 0) { set_task_state(tsk, TASK_UNINTERRUPTIBLE); if (atomic_read(&sem->count) >= 0) break; schedule(); } remove_wait_queue(&sem->wait, &wait); tsk->state = TASK_RUNNING; return sem; } /* Wait for the lock to become unbiased. Since we're * a writer, we'll make ourselves exclusive. */ struct rw_semaphore *down_write_failed(struct rw_semaphore *sem) { struct task_struct *tsk = current; DECLARE_WAITQUEUE(wait, tsk); __up_write(sem); /* this takes care of granting the lock */ add_wait_queue_exclusive(&sem->wait, &wait); while (atomic_read(&sem->count) < 0) { set_task_state(tsk, TASK_UNINTERRUPTIBLE | TASK_EXCLUSIVE); if (atomic_read(&sem->count) >= 0) break; /* we must attempt to aquire or bias the lock */ schedule(); } remove_wait_queue(&sem->wait, &wait); tsk->state = TASK_RUNNING; return sem; } struct rw_semaphore *__down_read(struct rw_semaphore *sem, int carry) { if (carry) { int saved, new; do { down_read_failed(sem); saved = atomic_read(&sem->count); if ((new = atomic_dec_return(&sem->count)) >= 0) return sem; } while (!(new < 0 && saved >=0)); } return down_read_failed_biased(sem); } struct rw_semaphore *__down_write(struct rw_semaphore *sem, int carry) { if (carry) { int saved, new; do { down_write_failed(sem); saved = atomic_read(&sem->count); if ((new = atomic_sub_return(RW_LOCK_BIAS, &sem->count) ) == 0) return sem; } while (!(new < 0 && saved >=0)); } return down_write_failed_biased(sem); } |