1/* 2 * Generic wait-for-completion handler; 3 * 4 * It differs from semaphores in that their default case is the opposite, 5 * wait_for_completion default blocks whereas semaphore default non-block. The 6 * interface also makes it easy to 'complete' multiple waiting threads, 7 * something which isn't entirely natural for semaphores. 8 * 9 * But more importantly, the primitive documents the usage. Semaphores would 10 * typically be used for exclusion which gives rise to priority inversion. 11 * Waiting for completion is a typically sync point, but not an exclusion point. 12 */ 13 14#include <linux/sched.h> 15#include <linux/completion.h> 16 17/** 18 * complete: - signals a single thread waiting on this completion 19 * @x: holds the state of this particular completion 20 * 21 * This will wake up a single thread waiting on this completion. Threads will be 22 * awakened in the same order in which they were queued. 23 * 24 * See also complete_all(), wait_for_completion() and related routines. 25 * 26 * It may be assumed that this function implies a write memory barrier before 27 * changing the task state if and only if any tasks are woken up. 28 */ 29void complete(struct completion *x) 30{ 31 unsigned long flags; 32 33 spin_lock_irqsave(&x->wait.lock, flags); 34 x->done++; 35 __wake_up_locked(&x->wait, TASK_NORMAL, 1); 36 spin_unlock_irqrestore(&x->wait.lock, flags); 37} 38EXPORT_SYMBOL(complete); 39 40/** 41 * complete_all: - signals all threads waiting on this completion 42 * @x: holds the state of this particular completion 43 * 44 * This will wake up all threads waiting on this particular completion event. 45 * 46 * It may be assumed that this function implies a write memory barrier before 47 * changing the task state if and only if any tasks are woken up. 48 */ 49void complete_all(struct completion *x) 50{ 51 unsigned long flags; 52 53 spin_lock_irqsave(&x->wait.lock, flags); 54 x->done += UINT_MAX/2; 55 __wake_up_locked(&x->wait, TASK_NORMAL, 0); 56 spin_unlock_irqrestore(&x->wait.lock, flags); 57} 58EXPORT_SYMBOL(complete_all); 59 60static inline long __sched 61do_wait_for_common(struct completion *x, 62 long (*action)(long), long timeout, int state) 63{ 64 if (!x->done) { 65 DECLARE_WAITQUEUE(wait, current); 66 67 __add_wait_queue_tail_exclusive(&x->wait, &wait); 68 do { 69 if (signal_pending_state(state, current)) { 70 timeout = -ERESTARTSYS; 71 break; 72 } 73 __set_current_state(state); 74 spin_unlock_irq(&x->wait.lock); 75 timeout = action(timeout); 76 spin_lock_irq(&x->wait.lock); 77 } while (!x->done && timeout); 78 __remove_wait_queue(&x->wait, &wait); 79 if (!x->done) 80 return timeout; 81 } 82 x->done--; 83 return timeout ?: 1; 84} 85 86static inline long __sched 87__wait_for_common(struct completion *x, 88 long (*action)(long), long timeout, int state) 89{ 90 might_sleep(); 91 92 spin_lock_irq(&x->wait.lock); 93 timeout = do_wait_for_common(x, action, timeout, state); 94 spin_unlock_irq(&x->wait.lock); 95 return timeout; 96} 97 98static long __sched 99wait_for_common(struct completion *x, long timeout, int state) 100{ 101 return __wait_for_common(x, schedule_timeout, timeout, state); 102} 103 104static long __sched 105wait_for_common_io(struct completion *x, long timeout, int state) 106{ 107 return __wait_for_common(x, io_schedule_timeout, timeout, state); 108} 109 110/** 111 * wait_for_completion: - waits for completion of a task 112 * @x: holds the state of this particular completion 113 * 114 * This waits to be signaled for completion of a specific task. It is NOT 115 * interruptible and there is no timeout. 116 * 117 * See also similar routines (i.e. wait_for_completion_timeout()) with timeout 118 * and interrupt capability. Also see complete(). 119 */ 120void __sched wait_for_completion(struct completion *x) 121{ 122 wait_for_common(x, MAX_SCHEDULE_TIMEOUT, TASK_UNINTERRUPTIBLE); 123} 124EXPORT_SYMBOL(wait_for_completion); 125 126/** 127 * wait_for_completion_timeout: - waits for completion of a task (w/timeout) 128 * @x: holds the state of this particular completion 129 * @timeout: timeout value in jiffies 130 * 131 * This waits for either a completion of a specific task to be signaled or for a 132 * specified timeout to expire. The timeout is in jiffies. It is not 133 * interruptible. 134 * 135 * Return: 0 if timed out, and positive (at least 1, or number of jiffies left 136 * till timeout) if completed. 137 */ 138unsigned long __sched 139wait_for_completion_timeout(struct completion *x, unsigned long timeout) 140{ 141 return wait_for_common(x, timeout, TASK_UNINTERRUPTIBLE); 142} 143EXPORT_SYMBOL(wait_for_completion_timeout); 144 145/** 146 * wait_for_completion_io: - waits for completion of a task 147 * @x: holds the state of this particular completion 148 * 149 * This waits to be signaled for completion of a specific task. It is NOT 150 * interruptible and there is no timeout. The caller is accounted as waiting 151 * for IO (which traditionally means blkio only). 152 */ 153void __sched wait_for_completion_io(struct completion *x) 154{ 155 wait_for_common_io(x, MAX_SCHEDULE_TIMEOUT, TASK_UNINTERRUPTIBLE); 156} 157EXPORT_SYMBOL(wait_for_completion_io); 158 159/** 160 * wait_for_completion_io_timeout: - waits for completion of a task (w/timeout) 161 * @x: holds the state of this particular completion 162 * @timeout: timeout value in jiffies 163 * 164 * This waits for either a completion of a specific task to be signaled or for a 165 * specified timeout to expire. The timeout is in jiffies. It is not 166 * interruptible. The caller is accounted as waiting for IO (which traditionally 167 * means blkio only). 168 * 169 * Return: 0 if timed out, and positive (at least 1, or number of jiffies left 170 * till timeout) if completed. 171 */ 172unsigned long __sched 173wait_for_completion_io_timeout(struct completion *x, unsigned long timeout) 174{ 175 return wait_for_common_io(x, timeout, TASK_UNINTERRUPTIBLE); 176} 177EXPORT_SYMBOL(wait_for_completion_io_timeout); 178 179/** 180 * wait_for_completion_interruptible: - waits for completion of a task (w/intr) 181 * @x: holds the state of this particular completion 182 * 183 * This waits for completion of a specific task to be signaled. It is 184 * interruptible. 185 * 186 * Return: -ERESTARTSYS if interrupted, 0 if completed. 187 */ 188int __sched wait_for_completion_interruptible(struct completion *x) 189{ 190 long t = wait_for_common(x, MAX_SCHEDULE_TIMEOUT, TASK_INTERRUPTIBLE); 191 if (t == -ERESTARTSYS) 192 return t; 193 return 0; 194} 195EXPORT_SYMBOL(wait_for_completion_interruptible); 196 197/** 198 * wait_for_completion_interruptible_timeout: - waits for completion (w/(to,intr)) 199 * @x: holds the state of this particular completion 200 * @timeout: timeout value in jiffies 201 * 202 * This waits for either a completion of a specific task to be signaled or for a 203 * specified timeout to expire. It is interruptible. The timeout is in jiffies. 204 * 205 * Return: -ERESTARTSYS if interrupted, 0 if timed out, positive (at least 1, 206 * or number of jiffies left till timeout) if completed. 207 */ 208long __sched 209wait_for_completion_interruptible_timeout(struct completion *x, 210 unsigned long timeout) 211{ 212 return wait_for_common(x, timeout, TASK_INTERRUPTIBLE); 213} 214EXPORT_SYMBOL(wait_for_completion_interruptible_timeout); 215 216/** 217 * wait_for_completion_killable: - waits for completion of a task (killable) 218 * @x: holds the state of this particular completion 219 * 220 * This waits to be signaled for completion of a specific task. It can be 221 * interrupted by a kill signal. 222 * 223 * Return: -ERESTARTSYS if interrupted, 0 if completed. 224 */ 225int __sched wait_for_completion_killable(struct completion *x) 226{ 227 long t = wait_for_common(x, MAX_SCHEDULE_TIMEOUT, TASK_KILLABLE); 228 if (t == -ERESTARTSYS) 229 return t; 230 return 0; 231} 232EXPORT_SYMBOL(wait_for_completion_killable); 233 234/** 235 * wait_for_completion_killable_timeout: - waits for completion of a task (w/(to,killable)) 236 * @x: holds the state of this particular completion 237 * @timeout: timeout value in jiffies 238 * 239 * This waits for either a completion of a specific task to be 240 * signaled or for a specified timeout to expire. It can be 241 * interrupted by a kill signal. The timeout is in jiffies. 242 * 243 * Return: -ERESTARTSYS if interrupted, 0 if timed out, positive (at least 1, 244 * or number of jiffies left till timeout) if completed. 245 */ 246long __sched 247wait_for_completion_killable_timeout(struct completion *x, 248 unsigned long timeout) 249{ 250 return wait_for_common(x, timeout, TASK_KILLABLE); 251} 252EXPORT_SYMBOL(wait_for_completion_killable_timeout); 253 254/** 255 * try_wait_for_completion - try to decrement a completion without blocking 256 * @x: completion structure 257 * 258 * Return: 0 if a decrement cannot be done without blocking 259 * 1 if a decrement succeeded. 260 * 261 * If a completion is being used as a counting completion, 262 * attempt to decrement the counter without blocking. This 263 * enables us to avoid waiting if the resource the completion 264 * is protecting is not available. 265 */ 266bool try_wait_for_completion(struct completion *x) 267{ 268 unsigned long flags; 269 int ret = 1; 270 271 /* 272 * Since x->done will need to be locked only 273 * in the non-blocking case, we check x->done 274 * first without taking the lock so we can 275 * return early in the blocking case. 276 */ 277 if (!READ_ONCE(x->done)) 278 return 0; 279 280 spin_lock_irqsave(&x->wait.lock, flags); 281 if (!x->done) 282 ret = 0; 283 else 284 x->done--; 285 spin_unlock_irqrestore(&x->wait.lock, flags); 286 return ret; 287} 288EXPORT_SYMBOL(try_wait_for_completion); 289 290/** 291 * completion_done - Test to see if a completion has any waiters 292 * @x: completion structure 293 * 294 * Return: 0 if there are waiters (wait_for_completion() in progress) 295 * 1 if there are no waiters. 296 * 297 */ 298bool completion_done(struct completion *x) 299{ 300 if (!READ_ONCE(x->done)) 301 return false; 302 303 /* 304 * If ->done, we need to wait for complete() to release ->wait.lock 305 * otherwise we can end up freeing the completion before complete() 306 * is done referencing it. 307 * 308 * The RMB pairs with complete()'s RELEASE of ->wait.lock and orders 309 * the loads of ->done and ->wait.lock such that we cannot observe 310 * the lock before complete() acquires it while observing the ->done 311 * after it's acquired the lock. 312 */ 313 smp_rmb(); 314 spin_unlock_wait(&x->wait.lock); 315 return true; 316} 317EXPORT_SYMBOL(completion_done); 318