Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1753774AbXKRMfX (ORCPT ); Sun, 18 Nov 2007 07:35:23 -0500 Received: (majordomo@vger.kernel.org) by vger.kernel.org id S1751518AbXKRMfK (ORCPT ); Sun, 18 Nov 2007 07:35:10 -0500 Received: from pentafluge.infradead.org ([213.146.154.40]:50196 "EHLO pentafluge.infradead.org" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1751505AbXKRMfI (ORCPT ); Sun, 18 Nov 2007 07:35:08 -0500 Subject: Re: [BUG on PREEMPT_RT, 2.6.23.1-rt5] in rt-mutex code and signals From: Peter Zijlstra To: Daniel Walker Cc: Ingo Molnar , Remy Bohmer , Steven Rostedt , Thomas Gleixner , RT , linux-kernel , Dave Chinner In-Reply-To: <1195323177.25393.56.camel@imap.mvista.com> References: <3efb10970711160751l279fe99dl9f3a130a4373a449@mail.gmail.com> <3efb10970711161502m6216bf5rc19a34184b4f3a2b@mail.gmail.com> <3efb10970711170344n670d8b69w6679d494922c5bb@mail.gmail.com> <1195316550.25393.21.camel@imap.mvista.com> <3efb10970711170909n3acca605j70525e36faf8da7f@mail.gmail.com> <1195320569.25393.38.camel@imap.mvista.com> <20071117174608.GA30641@elte.hu> <1195322141.25393.41.camel@imap.mvista.com> <20071117180430.GA10768@elte.hu> <1195323177.25393.56.camel@imap.mvista.com> Content-Type: text/plain Date: Sun, 18 Nov 2007 13:33:50 +0100 Message-Id: <1195389230.6747.5.camel@twins> Mime-Version: 1.0 X-Mailer: Evolution 2.12.0 Content-Transfer-Encoding: 7bit Sender: linux-kernel-owner@vger.kernel.org X-Mailing-List: linux-kernel@vger.kernel.org Content-Length: 745 Lines: 20 On Sat, 2007-11-17 at 10:12 -0800, Daniel Walker wrote: > What specifically is wrong with dev->sem ? Nothing really, other than that they use semaphores to avoid lockdep :-/ I think I know how to annotate this, after Alan Stern explained all the use cases, but I haven't come around to implementing it. Hope to do that soonish. Another real semaphore user is XFS, they really use the down/up asymmetry that semaphores allow, last time I spoke with Dave Chinner he didn't know a way around this. - 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/