From: Yao Kai <yaokai34@huawei.com>
To: <linux-kernel@vger.kernel.org>
Cc: <tglx@kernel.org>, <mingo@redhat.com>, <peterz@infradead.org>,
<dvhart@infradead.org>, <dave@stgolabs.net>,
<andrealmeid@igalia.com>, <bigeasy@linutronix.de>,
<liuyongqiang13@huawei.com>
Subject: [PATCH v2 2/2] futex/requeue: Prevent rcuwait use-after-free during requeue PI
Date: Wed, 22 Jul 2026 16:51:40 +0800 [thread overview]
Message-ID: <20260722085140.1949077-3-yaokai34@huawei.com> (raw)
In-Reply-To: <20260722085140.1949077-1-yaokai34@huawei.com>
On PREEMPT_RT, FUTEX_CMP_REQUEUE_PI can trigger a KASAN report:
BUG: KASAN: slab-out-of-bounds in _raw_spin_lock_irqsave+0x76/0xe0
Call Trace:
_raw_spin_lock_irqsave+0x76/0xe0
try_to_wake_up+0xab/0x1540
rcuwait_wake_up+0x39/0x60
futex_requeue+0x18c3/0x1e10
The futex_q used by futex_wait_requeue_pi() is allocated on the waiter's
stack. An early wakeup can race with a PI requeue as follows:
waiter requeue task
------ ------------
futex_wait_requeue_pi()
futex_do_wait()
schedule()
* timeout/signal wakes waiter *
futex_requeue_pi_wakeup_sync()
IN_PROGRESS -> WAIT
rcuwait_wait_event()
requeue_pi_wake_futex()
task = READ_ONCE(q->task)
futex_requeue_pi_complete()
WAIT -> LOCKED
return LOCKED
return
// q lifetime ends
rcuwait_wake_up()
futex_requeue_pi_complete() publishes LOCKED before calling
rcuwait_wake_up(). Once the waiter observes LOCKED, it can return from
futex_wait_requeue_pi() and let q go out of scope before rcuwait_wake_up()
reads q->requeue_wait.task and passes the stale pointer to
try_to_wake_up().
Skip rcuwait_wake_up() for Q_REQUEUE_PI_LOCKED. This state is only
published by requeue_pi_wake_futex(), which saves q->task before
futex_requeue_pi_complete() and calls wake_up_state(task, TASK_NORMAL)
afterwards. If the waiter is already blocked in rcuwait_wait_event(),
TASK_NORMAL includes TASK_UNINTERRUPTIBLE and wakes it. If the wakeup
runs before the waiter blocks, the waiter observes LOCKED and does not
schedule. The other completion states retain their rcuwait wakeup.
Fixes: 07d91ef510fb1 ("futex: Prevent requeue_pi() lock nesting issue on RT")
Cc: stable@vger.kernel.org
Signed-off-by: Yao Kai <yaokai34@huawei.com>
---
kernel/futex/requeue.c | 12 ++++++++++--
1 file changed, 10 insertions(+), 2 deletions(-)
diff --git a/kernel/futex/requeue.c b/kernel/futex/requeue.c
index f7889fb2fce4..9b32f19f320a 100644
--- a/kernel/futex/requeue.c
+++ b/kernel/futex/requeue.c
@@ -155,8 +155,16 @@ static inline void futex_requeue_pi_complete(struct futex_q *q, int locked)
} while (!atomic_try_cmpxchg(&q->requeue_state, &old, new));
#ifdef CONFIG_PREEMPT_RT
- /* If the waiter interleaved with the requeue let it know */
- if (unlikely(old == Q_REQUEUE_PI_WAIT))
+ /*
+ * If the waiter interleaved with the requeue, let it know. For LOCKED,
+ * q may be invalid as soon as the state is published. Only
+ * requeue_pi_wake_futex() publishes LOCKED; it saves q->task before
+ * futex_requeue_pi_complete() and follows it with
+ * wake_up_state(TASK_NORMAL), which also wakes the TASK_UNINTERRUPTIBLE
+ * rcuwait waiter.
+ */
+ if (unlikely(old == Q_REQUEUE_PI_WAIT) &&
+ new != Q_REQUEUE_PI_LOCKED)
rcuwait_wake_up(&q->requeue_wait);
#endif
}
--
2.43.0
prev parent reply other threads:[~2026-07-22 8:31 UTC|newest]
Thread overview: 8+ messages / expand[flat|nested] mbox.gz Atom feed top
2026-07-22 8:51 [PATCH v2 0/2] futex/requeue: Fix requeue PI races Yao Kai
2026-07-22 8:51 ` [PATCH v2 1/2] futex/requeue: Fix rtmutex schedule preparation for requeue PI Yao Kai
2026-08-04 12:21 ` Peter Zijlstra
2026-08-05 8:00 ` Yao Kai
2026-08-24 3:07 ` Yao Kai
2026-08-24 14:08 ` Sebastian Andrzej Siewior
2026-08-25 3:13 ` Yao Kai
2026-07-22 8:51 ` Yao Kai [this message]
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=20260722085140.1949077-3-yaokai34@huawei.com \
--to=yaokai34@huawei.com \
--cc=andrealmeid@igalia.com \
--cc=bigeasy@linutronix.de \
--cc=dave@stgolabs.net \
--cc=dvhart@infradead.org \
--cc=linux-kernel@vger.kernel.org \
--cc=liuyongqiang13@huawei.com \
--cc=mingo@redhat.com \
--cc=peterz@infradead.org \
--cc=tglx@kernel.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox
all inboxes | Powered by JetHome®