From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.0 (2014-02-07) on aws-us-west-2-korg-lkml-1.web.codeaurora.org X-Spam-Level: X-Spam-Status: No, score=-2.0 required=3.0 tests=DKIM_INVALID,DKIM_SIGNED, HEADER_FROM_DIFFERENT_DOMAINS,MAILING_LIST_MULTI,SPF_HELO_NONE,SPF_PASS, USER_AGENT_SANE_1 autolearn=no autolearn_force=no version=3.4.0 Received: from mail.kernel.org (mail.kernel.org [198.145.29.99]) by smtp.lore.kernel.org (Postfix) with ESMTP id DA2C3C3A5AA for ; Thu, 5 Sep 2019 09:43:38 +0000 (UTC) Received: from vger.kernel.org (vger.kernel.org [209.132.180.67]) by mail.kernel.org (Postfix) with ESMTP id AAF8F21743 for ; Thu, 5 Sep 2019 09:43:38 +0000 (UTC) Authentication-Results: mail.kernel.org; dkim=fail reason="signature verification failed" (2048-bit key) header.d=infradead.org header.i=@infradead.org header.b="ImBcjvSv" Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1732396AbfIEJne (ORCPT ); Thu, 5 Sep 2019 05:43:34 -0400 Received: from bombadil.infradead.org ([198.137.202.133]:32836 "EHLO bombadil.infradead.org" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1730864AbfIEJne (ORCPT ); Thu, 5 Sep 2019 05:43:34 -0400 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=infradead.org; s=bombadil.20170209; h=In-Reply-To:Content-Transfer-Encoding :Content-Type:MIME-Version:References:Message-ID:Subject:Cc:To:From:Date: Sender:Reply-To:Content-ID:Content-Description:Resent-Date:Resent-From: Resent-Sender:Resent-To:Resent-Cc:Resent-Message-ID:List-Id:List-Help: List-Unsubscribe:List-Subscribe:List-Post:List-Owner:List-Archive; bh=DWu3Q3NsRECeMz6ADnEG1ojCrtEOLyNfb/ACnoXm+5c=; b=ImBcjvSvVTBTF82cJnHkMMRzrc wXs47F+KUma80Too+wdb1/cuTXpEqgh8KRzuCkRlZ0fr8yd+rGV11vtFCXEpHIfXsSSMxYgZq+BZe j9hOciSoj9KbN1RDyoNh/jmFEUQdIQmF6hYpVWzn06ajMSVuOdhzmkolQinSB0f/P9y+ggH0M05EL Ep0WDqXga/kgncTA7qtrIoeV3cTuOQsKwRc3GyDb7awLVddyhhTZ1f+jUhojDLgE8Z+t5KKNVCssQ gIDi5af1/kaAWfewsPYaMe+dl+bjKEOKCmMsxe/kBq9YQ7mxqicbVbrHt252m2Zdbtdd+DYc8ZKSV ZSQ5qyog==; Received: from j217100.upc-j.chello.nl ([24.132.217.100] helo=noisy.programming.kicks-ass.net) by bombadil.infradead.org with esmtpsa (Exim 4.92 #3 (Red Hat Linux)) id 1i5oII-0008Hm-Ap; Thu, 05 Sep 2019 09:43:11 +0000 Received: from hirez.programming.kicks-ass.net (hirez.programming.kicks-ass.net [192.168.1.225]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (Client did not present a certificate) by noisy.programming.kicks-ass.net (Postfix) with ESMTPS id DE6893011DF; Thu, 5 Sep 2019 11:42:28 +0200 (CEST) Received: by hirez.programming.kicks-ass.net (Postfix, from userid 1000) id B5FA420D8627E; Thu, 5 Sep 2019 11:43:05 +0200 (CEST) Date: Thu, 5 Sep 2019 11:43:05 +0200 From: Peter Zijlstra To: Aleksa Sarai Cc: Al Viro , Jeff Layton , "J. Bruce Fields" , Arnd Bergmann , David Howells , Shuah Khan , Shuah Khan , Ingo Molnar , Christian Brauner , Rasmus Villemoes , Eric Biederman , Andy Lutomirski , Andrew Morton , Alexei Starovoitov , Kees Cook , Jann Horn , Tycho Andersen , David Drysdale , Chanho Min , Oleg Nesterov , Alexander Shishkin , Jiri Olsa , Namhyung Kim , Aleksa Sarai , Linus Torvalds , containers@lists.linux-foundation.org, linux-alpha@vger.kernel.org, linux-api@vger.kernel.org, linux-arch@vger.kernel.org, linux-arm-kernel@lists.infradead.org, linux-fsdevel@vger.kernel.org, linux-ia64@vger.kernel.org, linux-kernel@vger.kernel.org, linux-kselftest@vger.kernel.org, linux-m68k@lists.linux-m68k.org, linux-mips@vger.kernel.org, linux-parisc@vger.kernel.org, linuxppc-dev@lists.ozlabs.org, linux-s390@vger.kernel.org, linux-sh@vger.kernel.org, linux-xtensa@linux-xtensa.org, sparclinux@vger.kernel.org Subject: Re: [PATCH v12 01/12] lib: introduce copy_struct_{to,from}_user helpers Message-ID: <20190905094305.GJ2349@hirez.programming.kicks-ass.net> References: <20190904201933.10736-1-cyphar@cyphar.com> <20190904201933.10736-2-cyphar@cyphar.com> <20190905073205.GY2332@hirez.programming.kicks-ass.net> <20190905092622.tlb6nn3uisssdfbu@yavin.dot.cyphar.com> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline Content-Transfer-Encoding: quoted-printable In-Reply-To: <20190905092622.tlb6nn3uisssdfbu@yavin.dot.cyphar.com> User-Agent: Mutt/1.10.1 (2018-07-13) Sender: linux-kselftest-owner@vger.kernel.org Precedence: bulk List-ID: X-Mailing-List: linux-kselftest@vger.kernel.org On Thu, Sep 05, 2019 at 07:26:22PM +1000, Aleksa Sarai wrote: > On 2019-09-05, Peter Zijlstra wrote: > > On Thu, Sep 05, 2019 at 06:19:22AM +1000, Aleksa Sarai wrote: > > > +/** > > > + * copy_struct_to_user: copy a struct to user space > > > + * @dst: Destination address, in user space. > > > + * @usize: Size of @dst struct. > > > + * @src: Source address, in kernel space. > > > + * @ksize: Size of @src struct. > > > + * > > > + * Copies a struct from kernel space to user space, in a way that gu= arantees > > > + * backwards-compatibility for struct syscall arguments (as long as = future > > > + * struct extensions are made such that all new fields are *appended= * to the > > > + * old struct, and zeroed-out new fields have the same meaning as th= e old > > > + * struct). > > > + * > > > + * @ksize is just sizeof(*dst), and @usize should've been passed by = user space. > > > + * The recommended usage is something like the following: > > > + * > > > + * SYSCALL_DEFINE2(foobar, struct foo __user *, uarg, size_t, usiz= e) > > > + * { > > > + * int err; > > > + * struct foo karg =3D {}; > > > + * > > > + * // do something with karg > > > + * > > > + * err =3D copy_struct_to_user(uarg, usize, &karg, sizeof(karg)= ); > > > + * if (err) > > > + * return err; > > > + * > > > + * // ... > > > + * } > > > + * > > > + * There are three cases to consider: > > > + * * If @usize =3D=3D @ksize, then it's copied verbatim. > > > + * * If @usize < @ksize, then kernel space is "returning" a newer s= truct to an > > > + * older user space. In order to avoid user space getting incompl= ete > > > + * information (new fields might be important), all trailing byte= s in @src > > > + * (@ksize - @usize) must be zerored > >=20 > > s/zerored/zero/, right? >=20 > It should've been "zeroed". That reads wrong to me; that way it reads like this function must take that action and zero out the 'rest'; which is just wrong. This function must verify those bytes are zero, not make them zero. > > > , otherwise -EFBIG is return= ed. > >=20 > > 'Funny' that, copy_struct_from_user() below seems to use E2BIG. >=20 > This is a copy of the semantics that sched_[sg]etattr(2) uses -- E2BIG for > a "too big" struct passed to the kernel, and EFBIG for a "too big" > struct passed to user-space. I would personally have preferred EMSGSIZE > instead of EFBIG, but felt using the existing error codes would be less > confusing. Sadly a recent commit: 1251201c0d34 ("sched/core: Fix uclamp ABI bug, clean up and robustify sch= ed_read_attr() ABI logic and code") Made the situation even 'worse'. > > > + if (unlikely(!access_ok(src, usize))) > > > + return -EFAULT; > > > + > > > + /* Deal with trailing bytes. */ > > > + if (usize < ksize) > > > + memset(dst + size, 0, rest); > > > + else if (usize > ksize) { > > > + const void __user *addr =3D src + size; > > > + char buffer[BUFFER_SIZE] =3D {}; > >=20 > > Isn't that too big for on-stack? >=20 > Is a 64-byte buffer too big? I picked the number "at random" to be the > size of a cache line, but I could shrink it down to 32 bytes if the size > is an issue (I wanted to avoid needless allocations -- hence it being > on-stack). Ah, my ctags gave me a definition of BUFFER_SIZE that was 512. I suppose 64 should be OK. > > > + > > > + while (rest > 0) { > > > + size_t bufsize =3D min(rest, sizeof(buffer)); > > > + > > > + if (__copy_from_user(buffer, addr, bufsize)) > > > + return -EFAULT; > > > + if (memchr_inv(buffer, 0, bufsize)) > > > + return -E2BIG; > > > + > > > + addr +=3D bufsize; > > > + rest -=3D bufsize; > > > + } > >=20 > > The perf implementation uses get_user(); but if that is too slow, surely > > we can do something with uaccess_try() here? >=20 > Is there a non-x86-specific way to do that (unless I'm mistaken only x86 > has uaccess_try() or the other *_try() wrappers)? The main "performance > improvement" (if you can even call it that) is that we use memchr_inv() > which finds non-matching characters more efficiently than just doing a > loop. Oh, you're right, that's x86 only :/