On Wed, Jan 15, 2025 at 6:22 AM Vlastimil Babka <vbabka@xxxxxxx> wrote: > > On 1/15/25 03:17, Alexei Starovoitov wrote: > > From: Alexei Starovoitov <ast@xxxxxxxxxx> > > > > Similar to local_lock_irqsave() introduce local_trylock_irqsave(). > > This is inspired by 'struct local_tryirq_lock' in: > > https://lore.kernel.org/all/20241112-slub-percpu-caches-v1-5-ddc0bdc27e05@xxxxxxx/ > > Let's see what locking maintainers say about adding the flag to every > local_lock even if it doesn't use the trylock operation. As I replied to Sebastian there are very few users and hot users of local_lock like networking use it in RT only. local_lock_nested_bh() stays true nop in !RT. This patch doesn't change it. So active flag on !RT is not in critical path (at least as much I could study the code) > > Use spin_trylock in PREEMPT_RT when not in hard IRQ and not in NMI > > and fail instantly otherwise, since spin_trylock is not safe from IRQ > > due to PI issues. > > > > In !PREEMPT_RT use simple active flag to prevent IRQs or NMIs > > reentering locked region. > > > > Note there is no need to use local_inc for active flag. > > If IRQ handler grabs the same local_lock after READ_ONCE(lock->active) > > IRQ handler AFAICS can't do that since __local_trylock_irqsave() is the only > trylock operation and it still does local_irq_save(). Could you have added a > __local_trylock() operation instead? Guess not for your use case because I > see in Patch 4 you want to use the local_unlock_irqrestore() universally for > sections that are earlier locked either by local_trylock_irqsave() or > local_lock_irqsave(). But I wonder if those can be changed (will reply on > that patch). Pasting your reply from patch 4 here to reply to both... Yes, I'm only adding local_trylock_irqsave() and not local_trylock(), since memcg and slab are using local_lock_irqsave() in numerous places, and adding local_trylock() here would be just dead code. > The motivation in my case was to avoid the overhead of irqsave/restore on > !PREEMPT_RT. If there was a separate "flavor" of local_lock that would > support the trylock operation, I think it would not need the _irq and > _irqsave variants at all, and it would also avoid adding the "active" flag > on !PREEMPT_RT. Meanwhile on PREEMPT_RT, a single implementation could > likely handle both flavors with no downsides? I agree with the desire to use local_lock() in slab and memcg long term, but this is something that definitely should _not_ be done in this patch set. try_alloc_page() needs to learn to walk before we teach it to run. > The last line can practially only happen on RT, right? On non-RT irqsave > means we could only fail the trylock from a nmi and then we should have > gfp_flags that don't allow spinning. Correct. > So suppose we used local_trylock(), local_lock() and local_unlock() (no > _irqsave) instead, as I mentioned in reply to 3/7. The RT implementation > would be AFAICS the same. On !RT the trylock could now fail from a IRQ > context in addition to NMI context, but that should also have a gfp_mask > that does not allow spinning, so it should work fine. Also correct. > It would however mean converting all users of the lock, i.e. also > consume_obj_stock() etc., but AFAIU that will be necessary anyway to have > opportunistic slab allocations? Exactly. And as soon as we do that we start to conflict between trees. But the main concern is that change like that needs to be thoroughly analyzed. I'm not convinced that stock_lock as preempt_disable() will work for memcg. People do GFP_NOWAIT allocations from IRQ and assume it works. If memcg local_irqsave (aka local_lock_irqsave) is replaced with preempt_disable the IRQ can happen in the middle of memcg update of the counters, so ALL of stock_lock operations would have to local_TRYlock() with fallback in case IRQ kmalloc(GFP_NOWAIT) happens to reenter. Same issue with slub. local_lock_irqsave(&s->cpu_slab->lock) as irq disabled region works for kmalloc(GPF_NOWAIT) users. If it becomes preempt_disable I suspect it will break things. Like perf and bpf use irq_work do wakeups and allocations. slub's s->cpu_slab protected by preempt_disable would mean that 'perf record -a' will be triggering in the middle of slab partial, deactivate slab logic and perf will be doing wakups right there. I suspect it will be sad. While right now irq work handler will be called only after the last local_unlock_irqrestore enables irqs. So replacing local_lock_irqsave in slab and memcg with local_lock is not something to take lightly.
