Commit 5fdfa161 authored by Uros Bizjak's avatar Uros Bizjak Committed by Andrew Morton

task_work: use try_cmpxchg in task_work_add, task_work_cancel_match and task_work_run

Use try_cmpxchg instead of cmpxchg (*ptr, old, new) == old in
task_work_add, task_work_cancel_match and task_work_run.  x86 CMPXCHG
instruction returns success in ZF flag, so this change saves a compare
after cmpxchg (and related move instruction in front of cmpxchg).

Also, atomic_try_cmpxchg implicitly assigns old *ptr value to "old"
when cmpxchg fails, enabling further code simplifications.

The patch avoids extra memory read in case cmpxchg fails.

Link: https://lkml.kernel.org/r/20220823152632.4517-1-ubizjak@gmail.comSigned-off-by: default avatarUros Bizjak <ubizjak@gmail.com>
Signed-off-by: default avatarAndrew Morton <akpm@linux-foundation.org>
parent 977bbf43
...@@ -47,12 +47,12 @@ int task_work_add(struct task_struct *task, struct callback_head *work, ...@@ -47,12 +47,12 @@ int task_work_add(struct task_struct *task, struct callback_head *work,
/* record the work call stack in order to print it in KASAN reports */ /* record the work call stack in order to print it in KASAN reports */
kasan_record_aux_stack(work); kasan_record_aux_stack(work);
head = READ_ONCE(task->task_works);
do { do {
head = READ_ONCE(task->task_works);
if (unlikely(head == &work_exited)) if (unlikely(head == &work_exited))
return -ESRCH; return -ESRCH;
work->next = head; work->next = head;
} while (cmpxchg(&task->task_works, head, work) != head); } while (!try_cmpxchg(&task->task_works, &head, work));
switch (notify) { switch (notify) {
case TWA_NONE: case TWA_NONE:
...@@ -100,10 +100,12 @@ task_work_cancel_match(struct task_struct *task, ...@@ -100,10 +100,12 @@ task_work_cancel_match(struct task_struct *task,
* we raced with task_work_run(), *pprev == NULL/exited. * we raced with task_work_run(), *pprev == NULL/exited.
*/ */
raw_spin_lock_irqsave(&task->pi_lock, flags); raw_spin_lock_irqsave(&task->pi_lock, flags);
while ((work = READ_ONCE(*pprev))) { work = READ_ONCE(*pprev);
if (!match(work, data)) while (work) {
if (!match(work, data)) {
pprev = &work->next; pprev = &work->next;
else if (cmpxchg(pprev, work, work->next) == work) work = READ_ONCE(*pprev);
} else if (try_cmpxchg(pprev, &work, work->next))
break; break;
} }
raw_spin_unlock_irqrestore(&task->pi_lock, flags); raw_spin_unlock_irqrestore(&task->pi_lock, flags);
...@@ -151,16 +153,16 @@ void task_work_run(void) ...@@ -151,16 +153,16 @@ void task_work_run(void)
* work->func() can do task_work_add(), do not set * work->func() can do task_work_add(), do not set
* work_exited unless the list is empty. * work_exited unless the list is empty.
*/ */
work = READ_ONCE(task->task_works);
do { do {
head = NULL; head = NULL;
work = READ_ONCE(task->task_works);
if (!work) { if (!work) {
if (task->flags & PF_EXITING) if (task->flags & PF_EXITING)
head = &work_exited; head = &work_exited;
else else
break; break;
} }
} while (cmpxchg(&task->task_works, work, head) != work); } while (!try_cmpxchg(&task->task_works, &work, head));
if (!work) if (!work)
break; break;
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment