Re: [PATCH v3 1/4] rv/reactors: use context-sensitive lockdep wait type in rv_react()
From: Wen Yang
Date: Wed Aug 19 2026 - 13:44:09 EST
On 8/19/26 17:24, Thomas Weißschuh wrote:
On Wed, Aug 19, 2026 at 09:12:43AM +0200, Gabriele Monaco wrote:
On Mon, 2026-08-17 at 10:18 +0200, Nam Cao wrote:
Gabriele Monaco <gmonaco@xxxxxxxxxx> writes:
On Mon, 2026-08-10 at 01:10 +0800, wen.yang@xxxxxxxxx wrote:...
From: Wen Yang <wen.yang@xxxxxxxxx>
Reactors must not explicitly take locks, so they should comply with
LD_WAIT_FREE. However, reactor callbacks can run with preemption
enabled on any kernel (not just PREEMPT_RT). If a timer interrupt
fires during the callback, the interrupt exit path schedules and
acquires rq->__lock (LD_WAIT_SPIN) while the lockdep override map that
declared LD_WAIT_FREE is still held, triggering a spurious
"Invalid wait context" warning:
Anyway, I'd appreciate comments/acks from the other folks in the loop
Sorry, I do not know enough about lockdep to comment on this.
FWIW, I would rather just use LD_WAIT_SPIN and keep things
simple. Context-sensitive code paths "feels wrong" to me. Spinning
should either be allowed or forbidden. Making it dynamic "feels like" it
will bring further complications down the road.
To me the dynamic logic also feels quite complicated.
We could also disable preemption before overriding the lockdep context
when lockdep is enabled to avoid the observed issue.
Thanks,
rv_react() already has two callers in this tree that land in very
different places.
nrp attaches to local_timer_entry, which fires from inside the hardirq handler itself:
DEFINE_IDTENTRY_SYSVEC(sysvec_apic_timer_interrupt)
irq_enter_rcu() -> preempt_count_add(HARDIRQ_OFFSET)
trace_local_timer_entry()
handle_vector_irq_entry() -> da_handle_event() -> rv_react()
in_hardirq() is true for the whole of that rv_react() call.
While pagefault, on the other hand, attaches to page_fault_user, which only fires when the interrupted context was user mode -- i.e. preempt_count is guaranteed 0:
exc_page_fault()
trace_page_fault_user()
handle_page_fault() -> ltl_atom_pulse() -> ... -> rv_react()
A timer tick can land inside that second one and there's nothing wrong
with it doing so.
So I don't think LD_WAIT_SPIN for everything is safe, it's not just "less strict on paper".
If a reactor ever does raw_spin_lock() by mistake while running from nrp's path, check_wait_context() takes the wait type straight from the override map:
if (unlikely(class->lock_type == LD_LOCK_WAIT_OVERRIDE))
curr_inner = prev_inner; /* SPIN */
if (next_outer > curr_inner)
return print_lock_invalid_wait_context(...);
SPIN nested in SPIN is 2 > 2, which is false, so it just passes.
We'd be silently giving up the one case (hardirq/NMI) where the "no locks" rule for reactors actually matters, which is the same thing that bit you with the signal reactor.
And for what it's worth, checking context to decide the wait type isn't something we'd be introducing -- lockdep does the same thing to get the baseline before any override is applied, in the exact function that produced this splat:
static inline short task_wait_context(struct task_struct *curr)
{
if (lockdep_hardirq_context()) {
if (curr->hardirq_threaded || curr->irq_config)
return LD_WAIT_CONFIG;
return LD_WAIT_SPIN;
} else if (curr->softirq_context) {
return LD_WAIT_CONFIG;
}
return LD_WAIT_MAX;
}
That's four cases. Our in_nmi() || in_hardirq() is a simplification of
what's already there, not a new habit.
Thomas, on disabling preemption instead: it does fix the pagefault
case, and it's a no-op for nrp since preempt_count is already elevated there. But it changes what a reactor is allowed to do, for every reactor, not just the two above.cspin_lock() on RT checks might_resched() before it even looks at thevlock:
static __always_inline void __rt_spin_lock(spinlock_t *lock)
{
rtlock_might_resched(); /* unconditional */
rtlock_lock(&lock->lock);
}
so any future reactor using a plain spinlock would hit that every single time, lock contended or not, on top of whatever it's already called for. That seems worse than the thing we're trying to fix.
Since neither struct rv_reactor nor rv_react() actually documents what
context a callback may run in, maybe that's worth spelling out
separately regardless of what we do here -- something close to what
printk already does for the same reason (reactor_printk's
vprintk_deferred() leans on this internally: is_printk_legacy_deferred()
checks in_nmi() to decide whether it's safe to take console_lock or
whether it has to go through the lock-free irq_work path instead).
A reactor that wants to do more than printk/panic would follow the same shape:
static void some_reactor(const char *msg, va_list args)
{
if (atomic_cmpxchg(&pending, 0, 1) == 0)
irq_work_queue(&my_irq_work); /* NMI-safe */
}
static void some_irq_work_fn(struct irq_work *work)
{
schedule_work(&my_work); /* spin_lock()/mutex_lock() now fine */
}
Please let me know if there are any concerns or if further changes are needed.
--
Best wishes,
Wen
But that's just my intuition.
I don't have a strong opinion on this, but since there's no one in the kernel
using LD_WAIT_FREE as inner type, that feels like a hint to go down the simple
route too and allow LD_WAIT_SPIN.
If a reactor ever uses spinlocks, lockdep would already complain on its own if
that ends up being an issue, wouldn't it?
Only if that reactor is actually triggered by a tracepoint in the wrong context.
This might not happen during testing. This happened to me in my signal reactor
patch, which is why I added the lockdep override.
Thomas