lkml.org 
[lkml]   [2010]   [Jan]   [21]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
/
Date
From
SubjectRe: [PATCH v3 04/12] Add "handle page fault" PV helper.
On 01/20/2010 07:43 PM, H. Peter Anvin wrote:
> On 01/20/2010 02:02 AM, Gleb Natapov wrote:
>>
>>> You can have the guest OS take an exception on a vector above 31 just
>>> fine; you just need it to tell the hypervisor which vector it, the OS,
>>> assigned for this purpose.
>>>
>> VMX doesn't allow to inject hardware exception with vector greater
>> then 31.
>> SDM 3B section 23.2.1.3.
>>
>
> OK, you're right. I had missed that... I presume it was done for
> implementation reasons.

My expectation is that is was done for forward compatibility reasons.

>
>> I can inject the event as HW interrupt on vector greater then 32 but not
>> go through APIC so EOI will not be required. This sounds
>> non-architectural
>> and I am not sure kernel has entry point code for this kind of event, it
>> has one for exception and one for interrupts that goes through
>> __do_IRQ()
>> which assumes that interrupts should be ACKed.
>
> You can also just emulate the state transition -- since you know
> you're dealing with a flat protected-mode or long-mode OS (and just
> make that a condition of enabling the feature) you don't have to deal
> with all the strange combinations of directions that an unrestricted
> x86 event can take. Since it's an exception, it is unconditional.

Do you mean create the stack frame manually? I'd really like to avoid
that for many reasons, one of which is performance (need to do all the
virt-to-phys walks manually), the other is that we're certain to end up
with something horribly underspecified. I'd really like to keep as
close as possible to the hardware. For the alternative approach, see Xen.

--
error compiling committee.c: too many arguments to function



\
 
 \ /
  Last update: 2010-01-21 10:05    [W:0.645 / U:0.260 seconds]
©2003-2020 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site