Hi -

Previously, halts and mwaits were just immediately returning.  This led
to the guest spinning while waiting on console I/O.  You could see this
if you ran 'ps' while the VM was running.

I almost sent this out yesterday, but then thought about the hardware
posting/recognizing the IRQ concurrently.  Let me know if I missed
anything with RVI and whatnot.

Reinstall your kernel headers to test.

Barret

-------------------------

The following changes since commit 4f49a42d4271248aa9973be5b223fbf901ddb1cc:

  Have checkpatch ignore Gerrit change-ids (2016-06-20 13:37:02 -0400)

are available in the git repository at:

  [email protected]:brho/akaros.git vmm

for you to fetch changes up to b3144f481761882a1651ab5a12a7bce697f755ca:

  VMM: Sync halting GPCs and interrupt injection (2016-06-21 12:59:29 -0400)

----------------------------------------------------------------
View this online at:
https://github.com/brho/akaros/compare/4f49a42d4271...0ecb07b6a69a

----------------------------------------------------------------
Barret Rhoden (4):
      VMM: Exit on mwait
      VMM: Touch up ros/vmx.h's includes (XCC)
      VMM: Add the GUEST_INTR_STATUS to the VM TF (XCC)
      VMM: Sync halting GPCs and interrupt injection

 kern/arch/x86/ros/trapframe64.h |  3 +-
 kern/arch/x86/ros/vmx.h         |  3 ++
 kern/arch/x86/trap.c            |  1 +
 kern/arch/x86/trap64.c          |  1 +
 kern/arch/x86/vmm/intel/vmx.c   |  8 ++---
 tests/vmm/vmrunkernel.c         | 18 +++--------
 user/parlib/x86/vcore.c         |  1 +
 user/vmm/include/vmm/sched.h    |  2 ++
 user/vmm/include/vmm/vmm.h      |  2 ++
 user/vmm/sched.c                |  2 ++
 user/vmm/vmexit.c               | 66 +++++++++++++++++++++++++++++++++++++----
 user/vmm/vmm.c                  | 50 +++++++++++++++++++++++++++++++
 12 files changed, 132 insertions(+), 25 deletions(-)
 create mode 100644 user/vmm/vmm.c

-- 
You received this message because you are subscribed to the Google Groups 
"Akaros" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To post to this group, send email to [email protected].
For more options, visit https://groups.google.com/d/optout.

Reply via email to