From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1754040AbdCIWkP (ORCPT ); Thu, 9 Mar 2017 17:40:15 -0500 Received: from 216-197-64-233.tingfiber.com ([216.197.64.233]:43658 "EHLO brightrain.aerifal.cx" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1753917AbdCIWkK (ORCPT ); Thu, 9 Mar 2017 17:40:10 -0500 Date: Thu, 9 Mar 2017 17:37:43 -0500 From: Rich Felker To: "H. Peter Anvin" Cc: Rob Landley , Russell King - ARM Linux , Jiri Slaby , akpm@linux-foundation.org, linux-kernel@vger.kernel.org, Richard Henderson , Ivan Kokshaysky , Matt Turner , Vineet Gupta , Catalin Marinas , Will Deacon , Richard Kuo , Tony Luck , Fenghua Yu , Michal Simek , Ralf Baechle , Jonas Bonn , Stefan Kristiansson , Stafford Horne , "James E.J. Bottomley" , Helge Deller , Benjamin Herrenschmidt , Paul Mackerras , Michael Ellerman , Martin Schwidefsky , Heiko Carstens , Yoshinori Sato , "David S. Miller" , Chris.Metcalf@zytor.com Subject: Re: [PATCH 1/3] futex: remove duplicated code Message-ID: <20170309223743.GD1520@brightrain.aerifal.cx> References: <20170303122712.13353-1-jslaby@suse.cz> <20170304130550.GT21222@n2100.armlinux.org.uk> <23e5808b-2a20-518d-b49a-4d95dd23cfde@landley.net> <201703090437.v294b0RE021699@mail.zytor.com> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <201703090437.v294b0RE021699@mail.zytor.com> User-Agent: Mutt/1.5.21 (2010-09-15) Sender: linux-kernel-owner@vger.kernel.org List-ID: X-Mailing-List: linux-kernel@vger.kernel.org On Wed, Mar 08, 2017 at 08:36:30PM -0800, H. Peter Anvin wrote: > ,Thomas Gleixner ,Ingo Molnar ,Chris Zankel ,Max Filippov ,Arnd Bergmann ,x86@kernel.org,linux-alpha@vger.kernel.org,linux-snps-arc@lists.infradead.org,linux-arm-kernel@lists.infradead.org,linux-hexagon@vger.kernel.org,linux-ia64@vger.kernel.org,linux-mips@linux-mips.org,openrisc@lists.librecores.org,linux-parisc@vger.kernel.org,linuxppc-dev@lists.ozlabs.org,linux-s390@vger.kernel.org,linux-sh@vger.kernel.org,sparclinux@vger.kernel.org,linux-xtensa@linux-xtensa.org,linux-arch@vger.kernel.org > From: hpa@zytor.com > Message-ID: <83324528-AAA1-4BED-B0C7-48426ECBA261@zytor.com> > > On March 8, 2017 8:16:49 PM PST, Rob Landley wrote: > >On 03/04/2017 07:05 AM, Russell King - ARM Linux wrote: > >> On Fri, Mar 03, 2017 at 01:27:10PM +0100, Jiri Slaby wrote: > >>> diff --git a/kernel/futex.c b/kernel/futex.c > >>> index b687cb22301c..c5ff9850952f 100644 > >>> --- a/kernel/futex.c > >>> +++ b/kernel/futex.c > >>> @@ -1457,6 +1457,42 @@ futex_wake(u32 __user *uaddr, unsigned int > >flags, int nr_wake, u32 bitset) > >>> return ret; > >>> } > >>> > >>> +static int futex_atomic_op_inuser(int encoded_op, u32 __user > >*uaddr) > >>> +{ > >>> + int op = (encoded_op >> 28) & 7; > >>> + int cmp = (encoded_op >> 24) & 15; > >>> + int oparg = (encoded_op << 8) >> 20; > >>> + int cmparg = (encoded_op << 20) >> 20; > >> > >> Hmm. oparg and cmparg look like they're doing these shifts to get > >sign > >> extension of the 12-bit values by assuming that "int" is 32-bit - > >> probably worth a comment, or for safety, they should be "s32" so it's > >> not dependent on the bit-width of "int". > > > >I thought Linux depended on the LP64 standard for all architectures? > > > >Standard: http://www.unix.org/whitepapers/64bit.html > >Rationale: http://www.unix.org/version2/whatsnew/lp64_wp.html > > > >So int has a defined bit width (32) on linux? > > > >Rob > > Linux is ILP32 on 32-bit architectures and LP64 on 64-bit > architectures, but that doesn't inherently make this stuff clear. 32-bit int is part of the futex ABI anyway, but that doesn't justify gratuitous assumption of it in other places where the assumption and the intent may not be clear to the reader. It also doesn't justify all the UB from invalid shifts in the above code. Rich