2020-08-14 05:06:52

by Jiafei Pan

[permalink] [raw]
Subject: [PATCH v2] softirq: add irq off checking for __raise_softirq_irqoff

__raise_softirq_irqoff() will update per-CPU mask of pending softirqs,
it need to be called in irq disabled context in order to keep it atomic
operation, otherwise it will be interrupted by hardware interrupt,
and per-CPU softirqs pending mask will be corrupted, the result is
there will be unexpected issue, for example hrtimer soft irq will
be losed and soft hrtimer will never be expire and handled.

Enable CONFIG_PROVE_LOCKING to use lockdep_assert_irqs_disabled() to
check hardirqs and softirqs status, and provide warning in irqs enabled
context.

Signed-off-by: Jiafei Pan <[email protected]>
---
Changes in v2:
- use lockdep_assert_irqs_disabled()
- removed extra comments
- changed commit message

kernel/softirq.c | 1 +
1 file changed, 1 insertion(+)

diff --git a/kernel/softirq.c b/kernel/softirq.c
index bf88d7f62433..09229ad82209 100644
--- a/kernel/softirq.c
+++ b/kernel/softirq.c
@@ -481,6 +481,7 @@ void raise_softirq(unsigned int nr)

void __raise_softirq_irqoff(unsigned int nr)
{
+ lockdep_assert_irqs_disabled();
trace_softirq_raise(nr);
or_softirq_pending(1UL << nr);
}
--
2.17.1


2020-09-10 02:36:40

by Jiafei Pan

[permalink] [raw]
Subject: RE: [PATCH v2] softirq: add irq off checking for __raise_softirq_irqoff

@Thomas Gleixner, any more comments for v2 patch? Can we merge it? Thanks.

Best Regards,
Jiafei.

> -----Original Message-----
> From: Jiafei Pan <[email protected]>
> Sent: Friday, August 14, 2020 12:55 PM
> To: [email protected]; [email protected]; [email protected];
> [email protected]; [email protected]; [email protected]
> Cc: [email protected]; [email protected]; Jiafei Pan
> <[email protected]>; Leo Li <[email protected]>; Vladimir Oltean
> <[email protected]>; Jiafei Pan <[email protected]>
> Subject: [PATCH v2] softirq: add irq off checking for __raise_softirq_irqoff
>
> __raise_softirq_irqoff() will update per-CPU mask of pending softirqs,
> it need to be called in irq disabled context in order to keep it atomic
> operation, otherwise it will be interrupted by hardware interrupt,
> and per-CPU softirqs pending mask will be corrupted, the result is
> there will be unexpected issue, for example hrtimer soft irq will
> be losed and soft hrtimer will never be expire and handled.
>
> Enable CONFIG_PROVE_LOCKING to use lockdep_assert_irqs_disabled() to
> check hardirqs and softirqs status, and provide warning in irqs enabled
> context.
>
> Signed-off-by: Jiafei Pan <[email protected]>
> ---
> Changes in v2:
> - use lockdep_assert_irqs_disabled()
> - removed extra comments
> - changed commit message
>
> kernel/softirq.c | 1 +
> 1 file changed, 1 insertion(+)
>
> diff --git a/kernel/softirq.c b/kernel/softirq.c
> index bf88d7f62433..09229ad82209 100644
> --- a/kernel/softirq.c
> +++ b/kernel/softirq.c
> @@ -481,6 +481,7 @@ void raise_softirq(unsigned int nr)
>
> void __raise_softirq_irqoff(unsigned int nr)
> {
> + lockdep_assert_irqs_disabled();
> trace_softirq_raise(nr);
> or_softirq_pending(1UL << nr);
> }
> --
> 2.17.1

Subject: [tip: irq/core] softirq: Add debug check to __raise_softirq_irqoff()

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

Commit-ID: cdabce2e3dff7e4bcef73473987618569d178af3
Gitweb: https://git.kernel.org/tip/cdabce2e3dff7e4bcef73473987618569d178af3
Author: Jiafei Pan <[email protected]>
AuthorDate: Fri, 14 Aug 2020 12:55:22 +08:00
Committer: Thomas Gleixner <[email protected]>
CommitterDate: Wed, 16 Sep 2020 15:18:56 +02:00

softirq: Add debug check to __raise_softirq_irqoff()

__raise_softirq_irqoff() must be called with interrupts disabled to protect
the per CPU softirq pending state update against an interrupt and soft
interrupt handling on return from interrupt.

Add a lockdep assertion to validate the calling convention.

[ tglx: Massaged changelog ]

Signed-off-by: Jiafei Pan <[email protected]>
Signed-off-by: Thomas Gleixner <[email protected]>
Link: https://lore.kernel.org/r/[email protected]

---
kernel/softirq.c | 1 +
1 file changed, 1 insertion(+)

diff --git a/kernel/softirq.c b/kernel/softirq.c
index bf88d7f..09229ad 100644
--- a/kernel/softirq.c
+++ b/kernel/softirq.c
@@ -481,6 +481,7 @@ void raise_softirq(unsigned int nr)

void __raise_softirq_irqoff(unsigned int nr)
{
+ lockdep_assert_irqs_disabled();
trace_softirq_raise(nr);
or_softirq_pending(1UL << nr);
}