Re: [syzbot] [bpf?] [trace?] WARNING: locking bug in __lock_task_sighand

From: Puranjay Mohan
Date: Mon Dec 02 2024 - 09:17:43 EST


Alexei Starovoitov <alexei.starovoitov@xxxxxxxxx> writes:

> Puranjay, Andrii and All,
>
> looks like if (irqs_disabled()) is not enough.
> Should we change it to preemptible() ?
>
> It will likely make it async all the time,
> but in this it's an ok trade off?
>

Yes, as BPF programs can run in all kinds of contexts.

We should replace 'if (irqs_disabled())' with 'if (!preemptible())'

because the definition is:

#define preemptible() (preempt_count() == 0 && !irqs_disabled())

and we need if ((preempt_count() != 0) || irqs_disabled()), in both
these cases we want to make it async.

I will try to test the fix as Syzbot has now found a reproducer.

Thanks,
Puranjay

Attachment: signature.asc
Description: PGP signature