Messages in this thread | | | Date | Thu, 4 Nov 2004 20:44:16 +0100 | From | Ingo Molnar <> | Subject | Re: [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/
| |