[PATCH] xen/kexec: Clear unused registers before jumping into an image
george.dunlap at eu.citrix.com
Mon Nov 18 07:05:38 EST 2013
On 18/11/13 11:47, Daniel Kiper wrote:
> On Mon, Nov 18, 2013 at 11:23:27AM +0000, David Vrabel wrote:
>> On 18/11/13 09:29, Jan Beulich wrote:
>>>>>> On 15.11.13 at 21:07, David Vrabel <david.vrabel at citrix.com> wrote:
>>>> On 15/11/13 15:56, Daniel Kiper wrote:
>>>>> Clear unused registers before jumping into an image. This way
>>>>> loaded image could not assume that any register has an specific
>>>>> info about earlier running Xen hypervisor. However, it also
>>>>> does not mean that the image may expect that a given register
>>>>> is zeroed. The image MUST assume that every register has a random
>>>>> value or in other words it is uninitialized or has undefined state.
>>>> I think this, where the specification (registers undefined) differs from
>>>> the implementation (registers zeroed), is the worst option.
>>>> I also think it is more likely for an image to inadvertently rely on a
>>>> zero value that whatever junk Xen has left behind.
>>> Preventing users to rely on anything would likely make it
>>> desirable to put some random value into all unused registers.
>> I don't think we need to go that far.
>> I would just like to avoid someone looking that the implementation (and
>> not the documentation) and concluding that zero-ing of the registers is
>> part of the specified behaviour, or looking at the implementation and
>> documentation and wondering why they don't agree.
> David, my comment clearly states why we are doing that and what should
> be expected. What is wrong with it? I could improve it but say how?
You seem to be saying that the registers may contain useful information
about Xen that are not part of the spec, and you are worried that the
image may decide to use these and come to rely on them, making it hard
to change the interface in the future.
David has a similar concern -- that if the registers are zeroed, the
image may come to rely on the registers being pre-zeroed, and not zero
them itself. This would also make it hard to change the interface in
A simple solution would be to "poison" the registers with useless data:
0xdeadbeef is a favorite. Anyone seeing that in the registers will
immediately know, "Someone used a value that they shouldn't have."
Of course, it's *possible* that then the images might come to rely on
that poison being there; having a non-deterministic value there, like a
hash of the TSC, would make this impossible. But even then, you could
make the argument that the image may come to rely on a *pseudo-random*
number being there, which it uses for some other kind of seed
somewhere. At some point you just have to give up on this like of
Personally I think having a poison is likely to be more useful -- if you
crash because your pointer is 0xdeadbeef, then it's immediately obvious
what kind of bug you have; whereas if you crash with a random value that
changes every time, it's not so obvious.
More information about the kexec