广西师范大学学报（自然科学版）2024，Vol.42Issue(2)：94-104,11.DOI:10.16088/j.issn.1001-6600.2023041602
云资源调度的回答集程序描述性求解
Descriptive Solution of the Answer Set Programming for Cloud Resource Scheduling
摘要
Abstract
Aiming at solving the NP-complete IaaS model cloud resource scheduling problem,an optimal solution method based on answer set program is proposed,and its correctness is analyzed.First of all,it is determined that the way to reduce the energy consumption of the cloud platform is to shut down as many hosts as possible while satisfying the CPU usage of the virtual machine,and formulated the cloud resource scheduling problem.Secondly,combined with the formal description and the strategy of reducing the energy consumption of the cloud platform,the cloud resource scheduling problem is coded as a descriptive(optimization)problem with ASP,and its correctness is analyzed.Finally,the experiment is carried out on the public PlanetLab data set.The experimental results show that the ASP method can not only guarantee the quality of service but also reduce the energy consumption of the cluster,which can save more than 13％of the energy.This shows that ASP method is effective in cloud resource scheduling,and provides a new effective cloud resource scheduling method that is easy to understand,easy to modify and can make full use of the latest ASP tools.关键词
回答集程序/云资源调度/多目标优化/约束满足问题/能耗Key words
answer set programming/cloud resource scheduling/multi-objective optimization/constraint satisfaction problem/energy consumption分类
信息技术与安全科学引用本文复制引用
王卫舵,王以松,杨磊..云资源调度的回答集程序描述性求解[J].广西师范大学学报（自然科学版）,2024,42(2):94-104,11.基金项目
国家自然科学基金(61976065) （61976065）
