* [PATCH] padata: fix lockdep warning in padata_find_next()
@ 2026-11-02 15:53 Tristan Madani
2026-11-02 16:00 ` sashiko-bot
` (2 more replies)
0 siblings, 3 replies; 4+ messages in thread
From: Tristan Madani @ 2026-11-02 15:53 UTC (permalink / raw)
To: steffen.klassert, daniel.m.jordan
Cc: herbert, linux-crypto, linux-kernel, stable, Tristan Madani
padata_find_next() acquires reorder->lock while the caller
padata_reorder() already holds squeue->serial.lock. Both locks are of
type struct padata_list and thus share the same lockdep class, which
triggers a false positive recursive locking warning even though the two
instances always protect different data.
Annotate the inner lock with spin_lock_nested() to tell lockdep about
the valid nesting.
Fixes: 16295bec6398 ("padata: Generic parallelization/serialization interface")
Cc: stable@vger.kernel.org
Signed-off-by: Tristan Madani <tristan@talencesecurity.com>
---
kernel/padata.c | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/kernel/padata.c b/kernel/padata.c
index 0d3ea1b68b1f7..2f769ba7dfa99 100644
--- a/kernel/padata.c
+++ b/kernel/padata.c
@@ -253,7 +253,7 @@ static struct padata_priv *padata_find_next(struct parallel_data *pd, int cpu,
reorder = per_cpu_ptr(pd->reorder_list, cpu);
- spin_lock(&reorder->lock);
+ spin_lock_nested(&reorder->lock, SINGLE_DEPTH_NESTING);
if (list_empty(&reorder->list))
goto notfound;
--
2.47.3
^ permalink raw reply related [flat|nested] 4+ messages in thread
* Re: [PATCH] padata: fix lockdep warning in padata_find_next()
2026-11-02 15:53 [PATCH] padata: fix lockdep warning in padata_find_next() Tristan Madani
@ 2026-11-02 16:00 ` sashiko-bot
2026-11-02 16:26 ` Tristan Madani
2026-11-03 11:36 ` Bradley Morgan
2 siblings, 0 replies; 4+ messages in thread
From: sashiko-bot @ 2026-11-02 16:00 UTC (permalink / raw)
To: Tristan Madani, steffen.klassert, daniel.m.jordan
Cc: herbert, linux-crypto, Tristan Madani
Thank you for your contribution! Sashiko AI review found 1 potential issue(s) to consider:
- [Medium] padata: redundant spin_lock_nested() in padata_find_next() splits lock class
--
commit d8de136037d32da1b6bd4096b78d163c014e8d23
Author: Tristan Madani <tristmd@gmail.com>
padata: fix lockdep warning in padata_find_next()
This commit replaces spin_lock() with spin_lock_nested() in
padata_find_next() to annotate acquiring reorder->lock while
padata_reorder() holds squeue->serial.lock.
> diff --git a/kernel/padata.c b/kernel/padata.c
> index 5a113c667d4cb..94d7880a001c4 100644
> --- a/kernel/padata.c
> +++ b/kernel/padata.c
> @@ -253,7 +253,7 @@ static struct padata_priv *padata_find_next(struct parallel_data *pd, int cpu,
>
> reorder = per_cpu_ptr(pd->reorder_list, cpu);
>
> - spin_lock(&reorder->lock);
> + spin_lock_nested(&reorder->lock, SINGLE_DEPTH_NESTING);
[Severity: Medium]
Is this spin_lock_nested() annotation still needed here, and does it split
reorder->lock across two lockdep subclasses?
In Linux, spin_lock_init() assigns a lock_class_key per macro expansion site
rather than per C struct type. Historically, squeue->serial.lock and
reorder->lock shared a lockdep class because both were initialized via a
common helper __padata_list_init() (and padata_find_next() was moved inside
squeue->serial.lock in commit 71203f68c774 ("padata: Fix list-related race
in padata_find_next"), rather than commit 16295bec6398).
However, commit af3852cda347 ("padata: remove __padata_list_init()") removed
that helper and initialized the two locks at separate spin_lock_init() call
sites in kernel/padata.c:
padata_init_squeues()
INIT_LIST_HEAD(&squeue->serial.list);
spin_lock_init(&squeue->serial.lock);
padata_init_reorder_list()
INIT_LIST_HEAD(&list->list);
spin_lock_init(&list->lock);
Because squeue->serial.lock and reorder->lock already have distinct lockdep
classes, acquiring reorder->lock inside squeue->serial.lock does not trigger
a recursive locking warning on current kernels.
Meanwhile, padata_do_serial() acquires the same reorder->lock at the default
subclass 0 before calling padata_reorder():
padata_do_serial()
spin_lock(&reorder->lock);
...
spin_unlock(&reorder->lock);
if (gotit)
padata_reorder(padata);
spin_lock(&squeue->serial.lock);
padata_find_next()
spin_lock_nested(&reorder->lock, SINGLE_DEPTH_NESTING);
Won't annotating reorder->lock with SINGLE_DEPTH_NESTING in
padata_find_next() while padata_do_serial() acquires it at subclass 0 cause
lockdep to track the same physical lock as two separate subclasses, hiding
lock ordering dependencies between padata_do_serial() and
padata_find_next()?
--
Sashiko AI review · https://sashiko.dev/#/patchset/20261102155353.1268322-1-tristan@talencesecurity.com?part=1
^ permalink raw reply [flat|nested] 4+ messages in thread
* Re: [PATCH] padata: fix lockdep warning in padata_find_next()
2026-11-02 15:53 [PATCH] padata: fix lockdep warning in padata_find_next() Tristan Madani
2026-11-02 16:00 ` sashiko-bot
@ 2026-11-02 16:26 ` Tristan Madani
2026-11-03 11:36 ` Bradley Morgan
2 siblings, 0 replies; 4+ messages in thread
From: Tristan Madani @ 2026-11-02 16:26 UTC (permalink / raw)
To: herbert, linux-crypto, linux-kernel, sashiko-bot,
steffen.klassert, daniel.m.jordan
On Mon, 02 Nov 2026, sashiko-bot@kernel.org wrote:
> [Medium] padata: redundant spin_lock_nested() in padata_find_next() splits lock class
You are right. Commit af3852cda347 ("padata: remove __padata_list_init()")
already resolved this by giving squeue->serial.lock and reorder->lock
separate lock_class_key via separate spin_lock_init() call sites.
The spin_lock_nested() annotation is redundant and would incorrectly split
the subclass.
Please drop this patch.
Thanks,
Tristan
^ permalink raw reply [flat|nested] 4+ messages in thread
* Re: [PATCH] padata: fix lockdep warning in padata_find_next()
2026-11-02 15:53 [PATCH] padata: fix lockdep warning in padata_find_next() Tristan Madani
2026-11-02 16:00 ` sashiko-bot
2026-11-02 16:26 ` Tristan Madani
@ 2026-11-03 11:36 ` Bradley Morgan
2 siblings, 0 replies; 4+ messages in thread
From: Bradley Morgan @ 2026-11-03 11:36 UTC (permalink / raw)
To: tristmd
Cc: daniel.m.jordan, herbert, linux-crypto, linux-kernel, stable,
steffen.klassert, tristan
On 2 November 2026 15:53:53 GMT, Tristan Madani <tristmd@gmail.com> wrote:
>padata_find_next() acquires reorder->lock while the caller
>padata_reorder() already holds squeue->serial.lock. Both locks are of
>type struct padata_list and thus share the same lockdep class, which
>triggers a false positive recursive locking warning even though the two
>instances always protect different data.
>
>Annotate the inner lock with spin_lock_nested() to tell lockdep about
>the valid nesting.
>
>Fixes: 16295bec6398 ("padata: Generic parallelization/serialization interface")
>Cc: stable@vger.kernel.org
>Signed-off-by: Tristan Madani <tristan@talencesecurity.com>
>---
> kernel/padata.c | 2 +-
> 1 file changed, 1 insertion(+), 1 deletion(-)
>
>diff --git a/kernel/padata.c b/kernel/padata.c
>index 0d3ea1b68b1f7..2f769ba7dfa99 100644
>--- a/kernel/padata.c
>+++ b/kernel/padata.c
>@@ -253,7 +253,7 @@ static struct padata_priv *padata_find_next(struct parallel_data *pd, int cpu,
>
> reorder = per_cpu_ptr(pd->reorder_list, cpu);
>
>- spin_lock(&reorder->lock);
>+ spin_lock_nested(&reorder->lock, SINGLE_DEPTH_NESTING);
I'll bite.
Reviewed-by: Bradley Morgan <brads@mainlining.org>
> if (list_empty(&reorder->list))
> goto notfound;
>
>
--- Thanks!
^ permalink raw reply [flat|nested] 4+ messages in thread
end of thread, other threads:[~2026-11-03 11:37 UTC | newest]
Thread overview: 4+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2026-11-02 15:53 [PATCH] padata: fix lockdep warning in padata_find_next() Tristan Madani
2026-11-02 16:00 ` sashiko-bot
2026-11-02 16:26 ` Tristan Madani
2026-11-03 11:36 ` Bradley Morgan
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox