[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: RFC: Update x86 psABI to support shadow stac



On 06/22/2017 08:44 PM, H.J. Lu wrote:
>> The responsibilities for compliance are split between caller and callee,
>> which can live in different shared objects.  I think it would be prudent
>> to formulate the requirement in such a way that compliance can be
>> checked by looking at one DSO in isolation.

> What do you mean by it?

I suggest to word the ABI requirement in such a way that it is possible
to verify if a shared object complies with it isolation, independent of
how its functions are called.

Thanks,
Florian