Received: by 2002:ad5:474a:0:0:0:0:0 with SMTP id i10csp2418918imu; Fri, 14 Dec 2018 10:40:01 -0800 (PST) X-Google-Smtp-Source: AFSGD/VmRRcfTD7hTbAuj1uY+KKvYaGSRIN5jrqXnp8I20r+E52eBEpsbWxIybIYpnemOosn9vLf X-Received: by 2002:a63:6782:: with SMTP id b124mr3682574pgc.151.1544812801131; Fri, 14 Dec 2018 10:40:01 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1544812801; cv=none; d=google.com; s=arc-20160816; b=kV6hianIFJWm1lNfVwx7M0/ChMQ1pv7/ZO6hPDh3PnG8qu/oBgcrr+JNZ9L943Ed5E spTDQNCVgz43Q9c+5Rjuijsw9g7iLxxZ4n4lFAKxhyVIfhlFLjoNKOMarRWU7PgGy7vo VOSQTDrLuS7PUGKshqOdtMWZRQeSnJiXgf+N/r8f39iGbegKvldjJb9PCST5lbe+L0Sy KJBBXgFPfJE7zoj10GlgB7uCRuvzn4cyWpIGRBy9Njw1AYu/qZVPgypdsVq7fIJXOWCE c1HJjzeu8VxM6WmxF4QA1gFDt2yx1fpWdnWuxmwwO7cijC+d3sQIKKTknZ98yoZ8LseR LSqw== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-id:precedence:sender:user-agent:in-reply-to :content-disposition:mime-version:references:message-id:subject:cc :to:from:date; bh=qLo1xfS5bcAQqmrMIsef4eZFO7ViC6Vs2msXk6Hs184=; b=VP9ZVokzz3rTm7SHcgUZ9+fuhSquQxN8uQG2L/+SAKmTnDEsDtXNDAkcUj82hjOm9E lUR1ygbJPhk5sLDc51pJ55VLr0EPnJ+xOPebn7zmweCbrOxPlcD8qoLC8ZfNa3D8caEz V6yu9AcuqxrFZAwdorMRE/py2alv0ozSXJvH0RkP13AhlvZbAcitEtP6F6dIUEu6NV06 PufvSIdPtNnIFj/kzV9PtQ/BRxclNASoSQUIJ5Ptp4KOBf3pbhsRSwDE5lvhVxlDn5iH omhTpcoKDZx3pSfyGOhCx0WpW4W2djTZJy4CwKM/MEWojrzsRKnEmTBuQyij8L+Xwfjx xnTg== ARC-Authentication-Results: i=1; mx.google.com; spf=pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org; dmarc=fail (p=NONE sp=NONE dis=NONE) header.from=intel.com Return-Path: Received: from vger.kernel.org (vger.kernel.org. [209.132.180.67]) by mx.google.com with ESMTP id n125si4885837pga.179.2018.12.14.10.39.39; Fri, 14 Dec 2018 10:40:01 -0800 (PST) Received-SPF: pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) client-ip=209.132.180.67; Authentication-Results: mx.google.com; spf=pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org; dmarc=fail (p=NONE sp=NONE dis=NONE) header.from=intel.com Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1730493AbeLNSha (ORCPT + 99 others); Fri, 14 Dec 2018 13:37:30 -0500 Received: from mga18.intel.com ([134.134.136.126]:50238 "EHLO mga18.intel.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1730123AbeLNSh3 (ORCPT ); Fri, 14 Dec 2018 13:37:29 -0500 X-Amp-Result: UNSCANNABLE X-Amp-File-Uploaded: False Received: from orsmga001.jf.intel.com ([10.7.209.18]) by orsmga106.jf.intel.com with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 14 Dec 2018 10:37:29 -0800 X-ExtLoop1: 1 X-IronPort-AV: E=Sophos;i="5.56,354,1539673200"; d="scan'208";a="118889160" Received: from sjchrist-coffee.jf.intel.com (HELO linux.intel.com) ([10.54.74.154]) by orsmga001.jf.intel.com with ESMTP; 14 Dec 2018 10:37:28 -0800 Date: Fri, 14 Dec 2018 10:37:28 -0800 From: Sean Christopherson To: Josh Triplett Cc: Jethro Beekman , Andy Lutomirski , Thomas Gleixner , Ingo Molnar , Borislav Petkov , "x86@kernel.org" , Dave Hansen , Peter Zijlstra , Jarkko Sakkinen , "H. Peter Anvin" , "linux-kernel@vger.kernel.org" , "linux-sgx@vger.kernel.org" , Andy Lutomirski , Haitao Huang , "Dr . Greg Wettstein" Subject: Re: [RFC PATCH v4 5/5] x86/vdso: Add __vdso_sgx_enter_enclave() to wrap SGX enclave transitions Message-ID: <20181214183728.GD22063@linux.intel.com> References: <20181213213135.12913-1-sean.j.christopherson@intel.com> <20181213213135.12913-6-sean.j.christopherson@intel.com> <20181214151204.GA22063@linux.intel.com> <20181214153830.GB22063@linux.intel.com> <20181214170310.GC22063@linux.intel.com> <20181214182039.GA3883@localhost> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20181214182039.GA3883@localhost> User-Agent: Mutt/1.5.24 (2015-08-30) Sender: linux-kernel-owner@vger.kernel.org Precedence: bulk List-ID: X-Mailing-List: linux-kernel@vger.kernel.org On Fri, Dec 14, 2018 at 10:20:39AM -0800, Josh Triplett wrote: > On Fri, Dec 14, 2018 at 09:03:11AM -0800, Sean Christopherson wrote: > > On Fri, Dec 14, 2018 at 07:38:30AM -0800, Sean Christopherson wrote: > > > On Fri, Dec 14, 2018 at 07:12:04AM -0800, Sean Christopherson wrote: > > > > On Fri, Dec 14, 2018 at 09:55:49AM +0000, Jethro Beekman wrote: > > > > > On 2018-12-14 03:01, Sean Christopherson wrote: > > > > > >+2: pop %rbx > > > > > >+ pop %r12 > > > > > >+ pop %r13 > > > > > >+ pop %r14 > > > > > >+ pop %r15 > > > > > >+ pop %rbp > > > > > >+ ret > > > > > > > > > > x86-64 ABI requires that you call CLD here (enclave may set it). > > > > > > > > Ugh. Technically MXCSR and the x87 CW also need to be preserved. > > > > > > > > What if rather than treating the enclave as hostile we require it to be > > > > compliant with the x86-64 ABI like any other function? That would solve > > > > the EFLAGS.DF, MXCSR and x87 issues without adding unnecessary overhead. > > > > And we wouldn't have to save/restore R12-R15. It'd mean we couldn't use > > > > the stack's red zone to hold @regs and @e, but that's poor form anyways. > > > > > > Grr, except the processor crushes R12-R15, FCW and MXCSR on asynchronous > > > exits. But not EFLAGS.DF, that's real helpful. > > > > I can think of three options that are at least somewhat reasonable: > > > > 1) Save/restore MXCSR and FCW > > > > + 100% compliant with the x86-64 ABI > > + Callable from any code > > + Minimal documentation required > > - Restoring MXCSR/FCW is likely unnecessary 99% of the time > > - Slow > > > > 2) Clear EFLAGS.DF but not save/restore MXCSR and FCW > > > > + Mostly compliant with the x86-64 ABI > > + Callable from any code that doesn't use SIMD registers > > - Need to document deviations from x86-64 ABI > > > > 3) Require the caller to save/restore everything. > > > > + Fast > > + Userspace can pass all GPRs to the enclave (minus EAX, RBX and RCX) > > - Completely custom ABI > > - For all intents and purposes must be called from an assembly wrapper > > > > > > Option (3) actually isn't all that awful. RCX can be used to pass an > > optional pointer to a 'struct sgx_enclave_exception' and we can still > > return standard error codes, e.g. -EFAULT. > > Entering and exiting a syscall requires an assembly wrapper, and that > doesn't seem completely unreasonable. It's an easy bit of inline > assembly. The code I posted had a few typos (stupid AT&T syntax), but with those fixed the idea checks out. My initial reaction to a barebones ABI was that it would be a "documentation nightmare", but it's not too bad if it returns actual error codes and fills in a struct on exceptions instead of stuffing registers. And with the MXCSR/FCW issues it might actually be less documentation in the long run since we can simply say that all state is the caller's responsibility. I *really* like that we basically eliminate bikeshedding on which GPRs to pass to/from the enclave.