Modeling and Analyzing Cost and Utilization Based Task Scheduling for Cloud Application

Cloud computing has attracted much interest recently from both industry and academic. However, it is difficult to model and analyze cost and utilization based task scheduling due to complex and heterogeneous environment in cloud computing. In this paper, we propose the systematic approach to modeling and analyzing cost and utilization based task scheduling for cloud application. A Game theory based task scheduling scheme is proposed based on analyzing the factors affecting the cost and utilization of virtual machine. Then a formal description language is presented to model the different components of cloud application. The backward induction game algorithm is proposed to ensure that cloud application can dynamically meet the customers' request while improving the utilization of virtual machine. The operational semantics and related theories of Petri nets help establish the correctness of our proposed method. Finally, a series of simulations are performed to evaluate the efficiency of our proposed approach.