xen-devel.lists.xenproject.org archive mirror
 help / color / mirror / Atom feed
From: Qing He <qing.he@intel.com>
To: Tim Deegan <Tim.Deegan@citrix.com>
Cc: "xen-devel@lists.xensource.com" <xen-devel@lists.xensource.com>
Subject: Re: [PATCH 07/17] vmx: nest: handling VMX instruction exits
Date: Thu, 20 May 2010 21:28:50 +0800	[thread overview]
Message-ID: <20100520132850.GB21374@qhe2-db> (raw)
In-Reply-To: <20100520105307.GM4164@whitby.uk.xensource.com>

On Thu, 2010-05-20 at 18:53 +0800, Tim Deegan wrote:
> At 10:41 +0100 on 22 Apr (1271932879), Qing He wrote:
> > +    else
> > +    {
> > +        decode->type = VMX_INST_MEMREG_TYPE_MEMORY;
> > +        hvm_get_segment_register(v, sreg_to_index[info.fields.segment], &seg);
> > +        seg_base = seg.base;
> > +
> > +        base = info.fields.base_reg_invalid ? 0 :
> > +            reg_read(regs, info.fields.base_reg);
> > +
> > +        index = info.fields.index_reg_invalid ? 0 :
> > +            reg_read(regs, info.fields.index_reg);
> > +
> > +        scale = 1 << info.fields.scaling;
> > +
> > +        disp = __vmread(EXIT_QUALIFICATION);
> > +
> > +
> > +        decode->mem = seg_base + base + index * scale + disp;
> > +        decode->len = 1 << (info.fields.addr_size + 1);
> 
> Don't we need to check the segment limit, type &c here? 

Definitely. I knew that a lot of error handling is missing, and
particularly, not handling errors of hvm_copy_from_user is
nearly unacceptable. But since it was RFC, I decided to show the
algorithm first

I'll fix the missing error handling in the next version.

> > +    case VMFAIL_VALID:
> > +        /* TODO: error number of VMFailValid */
> 
>  ? :)

There is a long list of VMFail error numbers, but VMMs typically
dont't care about them very much.

> > +    hvm_copy_to_guest_phys(nest->gvmcs_pa, nest->vvmcs, PAGE_SIZE);
> 
> Do we care about failure here?  
> 
> > +    ASSERT(decode.type == VMX_INST_MEMREG_TYPE_MEMORY);
> > +    hvm_copy_from_guest_virt(&gpa, decode.mem, decode.len, 0);
> 
> We _definitely_ care about failure here!  We need to inject #PF rather
> than just using zero (and #GP/#SS based on the segment limit check I
> mentioned above).
> 
> Also somewhere we should be checking CR0.PE, CR4.VMXE and RFLAGS.VM and
> returning #UD if they're not correct.  And checking that CPL == 0, too.
> 

Yes, and I think I forgot about CPL == 0, that is an important check.

> > +    nest->vvmcs = alloc_xenheap_page();
> > +    if ( !nest->vvmcs )
> > +    {
> > +        gdprintk(XENLOG_ERR, "nest: allocation for virtual vmcs failed\n");
> > +        vmreturn(regs, VMFAIL_INVALID);
> > +        goto out;
> > +    }
> 
> Could we just take a writeable refcount of the guest memory rather than
> allocating our own copy?  ISTR the guest's not allowed to write directly
> to the VMCS memory anyway.  It would be expensive on 32-bit Xen (because
> of having to map/unmap all the time) but cheaper on 64-bit Xen (by
> skipping various 4k memcpy()s)
> 

The original intent is to make it more analogous to possible hardware
solution (that the memory is not gauranteed to be usable until an
explicit vmclear). However, we do have a so called `PV VMCS' patch that
does what you want (so the guest can manipulate it directly).

On a second thought now, I think there is really no special benefit not
to map it directly. I'll change it to use it.

> > +int vmx_nest_handle_vmxoff(struct cpu_user_regs *regs)
> > +{
> 
> Needs error handling...
> 
> > +    ASSERT(decode.type == VMX_INST_MEMREG_TYPE_MEMORY);
> > +    hvm_copy_from_guest_virt(&gpa, decode.mem, decode.len, 0);
> 
> Error handling... #PF, segments, CPL != 0
> 
> > +    if ( nest->vmcs_invalid )
> > +    {
> > +        hvm_copy_from_guest_phys(nest->vvmcs, nest->gvmcs_pa, PAGE_SIZE);
> 
> I think you know what I'm going to say here. :)  Apart from the error
> paths the rest of this patch looks OK to me. 

I'll revise them.

Thanks,
Qing

  reply	other threads:[~2010-05-20 13:28 UTC|newest]

Thread overview: 51+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2010-04-22  9:41 [PATCH 00/17][RFC] Nested virtualization for VMX Qing He
2010-04-22  9:41 ` [PATCH 01/17] vmx: nest: fix CR4.VME in update_guest_cr Qing He
2010-05-20  9:26   ` Tim Deegan
2010-05-20  9:36     ` Qing He
2010-04-22  9:41 ` [PATCH 02/17] vmx: nest: rename host_vmcs Qing He
2010-04-22  9:41 ` [PATCH 03/17] vmx: nest: wrapper for control update Qing He
2010-05-20  9:34   ` Tim Deegan
2010-05-20  9:46     ` Qing He
2010-05-20 12:57       ` Keir Fraser
2010-04-22  9:41 ` [PATCH 04/17] vmx: nest: domain and vcpu flags Qing He
2010-05-20  9:37   ` Tim Deegan
2010-05-20  9:51     ` Christoph Egger
2010-05-20  9:54     ` Qing He
2010-05-20 10:55       ` Tim Deegan
2010-05-20 12:53         ` Qing He
2010-05-20 14:06           ` Christoph Egger
2010-04-22  9:41 ` [PATCH 05/17] vmx: nest: nested control structure Qing He
2010-04-22  9:41 ` [PATCH 06/17] vmx: nest: virtual vmcs layout Qing He
2010-04-22  9:41 ` [PATCH 07/17] vmx: nest: handling VMX instruction exits Qing He
2010-05-20 10:53   ` Tim Deegan
2010-05-20 13:28     ` Qing He [this message]
2010-04-22  9:41 ` [PATCH 08/17] vmx: nest: L1 <-> L2 context switch Qing He
2010-05-20 11:11   ` Tim Deegan
2010-05-20 13:49     ` Qing He
2010-05-21  9:19       ` Tim Deegan
2010-05-21 10:31         ` Qing He
2010-05-25 15:27           ` Tim Deegan
2010-04-22  9:41 ` [PATCH 09/17] vmx: nest: interrupt Qing He
2010-05-20 11:21   ` Tim Deegan
2010-05-20 15:55     ` Qing He
2010-04-22  9:41 ` [PATCH 10/17] vmx: nest: VMExit handler in L2 Qing He
2010-05-20 11:44   ` Tim Deegan
2010-05-20 16:06     ` Qing He
2010-05-21  8:42       ` Tim Deegan
2010-05-21 10:35         ` Qing He
2010-05-25 15:34           ` Tim Deegan
2010-04-22  9:41 ` [PATCH 11/17] vmx: nest: L2 tsc Qing He
2010-05-20 11:47   ` Tim Deegan
2010-05-20 16:07     ` Qing He
2010-04-22  9:41 ` [PATCH 12/17] vmx: nest: CR0.TS and #NM Qing He
2010-04-22  9:41 ` [PATCH 13/17] vmx: nest: capability reporting MSRs Qing He
2010-05-20 11:52   ` Tim Deegan
2010-04-22  9:41 ` [PATCH 14/17] vmx: nest: enable virtual VMX Qing He
2010-04-22  9:41 ` [PATCH 15/17] vmx: nest: virtual ept for nested Qing He
2010-05-20 12:21   ` Tim Deegan
2010-05-21 10:24     ` Qing He
2010-05-25 16:02       ` Tim Deegan
2010-04-22  9:41 ` [PATCH 16/17] vmx: nest: hvmtrace " Qing He
2010-04-22  9:41 ` [PATCH 17/17] tools: nest: allow enabling nesting Qing He
2010-04-22 10:15 ` [PATCH 00/17][RFC] Nested virtualization for VMX Christoph Egger
2010-04-23 10:10   ` He, Qing

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=20100520132850.GB21374@qhe2-db \
    --to=qing.he@intel.com \
    --cc=Tim.Deegan@citrix.com \
    --cc=xen-devel@lists.xensource.com \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).