Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S932319AbWAPKZu (ORCPT ); Mon, 16 Jan 2006 05:25:50 -0500 Received: (majordomo@vger.kernel.org) by vger.kernel.org id S932320AbWAPKZu (ORCPT ); Mon, 16 Jan 2006 05:25:50 -0500 Received: from adsl-69-232-92-238.dsl.sndg02.pacbell.net ([69.232.92.238]:15570 "EHLO gnuppy.monkey.org") by vger.kernel.org with ESMTP id S932319AbWAPKZu (ORCPT ); Mon, 16 Jan 2006 05:25:50 -0500 Date: Mon, 16 Jan 2006 02:22:55 -0800 To: Esben Nielsen Cc: Ingo Molnar , Steven Rostedt , david singleton , linux-kernel@vger.kernel.org, "Bill Huey (hui)" Subject: Re: RT Mutex patch and tester [PREEMPT_RT] Message-ID: <20060116102255.GA19401@gnuppy.monkey.org> References: <20060115042449.GA9871@gnuppy.monkey.org> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: User-Agent: Mutt/1.5.11 From: Bill Huey (hui) Sender: linux-kernel-owner@vger.kernel.org X-Mailing-List: linux-kernel@vger.kernel.org Content-Length: 830 Lines: 20 On Mon, Jan 16, 2006 at 09:35:42AM +0100, Esben Nielsen wrote: > On Sat, 14 Jan 2006, Bill Huey wrote: > I am not precisely sure what you mean by "false reporting". > > Handing off BKL is done in schedule() in sched.c. I.e. if B owns a normal > mutex, A will give BKL to B when A calls schedule() in the down-operation > of that mutex. Task A holding BKL would have to drop BKL when it blocks against a mutex held by task B in my example and therefore must hit schedule() before any pi boost operation happens. I'll take another look at your code just to see if this is clear. bill - 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/