Hits:

Indexed by:Journal Papers

Date of Publication:2020-03-10

Journal:CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE

Included Journals:EI、SCIE

Volume:32

Issue:5

ISSN No.:1532-0626

Key Words:computer cloud; cost minimization; instance hours; satisfiability modulo theories

Abstract: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.