Re: [intel-sgx-kernel-dev] [PATCH v5 06/11] intel_sgx: driver for Intel Software Guard Extensions

From: Sean Christopherson
Date: Wed Nov 15 2017 - 13:24:19 EST


On Tue, 2017-11-14 at 22:28 +0200, Jarkko Sakkinen wrote:
> On Tue, Nov 14, 2017 at 09:55:06AM -0800, Sean Christopherson wrote:
> >
> > What do you mean by bottlenecks?ÂÂAssuming you're referring to performance
> > bottlenecks, this statement is flat out false.ÂÂMoving the launch enclave
> > into
> > the kernel introduces performance bottlenecks, e.g. as implemented, a single
> > LE
> > services all EINIT requests and is protected by a mutex.ÂÂThat is the very
> > definition of a bottleneck.
> I guess the text does not do a good job describing what I meant. Maybe I
> should refine it? Your argument about mutex is correct.
>
> The use of "bottleneck" does not specifically refer to performance. I'm
> worried about splitting the tasks needed to launch an enclave between
> kernel and user space. It could become difficult to manage when more
> SGX features are added. That is what I was referring when I used the
> word "bottleneck".
>
> I suppose you think I should refine the commit message?
>
> About the perf bottleneck. Given that all the data is already in
> sgx_le_ctx the driver could for example have own LE process for every
> opened /dev/sgx. Is your comment also suggesting to refine this or
> could it be postponed?

More that I don't understand why the driverÂdoesn't allow userspace to provide
an EINIT token, and reciprocally, doesn't provide the token back to userspace.Â
IMO, the act of generating an EINIT token is orthogonal to deciding whether or
not to run the enclave. ÂRunning code in a kernel-owned enclave is not specific
to SGX, e.g. paranoid kernels could run other sensitive tasks in an enclave.
Being forced to run an enclave to generate an EINIT token is an unfortunate
speed bump that exists purely because hardware doesn't provide the option to
disable launch control entirely.

In other words, accepting a token via the IOCTL doesn't mean the driverÂhas to
use it, e.g. it can always ignore the token, enforce periodic reverification,
check that the token was created by the driver, etc... ÂAnd using the token
doesn't preclude the driverÂfrom re-running its verification checks outside of
the launch enclave.


> The driver architecture already allows to scale this but it is not
> nearly as bad issue as the one Dave pointed out.
>
> /Jarkko
> _______________________________________________
> intel-sgx-kernel-dev mailing list
> intel-sgx-kernel-dev@xxxxxxxxxxxx
> https://lists.01.org/mailman/listinfo/intel-sgx-kernel-dev