Skip to content

Commit

Permalink
lockdep: Simplify a bit hardirq <-> softirq transitions
Browse files Browse the repository at this point in the history
Instead of saving the hardirq state on a per CPU variable, which require
an explicit call before the softirq handling and some complication,
just save and restore the hardirq tracing state through functions
return values and parameters.

It simplifies a bit the black magic that works around the fact that
softirqs can be called from hardirqs while hardirqs can nest on softirqs
but those two cases have very different semantics and only the latter
case assume both states.

Signed-off-by: Frederic Weisbecker <[email protected]>
Signed-off-by: Peter Zijlstra <[email protected]>
Cc: Sebastian Andrzej Siewior <[email protected]>
Cc: Linus Torvalds <[email protected]>
Cc: Andrew Morton <[email protected]>
Cc: Paul E. McKenney <[email protected]>
Link: http://lkml.kernel.org/r/[email protected]
Signed-off-by: Ingo Molnar <[email protected]>
  • Loading branch information
fweisbec authored and Ingo Molnar committed Nov 27, 2013
1 parent 7d5b158 commit 5c4853b
Showing 1 changed file with 16 additions and 21 deletions.
37 changes: 16 additions & 21 deletions kernel/softirq.c
Original file line number Diff line number Diff line change
Expand Up @@ -213,40 +213,35 @@ EXPORT_SYMBOL(local_bh_enable_ip);

#ifdef CONFIG_TRACE_IRQFLAGS
/*
* Convoluted means of passing __do_softirq() a message through the various
* architecture execute_on_stack() bits.
*
* When we run softirqs from irq_exit() and thus on the hardirq stack we need
* to keep the lockdep irq context tracking as tight as possible in order to
* not miss-qualify lock contexts and miss possible deadlocks.
*/
static DEFINE_PER_CPU(int, softirq_from_hardirq);

static inline void lockdep_softirq_from_hardirq(void)
static inline bool lockdep_softirq_start(void)
{
this_cpu_write(softirq_from_hardirq, 1);
}
bool in_hardirq = false;

static inline void lockdep_softirq_start(void)
{
if (this_cpu_read(softirq_from_hardirq))
if (trace_hardirq_context(current)) {
in_hardirq = true;
trace_hardirq_exit();
}

lockdep_softirq_enter();

return in_hardirq;
}

static inline void lockdep_softirq_end(void)
static inline void lockdep_softirq_end(bool in_hardirq)
{
lockdep_softirq_exit();
if (this_cpu_read(softirq_from_hardirq)) {
this_cpu_write(softirq_from_hardirq, 0);

if (in_hardirq)
trace_hardirq_enter();
}
}

#else
static inline void lockdep_softirq_from_hardirq(void) { }
static inline void lockdep_softirq_start(void) { }
static inline void lockdep_softirq_end(void) { }
static inline bool lockdep_softirq_start(void) { return false; }
static inline void lockdep_softirq_end(bool in_hardirq) { }
#endif

asmlinkage void __do_softirq(void)
Expand All @@ -255,6 +250,7 @@ asmlinkage void __do_softirq(void)
unsigned long old_flags = current->flags;
int max_restart = MAX_SOFTIRQ_RESTART;
struct softirq_action *h;
bool in_hardirq;
__u32 pending;
int cpu;

Expand All @@ -269,7 +265,7 @@ asmlinkage void __do_softirq(void)
account_irq_enter_time(current);

__local_bh_disable(_RET_IP_, SOFTIRQ_OFFSET);
lockdep_softirq_start();
in_hardirq = lockdep_softirq_start();

cpu = smp_processor_id();
restart:
Expand Down Expand Up @@ -316,7 +312,7 @@ asmlinkage void __do_softirq(void)
wakeup_softirqd();
}

lockdep_softirq_end();
lockdep_softirq_end(in_hardirq);
account_irq_exit_time(current);
__local_bh_enable(SOFTIRQ_OFFSET);
WARN_ON_ONCE(in_interrupt());
Expand Down Expand Up @@ -365,7 +361,6 @@ void irq_enter(void)
static inline void invoke_softirq(void)
{
if (!force_irqthreads) {
lockdep_softirq_from_hardirq();
#ifdef CONFIG_HAVE_IRQ_EXIT_ON_IRQ_STACK
/*
* We can safely execute softirq on the current stack if
Expand Down

0 comments on commit 5c4853b

Please sign in to comment.