Formal design of dynamic reconfiguration protocol for cloud applications

被引：7

作者：

Abid, Rim ^{[1
]}

Salauen, Gwen ^{[1
]}

De Palma, Noel ^{[1
]}

机构：

[1] Univ Grenoble Alpes, Grenoble, France

来源：

SCIENCE OF COMPUTER PROGRAMMING | 2016年 / 117卷

关键词：

Cloud computing; Dynamic reconfiguration; Distributed applications; Fault-tolerance; Verification; MODEL CHECKING;

D O I：

10.1016/j.scico.2015.12.001

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

Cloud applications are complex applications composed of a set of interconnected software components running on different virtual machines, hosted on remote physical servers. Deploying and reconfiguring this kind of applications are very complicated tasks especially when one or multiple virtual machines fail when achieving these tasks. Hence, there is a need for protocols that can dynamically reconfigure and manage running distributed applications. In this article, we present a novel protocol, which aims at reconfiguring cloud applications. This protocol is able to ensure communication between virtual machines and resolve dependencies by exchanging messages, (dis)connecting, and starting/stopping components in a specific order. The interaction between machines is assured via a publish subscribe messaging system. Each machine reconfigures itself in a decentralized way. The protocol supports virtual machine failures, and the reconfiguration always terminates successfully even in the presence of a finite number of failures. Due to the high degree of parallelism inherent to these applications, the protocol was specified using the LNT value passing process algebra and verified using the model checking tools available in the CADP toolbox. The use of formal specification languages and tools helped to detect several bugs and to improve the protocol. (C) 2015 Elsevier B.V. All rights reserved.

引用

页码：1 / 16

页数：16

共 30 条

[11]

de Palma N, 2004, PDPTA '04: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS, VOLS 1-3, P1440

[12]

Etchevers X., 2011, Proceedings of the 2011 IEEE 4th International Conference on Utility and Cloud Computing (UCC 2011), P170, DOI 10.1109/UCC.2011.32

[13]

Etchevers X., 2011, Proceedings of the 2011 IEEE 4th International Conference on Cloud Computing (CLOUD 2011), P668, DOI 10.1109/CLOUD.2011.65

[14]

Etchevers X., 2014, P SAC 2014, P1331

[15] Engage: A Deployment Management System [J].

Fischer, Jeffrey ;

Majumdar, Rupak ;

Esmaeilsabzali, Shahram .

ACM SIGPLAN NOTICES, 2012, 47 (06) :263-273

[16] CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes [J].

Garavel, Hubert ;

Lang, Frederic ;

Mateescu, Radu ;

Serwe, Wendelin .

TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, 2011, 6605 :372-387

[17]

Goldsack Patrick, 2009, Operating Systems Review, V43, P16, DOI 10.1145/1496909.1496915

[18]

ISO/IEC, 1989, International Standard 8807

[19] Towards an architecture for deploying elastic services in the cloud [J].

Kirschnick, Johannes ;

Alcaraz Calero, Jose M. ;

Goldsack, Patrick ;

Farrell, Andrew ;

Guijarro, Julio ;

Loughran, Steve ;

Edwards, Nigel ;

Wilcock, Lawrence .

SOFTWARE-PRACTICE & EXPERIENCE, 2012, 42 (04) :395-408

[20]

Kramer J., 1998, IEE Proceedings-Software, V145, P146, DOI 10.1049/ip-sen:19982297

← 1 2 3 →