From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from bombadil.infradead.org (bombadil.infradead.org [IPv6:2001:4830:2446:ff00:4687:fcff:fea6:5117]) (using TLSv1.2 with cipher DHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (Client did not present a certificate) by ozlabs.org (Postfix) with ESMTPS id E4FA62C00A2 for ; Wed, 22 May 2013 21:28:21 +1000 (EST) Date: Wed, 22 May 2013 13:27:36 +0200 From: Peter Zijlstra To: "Michael S. Tsirkin" Subject: Re: [PATCH v2 00/10] uaccess: better might_sleep/might_fault behavior Message-ID: <20130522112736.GN18810@twins.programming.kicks-ass.net> References: <201305221125.36284.arnd@arndb.de> <20130522101916.GM18810@twins.programming.kicks-ass.net> <20130522110729.GB5643@redhat.com> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii In-Reply-To: <20130522110729.GB5643@redhat.com> Cc: linux-m32r-ja@ml.linux-m32r.org, kvm@vger.kernel.org, Catalin Marinas , Will Deacon , David Howells , linux-mm@kvack.org, Paul Mackerras , "H. Peter Anvin" , linux-arch@vger.kernel.org, linux-am33-list@redhat.com, Hirokazu Takata , x86@kernel.org, Ingo Molnar , Arnd Bergmann , microblaze-uclinux@itee.uq.edu.au, Chris Metcalf , Thomas Gleixner , linux-arm-kernel@lists.infradead.org, Michal Simek , linux-m32r@ml.linux-m32r.org, linux-kernel@vger.kernel.org, Koichi Yasutake , linuxppc-dev@lists.ozlabs.org List-Id: Linux on PowerPC Developers Mail List List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , On Wed, May 22, 2013 at 02:07:29PM +0300, Michael S. Tsirkin wrote: > On Wed, May 22, 2013 at 12:19:16PM +0200, Peter Zijlstra wrote: > > On Wed, May 22, 2013 at 11:25:36AM +0200, Arnd Bergmann wrote: > > > Calling might_fault() for every __get_user/__put_user is rather expensive > > > because it turns what should be a single instruction (plus fixup) into an > > > external function call. > > > > We could hide it all behind CONFIG_DEBUG_ATOMIC_SLEEP just like > > might_sleep() is. I'm not sure there's a point to might_fault() when > > might_sleep() is a NOP. > > The patch that you posted gets pretty close. > E.g. I'm testing this now: > +#define might_fault() do { \ > + if (_might_fault()) \ > + __might_sleep(__FILE__, __LINE__, 0); \ > + might_resched(); \ > +} while(0) > > So if might_sleep is a NOP, __might_sleep and might_resched are NOPs > so compiler will optimize this all out. > > However, in a related thread, you pointed out that might_sleep is not a NOP if > CONFIG_PREEMPT_VOLUNTARY is set, even without CONFIG_DEBUG_ATOMIC_SLEEP. Oh crud yeah.. and you actually need that _might_fault() stuff for that too. Bugger. Yeah, I wouldn't know what the effects of dropping ita (for the copy functions) would be, VOLUNTARY isn't a preemption mode I ever use (even though it seems most distros default to it).