点击次数：

发布时间：2020-02-21

论文类型：期刊论文

发表时间：2020-03-10

发表刊物：CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE

收录刊物：SCIE、EI

卷号：32

期号：5

ISSN号：1532-0626

关键字：computer cloud; cost minimization; instance hours; satisfiability modulo theories

摘要：Workflow scheduling with minimum cost is one of the most challenging problems for the users who need to execute a large-scale scientific application on a cloud platform. However, traditional methods are hard to cover the highly complex applications and ignore the billing model of the public clouds. In this paper, we address the problem of scheduling a scientific application on cloud platform from the perspective of users. First, we propose a Satisfiability Modulo Theories (SMT) based algorithm to schedule a scientific application on cloud platform, the SMT algorithm constructs the scheduling problem to first-order logic expressions and checks the expressions by solvers, which minimizes the number of Virtual Machine instances (VMs) allocated to the application. Furthermore, due to the hourly payment of cloud, we develop a heuristic algorithm called Multiple Strategies Algorithm (MSA) which determines the minimum instance hours of a scientific application deployed on VMs. At last, we combine the proposed SMT based algorithm and the MSA to a framework named SMT-MSA, and compare it with other outstanding algorithms in experiments, the results show that, in most of cases, our algorithms reduce more cost than the other three methods which are HEFT, MSMD and IC-PCPD2.