Asphinx.addnodesdocument)}( rawsourcechildren]( translations LanguagesNode)}(hhh](h pending_xref)}(hhh]docutils.nodesTextChinese (Simplified)}parenthsba attributes}(ids]classes]names]dupnames]backrefs] refdomainstdreftypedoc reftarget(/translations/zh_CN/scheduler/completionmodnameN classnameN refexplicitutagnamehhh ubh)}(hhh]hChinese (Traditional)}hh2sbah}(h]h ]h"]h$]h&] refdomainh)reftypeh+ reftarget(/translations/zh_TW/scheduler/completionmodnameN classnameN refexplicituh1hhh ubh)}(hhh]hItalian}hhFsbah}(h]h ]h"]h$]h&] refdomainh)reftypeh+ reftarget(/translations/it_IT/scheduler/completionmodnameN classnameN refexplicituh1hhh ubh)}(hhh]hJapanese}hhZsbah}(h]h ]h"]h$]h&] refdomainh)reftypeh+ reftarget(/translations/ja_JP/scheduler/completionmodnameN classnameN refexplicituh1hhh ubh)}(hhh]hKorean}hhnsbah}(h]h ]h"]h$]h&] refdomainh)reftypeh+ reftarget(/translations/ko_KR/scheduler/completionmodnameN classnameN refexplicituh1hhh ubh)}(hhh]hSpanish}hhsbah}(h]h ]h"]h$]h&] refdomainh)reftypeh+ reftarget(/translations/sp_SP/scheduler/completionmodnameN classnameN refexplicituh1hhh ubeh}(h]h ]h"]h$]h&]current_languageEnglishuh1h hh _documenthsourceNlineNubhsection)}(hhh](htitle)}(h0Completions - "wait for completion" barrier APIsh]h4Completions - “wait for completion” barrier APIs}(hhhhhNhNubah}(h]h ]h"]h$]h&]uh1hhhhhhB/var/lib/git/docbuild/linux/Documentation/scheduler/completion.rsthKubh)}(hhh](h)}(h Introduction:h]h Introduction:}(hhhhhNhNubah}(h]h ]h"]h$]h&]uh1hhhhhhhhKubh paragraph)}(hXIf you have one or more threads that must wait for some kernel activity to have reached a point or a specific state, completions can provide a race-free solution to this problem. Semantically they are somewhat like a pthread_barrier() and have similar use-cases.h]hXIf you have one or more threads that must wait for some kernel activity to have reached a point or a specific state, completions can provide a race-free solution to this problem. Semantically they are somewhat like a pthread_barrier() and have similar use-cases.}(hhhhhNhNubah}(h]h ]h"]h$]h&]uh1hhhhKhhhhubh)}(hXACompletions are a code synchronization mechanism which is preferable to any misuse of locks/semaphores and busy-loops. Any time you think of using yield() or some quirky msleep(1) loop to allow something else to proceed, you probably want to look into using one of the wait_for_completion*() calls and complete() instead.h]hXACompletions are a code synchronization mechanism which is preferable to any misuse of locks/semaphores and busy-loops. Any time you think of using yield() or some quirky msleep(1) loop to allow something else to proceed, you probably want to look into using one of the wait_for_completion*() calls and complete() instead.}(hhhhhNhNubah}(h]h ]h"]h$]h&]uh1hhhhK hhhhubh)}(hXrThe advantage of using completions is that they have a well defined, focused purpose which makes it very easy to see the intent of the code, but they also result in more efficient code as all threads can continue execution until the result is actually needed, and both the waiting and the signalling is highly efficient using low level scheduler sleep/wakeup facilities.h]hXrThe advantage of using completions is that they have a well defined, focused purpose which makes it very easy to see the intent of the code, but they also result in more efficient code as all threads can continue execution until the result is actually needed, and both the waiting and the signalling is highly efficient using low level scheduler sleep/wakeup facilities.}(hhhhhNhNubah}(h]h ]h"]h$]h&]uh1hhhhKhhhhubh)}(hCompletions are built on top of the waitqueue and wakeup infrastructure of the Linux scheduler. The event the threads on the waitqueue are waiting for is reduced to a simple flag in 'struct completion', appropriately called "done".h]hCompletions are built on top of the waitqueue and wakeup infrastructure of the Linux scheduler. The event the threads on the waitqueue are waiting for is reduced to a simple flag in ‘struct completion’, appropriately called “done”.}(hhhhhNhNubah}(h]h ]h"]h$]h&]uh1hhhhKhhhhubh)}(hZAs completions are scheduling related, the code can be found in kernel/sched/completion.c.h]hZAs completions are scheduling related, the code can be found in kernel/sched/completion.c.}(hjhhhNhNubah}(h]h ]h"]h$]h&]uh1hhhhKhhhhubeh}(h] introductionah ]h"] introduction:ah$]h&]uh1hhhhhhhhKubh)}(hhh](h)}(hUsage:h]hUsage:}(hjhhhNhNubah}(h]h ]h"]h$]h&]uh1hhjhhhhhK"ubh)}(h0There are three main parts to using completions:h]h0There are three main parts to using completions:}(hj)hhhNhNubah}(h]h ]h"]h$]h&]uh1hhhhK$hjhhubh block_quote)}(h- the initialization of the 'struct completion' synchronization object - the waiting part through a call to one of the variants of wait_for_completion(), - the signaling side through a call to complete() or complete_all(). h]h bullet_list)}(hhh](h list_item)}(hDthe initialization of the 'struct completion' synchronization objecth]h)}(hjFh]hHthe initialization of the ‘struct completion’ synchronization object}(hjHhhhNhNubah}(h]h ]h"]h$]h&]uh1hhhhK&hjDubah}(h]h ]h"]h$]h&]uh1jBhj?ubjC)}(hPthe waiting part through a call to one of the variants of wait_for_completion(),h]h)}(hj]h]hPthe waiting part through a call to one of the variants of wait_for_completion(),}(hj_hhhNhNubah}(h]h ]h"]h$]h&]uh1hhhhK'hj[ubah}(h]h ]h"]h$]h&]uh1jBhj?ubjC)}(hCthe signaling side through a call to complete() or complete_all(). h]h)}(hBthe signaling side through a call to complete() or complete_all().h]hBthe signaling side through a call to complete() or complete_all().}(hjvhhhNhNubah}(h]h ]h"]h$]h&]uh1hhhhK(hjrubah}(h]h ]h"]h$]h&]uh1jBhj?ubeh}(h]h ]h"]h$]h&]bullet-uh1j=hhhK&hj9ubah}(h]h ]h"]h$]h&]uh1j7hhhK&hjhhubh)}(hX>There are also some helper functions for checking the state of completions. Note that while initialization must happen first, the waiting and signaling part can happen in any order. I.e. it's entirely normal for a thread to have marked a completion as 'done' before another thread checks whether it has to wait for it.h]hXDThere are also some helper functions for checking the state of completions. Note that while initialization must happen first, the waiting and signaling part can happen in any order. I.e. it’s entirely normal for a thread to have marked a completion as ‘done’ before another thread checks whether it has to wait for it.}(hjhhhNhNubah}(h]h ]h"]h$]h&]uh1hhhhK*hjhhubh)}(hTo use completions you need to #include and create a static or dynamic variable of type 'struct completion', which has only two fields::h]hTo use completions you need to #include and create a static or dynamic variable of type ‘struct completion’, which has only two fields:}(hjhhhNhNubah}(h]h ]h"]h$]h&]uh1hhhhK0hjhhubh literal_block)}(hWstruct completion { unsigned int done; struct swait_queue_head wait; };h]hWstruct completion { unsigned int done; struct swait_queue_head wait; };}hjsbah}(h]h ]h"]h$]h&] xml:spacepreserveuh1jhhhK4hjhhubh)}(hThis provides the ->wait waitqueue to place tasks on for waiting (if any), and the ->done completion flag for indicating whether it's completed or not.h]hThis provides the ->wait waitqueue to place tasks on for waiting (if any), and the ->done completion flag for indicating whether it’s completed or not.}(hjhhhNhNubah}(h]h ]h"]h$]h&]uh1hhhhK9hjhhubh)}(hdCompletions should be named to refer to the event that is being synchronized on. A good example is::h]hcCompletions should be named to refer to the event that is being synchronized on. A good example is:}(hjhhhNhNubah}(h]h ]h"]h$]h&]uh1hhhhKdone);h]h'init_completion(&dynamic_object->done);}hjAsbah}(h]h ]h"]h$]h&]jjuh1jhhhKWhjhhubh)}(haIn this call we initialize the waitqueue and set ->done to 0, i.e. "not completed" or "not done".h]hiIn this call we initialize the waitqueue and set ->done to 0, i.e. “not completed” or “not done”.}(hjOhhhNhNubah}(h]h ]h"]h$]h&]uh1hhhhKYhjhhubh)}(hThe re-initialization function, reinit_completion(), simply resets the ->done field to 0 ("not done"), without touching the waitqueue. Callers of this function must make sure that there are no racy wait_for_completion() calls going on in parallel.h]hThe re-initialization function, reinit_completion(), simply resets the ->done field to 0 (“not done”), without touching the waitqueue. Callers of this function must make sure that there are no racy wait_for_completion() calls going on in parallel.}(hj]hhhNhNubah}(h]h ]h"]h$]h&]uh1hhhhK\hjhhubh)}(hCalling init_completion() on the same completion object twice is most likely a bug as it re-initializes the queue to an empty queue and enqueued tasks could get "lost" - use reinit_completion() in that case, but be aware of other races.h]hCalling init_completion() on the same completion object twice is most likely a bug as it re-initializes the queue to an empty queue and enqueued tasks could get “lost” - use reinit_completion() in that case, but be aware of other races.}(hjkhhhNhNubah}(h]h ]h"]h$]h&]uh1hhhhKahjhhubh)}(h@For static declaration and initialization, macros are available.h]h@For static declaration and initialization, macros are available.}(hjyhhhNhNubah}(h]h ]h"]h$]h&]uh1hhhhKfhjhhubh)}(hTFor static (or global) declarations in file scope you can use DECLARE_COMPLETION()::h]hSFor static (or global) declarations in file scope you can use DECLARE_COMPLETION():}(hjhhhNhNubah}(h]h ]h"]h$]h&]uh1hhhhKhhjhhubj)}(hFstatic DECLARE_COMPLETION(setup_done); DECLARE_COMPLETION(setup_done);h]hFstatic DECLARE_COMPLETION(setup_done); DECLARE_COMPLETION(setup_done);}hjsbah}(h]h ]h"]h$]h&]jjuh1jhhhKkhjhhubh)}(hNote that in this case the completion is boot time (or module load time) initialized to 'not done' and doesn't require an init_completion() call.h]hNote that in this case the completion is boot time (or module load time) initialized to ‘not done’ and doesn’t require an init_completion() call.}(hjhhhNhNubah}(h]h ]h"]h$]h&]uh1hhhhKnhjhhubh)}(hX When a completion is declared as a local variable within a function, then the initialization should always use DECLARE_COMPLETION_ONSTACK() explicitly, not just to make lockdep happy, but also to make it clear that limited scope had been considered and is intentional::h]hX When a completion is declared as a local variable within a function, then the initialization should always use DECLARE_COMPLETION_ONSTACK() explicitly, not just to make lockdep happy, but also to make it clear that limited scope had been considered and is intentional:}(hjhhhNhNubah}(h]h ]h"]h$]h&]uh1hhhhKqhjhhubj)}(h&DECLARE_COMPLETION_ONSTACK(setup_done)h]h&DECLARE_COMPLETION_ONSTACK(setup_done)}hjsbah}(h]h ]h"]h$]h&]jjuh1jhhhKvhjhhubh)}(hXNote that when using completion objects as local variables you must be acutely aware of the short life time of the function stack: the function must not return to a calling context until all activities (such as waiting threads) have ceased and the completion object is completely unused.h]hXNote that when using completion objects as local variables you must be acutely aware of the short life time of the function stack: the function must not return to a calling context until all activities (such as waiting threads) have ceased and the completion object is completely unused.}(hjhhhNhNubah}(h]h ]h"]h$]h&]uh1hhhhKxhjhhubh)}(hX To emphasise this again: in particular when using some of the waiting API variants with more complex outcomes, such as the timeout or signalling (_timeout(), _killable() and _interruptible()) variants, the wait might complete prematurely while the object might still be in use by another thread - and a return from the wait_on_completion*() caller function will deallocate the function stack and cause subtle data corruption if a complete() is done in some other thread. Simple testing might not trigger these kinds of races.h]hX To emphasise this again: in particular when using some of the waiting API variants with more complex outcomes, such as the timeout or signalling (_timeout(), _killable() and _interruptible()) variants, the wait might complete prematurely while the object might still be in use by another thread - and a return from the wait_on_completion*() caller function will deallocate the function stack and cause subtle data corruption if a complete() is done in some other thread. Simple testing might not trigger these kinds of races.}(hjhhhNhNubah}(h]h ]h"]h$]h&]uh1hhhhK}hjhhubh)}(hXHIf unsure, use dynamically allocated completion objects, preferably embedded in some other long lived object that has a boringly long life time which exceeds the life time of any helper threads using the completion object, or has a lock or other synchronization mechanism to make sure complete() is not called on a freed object.h]hXHIf unsure, use dynamically allocated completion objects, preferably embedded in some other long lived object that has a boringly long life time which exceeds the life time of any helper threads using the completion object, or has a lock or other synchronization mechanism to make sure complete() is not called on a freed object.}(hjhhhNhNubah}(h]h ]h"]h$]h&]uh1hhhhKhjhhubh)}(hEA naive DECLARE_COMPLETION() on the stack triggers a lockdep warning.h]hEA naive DECLARE_COMPLETION() on the stack triggers a lockdep warning.}(hjhhhNhNubah}(h]h ]h"]h$]h&]uh1hhhhKhjhhubeh}(h]initializing-completionsah ]h"]initializing completions:ah$]h&]uh1hhhhhhhhKHubh)}(hhh](h)}(hWaiting for completions:h]hWaiting for completions:}(hjhhhNhNubah}(h]h ]h"]h$]h&]uh1hhj hhhhhKubh)}(hFor a thread to wait for some concurrent activity to finish, it calls wait_for_completion() on the initialized completion structure::h]hFor a thread to wait for some concurrent activity to finish, it calls wait_for_completion() on the initialized completion structure:}(hjhhhNhNubah}(h]h ]h"]h$]h&]uh1hhhhKhj hhubj)}(h1void wait_for_completion(struct completion *done)h]h1void wait_for_completion(struct completion *done)}hj,sbah}(h]h ]h"]h$]h&]jjuh1jhhhKhj hhubh)}(hA typical usage scenario is::h]hA typical usage scenario is:}(hj:hhhNhNubah}(h]h ]h"]h$]h&]uh1hhhhKhj hhubj)}(hX CPU#1 CPU#2 struct completion setup_done; init_completion(&setup_done); initialize_work(...,&setup_done,...); /* run non-dependent code */ /* do setup */ wait_for_completion(&setup_done); complete(&setup_done);h]hX CPU#1 CPU#2 struct completion setup_done; init_completion(&setup_done); initialize_work(...,&setup_done,...); /* run non-dependent code */ /* do setup */ wait_for_completion(&setup_done); complete(&setup_done);}hjHsbah}(h]h ]h"]h$]h&]jjuh1jhhhKhj hhubh)}(hXLThis is not implying any particular order between wait_for_completion() and the call to complete() - if the call to complete() happened before the call to wait_for_completion() then the waiting side simply will continue immediately as all dependencies are satisfied; if not, it will block until completion is signaled by complete().h]hXLThis is not implying any particular order between wait_for_completion() and the call to complete() - if the call to complete() happened before the call to wait_for_completion() then the waiting side simply will continue immediately as all dependencies are satisfied; if not, it will block until completion is signaled by complete().}(hjVhhhNhNubah}(h]h ]h"]h$]h&]uh1hhhhKhj hhubh)}(hXNote that wait_for_completion() is calling spin_lock_irq()/spin_unlock_irq(), so it can only be called safely when you know that interrupts are enabled. Calling it from IRQs-off atomic contexts will result in hard-to-detect spurious enabling of interrupts.h]hXNote that wait_for_completion() is calling spin_lock_irq()/spin_unlock_irq(), so it can only be called safely when you know that interrupts are enabled. Calling it from IRQs-off atomic contexts will result in hard-to-detect spurious enabling of interrupts.}(hjdhhhNhNubah}(h]h ]h"]h$]h&]uh1hhhhKhj hhubh)}(hXrThe default behavior is to wait without a timeout and to mark the task as uninterruptible. wait_for_completion() and its variants are only safe in process context (as they can sleep) but not in atomic context, interrupt context, with disabled IRQs, or preemption is disabled - see also try_wait_for_completion() below for handling completion in atomic/interrupt context.h]hXrThe default behavior is to wait without a timeout and to mark the task as uninterruptible. wait_for_completion() and its variants are only safe in process context (as they can sleep) but not in atomic context, interrupt context, with disabled IRQs, or preemption is disabled - see also try_wait_for_completion() below for handling completion in atomic/interrupt context.}(hjrhhhNhNubah}(h]h ]h"]h$]h&]uh1hhhhKhj hhubh)}(hAs all variants of wait_for_completion() can (obviously) block for a long time depending on the nature of the activity they are waiting for, so in most cases you probably don't want to call this with held mutexes.h]hAs all variants of wait_for_completion() can (obviously) block for a long time depending on the nature of the activity they are waiting for, so in most cases you probably don’t want to call this with held mutexes.}(hjhhhNhNubah}(h]h ]h"]h$]h&]uh1hhhhKhj hhubeh}(h]waiting-for-completionsah ]h"]waiting for completions:ah$]h&]uh1hhhhhhhhKubh)}(hhh](h)}(h*wait_for_completion*() variants available:h]h*wait_for_completion*() variants available:}(hjhhhNhNubah}(h]h ]h"]h$]h&]uh1hhjhhhhhKubh)}(hThe below variants all return status and this status should be checked in most(/all) cases - in cases where the status is deliberately not checked you probably want to make a note explaining this (e.g. see arch/arm/kernel/smp.c:__cpu_up()).h]hThe below variants all return status and this status should be checked in most(/all) cases - in cases where the status is deliberately not checked you probably want to make a note explaining this (e.g. see arch/arm/kernel/smp.c:__cpu_up()).}(hjhhhNhNubah}(h]h ]h"]h$]h&]uh1hhhhKhjhhubh)}(hA common problem that occurs is to have unclean assignment of return types, so take care to assign return-values to variables of the proper type.h]hA common problem that occurs is to have unclean assignment of return types, so take care to assign return-values to variables of the proper type.}(hjhhhNhNubah}(h]h ]h"]h$]h&]uh1hhhhKhjhhubh)}(huChecking for the specific meaning of return values also has been found to be quite inaccurate, e.g. constructs like::h]htChecking for the specific meaning of return values also has been found to be quite inaccurate, e.g. constructs like:}(hjhhhNhNubah}(h]h ]h"]h$]h&]uh1hhhhKhjhhubj)}(h4if (!wait_for_completion_interruptible_timeout(...))h]h4if (!wait_for_completion_interruptible_timeout(...))}hjsbah}(h]h ]h"]h$]h&]jjuh1jhhhKhjhhubh)}(h... would execute the same code path for successful completion and for the interrupted case - which is probably not what you want::h]h... would execute the same code path for successful completion and for the interrupted case - which is probably not what you want:}(hjhhhNhNubah}(h]h ]h"]h$]h&]uh1hhhhKhjhhubj)}(h>int wait_for_completion_interruptible(struct completion *done)h]h>int wait_for_completion_interruptible(struct completion *done)}hjsbah}(h]h ]h"]h$]h&]jjuh1jhhhKhjhhubh)}(hThis function marks the task TASK_INTERRUPTIBLE while it is waiting. If a signal was received while waiting it will return -ERESTARTSYS; 0 otherwise::h]hThis function marks the task TASK_INTERRUPTIBLE while it is waiting. If a signal was received while waiting it will return -ERESTARTSYS; 0 otherwise:}(hjhhhNhNubah}(h]h ]h"]h$]h&]uh1hhhhKhjhhubj)}(hYunsigned long wait_for_completion_timeout(struct completion *done, unsigned long timeout)h]hYunsigned long wait_for_completion_timeout(struct completion *done, unsigned long timeout)}hj sbah}(h]h ]h"]h$]h&]jjuh1jhhhKhjhhubh)}(hThe task is marked as TASK_UNINTERRUPTIBLE and will wait at most 'timeout' jiffies. If a timeout occurs it returns 0, else the remaining time in jiffies (but at least 1).h]hThe task is marked as TASK_UNINTERRUPTIBLE and will wait at most ‘timeout’ jiffies. If a timeout occurs it returns 0, else the remaining time in jiffies (but at least 1).}(hjhhhNhNubah}(h]h ]h"]h$]h&]uh1hhhhKhjhhubh)}(hxTimeouts are preferably calculated with msecs_to_jiffies() or usecs_to_jiffies(), to make the code largely HZ-invariant.h]hxTimeouts are preferably calculated with msecs_to_jiffies() or usecs_to_jiffies(), to make the code largely HZ-invariant.}(hj%hhhNhNubah}(h]h ]h"]h$]h&]uh1hhhhKhjhhubh)}(hIf the returned timeout value is deliberately ignored a comment should probably explain why (e.g. see drivers/mfd/wm8350-core.c wm8350_read_auxadc())::h]hIf the returned timeout value is deliberately ignored a comment should probably explain why (e.g. see drivers/mfd/wm8350-core.c wm8350_read_auxadc()):}(hj3hhhNhNubah}(h]h ]h"]h$]h&]uh1hhhhKhjhhubj)}(h^long wait_for_completion_interruptible_timeout(struct completion *done, unsigned long timeout)h]h^long wait_for_completion_interruptible_timeout(struct completion *done, unsigned long timeout)}hjAsbah}(h]h ]h"]h$]h&]jjuh1jhhhKhjhhubh)}(hThis function passes a timeout in jiffies and marks the task as TASK_INTERRUPTIBLE. If a signal was received it will return -ERESTARTSYS; otherwise it returns 0 if the completion timed out, or the remaining time in jiffies if completion occurred.h]hThis function passes a timeout in jiffies and marks the task as TASK_INTERRUPTIBLE. If a signal was received it will return -ERESTARTSYS; otherwise it returns 0 if the completion timed out, or the remaining time in jiffies if completion occurred.}(hjOhhhNhNubah}(h]h ]h"]h$]h&]uh1hhhhKhjhhubh)}(hFurther variants include _killable which uses TASK_KILLABLE as the designated tasks state and will return -ERESTARTSYS if it is interrupted, or 0 if completion was achieved. There is a _timeout variant as well::h]hFurther variants include _killable which uses TASK_KILLABLE as the designated tasks state and will return -ERESTARTSYS if it is interrupted, or 0 if completion was achieved. There is a _timeout variant as well:}(hj]hhhNhNubah}(h]h ]h"]h$]h&]uh1hhhhKhjhhubj)}(hlong wait_for_completion_killable(struct completion *done) long wait_for_completion_killable_timeout(struct completion *done, unsigned long timeout)h]hlong wait_for_completion_killable(struct completion *done) long wait_for_completion_killable_timeout(struct completion *done, unsigned long timeout)}hjksbah}(h]h ]h"]h$]h&]jjuh1jhhhKhjhhubh)}(hThe _io variants wait_for_completion_io() behave the same as the non-_io variants, except for accounting waiting time as 'waiting on IO', which has an impact on how the task is accounted in scheduling/IO stats::h]hThe _io variants wait_for_completion_io() behave the same as the non-_io variants, except for accounting waiting time as ‘waiting on IO’, which has an impact on how the task is accounted in scheduling/IO stats:}(hjyhhhNhNubah}(h]h ]h"]h$]h&]uh1hhhhKhjhhubj)}(hvoid wait_for_completion_io(struct completion *done) unsigned long wait_for_completion_io_timeout(struct completion *done, unsigned long timeout)h]hvoid wait_for_completion_io(struct completion *done) unsigned long wait_for_completion_io_timeout(struct completion *done, unsigned long timeout)}hjsbah}(h]h ]h"]h$]h&]jjuh1jhhhKhjhhubeh}(h]&wait-for-completion-variants-availableah ]h"]*wait_for_completion*() variants available:ah$]h&]uh1hhhhhhhhKubh)}(hhh](h)}(hSignaling completions:h]hSignaling completions:}(hjhhhNhNubah}(h]h ]h"]h$]h&]uh1hhjhhhhhKubh)}(hA thread that wants to signal that the conditions for continuation have been achieved calls complete() to signal exactly one of the waiters that it can continue::h]hA thread that wants to signal that the conditions for continuation have been achieved calls complete() to signal exactly one of the waiters that it can continue:}(hjhhhNhNubah}(h]h ]h"]h$]h&]uh1hhhhKhjhhubj)}(h&void complete(struct completion *done)h]h&void complete(struct completion *done)}hjsbah}(h]h ]h"]h$]h&]jjuh1jhhhKhjhhubh)}(hF... or calls complete_all() to signal all current and future waiters::h]hE... or calls complete_all() to signal all current and future waiters:}(hjhhhNhNubah}(h]h ]h"]h$]h&]uh1hhhhKhjhhubj)}(h*void complete_all(struct completion *done)h]h*void complete_all(struct completion *done)}hjsbah}(h]h ]h"]h$]h&]jjuh1jhhhKhjhhubh)}(hXThe signaling will work as expected even if completions are signaled before a thread starts waiting. This is achieved by the waiter "consuming" (decrementing) the done field of 'struct completion'. Waiting threads wakeup order is the same in which they were enqueued (FIFO order).h]hX The signaling will work as expected even if completions are signaled before a thread starts waiting. This is achieved by the waiter “consuming” (decrementing) the done field of ‘struct completion’. Waiting threads wakeup order is the same in which they were enqueued (FIFO order).}(hjhhhNhNubah}(h]h ]h"]h$]h&]uh1hhhhMhjhhubh)}(hX(If complete() is called multiple times then this will allow for that number of waiters to continue - each call to complete() will simply increment the done field. Calling complete_all() multiple times is a bug though. Both complete() and complete_all() can be called in IRQ/atomic context safely.h]hX(If complete() is called multiple times then this will allow for that number of waiters to continue - each call to complete() will simply increment the done field. Calling complete_all() multiple times is a bug though. Both complete() and complete_all() can be called in IRQ/atomic context safely.}(hjhhhNhNubah}(h]h ]h"]h$]h&]uh1hhhhMhjhhubh)}(hThere can only be one thread calling complete() or complete_all() on a particular 'struct completion' at any time - serialized through the wait queue spinlock. Any such concurrent calls to complete() or complete_all() probably are a design bug.h]hThere can only be one thread calling complete() or complete_all() on a particular ‘struct completion’ at any time - serialized through the wait queue spinlock. Any such concurrent calls to complete() or complete_all() probably are a design bug.}(hjhhhNhNubah}(h]h ]h"]h$]h&]uh1hhhhM hjhhubh)}(hSignaling completion from IRQ context is fine as it will appropriately lock with spin_lock_irqsave()/spin_unlock_irqrestore() and it will never sleep.h]hSignaling completion from IRQ context is fine as it will appropriately lock with spin_lock_irqsave()/spin_unlock_irqrestore() and it will never sleep.}(hjhhhNhNubah}(h]h ]h"]h$]h&]uh1hhhhMhjhhubeh}(h]signaling-completionsah ]h"]signaling completions:ah$]h&]uh1hhhhhhhhKubh)}(hhh](h)}(h,try_wait_for_completion()/completion_done():h]h,try_wait_for_completion()/completion_done():}(hj)hhhNhNubah}(h]h ]h"]h$]h&]uh1hhj&hhhhhMubh)}(hThe try_wait_for_completion() function will not put the thread on the wait queue but rather returns false if it would need to enqueue (block) the thread, else it consumes one posted completion and returns true::h]hThe try_wait_for_completion() function will not put the thread on the wait queue but rather returns false if it would need to enqueue (block) the thread, else it consumes one posted completion and returns true:}(hj7hhhNhNubah}(h]h ]h"]h$]h&]uh1hhhhMhj&hhubj)}(h5bool try_wait_for_completion(struct completion *done)h]h5bool try_wait_for_completion(struct completion *done)}hjEsbah}(h]h ]h"]h$]h&]jjuh1jhhhMhj&hhubh)}(hFinally, to check the state of a completion without changing it in any way, call completion_done(), which returns false if there are no posted completions that were not yet consumed by waiters (implying that there are waiters) and true otherwise::h]hFinally, to check the state of a completion without changing it in any way, call completion_done(), which returns false if there are no posted completions that were not yet consumed by waiters (implying that there are waiters) and true otherwise:}(hjShhhNhNubah}(h]h ]h"]h$]h&]uh1hhhhMhj&hhubj)}(h-bool completion_done(struct completion *done)h]h-bool completion_done(struct completion *done)}hjasbah}(h]h ]h"]h$]h&]jjuh1jhhhM"hj&hhubh)}(hdBoth try_wait_for_completion() and completion_done() are safe to be called in IRQ or atomic context.h]hdBoth try_wait_for_completion() and completion_done() are safe to be called in IRQ or atomic context.}(hjohhhNhNubah}(h]h ]h"]h$]h&]uh1hhhhM$hj&hhubeh}(h]'try-wait-for-completion-completion-doneah ]h"],try_wait_for_completion()/completion_done():ah$]h&]uh1hhhhhhhhMubeh}(h],completions-wait-for-completion-barrier-apisah ]h"]0completions - "wait for completion" barrier apisah$]h&]uh1hhhhhhhhKubeh}(h]h ]h"]h$]h&]sourcehuh1hcurrent_sourceN current_lineNsettingsdocutils.frontendValues)}(hN generatorN datestampN source_linkN source_urlN toc_backlinksentryfootnote_backlinksK sectnum_xformKstrip_commentsNstrip_elements_with_classesN strip_classesN report_levelK halt_levelKexit_status_levelKdebugNwarning_streamN tracebackinput_encoding utf-8-siginput_encoding_error_handlerstrictoutput_encodingutf-8output_encoding_error_handlerjerror_encodingutf-8error_encoding_error_handlerbackslashreplace language_codeenrecord_dependenciesNconfigN id_prefixhauto_id_prefixid dump_settingsNdump_internalsNdump_transformsNdump_pseudo_xmlNexpose_internalsNstrict_visitorN_disable_configN_sourceh _destinationN _config_files]7/var/lib/git/docbuild/linux/Documentation/docutils.confafile_insertion_enabled raw_enabledKline_length_limitM'pep_referencesN pep_base_urlhttps://peps.python.org/pep_file_url_templatepep-%04drfc_referencesN rfc_base_url&https://datatracker.ietf.org/doc/html/ tab_widthKtrim_footnote_reference_spacesyntax_highlightlong smart_quotessmartquotes_locales]character_level_inline_markupdoctitle_xform docinfo_xformKsectsubtitle_xform image_loadinglinkembed_stylesheetcloak_email_addressessection_self_linkenvNubreporterNindirect_targets]substitution_defs}substitution_names}refnames}refids}nameids}(jjjjjjj jjjjjj#j jju nametypes}(jjjj jjj#juh}(jhjhjjjjjj jjj jjj&u footnote_refs} citation_refs} autofootnotes]autofootnote_refs]symbol_footnotes]symbol_footnote_refs] footnotes] citations]autofootnote_startKsymbol_footnote_startK id_counter collectionsCounter}Rparse_messages]transform_messages] transformerN include_log] decorationNhhub.