From: Sean Christopherson <sean.j.christopherson@intel.com>
To: Josh Triplett <josh@joshtriplett.org>
Cc: Jethro Beekman <jethro@fortanix.com>,
Andy Lutomirski <luto@kernel.org>,
Thomas Gleixner <tglx@linutronix.de>,
Ingo Molnar <mingo@redhat.com>, Borislav Petkov <bp@alien8.de>,
"x86@kernel.org" <x86@kernel.org>,
Dave Hansen <dave.hansen@linux.intel.com>,
Peter Zijlstra <peterz@infradead.org>,
Jarkko Sakkinen <jarkko.sakkinen@linux.intel.com>,
"H. Peter Anvin" <hpa@zytor.com>,
"linux-kernel@vger.kernel.org" <linux-kernel@vger.kernel.org>,
"linux-sgx@vger.kernel.org" <linux-sgx@vger.kernel.org>,
Andy Lutomirski <luto@amacapital.net>,
Haitao Huang <haitao.huang@linux.intel.com>,
"Dr . Greg Wettstein" <greg@enjellic.com>
Subject: Re: [RFC PATCH v4 5/5] x86/vdso: Add __vdso_sgx_enter_enclave() to wrap SGX enclave transitions
Date: Fri, 14 Dec 2018 10:37:28 -0800 [thread overview]
Message-ID: <20181214183728.GD22063@linux.intel.com> (raw)
In-Reply-To: <20181214182039.GA3883@localhost>
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.
next prev parent reply other threads:[~2018-12-14 18:37 UTC|newest]
Thread overview: 14+ messages / expand[flat|nested] mbox.gz Atom feed top
2018-12-13 21:31 [RFC PATCH v4 0/5] x86: Add vDSO exception fixup for SGX Sean Christopherson
2018-12-13 21:31 ` [RFC PATCH v4 1/5] x86/vdso: Add support for exception fixup in vDSO functions Sean Christopherson
2018-12-13 21:31 ` [RFC PATCH v4 2/5] x86/fault: Add helper function to sanitize error code Sean Christopherson
2018-12-13 21:31 ` [RFC PATCH v4 3/5] x86/fault: Attempt to fixup unhandled #PF on ENCLU before signaling Sean Christopherson
2018-12-13 21:31 ` [RFC PATCH v4 4/5] x86/traps: Attempt to fixup exceptions in vDSO " Sean Christopherson
2018-12-13 21:31 ` [RFC PATCH v4 5/5] x86/vdso: Add __vdso_sgx_enter_enclave() to wrap SGX enclave transitions Sean Christopherson
2018-12-14 9:55 ` Jethro Beekman
2018-12-14 15:12 ` Sean Christopherson
2018-12-14 15:38 ` Sean Christopherson
2018-12-14 17:03 ` Sean Christopherson
2018-12-14 18:20 ` Josh Triplett
2018-12-14 18:37 ` Sean Christopherson [this message]
2018-12-14 18:44 ` Andy Lutomirski
2018-12-14 19:20 ` Sean Christopherson
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=20181214183728.GD22063@linux.intel.com \
--to=sean.j.christopherson@intel.com \
--cc=bp@alien8.de \
--cc=dave.hansen@linux.intel.com \
--cc=greg@enjellic.com \
--cc=haitao.huang@linux.intel.com \
--cc=hpa@zytor.com \
--cc=jarkko.sakkinen@linux.intel.com \
--cc=jethro@fortanix.com \
--cc=josh@joshtriplett.org \
--cc=linux-kernel@vger.kernel.org \
--cc=linux-sgx@vger.kernel.org \
--cc=luto@amacapital.net \
--cc=luto@kernel.org \
--cc=mingo@redhat.com \
--cc=peterz@infradead.org \
--cc=tglx@linutronix.de \
--cc=x86@kernel.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox