[tip: locking/core] futex: Remove bogus condition for requeue PI

From: tip-bot2 for Thomas Gleixner
Date: Tue Aug 17 2021 - 16:14:48 EST


The following commit has been merged into the locking/core branch of tip:

Commit-ID: 8e74633dcefb280f2cefb49b7201d99650243d96
Gitweb: https://git.kernel.org/tip/8e74633dcefb280f2cefb49b7201d99650243d96
Author: Thomas Gleixner <tglx@xxxxxxxxxxxxx>
AuthorDate: Sun, 15 Aug 2021 23:29:09 +02:00
Committer: Ingo Molnar <mingo@xxxxxxxxxx>
CommitterDate: Tue, 17 Aug 2021 19:05:44 +02:00

futex: Remove bogus condition for requeue PI

For requeue PI it's required to establish PI state for the PI futex to
which waiters are requeued. This either acquires the user space futex on
behalf of the top most waiter on the inner 'waitqueue' futex, or attaches to
the PI state of an existing waiter, or creates on attached to the owner of
the futex.

This code can retry in case of failure, but retry can never happen when the
pi state was successfully created. The condition to run this code is:

(task_count - nr_wake) < nr_requeue

which is always true because:

task_count = 0
nr_wake = 1
nr_requeue >= 0

Remove it completely.

Signed-off-by: Thomas Gleixner <tglx@xxxxxxxxxxxxx>
Signed-off-by: Peter Zijlstra (Intel) <peterz@xxxxxxxxxxxxx>
Signed-off-by: Ingo Molnar <mingo@xxxxxxxxxx>
Link: https://lore.kernel.org/r/20210815211305.362730187@xxxxxxxxxxxxx
---
kernel/futex.c | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/kernel/futex.c b/kernel/futex.c
index c39d5f1..8ddc87c 100644
--- a/kernel/futex.c
+++ b/kernel/futex.c
@@ -2000,7 +2000,7 @@ retry_private:
}
}

- if (requeue_pi && (task_count - nr_wake < nr_requeue)) {
+ if (requeue_pi) {
struct task_struct *exiting = NULL;

/*