percpu_ref, RCU: Audit RCU usages in percpu_ref users
Subsystems (12)
Tejun Heo
maintainerPATCH 1/1 percpu_ref, RCU: Audit RCU usages in percpu_ref users
Hello,
Jann Horn found that aio was depending on the internal RCU grace periods of percpu-ref and that it's broken because aio uses regular RCU while percpu_ref uses sched-RCU.
Depending on percpu_ref's internal grace periods isn't a good idea because
* The RCU type might not match.
* percpu_ref's grace periods are used to switch to atomic mode. They aren't between the last put and the invocation of the last release. This is easy to get confused about and can lead to subtle bugs.
* percpu_ref might not have grace periods at all depending on its current operation mode.
This patchset audits all percpu_ref users for their RCU usages, clarifies percpu_ref documentation that the internal grace periods must not be depended upon, and introduces rcu_work to simplify bouncing to a workqueue after an RCU grace period.
This patchset contains the following seven patches.
0001-fs-aio-Add-explicit-RCU-grace-period-when-freeing-ki.patch 0002-fs-aio-Use-RCU-accessors-for-kioctx_table-table.patch 0003-RDMAVT-Fix-synchronization-around-percpu_ref.patch 0004-HMM-Remove-superflous-RCU-protection-around-radix-tr.patch 0005-block-Remove-superflous-rcu_read_-un-lock_sched-in-b.patch 0006-percpu_ref-Update-doc-to-dissuade-users-from-dependi.patch 0007-RCU-workqueue-Implement-rcu_work.patch
0001-0003 are fixes and tagged -stable.
0004-0005 remove (seemingly) superflous RCU read lock usages.
0006 updates the doc and 0007 introduces rcu_work.
This patchset is also available in the following git tree.
git://git.kernel.org/pub/scm/linux/kernel/git/tj/misc.git percpu_ref-rcu-audit
diffstat follows. Thanks.
block/blk-core.c | 2 - drivers/infiniband/sw/rdmavt/mr.c | 10 ++++--- fs/aio.c | 39 ++++++++++++++++----------- include/linux/cgroup-defs.h | 2 - include/linux/percpu-refcount.h | 18 ++++++++---- include/linux/workqueue.h | 38 ++++++++++++++++++++++++++ kernel/cgroup/cgroup.c | 21 ++++---------- kernel/workqueue.c | 54 ++++++++++++++++++++++++++++++++++++++ lib/percpu-refcount.c | 2 + mm/hmm.c | 12 +------- 10 files changed, 145 insertions(+), 53 deletions(-)
--
tejun
Tejun Heo
maintainerPATCH 1/7 fs/aio: Add explicit RCU grace period when freeing kioctx
While fixing refcounting, e34ecee2ae79 ("aio: Fix a trinity splat") incorrectly removed explicit RCU grace period before freeing kioctx. The intention seems to be depending on the internal RCU grace periods of percpu_ref; however, percpu_ref uses a different flavor of RCU, sched-RCU. This can lead to kioctx being freed while RCU read protected dereferences are still in progress.
Fix it by updating free_ioctx() to go through call_rcu() explicitly.
v2: Comment added to explain double bouncing.
--- fs/aio.c | 23 +++++++++++++++++++---- 1 file changed, 19 insertions(+), 4 deletions(-)
fs/aio.c +19 -4
@@ -115,7 +115,8 @@ struct kioctx {struct page **ring_pages;long nr_pages; -struct work_struct free_work; +struct rcu_head free_rcu; +struct work_struct free_work;/* see free_ioctx() */ /* * signals when all in-flight requests are done
@@ -588,6 +589,12 @@ static int kiocb_cancel(struct aio_kiocb *kiocb)return cancel (&kiocb->common); } +/* +* free_ioctx() should be RCU delayed to synchronize against the RCU +* protected lookup_ioctx() and also needs process context to call +* aio_free_ring(), so the double bouncing through kioctx->free_rcu and +* ->free_work. +*/ static void free_ioctx (struct work_struct *work) { struct kioctx *ctx = container_of(work, struct kioctx, free_work);
@@ -601,6 +608,14 @@ static void free_ioctx(struct work_struct *work)kmem_cache_free (kioctx_cachep, ctx); } +static void free_ioctx_rcufn (struct rcu_head *head) +{ + struct kioctx *ctx = container_of(head, struct kioctx, free_rcu); + +INIT_WORK (&ctx->free_work, free_ioctx); +schedule_work (&ctx->free_work); +} +static void free_ioctx_reqs (struct percpu_ref *ref) { struct kioctx *ctx = container_of(ref, struct kioctx, reqs);
@@ -609,8 +624,8 @@ static void free_ioctx_reqs(struct percpu_ref *ref)if (ctx->rq_wait &&atomic_dec_and_test (&ctx->rq_wait->count))complete (&ctx->rq_wait->comp); -INIT_WORK (&ctx->free_work, free_ioctx); -schedule_work (&ctx->free_work); +/* Synchronize against RCU protected table->table[] dereferences */ +call_rcu (&ctx->free_rcu, free_ioctx_rcufn); }/*
@@ -838,7 +853,7 @@ static int kill_ioctx(struct mm_struct *mm, struct kioctx *ctx, table->table[ctx->id] =NULL ;spin_unlock (&mm->ioctx_lock); -/* percpu_ref_kill() will do the necessary call_rcu() */ +/* free_ioctx_reqs() will do the necessary RCU synchronization */ wake_up_all (&ctx->wait);/*
Signature · 1 line
2.9.5
Tejun Heo
maintainerPATCH 2/7 fs/aio: Use RCU accessors for kioctx_table->table[]
While converting ioctx index from a list to a table, db446a08c23d ("aio: convert the ioctx list to table lookup v3") missed tagging kioctx_table->table[] as an array of RCU pointers and using the appropriate RCU accessors. This introduces a small window in the lookup path where init and access may race.
Mark kioctx_table->table[] with __rcu and use the approriate RCU accessors when using the field.
--- fs/aio.c | 21 +++++++++++---------- 1 file changed, 11 insertions(+), 10 deletions(-)
fs/aio.c +11 -10
@@ -68,9 +68,9 @@ struct aio_ring {#define AIO_RING_PAGES 8struct kioctx_table { -struct rcu_head rcu; -unsigned nr; -struct kioctx *table[]; +struct rcu_head rcu; +unsigned nr; +struct kioctx __rcu *table[]; };struct kioctx_cpu {
@@ -330,7 +330,7 @@ static int aio_ring_mremap(struct vm_area_struct *vma)for (i =0 ; i < table->nr; i++) {struct kioctx *ctx; - ctx = table->table[i]; + ctx =rcu_dereference (table->table[i]);if (ctx && ctx->aio_ring_file == file) {if (!atomic_read (&ctx->dead)) { ctx->user_id = ctx->mmap_base = vma->vm_start;
@@ -666,9 +666,9 @@ static int ioctx_add_table(struct kioctx *ctx, struct mm_struct *mm)while (1 ) {if (table)for (i =0 ; i < table->nr; i++) -if (!table->table[i]) { +if (!rcu_access_pointer (table->table[i])) { ctx->id = i; - table->table[i] = ctx; +rcu_assign_pointer (table->table[i], ctx);spin_unlock (&mm->ioctx_lock);/* While kioctx setup is in progress,
@@ -849,8 +849,8 @@ static int kill_ioctx(struct mm_struct *mm, struct kioctx *ctx, } table =rcu_dereference_raw (mm->ioctx_table); -WARN_ON (ctx != table->table[ctx->id]); - table->table[ctx->id] =NULL ; +WARN_ON (ctx !=rcu_access_pointer (table->table[ctx->id])); +RCU_INIT_POINTER (table->table[ctx->id],NULL );spin_unlock (&mm->ioctx_lock);/* free_ioctx_reqs() will do the necessary RCU synchronization */
@@ -895,7 +895,8 @@ void exit_aio(struct mm_struct *mm) skipped =0 ;for (i =0 ; i < table->nr; ++i) { -struct kioctx *ctx = table->table[i]; +struct kioctx *ctx = +rcu_dereference_protected (table->table[i], true);if (!ctx) { skipped++;
@@ -1084,7 +1085,7 @@ static struct kioctx *lookup_ioctx(unsigned long ctx_id)if (!table || id >= table->nr) goto out; - ctx = table->table[id]; + ctx =rcu_dereference (table->table[id]);if (ctx && ctx->user_id == ctx_id) {percpu_ref_get (&ctx->users); ret = ctx;
Signature · 1 line
2.9.5
Tejun Heo
maintainerPATCH 3/7 RDMAVT: Fix synchronization around percpu_ref
In reply to Tejun Heorvt_mregion uses percpu_ref for reference counting and RCU to protect accesses from lkey_table. When a rvt_mregion needs to be freed, it first gets unregistered from lkey_table and then rvt_check_refs() is called to wait for in-flight usages before the rvt_mregion is freed.
rvt_check_refs() seems to have a couple issues.
* It has a fast exit path which tests percpu_ref_is_zero(). However, a percpu_ref reading zero doesn't mean that the object can be released. In fact, the ->release() callback might not even have started executing yet. Proceeding with freeing can lead to use-after-free.
* lkey_table is RCU protected but there is no RCU grace period in the free path. percpu_ref uses RCU internally but it's sched-RCU whose grace periods are different from regular RCU. Also, it generally isn't a good idea to depend on internal behaviors like this.
To address the above issues, this patch removes the the fast exit and adds an explicit synchronize_rcu().
---
Hello, Dennis, Mike.
I don't know RDMA at all and this patch is only compile tested. Can you please take a careful look?
Thanks.
drivers/infiniband/sw/rdmavt/mr.c | 10 ++++++---- 1 file changed, 6 insertions(+), 4 deletions(-)
drivers/infiniband/sw/rdmavt/mr.c +6 -4
@@ -489,11 +489,13 @@ static int rvt_check_refs(struct rvt_mregion *mr, const char *t)unsigned long timeout;struct rvt_dev_info *rdi =ib_to_rvt (mr->pd->device); -if (percpu_ref_is_zero (&mr->refcount)) -return 0 ; -/* avoid dma mr */ -if (mr->lkey) +if (mr->lkey) { +/* avoid dma mr */ rvt_dereg_clean_qps (mr); +/* @mr was indexed on rcu protected @lkey_table */ +synchronize_rcu (); + } + timeout =wait_for_completion_timeout (&mr->comp,5 *HZ );if (!timeout) { rvt_pr_err(rdi,
Signature · 1 line
2.9.5
Re: [PATCH 3/7] RDMAVT: Fix synchronization around percpu_ref
Quoted 13 lines · Tejun Heo
rvt_mregionusespercpu_reffor reference counting and RCU to protect accesses fromlkey_table. When arvt_mregionneeds to be freed, it first gets unregistered fromlkey_tableand thenrvt_check_refs()is called to wait for in-flight usages before thervt_mregionis freed.
rvt_check_refs()seems to have a couple issues.* It has a fast exit path which tests
percpu_ref_is_zero(). However, apercpu_refreading zero doesn't mean that the object can be released. In fact, the ->release() callback might not even have started executing yet. Proceeding with freeing can lead to use-after-free.
Quoted 6 lines
*
lkey_tableis RCU protected but there is no RCU grace period in the free path.percpu_refuses RCU internally but it's sched-RCU whose grace periods are different from regular RCU. Also, it generally isn't a good idea to depend on internal behaviors like this.To address the above issues, this patch removes the the fast exit and
Typo above too many "the".
Quoted 7 lines
adds an explicit
synchronize_rcu().Signed-off-by Tejun Heo <[email protected]>Cc Dennis Dalessandro <[email protected]>Cc Mike Marciniszyn <[email protected]>Cc Linus Torvalds <[email protected]>
Quoted 5 lines
---
Hello, Dennis, Mike.I don't know RDMA at all and this patch is only compile tested. Can you please take a careful look?
Looks good to me, passes my basic sanity tests. Thanks!
Tejun Heo
maintainerPATCH 4/7 HMM: Remove superflous RCU protection around radix tree lookup
In reply to Tejun Heohmm_devmem_find() requires rcu_read_lock_held() but there's nothing which actually uses the RCU protection. The only caller is hmm_devmem_pages_create() which already grabs the mutex and does superflous rcu_read_lock/unlock() around the function.
This doesn't add anything and just adds to confusion. Remove the RCU protection and open-code the radix tree lookup. If this needs to become more sophisticated in the future, let's add them back when necessary.
---
Hello, Jérôme.
This came up while auditing percpu_ref users for missing explicit RCU grace periods. HMM doesn't seem to depend on RCU protection at all, so I thought it'd be better to remove it for now. It's only compile tested.
Thanks.
mm/hmm.c | 12 ++---------- 1 file changed, 2 insertions(+), 10 deletions(-)
mm/hmm.c +2 -10
@@ -845,13 +845,6 @@ static void hmm_devmem_release(struct device *dev, void *data)hmm_devmem_radix_release (resource); } -static struct hmm_devmem *hmm_devmem_find (resource_size_t phys) -{ -WARN_ON_ONCE (!rcu_read_lock_held ()); - -return radix_tree_lookup (&hmm_devmem_radix, phys >>PA_SECTION_SHIFT ); -} -static int hmm_devmem_pages_create (struct hmm_devmem *devmem) {resource_size_t key, align_start, align_size, align_end;
@@ -892,9 +885,8 @@ static int hmm_devmem_pages_create(struct hmm_devmem *devmem)for (key = align_start; key <= align_end; key +=PA_SECTION_SIZE ) {struct hmm_devmem *dup; -rcu_read_lock (); - dup =hmm_devmem_find (key); -rcu_read_unlock (); + dup =radix_tree_lookup (&hmm_devmem_radix, + key >>PA_SECTION_SHIFT );if (dup) {dev_err (device,"%s: collides with mapping for %s\n" , __func__,dev_name (dup->device));
Signature · 1 line
2.9.5
Re: [PATCH 4/7] HMM: Remove superflous RCU protection around radix tree lookup
Quoted 11 lines · Tejun Heo
hmm_devmem_find()requiresrcu_read_lock_held()but there's nothing which actually uses the RCU protection. The only caller ishmm_devmem_pages_create()which already grabs the mutex and does superflous rcu_read_lock/unlock() around the function.This doesn't add anything and just adds to confusion. Remove the RCU protection and open-code the radix tree lookup. If this needs to become more sophisticated in the future, let's add them back when necessary.
Signed-off-by Tejun Heo <[email protected]>
Quoted 10 lines
Cc Linus Torvalds <[email protected]>---
Hello, Jérôme.This came up while auditing
percpu_refusers for missing explicit RCU grace periods. HMM doesn't seem to depend on RCU protection at all, so I thought it'd be better to remove it for now. It's only compile tested.
Good catch some left over of old logic. I have more cleanup queued up now that i am about to post nouveau patches to use all this. Thanks for fixing this.
Quoted 39 lines
Thanks.
mm/hmm.c | 12 ++---------- 1 file changed, 2 insertions(+), 10 deletions(-)mm/hmm.c +2
-10@@ -845,13 +845,6 @@ static void hmm_devmem_release(struct device *dev, void *data)hmm_devmem_radix_release (resource); } -static struct hmm_devmem *hmm_devmem_find (resource_size_t phys) -{ -WARN_ON_ONCE (!rcu_read_lock_held ()); - -return radix_tree_lookup (&hmm_devmem_radix, phys >>PA_SECTION_SHIFT ); -} -static int hmm_devmem_pages_create (struct hmm_devmem *devmem) {resource_size_t key, align_start, align_size, align_end;@@ -892,9 +885,8 @@ static int hmm_devmem_pages_create(struct hmm_devmem *devmem)for (key = align_start; key <= align_end; key +=PA_SECTION_SIZE ) {struct hmm_devmem *dup; -rcu_read_lock (); - dup =hmm_devmem_find (key); -rcu_read_unlock (); + dup =radix_tree_lookup (&hmm_devmem_radix, + key >>PA_SECTION_SHIFT );if (dup) {dev_err (device,"%s: collides with mapping for %s\n" , __func__,dev_name (dup->device));Signature · 1 line
2.9.5
Tejun Heo
maintainerPATCH 5/7 block: Remove superflous rcu_read_[un]lock_sched() in blk_queue_enter()
In reply to Tejun Heo3a0a529971ec ("block, scsi: Make SCSI quiesce and resume work reliably") added rcu_read_[un]lock_sched() to blk_queue_enter() along with other changes but it doesn't seem to be doing anything.
blk_queue_enter() is called with @q - the pointer to the target request_queue, so the caller obviously has to guarantee that @q can be dereferenced, and inside the RCU-sched protected area, there's nothing which needs further protection.
Let's remove the superflous rcu_read_[un]lock_sched().
---
Hello, Bart.
This came up while auditing percpu_ref users for problematic RCU usages. I couldn't understand what the RCU protection was doing. It'd be great if you can take a look and tell me whether I missed something.
Thanks.
block/blk-core.c | 2 -- 1 file changed, 2 deletions(-)
block/blk-core.c +0 -2
@@ -827,7 +827,6 @@ int blk_queue_enter(struct request_queue *q, blk_mq_req_flags_t flags)bool success = false;int ret; -rcu_read_lock_sched ();if (percpu_ref_tryget_live (&q->q_usage_counter)) {/* * The code that sets the PREEMPT_ONLY flag is
@@ -840,7 +839,6 @@ int blk_queue_enter(struct request_queue *q, blk_mq_req_flags_t flags)percpu_ref_put (&q->q_usage_counter); } } -rcu_read_unlock_sched ();if (success)return 0 ;
Signature · 1 line
2.9.5
Re: [PATCH 5/7] block: Remove superflous rcu_read_[un]lock_sched() in blk_queue_enter()
Quoted 9 lines · Tejun Heo
3a0a529971ec("block, scsi: Make SCSI quiesce and resume work reliably") added rcu_read_[un]lock_sched() toblk_queue_enter()along with other changes but it doesn't seem to be doing anything.
blk_queue_enter()is called with @q - the pointer to the targetrequest_queue, so the caller obviously has to guarantee that @q can be dereferenced, and inside the RCU-sched protected area, there's nothing which needs further protection.
Quoted 8 lines
Let's remove the superflous rcu_read_[un]lock_sched().
[ ... ]
This came up while auditing
percpu_refusers for problematic RCU usages. I couldn't understand what the RCU protection was doing. It'd be great if you can take a look and tell me whether I missed something.
Hello Tejun,
I think the rcu_read_lock() and rcu_read_unlock() are really necessary in this code. In the LWN article "The RCU-barrier menagerie" it is explained that RCU can be used to enforce write ordering globally if the code that reads the writes that are ordered with an RCU read lock (https://lwn.net/Articles/573497/). See also the following comment in scsi_device_quiesce():
/*
* Ensure that the effect of blk_set_preempt_only() will be visible
* for percpu_ref_tryget() callers that occur after the queue
* unfreeze even if the queue was already frozen before this function
* was called. See also https://lwn.net/Articles/573497/.
*/
Since this patch introduces a subtle and hard to debug race condition, please drop this patch.
Thanks,
Bart.
[email protected]
maintainerRe: [PATCH 5/7] block: Remove superflous rcu_read_[un]lock_sched() in blk_queue_enter()
Hello, Bart.
Quoted 3 lines · Bart Van Assche
I think the
rcu_read_lock()andrcu_read_unlock()are really necessary in this code. In the LWN article "The RCU-barrier menagerie" it is explained that RCU can be used to enforce write ordering globally if the code that reads the writes
Yeah but, for it to be meaningful, just like barriers, it has to be paired with something on the other side.
Quoted 10 lines
that are ordered with an RCU read lock (https://lwn.net/Articles/573497/). See also the following comment in
scsi_device_quiesce():/*
* Ensure that the effect ofblk_set_preempt_only()will be visible
* forpercpu_ref_tryget()callers that occur after the queue
* unfreeze even if the queue was already frozen before this function
* was called. See also https://lwn.net/Articles/573497/.
*/
Quoted 2 lines
Since this patch introduces a subtle and hard to debug race condition, please drop this patch.
Hah, the pairing is between scsi_device_quiesce() and blk_queue_enter()? But that doesn't make sense either because scsi_device_quiesce() is doing regular synchronize_rcu() and blk_queue_entre() is doing rcu_read_lock_sched(). They don't interlock with each other in any way.
So, the right thing to do here would be somehow moving the RCU synchronization into blk_set_preempt_only() and switching to regular RCU protection in blk_queue_enter(). The code as-is isn't really doing anything.
I'll drop this patch from the series for now. Let's revisit it later.
Thanks.
Signature · 1 line
tejun
Re: [PATCH 5/7] block: Remove superflous rcu_read_[un]lock_sched() in blk_queue_enter()
Quoted 10 lines · On Wed, 2018-03-14 at 11:46 -0700, [email protected] wrote:
Quoted 10 lines
that are ordered with an RCU read lock (https://lwn.net/Articles/573497/). See also the following comment in
scsi_device_quiesce():/*
* Ensure that the effect ofblk_set_preempt_only()will be visible
* forpercpu_ref_tryget()callers that occur after the queue
* unfreeze even if the queue was already frozen before this function
* was called. See also https://lwn.net/Articles/573497/.
*/
Quoted 8 lines
Quoted 2 lines
Since this patch introduces a subtle and hard to debug race condition, please drop this patch.
Hah, the pairing is between
scsi_device_quiesce()andblk_queue_enter()? But that doesn't make sense either becausescsi_device_quiesce()is doing regularsynchronize_rcu()andblk_queue_enter()is doingrcu_read_lock_sched(). They don't interlock with each other in any way.
Can you clarify this further? From <linux/rcupdate.h>:
static inline void synchronize_rcu(void)
{
synchronize_sched();
}Quoted 4 lines
So, the right thing to do here would be somehow moving the RCU synchronization into
blk_set_preempt_only()and switching to regular RCU protection inblk_queue_enter(). The code as-is isn't really doing anything.
Since the RCU protection in blk_queue_enter() surrounds a percpu_ref_tryget_live() call and since percpu_ref_tryget_live() calls rcu_read_lock/unlock_sched() itself I don't think that it is allowed to switch to regular RCU protection in blk_queue_enter() without modifying the RCU implementation.
Bart.
Re: [PATCH 5/7] block: Remove superflous rcu_read_[un]lock_sched() in blk_queue_enter()
Quoted 6 lines · Bart Van Assche
Can you clarify this further? From <
linux/rcupdate.h>:static inline void
synchronize_rcu(void){ synchronize_sched(); }
You'll find that is for !CONFIG_PREEMPT_RCU.
Re: [PATCH 5/7] block: Remove superflous rcu_read_[un]lock_sched() in blk_queue_enter()
Quoted 9 lines · Peter Zijlstra
Quoted 6 lines · Bart Van Assche
Can you clarify this further? From <
linux/rcupdate.h>:static inline void
synchronize_rcu(void){ synchronize_sched(); }You'll find that is for !CONFIG_PREEMPT_RCU.
Thanks for the clarification. I will submit a fix for the SCSI code.
Bart.
Tejun Heo
maintainerPATCH 6/7 percpu_ref: Update doc to dissuade users from depending on internal RCU grace periods
In reply to Tejun Heopercpu_ref internally uses sched-RCU to implement the percpu -> atomic mode switching and the documentation suggested that this could be depended upon. This doesn't seem like a good idea.
* percpu_ref uses sched-RCU which has different grace periods regular RCU. Users may combine percpu_ref with regular RCU usage and incorrectly believe that regular RCU grace periods are performed by percpu_ref. This can lead to, for example, use-after-free due to premature freeing.
* percpu_ref has a grace period when switching from percpu to atomic mode. It doesn't have one between the last put and release. This distinction is subtle and can lead to surprising bugs.
* percpu_ref allows starting in and switching to atomic mode manually for debugging and other purposes. This means that there may not be any grace periods from kill to release.
This patch makes it clear that the grace periods are percpu_ref's internal implementation detail and can't be depended upon by the users.
--- include/linux/percpu-refcount.h | 18 ++++++++++++------ lib/percpu-refcount.c | 2 ++ 2 files changed, 14 insertions(+), 6 deletions(-)
include/linux/percpu-refcount.h +12 -6
@@ -30,10 +30,14 @@* calls io_destroy() or the process exits. * * In the aio code, kill_ioctx() is called when we wish to destroy a kioctx; it -* calls percpu_ref_kill(), then hlist_del_rcu() and synchronize_rcu() to remove -* the kioctx from the proccess's list of kioctxs - after that, there can't be -* any new users of the kioctx (from lookup_ioctx()) and it's then safe to drop -* the initial ref with percpu_ref_put(). +* removes the kioctx from the proccess's table of kioctxs and kills percpu_ref. +* After that, there can't be any new users of the kioctx (from lookup_ioctx()) +* and it's then safe to drop the initial ref with percpu_ref_put(). +* +* Note that the free path, free_ioctx(), needs to go through explicit call_rcu() +* to synchronize with RCU protected lookup_ioctx(). percpu_ref operations don't +* imply RCU grace periods of any kind and if a user wants to combine percpu_ref +* with RCU protection, it must be done explicitly. * * Code that does a two stage shutdown like this often needs some kind of * explicit synchronization to ensure the initial refcount can only be dropped
@@ -113,8 +117,10 @@ void percpu_ref_reinit(struct percpu_ref *ref);* Must be used to drop the initial ref on a percpu refcount; must be called * precisely once before shutdown. * -* Puts @ref in non percpu mode, then does a call_rcu() before gathering up the -* percpu counters and dropping the initial ref. +* Switches @ref into atomic mode before gathering up the percpu counters +* and dropping the initial ref. +* +* There are no implied RCU grace periods between kill and release. */ static inline void percpu_ref_kill (struct percpu_ref *ref) {
lib/percpu-refcount.c +2 -0
@@ -322,6 +322,8 @@ EXPORT_SYMBOL_GPL(percpu_ref_switch_to_percpu);* This function normally doesn't block and can be called from any context * but it may block if @confirm_kill is specified and @ref is in the * process of switching to atomic mode by percpu_ref_switch_to_atomic(). +* +* There are no implied RCU grace periods between kill and release. */ void percpu_ref_kill_and_confirm (struct percpu_ref *ref,percpu_ref_func_t *confirm_kill)
Signature · 1 line
2.9.5
Tejun Heo
maintainerPATCH 7/7 RCU, workqueue: Implement rcu_work
In reply to Tejun HeoThere are cases where RCU callback needs to be bounced to a sleepable context. This is currently done by the RCU callback queueing a work item, which can be cumbersome to write and confusing to read.
This patch introduces rcu_work, a workqueue work variant which gets executed after a RCU grace period, and converts the open coded bouncing in fs/aio and kernel/cgroup.
v2: Use rcu_barrier() instead of synchronize_rcu() to wait for
completion of previously queued rcu callback as per Paul.
--- fs/aio.c | 21 +++++------------- include/linux/cgroup-defs.h | 2 +- include/linux/workqueue.h | 38 +++++++++++++++++++++++++++++++ kernel/cgroup/cgroup.c | 21 ++++++------------ kernel/workqueue.c | 54 +++++++++++++++++++++++++++++++++++++++++++++ 5 files changed, 106 insertions(+), 30 deletions(-)
fs/aio.c +6 -15
@@ -115,8 +115,7 @@ struct kioctx {struct page **ring_pages;long nr_pages; -struct rcu_head free_rcu; -struct work_struct free_work;/* see free_ioctx() */ +struct rcu_work free_rwork;/* see free_ioctx() */ /* * signals when all in-flight requests are done
@@ -592,13 +591,12 @@ static int kiocb_cancel(struct aio_kiocb *kiocb)/* * free_ioctx() should be RCU delayed to synchronize against the RCU * protected lookup_ioctx() and also needs process context to call -* aio_free_ring(), so the double bouncing through kioctx->free_rcu and -* ->free_work. +* aio_free_ring(). Use rcu_work. */ static void free_ioctx (struct work_struct *work) { - struct kioctx *ctx = container_of(work, struct kioctx, free_work); - + struct kioctx *ctx = container_of(to_rcu_work(work), struct kioctx, + free_rwork);pr_debug ("freeing %p\n" , ctx);aio_free_ring (ctx);
@@ -608,14 +606,6 @@ static void free_ioctx(struct work_struct *work)kmem_cache_free (kioctx_cachep, ctx); } -static void free_ioctx_rcufn (struct rcu_head *head) -{ - struct kioctx *ctx = container_of(head, struct kioctx, free_rcu); - -INIT_WORK (&ctx->free_work, free_ioctx); -schedule_work (&ctx->free_work); -} -static void free_ioctx_reqs (struct percpu_ref *ref) { struct kioctx *ctx = container_of(ref, struct kioctx, reqs);
@@ -625,7 +615,8 @@ static void free_ioctx_reqs(struct percpu_ref *ref)complete (&ctx->rq_wait->comp);/* Synchronize against RCU protected table->table[] dereferences */ -call_rcu (&ctx->free_rcu, free_ioctx_rcufn); +INIT_RCU_WORK (&ctx->free_rwork, free_ioctx); +queue_rcu_work (system_wq, &ctx->free_rwork); }/*
include/linux/cgroup-defs.h +1 -1
@@ -151,8 +151,8 @@ struct cgroup_subsys_state {atomic_t online_cnt;/* percpu_ref killing and RCU release */ -struct rcu_head rcu_head;struct work_struct destroy_work; +struct rcu_work destroy_rwork;/* * PI: the parent css. Placed here for cache proximity to following
include/linux/workqueue.h +38 -0
@@ -13,6 +13,7 @@#include <linux/threads.h> #include <linux/atomic.h> #include <linux/cpumask.h> +#include <linux/rcupdate.h> struct workqueue_struct ;
@@ -120,6 +121,15 @@ struct delayed_work {int cpu; }; +struct rcu_work { +struct work_struct work; +struct rcu_head rcu; + +/* target workqueue and CPU ->rcu uses to queue ->work */ +struct workqueue_struct *wq; +int cpu; +}; +/** * struct workqueue_attrs - A struct for workqueue attributes. *
@@ -151,6 +161,11 @@ static inline struct delayed_work *to_delayed_work(struct work_struct *work) return container_of(work, struct delayed_work, work); } +static inline struct rcu_work *to_rcu_work (struct work_struct *work) +{ + return container_of(work, struct rcu_work, work); +} +struct execute_work {struct work_struct work; };
@@ -266,6 +281,12 @@ static inline unsigned int work_static(struct work_struct *work) { return 0; }#define INIT_DEFERRABLE_WORK_ONSTACK (_work, _func) \ __INIT_DELAYED_WORK_ONSTACK(_work, _func, TIMER_DEFERRABLE) +#define INIT_RCU_WORK (_work, _func) \ + INIT_WORK(&(_work)->work, (_func)) + +#define INIT_RCU_WORK_ONSTACK (_work, _func) \ + INIT_WORK_ONSTACK(&(_work)->work, (_func)) +/** * work_pending - Find out whether a work item is currently pending * @work: The work item in question
@@ -447,6 +468,8 @@ extern bool queue_delayed_work_on(int cpu, struct workqueue_struct *wq, struct delayed_work *work, unsigned long delay);extern bool mod_delayed_work_on (int cpu,struct workqueue_struct *wq,struct delayed_work *dwork,unsigned long delay); +extern bool queue_rcu_work_on (int cpu,struct workqueue_struct *wq, +struct rcu_work *rwork);extern void flush_workqueue (struct workqueue_struct *wq);extern void drain_workqueue (struct workqueue_struct *wq);
@@ -463,6 +486,8 @@ extern bool flush_delayed_work(struct delayed_work *dwork);extern bool cancel_delayed_work (struct delayed_work *dwork);extern bool cancel_delayed_work_sync (struct delayed_work *dwork); +extern bool flush_rcu_work (struct rcu_work *rwork); +extern void workqueue_set_max_active (struct workqueue_struct *wq,int max_active);extern struct work_struct *current_work (void );
@@ -520,6 +545,19 @@ static inline bool mod_delayed_work(struct workqueue_struct *wq, }/** +* queue_rcu_work - queue work on a workqueue after a RCU grace period +* @wq: workqueue to use +* @rwork: RCU work to queue +* +* Equivalent to queue_rcu_work_on() but tries to use the local CPU. +*/ +static inline bool queue_rcu_work (struct workqueue_struct *wq, +struct rcu_work *rwork) +{ +return queue_rcu_work_on (WORK_CPU_UNBOUND , wq, rwork); +} + +/** * schedule_work_on - put work task on a specific cpu * @cpu: cpu to put the work task on * @work: job to be done
kernel/cgroup/cgroup.c +7 -14
@@ -4514,10 +4514,10 @@ static struct cftype cgroup_base_files[] = {* and thus involve punting to css->destroy_work adding two additional * steps to the already complex sequence. */ -static void css_free_work_fn (struct work_struct *work) +static void css_free_rwork_fn (struct work_struct *work) { -struct cgroup_subsys_state *css = - container_of(work, struct cgroup_subsys_state, destroy_work); +struct cgroup_subsys_state *css =container_of (to_rcu_work (work), + struct cgroup_subsys_state, destroy_rwork);struct cgroup_subsys *ss = css->ss;struct cgroup *cgrp = css->cgroup;
@@ -4563,15 +4563,6 @@ static void css_free_work_fn(struct work_struct *work) } } -static void css_free_rcu_fn (struct rcu_head *rcu_head) -{ -struct cgroup_subsys_state *css = - container_of(rcu_head, struct cgroup_subsys_state, rcu_head); - -INIT_WORK (&css->destroy_work, css_free_work_fn); -queue_work (cgroup_destroy_wq, &css->destroy_work); -} -static void css_release_work_fn (struct work_struct *work) { struct cgroup_subsys_state *css =
@@ -4621,7 +4612,8 @@ static void css_release_work_fn(struct work_struct *work)mutex_unlock (&cgroup_mutex); -call_rcu (&css->rcu_head, css_free_rcu_fn); +INIT_RCU_WORK (&css->destroy_rwork, css_free_rwork_fn); +queue_rcu_work (cgroup_destroy_wq, &css->destroy_rwork); }static void css_release (struct percpu_ref *ref)
@@ -4755,7 +4747,8 @@ static struct cgroup_subsys_state *css_create(struct cgroup *cgrp, err_list_del:list_del_rcu (&css->sibling); err_free_css: -call_rcu (&css->rcu_head, css_free_rcu_fn); +INIT_RCU_WORK (&css->destroy_rwork, css_free_rwork_fn); +queue_rcu_work (cgroup_destroy_wq, &css->destroy_rwork);return ERR_PTR (err); }
kernel/workqueue.c +54 -0
66 lines not on this page · raw message
Signature · 1 line
2.9.5
Re: [PATCH 7/7] RCU, workqueue: Implement rcu_work
Quoted 4 lines · Tejun Heo
This patch introduces
rcu_work, a workqueue work variant which gets executed after a RCU grace period, and converts the open coded bouncing in fs/aio and kernel/cgroup.
So I like the concept, but I have two comments:
- can we split this patch up, so that if somebody bisects a problem
to it, we'll see if it's cgroup or aio that triggers it?
- this feels wrong:
include/linux/workqueue.h struct delayed_work { · line 131
Quoted 8 lines
include/linux/workqueue.h +8
-0+struct rcu_work { +struct work_struct work; +struct rcu_head rcu; + +/* target workqueue and CPU ->rcu uses to queue ->work */ +struct workqueue_struct *wq; +int cpu; +};
That "int cpu" really doesn't feel like it makes sense for an rcu_work. The rcu_call() part fundamentally will happen on any CPU, and sure, it could then schedule the work on something else, but that doesn't sound like a particularly sound interface.
So I'd like to either just make the thing always just use WORK_CPU_UNBOUND, or hear some kind of (handwaving ok) explanation for why something else would ever make sense. If the action is fundamentally delayed by RCU, why would it make a difference which CPU it runs on?
One reason for that is that I get this feeling that the multiple stages of waiting *might* be unnecessary. Are there no situations where a "rcu_work" might just end up devolving to be just a regular work? Or maybe situations where the rcu callback is done in process context, and the work can just be done immediately? I'm a tiny bit worried about queueing artifacts, where we end up having tons of resources in flight.
But this really is just a "this feels wrong". I have no real hard technical reason.
Linus
Tejun Heo
maintainerRe: [PATCH 7/7] RCU, workqueue: Implement rcu_work
Hello, Linus.
Quoted 2 lines · Linus Torvalds
- can we split this patch up, so that if somebody bisects a problem
to it, we'll see if it's cgroup or aio that triggers it?
Will do.
Quoted 5 lines
So I'd like to either just make the thing always just use
WORK_CPU_UNBOUND, or hear some kind of (handwaving ok) explanation for why something else would ever make sense. If the action is fundamentally delayed by RCU, why would it make a difference which CPU it runs on?
It was mostly for consistency with other interfaces. Let's drop queue_work_on() for now. If ever necessary, we can easily add it back later.
Thanks.
Signature · 1 line
tejun
Re: [PATCH 7/7] RCU, workqueue: Implement rcu_work
In reply to Tejun HeoQuoted 5 lines · Tejun Heo
+/**
+ *queue_rcu_work_on- queue work on specific CPU after a RCU grace period
+ * @cpu: CPU number to execute work on
+ * @wq: workqueue to use
+ * @rwork: work to queue
For many people, "RCU grace period" is clear enough, but not ALL.
So please make it a little more clear that it just queues work after a *Normal* RCU grace period. it supports only one RCU variant.
Quoted 3 lines
+ *
+ * Return: %false if @work was already on a queue, %true otherwise.
+ */
I'm afraid this will be a hard-using API.
The user can't find a plan B when it returns false, especially when the user expects the work must be called at least once again after an RCU grace period.
And the error-prone part of it is that, like other queue_work() functions, the return value of it is often ignored and makes the problem worse.
So, since workqueue.c provides this API, it should handle this problem. For example, by calling call_rcu() again in this case, but everything will be much more complex: a synchronization is needed for "calling call_rcu() again" and allowing the work item called twice after the last queue_rcu_work() is not workqueue style.
Some would argue that the delayed_work has the same problem when the user expects the work must be called at least once again after a period of time. But time interval is easy to detect, the user can check the time and call the queue_delayed_work() again when needed which is also a frequent design pattern. And for rcu, it is hard to use this design pattern since it is hard to detect (new) rcu grace period without using call_rcu().
I would not provide this API. it is not a NACK. I'm just trying expressing my thinking about the API. I'd rather RCU be changed and RCU callbacks are changed to be sleepable. But a complete overhaul cleanup on the whole source tree for compatibility is needed at first, an even more complex job.
Quoted 16 lines
kernel/workqueue.c +16
-0+bool queue_rcu_work_on (int cpu,struct workqueue_struct *wq, +struct rcu_work *rwork) +{ +struct work_struct *work = &rwork->work; + +if (!test_and_set_bit (WORK_STRUCT_PENDING_BIT ,work_data_bits (work))) { + rwork->wq = wq; + rwork->cpu = cpu; +call_rcu (&rwork->rcu, rcu_work_rcufn); +return true; + } + +return false; +} +EXPORT_SYMBOL (queue_rcu_work_on); +
Re: [PATCH 7/7] RCU, workqueue: Implement rcu_work
Quoted 24 lines · Lai Jiangshan
Quoted 5 lines · Tejun Heo
+/**
+ *queue_rcu_work_on- queue work on specific CPU after a RCU grace period
+ * @cpu: CPU number to execute work on
+ * @wq: workqueue to use
+ * @rwork: work to queueFor many people, "RCU grace period" is clear enough, but not ALL.
So please make it a little more clear that it just queues work after a *Normal* RCU grace period. it supports only one RCU variant.
Quoted 3 lines
+ *
+ * Return: %false if @work was already on a queue, %true otherwise.
+ */I'm afraid this will be a hard-using API.
The user can't find a plan B when it returns false, especially when the user expects the work must be called at least once again after an RCU grace period.
Quoted 8 lines
And the error-prone part of it is that, like other
queue_work()functions, the return value of it is often ignored and makes the problem worse.So, since
workqueue.cprovides this API, it should handle this problem. For example, by callingcall_rcu()again in this case, but everything will be much more complex: a synchronization is needed for "callingcall_rcu()again" and allowing the work item called twice after the lastqueue_rcu_work()is not workqueue style.
I confess that I had not thought of this aspect, but doesn't the rcu_barrier() in v2 of this patchset guarantee that it has passed the RCU portion of the overall wait time? Given that, what I am missing is now this differs from flush_work() on a normal work item.
So could you please show me the sequence of events that leads to this problem? (Again, against v2 of this patch, which replaces the synchronize_rcu() with rcu_barrier().)
Quoted 8 lines
Some would argue that the
delayed_workhas the same problem when the user expects the work must be called at least once again after a period of time. But time interval is easy to detect, the user can check the time and call thequeue_delayed_work()again when needed which is also a frequent design pattern. And for rcu, it is hard to use this design pattern since it is hard to detect (new) rcu grace period without usingcall_rcu().
Quoted 5 lines
I would not provide this API. it is not a NACK. I'm just trying expressing my thinking about the API. I'd rather RCU be changed and RCU callbacks are changed to be sleepable. But a complete overhaul cleanup on the whole source tree for compatibility is needed at first, an even more complex job.
One downside of allowing RCU callback functions to sleep is that one poorly written callback can block a bunch of other ones. One advantage of Tejun's approach is that such delays only affect the workqueues, which are already designed to handle such delays.
Thanx, Paul
Quoted 17 lines
Quoted 16 lines
kernel/workqueue.c +16
-0+bool queue_rcu_work_on (int cpu,struct workqueue_struct *wq, +struct rcu_work *rwork) +{ +struct work_struct *work = &rwork->work; + +if (!test_and_set_bit (WORK_STRUCT_PENDING_BIT ,work_data_bits (work))) { + rwork->wq = wq; + rwork->cpu = cpu; +call_rcu (&rwork->rcu, rcu_work_rcufn); +return true; + } + +return false; +} +EXPORT_SYMBOL (queue_rcu_work_on); +
Re: [PATCH 7/7] RCU, workqueue: Implement rcu_work
Quoted 2 lines · Paul E. McKenney
One downside of allowing RCU callback functions to sleep is that one poorly written callback can block a bunch of other ones.
Not to mention that we really want the RCU callbacks to be simple and short. Needing fancy things in the callback really should be the exception not the rule.
Re: [PATCH 7/7] RCU, workqueue: Implement rcu_work
Quoted 7 lines · Peter Zijlstra
Quoted 2 lines · Paul E. McKenney
One downside of allowing RCU callback functions to sleep is that one poorly written callback can block a bunch of other ones.
Not to mention that we really want the RCU callbacks to be simple and short. Needing fancy things in the callback really should be the exception not the rule.
Very much agreed with that as well!
Besides, Tejun's queue_rcu_work() provides this functionality and seems pretty straightforward to use.
Thanx, Paul
Re: [PATCH 7/7] RCU, workqueue: Implement rcu_work
In reply to Paul E. McKenneyQuoted 34 lines · Paul E. McKenney
Quoted 24 lines · Lai Jiangshan
Quoted 5 lines · Tejun Heo
+/**
+ *queue_rcu_work_on- queue work on specific CPU after a RCU grace period
+ * @cpu: CPU number to execute work on
+ * @wq: workqueue to use
+ * @rwork: work to queueFor many people, "RCU grace period" is clear enough, but not ALL.
So please make it a little more clear that it just queues work after a *Normal* RCU grace period. it supports only one RCU variant.
Quoted 3 lines
+ *
+ * Return: %false if @work was already on a queue, %true otherwise.
+ */I'm afraid this will be a hard-using API.
The user can't find a plan B when it returns false, especially when the user expects the work must be called at least once again after an RCU grace period.
Quoted 8 lines
And the error-prone part of it is that, like other
queue_work()functions, the return value of it is often ignored and makes the problem worse.So, since
workqueue.cprovides this API, it should handle this problem. For example, by callingcall_rcu()again in this case, but everything will be much more complex: a synchronization is needed for "callingcall_rcu()again" and allowing the work item called twice after the lastqueue_rcu_work()is not workqueue style.
Quoted 8 lines
I confess that I had not thought of this aspect, but doesn't the
rcu_barrier()in v2 of this patchset guarantee that it has passed the RCU portion of the overall wait time? Given that, what I am missing is now this differs fromflush_work()on a normal work item.So could you please show me the sequence of events that leads to this problem? (Again, against v2 of this patch, which replaces the
synchronize_rcu()withrcu_barrier().)
I mentioned a subtle use case that user would think it is supported since the comment doesn't disallow it.
It is clear that the user expects
the work must be called at least once after the API returns the work must be called after an RCU grace period
But in the case when the user expects the work must be called at least once again after "queue_rcu_work() + an RCU grace period", the API is not competent to it if the work is queued. Although the user can detect it by the return value of queue_rcu_work(), the user hardly makes his expectation happen by adding appropriate code.
Quoted 40 lines
Quoted 9 lines
Some would argue that the
delayed_workhas the same problem when the user expects the work must be called at least once again after a period of time. But time interval is easy to detect, the user can check the time and call thequeue_delayed_work()again when needed which is also a frequent design pattern. And for rcu, it is hard to use this design pattern since it is hard to detect (new) rcu grace period without usingcall_rcu().Quoted 5 lines
I would not provide this API. it is not a NACK. I'm just trying expressing my thinking about the API. I'd rather RCU be changed and RCU callbacks are changed to be sleepable. But a complete overhaul cleanup on the whole source tree for compatibility is needed at first, an even more complex job.
One downside of allowing RCU callback functions to sleep is that one poorly written callback can block a bunch of other ones. One advantage of Tejun's approach is that such delays only affect the workqueues, which are already designed to handle such delays.
Thanx, Paul
Quoted 17 lines
Quoted 16 lines
kernel/workqueue.c +16
-0+bool queue_rcu_work_on (int cpu,struct workqueue_struct *wq, +struct rcu_work *rwork) +{ +struct work_struct *work = &rwork->work; + +if (!test_and_set_bit (WORK_STRUCT_PENDING_BIT ,work_data_bits (work))) { + rwork->wq = wq; + rwork->cpu = cpu; +call_rcu (&rwork->rcu, rcu_work_rcufn); +return true; + } + +return false; +} +EXPORT_SYMBOL (queue_rcu_work_on); +
Re: [PATCH 7/7] RCU, workqueue: Implement rcu_work
Quoted 45 lines · Lai Jiangshan
Quoted 34 lines · Paul E. McKenney
Quoted 24 lines · Lai Jiangshan
Quoted 5 lines · Tejun Heo
+/**
+ *queue_rcu_work_on- queue work on specific CPU after a RCU grace period
+ * @cpu: CPU number to execute work on
+ * @wq: workqueue to use
+ * @rwork: work to queueFor many people, "RCU grace period" is clear enough, but not ALL.
So please make it a little more clear that it just queues work after a *Normal* RCU grace period. it supports only one RCU variant.
Quoted 3 lines
+ *
+ * Return: %false if @work was already on a queue, %true otherwise.
+ */I'm afraid this will be a hard-using API.
The user can't find a plan B when it returns false, especially when the user expects the work must be called at least once again after an RCU grace period.
Quoted 8 lines
And the error-prone part of it is that, like other
queue_work()functions, the return value of it is often ignored and makes the problem worse.So, since
workqueue.cprovides this API, it should handle this problem. For example, by callingcall_rcu()again in this case, but everything will be much more complex: a synchronization is needed for "callingcall_rcu()again" and allowing the work item called twice after the lastqueue_rcu_work()is not workqueue style.Quoted 8 lines
I confess that I had not thought of this aspect, but doesn't the
rcu_barrier()in v2 of this patchset guarantee that it has passed the RCU portion of the overall wait time? Given that, what I am missing is now this differs fromflush_work()on a normal work item.So could you please show me the sequence of events that leads to this problem? (Again, against v2 of this patch, which replaces the
synchronize_rcu()withrcu_barrier().)
Quoted 5 lines
I mentioned a subtle use case that user would think it is supported since the comment doesn't disallow it.
It is clear that the user expects
the work must be called at least once after the API returns
I would have said "before the API returns" rather than "after the API returns". What am I missing here?
Quoted 8 lines
the work must be called after an RCU grace period
But in the case when the user expects the work must be called at least once again after "
queue_rcu_work()+ an RCU grace period", the API is not competent to it if the work is queued. Although the user can detect it by the return value ofqueue_rcu_work(), the user hardly makes his expectation happen by adding appropriate code.
Beyond a certain point, I need to defer to Tejun on this, but I thought that a false return meant that the work executed before the flush call. Here I am assuming that the caller knows that the queue_work_rcu() already happened and that another queue_work_rcu() won't be invoked on that same work item until the flush completes. Without this sort of assumption, I agree that there could be problems, but without these assumptions it seems to me that you would have exactly the same problems with the non-RCU APIs.
What am I missing?
Thanx, Paul
Quoted 40 lines
Quoted 39 lines
Quoted 8 lines
Some would argue that the
delayed_workhas the same problem when the user expects the work must be called at least once again after a period of time. But time interval is easy to detect, the user can check the time and call thequeue_delayed_work()again when needed which is also a frequent design pattern. And for rcu, it is hard to use this design pattern since it is hard to detect (new) rcu grace period without usingcall_rcu().Quoted 5 lines
I would not provide this API. it is not a NACK. I'm just trying expressing my thinking about the API. I'd rather RCU be changed and RCU callbacks are changed to be sleepable. But a complete overhaul cleanup on the whole source tree for compatibility is needed at first, an even more complex job.
One downside of allowing RCU callback functions to sleep is that one poorly written callback can block a bunch of other ones. One advantage of Tejun's approach is that such delays only affect the workqueues, which are already designed to handle such delays.
Thanx, Paul
Quoted 17 lines
Quoted 16 lines
kernel/workqueue.c +16
-0+bool queue_rcu_work_on (int cpu,struct workqueue_struct *wq, +struct rcu_work *rwork) +{ +struct work_struct *work = &rwork->work; + +if (!test_and_set_bit (WORK_STRUCT_PENDING_BIT ,work_data_bits (work))) { + rwork->wq = wq; + rwork->cpu = cpu; +call_rcu (&rwork->rcu, rcu_work_rcufn); +return true; + } + +return false; +} +EXPORT_SYMBOL (queue_rcu_work_on); +
Tejun Heo
maintainerRe: [PATCH 7/7] RCU, workqueue: Implement rcu_work
In reply to Lai JiangshanHello,
Quoted 7 lines · Lai Jiangshan
I mentioned a subtle use case that user would think it is supported since the comment doesn't disallow it.
It is clear that the user expects
the work must be called at least once after the API returns the work must be called after an RCU grace period
Quoted 6 lines
But in the case when the user expects the work must be called at least once again after "
queue_rcu_work()+ an RCU grace period", the API is not competent to it if the work is queued. Although the user can detect it by the return value ofqueue_rcu_work(), the user hardly makes his expectation happen by adding appropriate code.
We should definitely document it better but it isn't any different from delayed_work, and I don't see a reason to deviate.
Thanks.
Signature · 1 line
tejun