research-article

Version-consistent dynamic reconfiguration of component-based distributed systems

Authors:

Luciano Baresi,

Valerio Panzica La Manna,

Jian LuAuthors Info & Claims

ESEC/FSE '11: Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering

Pages 245 - 255

https://doi.org/10.1145/2025113.2025148

Published: 09 September 2011 Publication History

Abstract

There is an increasing demand for the runtime reconfiguration of distributed systems in response to changing environments and evolving requirements. Reconfiguration must be done in a safe and low-disruptive way. In this paper, we propose version consistency of distributed transactions as a safe criterion for dynamic reconfiguration. Version consistency ensures that distributed transactions be served as if there were operating on a single coherent version of the system despite possible reconfigurations that may happen meanwhile. The paper also proposes a distributed algorithm to maintain dynamic dependences between components at architectural level and enable low-disruptive version-consistent dynamic reconfigurations. An initial assessment through simulation shows the benefits of the proposed approach with respect to timeliness and low degree of disruption.

References

[1]

S. Ajmani, B. Liskov, and L. Shrira. Modular software upgrades for distributed systems. In European Conference on Object-Oriented Programming (ECOOP), July 2006.

Digital Library

[2]

M. Amoretti, M. Agosti, and F. Zanichelli. DEUS: a discrete event universal simulator. In Simutools '09: Proceedings of the 2nd International Conference on Simulation Tools and Techniques, pages 1--9, ICST, Brussels, Belgium, Belgium, 2009. ICST (Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering).

Digital Library

[3]

A. Baumann, G. Heiser, J. Appavoo, D. D. Silva, O. Krieger, R. W. Wisniewski, and J. Kerr. Providing dynamic update in an operating system. In ATEC '05: Proceedings of the annual conference on USENIX Annual Technical Conference, pages 32--32, Berkeley, CA, USA, 2005. USENIX Association.

Digital Library

[4]

C. Bidan, V. Issarny, T. Saridakis, and A. Zarras. A dynamic reconfiguration service for CORBA. In CDS '98: Proceedings of the International Conference on Configurable Distributed Systems, page 35, Washington, DC, USA, 1998. IEEE Computer Society.

Digital Library

[5]

K. N. Biyani and S. S. Kulkarni. Assurance of dynamic adaptation in distributed systems. J. Parallel Distrib. Comput., 68(8):1097--1112, 2008.

Digital Library

[6]

H. Chen, J. Yu, R. Chen, B. Zang, and P.-C. Yew. POLUS: A powerful live updating system. In ICSE '07: Proceedings of the 29th international conference on Software Engineering, pages 271--281, 2007.

Digital Library

[7]

X. Chen and M. Simons. A component framework for dynamic reconfiguration of distributed systems. In CD '02: Proceedings of the IFIP/ACM Working Conference on Component Deployment, pages 82--96, London, UK, 2002. Springer-Verlag.

Digital Library

[8]

J. E. Cook and J. A. Dage. Highly reliable upgrading of components. In ICSE '99: Proceedings of the 21st international conference on Software engineering, pages 203--212, New York, NY, USA, 1999. ACM.

Digital Library

[9]

D. Garlan, S.-W. Cheng, A.-C. Huang, B. Schmerl, and P. Steenkiste. Rainbow: Architecture-based self-adaptation with reusable infrastructure. Computer, 37(10):46--54, 2004.

Digital Library

[10]

C. Giuffrida and A. S. Tanenbaum. Cooperative update: a new model for dependable live update. In HotSWUp '09: Proceedings of the Second International Workshop on Hot Topics in Software Upgrades, pages 1--6, New York, NY, USA, 2009. ACM.

Digital Library

[11]

J. Gray and A. Reuter. Transaction Processing: Concepts and Techniques. Morgan Kaufmann Publishers Inc., San Francisco, CA, USA, 1992.

Digital Library

[12]

D. Gupta, P. Jalote, and G. Barua. A formal framework for on-line software version change. IEEE Transactions on Software Engineering, 22(2):120--131, 1996.

Digital Library

[13]

M. Hicks and S. Nettles. Dynamic software updating. ACM Trans. Program. Lang. Syst., 27(6):1049--1096, 2005.

Digital Library

[14]

U. Hoelzle and L. A. Barroso. The Datacenter as a Computer: An Introduction to the Design of Warehouse-Scale Machines. Morgan and Claypool Publishers, 2009.

Digital Library

[15]

J. Kramer and J. Magee. The evolving philosophers problem: Dynamic change management. IEEE Transactions on Software Engineering, 16(11):1293--1306, 1990.

Digital Library

[16]

K. Makris and K. D. Ryu. Dynamic and adaptive updates of non-quiescent subsystems in commodity operating system kernels. In EuroSys '07: Proceedings of the 2nd ACM SIGOPS/EuroSys European Conference on Computer Systems 2007, pages 327--340, New York, NY, USA, 2007. ACM.

Digital Library

[17]

X. Ma, L. Baresi, C. Ghezzi, V. Panzica La Manna and J. Lu. Version-consistent Dynamic Reconfiguration of Component-based Distributed Systems. Technical Report, 2010. Available at http://home.dei.polimi.it/baresi/docs/vcdu-TR.pdf

[18]

D. P. Mitchell and M. J. Merritt. A distributed algorithm for deadlock detection and resolution. In Proceedings of the third annual ACM symposium on Principles of distributed computing 1984 (PODC '84), pages, 282--284, New York, NY, USA, 1984. ACM.

Digital Library

[19]

I. Neamtiu, M. Hicks, J. S. Foster, and P. Pratikakis. Contextual effects for version-consistent dynamic software updating and safe concurrent programming. In POPL '08: Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pages 37--49, 2008.

Digital Library

[20]

P. Oreizy, N. Medvidovic, and R. N. Taylor. Runtime software adaptation: framework, approaches, and styles. In ICSE Companion '08: Companion of the 30th international conference on Software engineering, pages 899--910, New York, NY, USA, 2008. ACM.

Digital Library

[21]

S. C. Previtali. Dynamic updates: another middleware service? In MAI '07: Proceedings of the 1st workshop on Middleware-application interaction, pages 49--54,2007.

Digital Library

[22]

G. Stoyle, M. Hicks, G. Bierman, P. Sewell, and I. Neamtiu. Mutatis mutandis: Safe and predictable dynamic software updating. ACM Trans. Program. Lang. Syst., 29(4):22, August 2007.

Digital Library

[23]

S. Subramanian, M. Hicks, and K. S. McKinley. Dynamic software updates: a vm-centric approach. In PLDI '09: Proceedings of the 2009 ACM SIGPLAN conference on Programming language design and implementation, pages 1--12.

Digital Library

[24]

G. Taentzer, M. Goedicke, and T. Meyer. Dynamic change management by distributed graph transformation: Towards configurable distributed systems. In TAGT'98: Selected papers from the 6th International Workshop on Theory and Application of Graph Transformations, pages 179--193, London, UK, 2000. Springer-Verlag.

Digital Library

[25]

Y. Vandewoude, P. Ebraert, Y. Berbers, and T. D'Hondt. Tranquility: A low disruptive alternative to quiescence for ensuring safe dynamic updates. IEEE Transactions on Software Engineering, 33(12):856--868, 2007.

Digital Library

[26]

M. Wermelinger, A. Lopes, and J. L. Fiadeiro. A graph based architectural (re)configuration language. In ESEC/FSE-9: Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering, pages 21--32.

Digital Library

[27]

J. Zhang and B. H. C. Cheng. Model-based development of dynamically adaptive software. In ICSE '06: Proceedings of the 28th international conference on Software engineering, pages 371--380, 2006.

Digital Library

Cited By

Alhozaimy SMenascé DAlbanese M(2024)Resilience and performance quantification of dynamic reconfigurationFuture Generation Computer Systems10.1016/j.future.2024.05.040160(120-130)Online publication date: Nov-2024
https://doi.org/10.1016/j.future.2024.05.040
Coullon HHenrio LLoulergue FRobillard S(2023)Component-based Distributed Software Reconfiguration:A Verification-oriented SurveyACM Computing Surveys10.1145/359537656:1(1-37)Online publication date: 26-Aug-2023
https://dl.acm.org/doi/10.1145/3595376
Wang ZNi SKumar ALi C(2022)FriesProceedings of the VLDB Endowment10.14778/3565816.356582716:2(256-268)Online publication date: 1-Oct-2022
https://dl.acm.org/doi/10.14778/3565816.3565827
Show More Cited By

Index Terms

Version-consistent dynamic reconfiguration of component-based distributed systems
1. Social and professional topics
  1. Professional topics
    1. Management of computing and information systems
      1. Software management
        Software maintenance
2. Software and its engineering
  1. Software creation and management
    1. Software post-development issues

Recommendations

An architectural approach to ensure globally consistent dynamic reconfiguration of component-based systems
CBSE '12: Proceedings of the 15th ACM SIGSOFT symposium on Component Based Software Engineering

One of the key issues that should be considered when addressing reliable evolution is to place a software system in a consistent status before and after change. This issue becomes more critical at runtime because it may lead to the failure on running ...
Dependence Management for Dynamic Reconfiguration of Component-Based Distributed Systems
ASE '02: Proceedings of the 17th IEEE international conference on Automated software engineering

The growing popularity of wired and wireless Internet requires distributed systems to be more flexible, adaptive and easily extensible. Dynamic reconfiguration of component-based distributed systems is one possible solution to meet these demands. ...
High Speed Dynamic Partial Reconfiguration for Real Time Multimedia Signal Processing
DSD '12: Proceedings of the 2012 15th Euromicro Conference on Digital System Design

The use of Field Programmable Gate Array (FPGA) based System on Chip (SoC) is a promising approach in Multimedia applications. In SoC, computationally intensive tasks are off-loaded to the hardware logic. A feature introduced with new FPGA devices, ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

ESEC/FSE '11: Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering

September 2011

548 pages

ISBN:9781450304436

DOI:10.1145/2025113

General Chair:
Tibor Gyimóthy
University of Szeged, Hungary
,
Program Chair:
Andreas Zeller
Saarland University, Germany

Copyright © 2011 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

SIGSOFT: ACM Special Interest Group on Software Engineering

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 09 September 2011

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Conference

ESEC/FSE'11

Sponsor:

SIGSOFT

ESEC/FSE'11: Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering

September 5 - 9, 2011

Szeged, Hungary

Acceptance Rates

Overall Acceptance Rate 17 of 128 submissions, 13%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

57
Total Citations
View Citations
659
Total Downloads

Downloads (Last 12 months)15
Downloads (Last 6 weeks)4

Reflects downloads up to 10 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

Alhozaimy SMenascé DAlbanese M(2024)Resilience and performance quantification of dynamic reconfigurationFuture Generation Computer Systems10.1016/j.future.2024.05.040160(120-130)Online publication date: Nov-2024
https://doi.org/10.1016/j.future.2024.05.040
Coullon HHenrio LLoulergue FRobillard S(2023)Component-based Distributed Software Reconfiguration:A Verification-oriented SurveyACM Computing Surveys10.1145/359537656:1(1-37)Online publication date: 26-Aug-2023
https://dl.acm.org/doi/10.1145/3595376
Wang ZNi SKumar ALi C(2022)FriesProceedings of the VLDB Endowment10.14778/3565816.356582716:2(256-268)Online publication date: 1-Oct-2022
https://dl.acm.org/doi/10.14778/3565816.3565827
Sokolowski DWeisenburger PSalvaneschi GDwyer MDamian DZeller A(2022)Change is the only constantProceedings of the 44th International Conference on Software Engineering10.1145/3510003.3510065(350-362)Online publication date: 21-May-2022
https://dl.acm.org/doi/10.1145/3510003.3510065
Prenzel LHofmann SSteinhorst S(2022)Real-time Dynamic Reconfiguration for IEC 614992022 IEEE 5th International Conference on Industrial Cyber-Physical Systems (ICPS)10.1109/ICPS51978.2022.9816872(1-6)Online publication date: 24-May-2022
https://doi.org/10.1109/ICPS51978.2022.9816872
Prenzel LSteinhorst S(2021)Automated Dependency Resolution for Dynamic Reconfiguration of IEC 614992021 26th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA )10.1109/ETFA45728.2021.9613156(1-8)Online publication date: 7-Sep-2021
https://doi.org/10.1109/ETFA45728.2021.9613156
Petitdemange FBorne IBuisson J(2021)Design process for system of systems reconfigurationsSystems Engineering10.1002/sys.2156724:2(69-82)Online publication date: 12-Jan-2021
https://doi.org/10.1002/sys.21567
Huynh N(2019)An Analysis View of Component-Based Software Architecture Reconfiguration2019 IEEE-RIVF International Conference on Computing and Communication Technologies (RIVF)10.1109/RIVF.2019.8713678(1-6)Online publication date: Mar-2019
https://doi.org/10.1109/RIVF.2019.8713678
Huynh N(2019)State Transfer Management in Adaptive Software: An Approach from Design to Runtime2019 IEEE-RIVF International Conference on Computing and Communication Technologies (RIVF)10.1109/RIVF.2019.8713617(1-6)Online publication date: Mar-2019
https://doi.org/10.1109/RIVF.2019.8713617
Hidaka SHu ZLitoiu MLiu LMartin PPeng XWang GYu Y(2019)Design and Engineering of Adaptive Software SystemsEngineering Adaptive Software Systems10.1007/978-981-13-2185-6_1(1-33)Online publication date: 15-Jan-2019
https://doi.org/10.1007/978-981-13-2185-6_1
Show More Cited By

View Options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents