A Formal Method of CPU Resources Scheduling in the Cloud Computing Environment
Xiaodong Liu, Huating Xu, He Li · International Journal of Grid and Distributed Computing · 2015
In the virtualization based cloud computing environment, multiple computers are allowed to run as virtual machines (VM) in a single physical computer.Efficient scheduling of limited underlying resources has been a key issue.This paper presents a formal method of CPU resources scheduling (FRS).VMs are divided into three resources statuses according to resources requirements and their run information.FRS scheduling is formally scheduling CPU resources according to the resources statuses.The implementation of FRS is confined to the VMM layer, without VM dependency.The evaluation shows that idle CPU resources of VMs are be used by those VMs which need more CPU resources and the CPU resources overall utilization is improved.