lkml.org 
[lkml]   [2022]   [Mar]   [30]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
/
Date
SubjectRe: [PATCH v2 1/2] selftests/sgx: Use rip relative addressing for encl_stack
From
Hi Jarkko,

On 3/30/2022 1:40 PM, Jarkko Sakkinen wrote:
> On Wed, 2022-03-30 at 13:05 -0700, Reinette Chatre wrote:
>>
>>
>> On 3/30/2022 12:03 PM, Jarkko Sakkinen wrote:
>>> On Wed, 2022-03-30 at 10:40 -0700, Reinette Chatre wrote:
>>>> Could you please elaborate how the compiler will fix it up?
>>>
>>> Sure.
>>>
>>> Here's the disassembly of the RBX version:
>>>
>>> [0x000021a9]> pi 1
>>> lea rax, [rbx + loc.encl_stack]
>>>
>>> Here's the same with s/RBX/RIP/:
>>>
>>> [0x000021a9]> pi 5
>>> lea rax, loc.encl_stack
>>>
>>> Compiler will substitute correct offset relative to the RIP,
>>> well, because it can and it makes sense.
>>
>> It does not make sense to me because, as proven with my test,
>> the two threads end up sharing the same stack memory.
>
> I see, I need to correct my patch, thanks!
>
> RBX gives correct results because of the binary organization,
> i.e. TCS's are placed to zero offset and forward, and
> unrelocated symbol is just compiled in as an untranslated
> offset.
>
> RPI is given correct results but how the semantics work
> right now is incompatible.
>
> Still, even for kselftest, I would consider a switch
> because that way:
>
> 1. You can layout binary however you wan and things
> won't break.
> 2. You can point to any symbol not just stack, if
> ever need.
>
> I admit it works semantically but it just super
> unrobust.

I do not think that we need an exceptionally flexible
runtime as part of the SGX selftests but instead something
that is easy(*) to understand while also sufficient to support
the tests.

Reinette

* I do not actually consider the existing enclave test binary
easy to understand (this thread is proof) but keeping its
complexity to be minimal would benefit folks needing to
ramp up on SGX and/or debug kselftest failures.

\
 
 \ /
  Last update: 2022-03-30 23:31    [W:0.128 / U:0.096 seconds]
©2003-2020 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site