首页    期刊浏览 2025年02月17日 星期一
登录注册

文章基本信息

  • 标题:A Formal Method of CPU Resources Scheduling in the Cloud Computing Environment
  • 本地全文:下载
  • 作者:Xiaodong Liu ; Huating Xu ; Li He
  • 期刊名称:International Journal of Grid and Distributed Computing
  • 印刷版ISSN:2005-4262
  • 出版年度:2015
  • 卷号:8
  • 期号:1
  • 页码:133-144
  • DOI:10.14257/ijgdc.2015.8.1.13
  • 出版社:SERSC
  • 摘要: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.
  • 关键词:formal method; Cloud computing; resources scheduling
国家哲学社会科学文献中心版权所有