From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1751387AbaFDSCY (ORCPT ); Wed, 4 Jun 2014 14:02:24 -0400 Received: from www.linutronix.de ([62.245.132.108]:40462 "EHLO Galois.linutronix.de" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1750717AbaFDSCW (ORCPT ); Wed, 4 Jun 2014 14:02:22 -0400 Date: Wed, 4 Jun 2014 20:02:16 +0200 (CEST) From: Thomas Gleixner To: Steven Rostedt cc: Brad Mouring , linux-rt-users , LKML , Peter Zijlstra , Ingo Molnar , Clark Williams Subject: Re: [PATCH 1/1] rtmutex: Handle when top lock owner changes In-Reply-To: <20140604114411.0fe51c1d@gandalf.local.home> Message-ID: References: <1400855410-14773-1-git-send-email-brad.mouring@ni.com> <1400855410-14773-2-git-send-email-brad.mouring@ni.com> <20140603210609.62de6451@gandalf.local.home> <20140604114411.0fe51c1d@gandalf.local.home> User-Agent: Alpine 2.10 (DEB 1266 2009-07-14) MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII X-Linutronix-Spam-Score: -1.0 X-Linutronix-Spam-Level: - X-Linutronix-Spam-Status: No , -1.0 points, 5.0 required, ALL_TRUSTED=-1,SHORTCIRCUIT=-0.0001 Sender: linux-kernel-owner@vger.kernel.org List-ID: X-Mailing-List: linux-kernel@vger.kernel.org On Wed, 4 Jun 2014, Steven Rostedt wrote: > On Wed, 4 Jun 2014 17:32:37 +0200 (CEST) > Thomas Gleixner wrote: > > > T3 releases L3 > > T2 gets L3 > > T2 drops L3 and L2 > > T2 blocks on L4 held by T4 > > T4 blocked on L5 held by T5 > > > > So we happily boost T4 and T5. Not what we really want to do. > > > > Nasty, isn't it ? > > > > Actually, we may go up a chain, but we never do any unnecessary > boosting. That's because the boost is done with rt_mutex_adjust_prio() > which gets the prio from rt_mutex_getprio() which reads the > task->normal_prio and compares it to the task_top_pi_waiter(task)->prio, > which will always be correct as we have the necessary locks. Indeed. > And we don't even need to worry about the chain we miss. That is, if > task A is blocked on a lock owned by D at the time, but as we go up the > chain, D releases the lock and B grabs it, B will still up its priority > based on the waiters of the lock (that is A), and if B blocks, it will > boost the tasks that own the lock it blocks on, where B is still > influenced by A. > > The fact that we only update the prio based on the actual waiters and > don't carry a prio up the chain (which you designed, and I thought was > quite ingenious by the way), we may waste time going up a chain, but > the priority inheritance is still accurate. Duh. I actually had to lookup my notes from back then. There is even a lenghty IRC discussion about not propagating the least waiters prio, but lookup the actual lock waiters. Good, so we just walk for nothing and waste some cpu cycles. My brain still suffers from 3 days staring into futex.c I'll fixup the check so it wont break the real deadlock case and queue it. Thanks, tglx