Control method for virtual machine system, and virtual machine system

A method of controlling a virtual machine system,

• the virtual machine system comprising:
• an interrupt controller comprising an interrupt timer;
• a physical processor comprising the interrupt controller;
• a physical computer comprising the physical processor and a physical memory;
• and
• a virtualization module configured to allocate a computer resource of the physical computer to a plurality of virtual machines,
• the virtualization module being configured to control allocation of the physical processor,
• the method comprising:
• a first step of generating, by the virtualization module, the plurality of virtual machines by generating:
• a virtual processor comprising a virtual interrupt timer obtained by virtualizing the interrupt timer and a virtual interrupt controller obtained by virtualizing the interrupt controller, to which the computer resource of the physical processor is allocated;
• and
• a virtual memory to which the computer resource of the physical memory is allocated;
• a second step of setting, by the virtualization module, a processor scheduling mode to any one of:
• a shared processor mode in which one of the physical processors allocated to the plurality of virtual machines is shared among a plurality of the virtual processors;
• and
• an exclusive processor mode in which one of the physical processors allocated to the plurality of virtual machines is occupied by a specific virtual processor;
• and
• a third step of setting, by the virtualization module, in conjunction with the processor scheduling mode, a timer scheduling mode to any one of:
• a shared timer mode in which the interrupt timer of the physical processor for which any one of the shared processor mode and the exclusive processor mode is set is shared among timer events for the plurality of virtual machines;
• and
• an exclusive timer mode in which the interrupt timer is occupied by a virtual timer of the specific virtual processor.