Abstract:
PROBLEM TO BE SOLVED: To provide a method, an apparatus and a system which achieve effective virtualization of resources in an information processing system. SOLUTION: The system is composed of an evaluation logic which determines whether or not an access is permitted based on its access type responding to an attempt of a guest who accesses a device using a memory address that is converted to the device, and an exit logic which transfers control of the apparatus from the guest to a host if the evaluation logic determined that the access is not permitted. COPYRIGHT: (C)2007,JPO&INPIT
Abstract:
PROBLEM TO BE SOLVED: To provide an apparatus, a method, and a system for installing a virtual event in a layered virtual architecture.SOLUTION: In one embodiment, an apparatus comprises: virtual machine entry logic; recognition logic; and evaluation logic. The virtual machine entry logic starts to transfer control of the apparatus from a host to a guest running on a virtual machine. The recognition logic recognizes a request from the host to install a virtual event into the virtual machine. The evaluation logic specifies an intervening monitor to handle the virtual event.
Abstract:
PROBLEM TO BE SOLVED: To provide an apparatus, a method and a system which realize effective interrupt processing in a virtual environment. SOLUTION: The system is composed of an interface which receives an interrupt request while a guest is executed on a virtual processor, a transmission logic which determines whether or not the interrupt request is to be transmitted to the virtual processor based on attributes of the interrupt request, and an exit logic which moves control of the apparatus from the guest to a host if the transmission logic has determined that the interrupt request is not to be transmitted to the virtual processor. COPYRIGHT: (C)2007,JPO&INPIT
Abstract:
PROBLEM TO BE SOLVED: To determine whether entries in a guest translation data structure have been modified by a virtual machine. SOLUTION: The determination is made based on metadata extracted from a shadow translation data structure maintained by a virtual machine monitor and attributes associated with entries in the shadow translation data structure. The method includes: synchronizing entries in the shadow translation data structure that correspond to the modified entries in the guest translation data structure with the modified entries in the guest translation data structure; and determining which entries to keep in the active entry list, based at least in part on attributes associated with corresponding entries in the shadow translation data structure identifying which of the plurality of processors owns each entry in the active entry list. COPYRIGHT: (C)2011,JPO&INPIT
Abstract:
PROBLEM TO BE SOLVED: To provide an apparatus, method and system for installing a virtual event in a layered virtual architecture. SOLUTION: In one embodiment, an apparatus includes virtual machine entry logic, recognition logic, and evaluation logic. The virtual machine entry logic starts to transfer control of the apparatus from a host to a guest running on a virtual machine. The recognition logic recognizes a request from the host to install a virtual event into the virtual machine. The evaluation logic specifies an intervening monitor to handle the virtual event. COPYRIGHT: (C)2009,JPO&INPIT
Abstract:
PROBLEM TO BE SOLVED: To provide apparatuses, methods, and systems for achieving effective interrupt processing in a virtualization environment. SOLUTION: An apparatus is provided which includes an interface to receive an interrupt request while a guest is made to run on a virtual processor, delivery logic for determining, based on the attribute of the interrupt request, whether the interrupt request is to be delivered to the virtual processor, and an exit logic for transferring control to a host from the guest when the delivery logic determines that the interrupt request is not to be delivered to the virtual processor. COPYRIGHT: (C)2010,JPO&INPIT
Abstract:
PROBLEM TO BE SOLVED: To reduce overhead in converting a guest physical address into a host physical address of a virtualization based system when a virtual machine executes guest software. SOLUTION: A processor includes a logic to execute an instruction to synchronize a mapping from a guest physical address of a virtualization based system to a host physical address of the virtualization based system, stored in a translation lookaside buffer (TLB) to a corresponding mapping stored in an extended paging table (EPT) based on the virtualization based system. COPYRIGHT: (C)2008,JPO&INPIT
Abstract:
In one embodiment, a method induces receiving a request to transition control to a virtual machine (VM) from a virtual machine monitor (VMM), determining that a single-stepping indicator is set to a single stepping value, and transitioning control to the VM. Further, if an execution of a first instruction in the VM completes successfully, control is transitioned to the VMM following the successful completion of the execution of the first instruction.
Abstract:
In one embodiment, information pertaining to a first fault occurring during operation of a virtual machine (VM) is stored in a first field. A second fault is detected while delivering the first fault to the VM, and a determination is made as to whether the second fault is associated with a transition of control to a virtual machine monitor (VMM). If this determination is positive, information pertaining to the second fault is stored in a second field, and control is transitioned to the VMM.
Abstract:
Methods and apparatus are disclosed for efficient TLB (translation look-aside buffer) shoot-downs for heterogeneous devices sharing virtual memory in a multi-core system. Embodiments of an apparatus for efficient TLB shoot-downs may include a TLB to store virtual address translation entries, and a memory management unit, coupled with the TLB, to maintain PASID (process address space identifier) state entries corresponding to the virtual address translation entries. The PASID state entries may include an active reference state and a lazy-invalidation state. The memory management unit may perform atomic modification of PASID state entries responsive to receiving PASID state update requests from devices in the multi-core system and read the lazy-invalidation state of the PASID state entries. The memory management unit may send PASID state update responses to the devices to synchronize TLB entries prior to activation responsive to the respective lazy-invalidation state.