[lkml]   [2011]   [May]   [27]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
Messages in this thread
    SubjectRe: [BUG] "sched: Remove rq->lock from the first half of ttwu()" locks up on ARM

    * Catalin Marinas <> wrote:

    > > How much time does that take on contemporary ARM hardware,
    > > typically (and worst-case)?
    > On newer ARMv6 and ARMv7 hardware, we no longer flush the caches at
    > context switch as we got VIPT (or PIPT-like) caches.
    > But modern ARM processors use something called ASID to tag the TLB
    > entries and we are limited to 256. The switch_mm() code checks for
    > whether we ran out of them to restart the counting. This ASID
    > roll-over event needs to be broadcast to the other CPUs and issuing
    > IPIs with the IRQs disabled isn't always safe. Of course, we could
    > briefly re-enable them at the ASID roll-over time but I'm not sure
    > what the expectations of the code calling switch_mm() are.

    The expectations are to have irqs off (we are holding the runqueue
    lock if !__ARCH_WANT_INTERRUPTS_ON_CTXSW), so that's not workable i

    But in theory we could drop the rq lock and restart the scheduler
    task-pick and balancing sequence when the ARM TLB tag rolls over. So
    instead of this fragile and assymetric method we'd have a
    straightforward retry-in-rare-cases method.

    That means some modifications to switch_mm() but should be solvable.

    That would make ARM special only in so far that it's one of the few
    architectures that signal 'retry task pickup' via switch_mm() - it
    would use the stock scheduler otherwise and we could remove
    __ARCH_WANT_INTERRUPTS_ON_CTXSW and perhaps even
    __ARCH_WANT_UNLOCKED_CTXSW altogether.

    I'd suggest doing this once modern ARM chips get so widespread that
    you can realistically induce a ~700 usecs irqs-off delays on old,
    virtual-cache ARM chips. Old chips would likely use old kernels
    anyway, right?



     \ /
      Last update: 2011-05-27 14:09    [W:0.022 / U:8.752 seconds]
    ©2003-2017 Jasper Spaans. hosted at Digital OceanAdvertise on this site