Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S932108AbVLNIcZ (ORCPT ); Wed, 14 Dec 2005 03:32:25 -0500 Received: (majordomo@vger.kernel.org) by vger.kernel.org id S932107AbVLNIcZ (ORCPT ); Wed, 14 Dec 2005 03:32:25 -0500 Received: from mx3.mail.elte.hu ([157.181.1.138]:33944 "EHLO mx3.mail.elte.hu") by vger.kernel.org with ESMTP id S932099AbVLNIcY (ORCPT ); Wed, 14 Dec 2005 03:32:24 -0500 Date: Wed, 14 Dec 2005 09:31:33 +0100 From: Ingo Molnar To: David Howells Cc: Christopher Friesen , Alan Cox , torvalds@osdl.org, akpm@osdl.org, hch@infradead.org, arjan@infradead.org, matthew@wil.cx, linux-kernel@vger.kernel.org, linux-arch@vger.kernel.org Subject: Re: [PATCH 1/19] MUTEX: Introduce simple mutex implementation Message-ID: <20051214083133.GA17532@elte.hu> References: <439EDC3D.5040808@nortel.com> <1134479118.11732.14.camel@localhost.localdomain> <3874.1134480759@warthog.cambridge.redhat.com> <15167.1134488373@warthog.cambridge.redhat.com> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <15167.1134488373@warthog.cambridge.redhat.com> User-Agent: Mutt/1.4.2.1i X-ELTE-SpamScore: 0.0 X-ELTE-SpamLevel: X-ELTE-SpamCheck: no X-ELTE-SpamVersion: ELTE 2.0 X-ELTE-SpamCheck-Details: score=0.0 required=5.9 tests=AWL autolearn=no SpamAssassin version=3.0.3 0.0 AWL AWL: From: address is in the auto white-list X-ELTE-VirusStatus: clean Sender: linux-kernel-owner@vger.kernel.org X-Mailing-List: linux-kernel@vger.kernel.org Content-Length: 884 Lines: 25 * David Howells wrote: > (3) Some people want mutexes to be: > > (a) only releasable in the same context as they were taken > > (b) not accessible in interrupt context, or that (a) applies here also > > (c) not initialisable to the locked state > > But this means that the current usages all have to be carefully audited, > and sometimes that unobvious. (a) and (c) is not a big problem, are they are essentially the constraints of -rt mutexes. As long as there's good debugging code, it's very much doable. We dont want to change semantics _yet again_, later down the line. 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/