Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1757200Ab3E0IaF (ORCPT ); Mon, 27 May 2013 04:30:05 -0400 Received: from merlin.infradead.org ([205.233.59.134]:37075 "EHLO merlin.infradead.org" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1756499Ab3E0IaD (ORCPT ); Mon, 27 May 2013 04:30:03 -0400 Date: Mon, 27 May 2013 10:29:48 +0200 From: Peter Zijlstra To: Daniel Vetter Cc: Maarten Lankhorst , linux-arch@vger.kernel.org, x86@kernel.org, Linux Kernel Mailing List , dri-devel , "linaro-mm-sig@lists.linaro.org" , rob clark , Steven Rostedt , Dave Airlie , Thomas Gleixner , Ingo Molnar , "linux-media@vger.kernel.org" Subject: Re: [PATCH v3 2/3] mutex: add support for wound/wait style locks, v3 Message-ID: <20130527082948.GF2781@laptop> References: <20130428165914.17075.57751.stgit@patser> <20130428170407.17075.80082.stgit@patser> <20130430191422.GA5763@phenom.ffwll.local> <519CA976.9000109@canonical.com> <20130522161831.GQ18810@twins.programming.kicks-ass.net> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: User-Agent: Mutt/1.5.21 (2012-12-30) Sender: linux-kernel-owner@vger.kernel.org List-ID: X-Mailing-List: linux-kernel@vger.kernel.org Content-Length: 739 Lines: 14 On Wed, May 22, 2013 at 06:49:04PM +0200, Daniel Vetter wrote: > - _slow functions can check whether all acquire locks have been > released and whether the caller is indeed blocking on the contending > lock. Not doing so could either result in needless spinning instead of > blocking (when blocking on the wrong lock) or in deadlocks (when not > dropping all acquired). We could add ww_mutex_assert_context_empty() or somesuch so that paranoid people have a means of expressing themselves :-) -- 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/