文献类型：期刊文献

英文题名：Modeling and Analyzing Dynamic Fault-Tolerant Strategy for Deadline Constrained Task Scheduling in Cloud Computing

作者：Fan, Guisheng[1];Chen, Liqiong[2];Yu, Huiqun[1,3];Liu, Dongmei[1]

机构：[1]East China Univ Sci & Technol, Dept Comp Sci & Engn, Shanghai 200237, Peoples R China;[2]Shanghai Inst Technol, Dept Comp Sci & Informat Engn, Shanghai 201418, Peoples R China;[3]Shanghai Key Lab Comp Software Evaluating & Testi, Shanghai 201112, Peoples R China

年份：2020

卷号：50

期号：4

起止页码：1260

外文期刊名：IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS

收录：;EI(收录号：20174004236710);WOS:【SCI-EXPANDED(收录号:WOS:000522225200005)】；

基金：This work was supported in part by the NSF of China under Grant 61702334 and Grant 61772200, in part by the Shanghai Pujiang Talent Program under Grant 17PJ1401900, in part by the Shanghai Municipal Natural Science Foundation under Grant 17ZR1406900 and Grant 17ZR1429700, and in part by the Educational Research Fund of ECUST under Grant ZH1726108. This paper was recommended by Associate Editor H. Tianfield.

语种：英文

外文关键词：Cloud computing; Fault tolerance; Fault tolerant systems; Computational modeling; Processor scheduling; Analytical models; Cloud computing; deadline; fault tolerant; Petri nets; reliability

摘要：Cloud computing has been increasingly concerned in scientific computing area. More and more enterprises and research institutes have migrated their applications to the clouds. Due to the complexity of cloud computing system in structural and behavioral aspects, how to design the fault tolerant cloud computing system becomes a challenging problem. This paper investigates the modeling and analysis of fault tolerant strategy for deadline constrained task scheduling in cloud computing. First, a formal description language is defined to accurately model the different components of cloud application, and use it to characterize the operational mechanisms and fault behaviors. Second, we propose a fault tolerant strategy, which includes the scheduling mechanism, synchronization mechanism, and exception mechanism, to dynamically compute the execution mode and required virtual machine for tasks, thus ensuring the reliability and real-time requirement of cloud application. An enforcement algorithm is also designed to realize the proposed strategy. Third, the techniques of Petri nets are provided to analyze and validate the correctness of proposed method. Finally, several experiments are done to illustrate that the reliability of cloud application is improved and its deadline is met.