Article

Mixed-Mode Adaptation in Distributed Systems: A Case Study

Authors:

Karun N. Biyani,

Sandeep S. KulkarniAuthors Info & Claims

SEAMS '07: Proceedings of the 2007 International Workshop on Software Engineering for Adaptive and Self-Managing Systems

Page 14

https://doi.org/10.1109/SEAMS.2007.12

Published: 20 May 2007 Publication History

Abstract

An adaptation in a distributed system involves changes to multiple processes. Since the adaptation cannot happen atomically (instantaneously), the changes to multiple processes need to be synchronized to ensure correctness of adaptation. The service interruption time and communication overhead during adaptation depend on the synchronization required when changing multiple processes. In this paper we consider mixed-mode adaptation that helps in reducing the synchronization requirements during adaptation, thereby improving the service interruption time and communication overhead. However, there are challenges in mixed-mode adaptation due to overlapping of behavior during adaptation. In this paper, we identify various challenges in mixed-mode adaptation and discuss how we address some of them using a case study.

References

[1]

{1} R. Allen, R. Douence, and D. Garlan. Specifying and analyzing dynamic software architectures. In Proceedings of Conference on Fundamental Approaches to Software Engineering , volume 1382 of Lecture Notes in Computer Science (LNCS), pages 21-35, 1998.

[2]

{2} B. Alpern and F. B. Schneider. Proving boolean combinations of deterministic properties. In Proceedings of the Second Symposium on Logic in Computer Science, pages 131- 137, 1987.

[3]

{3} K. Biyani. Dynamic composition of distributed components. Master's thesis, Michigan State University, 2003.

[4]

{4} K. Biyani and S. Kulkarni. Building component families to support adaptation. In International Workshop on Design and Evolution of Autonomic Application Software - DEAS, at ICSE, May 2005.

Digital Library

[5]

{5} K. Biyani and S. Kulkarni. Mixed-mode adaptation in distributed systems: A case study. Technical Report MSU-CSE-07-13, Michigan State University, http://www. cse.msu.edu/pubs/techlib.php, March 2007.

Digital Library

[6]

{6} J. S. Bradbury, J. R. Cordy, J. Dingel, and M. Wermelinger. A survey of self-management in dynamic software architecture specifications. In Proceedings of the International Workshop on Self-Managed Systems (WOSS), 2004.

Digital Library

[7]

{7} W. K. Chen, M. Hiltunen, and R. Schlichting. Constructing adaptive software in distributed systems. In Proceedings of the 21st International Conference on Distributed Computing Systems, pages 635-643, April 2001.

Digital Library

[8]

{8} C. E. Cuesta, P. de la Fuente, and M. Barrio-Solarzano. Dynamic coordination architecture through use of reflection. In Proceedings of ACM Symposium on Applied Computing, pages 134-140. ACM Press, 2001.

Digital Library

[9]

{9} E. W. Dijkstra. A Discipline of Programming. Prentice Hall, 1976.

Digital Library

[10]

{10} E. W. Dijkstra and C. S. Scholten. Termination detection for diffusing computation. In Information Processing Letters, volume 11, pages 1-4, August 1980.

[11]

{11} M. Gouda. Elements of Network Protocol Desgin. John Wiley & Sons, 1998.

Digital Library

[12]

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

Digital Library

[13]

{13} J. Kramer, J. Magee, and M. Sloman. Configuring distributed systems. In Proceedings of the 5th Workshop on ACM SIGOPS European Workshop, pages 1-5. ACM Press, 1992.

Digital Library

[14]

{14} S. S. Kulkarni, K. N. Biyani, and U. Arumugam. Composing distributed fault-tolerance components. In Workshop on Principles of Dependable Systems - PoDSy, at DSN, pages W127-136, June 2003.

[15]

{15} B. Liskov. Distributed programming in argus. Communications of the ACM, pages 300-312, March 1988.

Digital Library

[16]

{16} J. Magee, J. Kramer, and M. Sloman. Constructing distributed systems in conic. IEEE Transactions on Software Engineering, 15(6), 1989.

Digital Library

[17]

{17} P. McKinley and U. Padmanabhan. Design of composable proxy filters for mobile computing. In Proceedings of the Workshop on Wireless Networks and Mobile Computing, 2001.

[18]

{18} P. McKinley, S. Sadjadi, E. Kasten, and B. Cheng. Composing adaptive software. IEEE Computer, 37(7):56-64, 2004.

Digital Library

[19]

{19} D. L. Metayer. Describing software architecture styles using graph grammars. IEEE Transaction on Software Engineering , 24(7):521-533, 1998.

Digital Library

[20]

{20} P. Oreizy, N. Medvidovic, and R. N. Taylor. Architecture-based runtime software evolution. In Proceedings of the 20th International Conference on Software Engineering, pages 177-186, 1998.

Digital Library

[21]

{21} R. V. Renesse, K. Birman, M. Hayden, A. Vaysburd, and D. Karr. Building adaptive systems using ensemble. Software - Practice & Experience, 28(9):963-979, July 1998.

Digital Library

[22]

{22} M. E. Segal and O. Frieder. Dynamic program updating: a software maintenance technique for minimizing software downtime. Software Maintenance : Research and Practice, 1(1):59-79, September 1989.

Digital Library

[23]

{23} N. Sridhar, S. M. Pike, and B. W. Weide. Dynamic module replacement in distributed protocols. In Proceedings of the 23rd International Conference on Distributed Computing Systems, May 2003.

Digital Library

[24]

{24} C. Szyperski. Component Software: Beyond Object-Oriented Programming. Addison-Wesley Professional, 2nd edition, 2002.

Digital Library

[25]

{25} S. Vasudevan, J. Kurose, and D. Towsley. Design and analysis of a leader election algorithm for mobile ad hoc networks. In Proceedings of the 12th IEEE International Conference on Network Protocols, pages 350-360. IEEE Computer Society, October 2004.

Digital Library

[26]

{26} J. Zhang, Z. Yang, B. Cheng, and P. McKinley. Adding safeness to dynamic adaptation techniques. In Proceedings of ICSE Workshop on Architecturing Dependable Systems, 2004.

Cited By

Bhardwaj SLee KLee JHung CPapadopoulos G(2019)An adaptive framework for applying machine learning in smart spacesProceedings of the 34th ACM/SIGAPP Symposium on Applied Computing10.1145/3297280.3297405(1263-1270)Online publication date: 8-Apr-2019
https://dl.acm.org/doi/10.1145/3297280.3297405
Pérez-Sotelo JCuesta CBillhardt HOssowski S(2013)Lifecycle of adaptive agreementsProceedings of the Second international conference on Agreement Technologies10.1007/978-3-642-39860-5_5(48-62)Online publication date: 1-Aug-2013
https://dl.acm.org/doi/10.1007/978-3-642-39860-5_5
Weyns DIftikhar Mde la Iglesia DAhmad TDesai BVassev EMudur SDesai B(2012)A survey of formal methods in self-adaptive systemsProceedings of the Fifth International C* Conference on Computer Science and Software Engineering10.1145/2347583.2347592(67-79)Online publication date: 27-Jun-2012
https://dl.acm.org/doi/10.1145/2347583.2347592
Show More Cited By

Index Terms

Mixed-Mode Adaptation in Distributed Systems: A Case Study
1. Computing methodologies
  1. Distributed computing methodologies
    1. Distributed programming languages
2. Software and its engineering
  1. Software notations and tools
    1. General programming languages
      1. Language types
        Distributed programming languages
  2. Software organization and properties
    1. Contextual software domains
      1. Operating systems
        Process management
    2. Software system structures
      1. Distributed systems organizing principles

Recommendations

Mixed-Mode Adaptation in Distributed Systems: A Case Study
ICSEW '07: Proceedings of the 29th International Conference on Software Engineering Workshops

An adaptation in a distributed system involves changes to multiple processes. Since the adaptation cannot happen atomically (instantaneously), the changes to multiple processes need to be synchronized to ensure correctness of adaptation. The service ...
Assurance of adaptation in distributed systems
Towards multi-level adaptation for distributed operating systems and applications
ICA3PP'12: Proceedings of the 12th international conference on Algorithms and Architectures for Parallel Processing - Volume Part II

Distributed operating systems simplify building and executing applications on large-scale infrastructures, such as clusters, grids and clouds. These systems operate in a constantly changing environment characterized by varying application needs and ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

SEAMS '07: Proceedings of the 2007 International Workshop on Software Engineering for Adaptive and Self-Managing Systems

May 2007

164 pages

ISBN:0769529739

Sponsors

SIGSOFT: ACM Special Interest Group on Software Engineering

Publisher

IEEE Computer Society

United States

Publication History

Published: 20 May 2007

Check for updates

Qualifiers

Article

Acceptance Rates

Overall Acceptance Rate 17 of 31 submissions, 55%

Upcoming Conference

ICSE 2025

2025 IEEE/ACM 46th International Conference on Software Engineering

April 26 - May 3, 2025

Ottawa , ON , Canada

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

5
Total Citations
View Citations
172
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 08 Feb 2025

Other Metrics

View Author Metrics

Citations

Cited By

Bhardwaj SLee KLee JHung CPapadopoulos G(2019)An adaptive framework for applying machine learning in smart spacesProceedings of the 34th ACM/SIGAPP Symposium on Applied Computing10.1145/3297280.3297405(1263-1270)Online publication date: 8-Apr-2019
https://dl.acm.org/doi/10.1145/3297280.3297405
Pérez-Sotelo JCuesta CBillhardt HOssowski S(2013)Lifecycle of adaptive agreementsProceedings of the Second international conference on Agreement Technologies10.1007/978-3-642-39860-5_5(48-62)Online publication date: 1-Aug-2013
https://dl.acm.org/doi/10.1007/978-3-642-39860-5_5
Weyns DIftikhar Mde la Iglesia DAhmad TDesai BVassev EMudur SDesai B(2012)A survey of formal methods in self-adaptive systemsProceedings of the Fifth International C* Conference on Computer Science and Software Engineering10.1145/2347583.2347592(67-79)Online publication date: 27-Jun-2012
https://dl.acm.org/doi/10.1145/2347583.2347592
Andova SGroenewegen LStafleu Jde Vink E(2009)Formalizing Adaptation On-the-FlyElectronic Notes in Theoretical Computer Science (ENTCS)10.1016/j.entcs.2009.10.023255(23-44)Online publication date: 1-Nov-2009
https://dl.acm.org/doi/10.1016/j.entcs.2009.10.023
Biyani KKulkarni S(2008)Assurance of dynamic adaptation in distributed systemsJournal of Parallel and Distributed Computing10.1016/j.jpdc.2008.02.00568:8(1097-1112)Online publication date: 1-Aug-2008
https://dl.acm.org/doi/10.1016/j.jpdc.2008.02.005

View Options

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.

Figures

Tables

Media

View Table of Conten