lkml.org 
[lkml]   [2004]   [Nov]   [4]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
    /
    Date
    From
    SubjectRe: [patch] Real-Time Preemption, -RT-2.6.10-rc1-mm2-V0.7.1

    * john cooper <john.cooper@timesys.com> wrote:

    > > plus there's the 'priority inheritance dependency-chain closure' bug
    > > noticed by John Cooper - that should only affect the latency of RT
    > > tasks though.
    >
    > This is a fairly gnarly problem to address. The obvious solution is
    > to hold spinlocks in the mutexes as the dependency tree is atomically
    > traversed. However this will deadlock under MP due to the
    > unpredictable order of mutexes traversed. If the dependency chain is
    > not traversed (and semantics applied) atomically, races exist which
    > cause promotion decisions to be made on [now] stale data.

    is the order of locks in the dependency chain really unpredictable? If
    two chain walkers get two locks in opposite order, doesnt that mean that
    the lock ordering (as attempted by the blocked tasks) is deadlock-prone
    already? I.e. this scenario should not happen.

    Ingo
    -
    To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
    the body of a message to majordomo@vger.kernel.org
    More majordomo info at http://vger.kernel.org/majordomo-info.html
    Please read the FAQ at http://www.tux.org/lkml/

    \
     
     \ /
      Last update: 2005-03-22 14:07    [W:3.306 / U:0.012 seconds]
    ©2003-2020 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site