摘要
提出了一种云环境下网络感知的虚拟机分配问题的求解方法,该方法能求解带有任务优先级和强制任务的最大虚拟机分配问题等5类问题。该方法通过将虚拟机分配问题编码成对应的SAT类问题,并调用现有的SAT类求解器进行求解,可以更有效地解决较大规模的虚拟机分配问题。最后,通过实验验证了本文算法的合理性和有效性。通过与现有算法在以上5类问题中进行对比,表明了本文算法具有更高的求解效率和更大的求解规模。
SAT-based methods for network-aware virtual machine assignment problem in cloud environment are proposed in this paper. These methods can solve five kinds of virtual machine problems including that with task priorities or with mandatory tasks. Each of the five kinds of virtual machine assignment problems is converted into a corresponding SAT-like problem and is solved by the existing SAT-like solver. It could solve the larger scale of the five kinds of virtual machine assignment problems more efficiently. Experimentally,the proposed methods are demonstrated to solve the five kinds of virtual machine assignment problems effectively. In contrast to the existing algorithms in the five scenarios mentioned above,the proposed methods can solve a larger scale of data with higher efficiency.
作者
吕帅
徐玥
张桐搏
李广力
池策
Lü Shuai;XU Yue;ZHANG Tong-bo;LI Guang-li;CHI Ce(College of Computer Science and Technology,Jilin University,Changchun 130012,China;Stale Key Laboratory of Computer Architecture,Institute of Compuing Technology of Chinese Academy of Sciences,Beijing 100190,China;University of Chinese Academy of Sciences,Beijing 100190,China;College of Sofrware,Jjilin University,Changchun 130012,China)
出处
《吉林大学学报(工学版)》
EI
CAS
CSCD
北大核心
2020年第4期1455-1464,共10页
Journal of Jilin University:Engineering and Technology Edition
基金
国家自然科学基金项目(61300049,61763003)
国家重点研发计划项目(2017YFB1003103)
吉林省自然科学基金项目(20180101053JC,20190201193JC)。
关键词
计算机软件
虚拟机分配
云计算
可满足性
computer software
virtual machine assignment
cloud computing
satisfiability