Structural and algorithmic issues of dynamic protocol update

20th International Parallel and Distributed Processing Symposium, IPDPS 2006

Volumn 2006, Issue , 2006, Pages

  Rütti, Olivier ^a   Wojciechowski, Paweł T ^b   Schiper, André ^a  

^a EPFL   (Switzerland)

^b POZNAN UNIVERSITY OF TECHNOLOGY   (Poland)

Author keywords

[No Author keywords available]

Indexed keywords

ADAPTIVE CONTROL SYSTEMS; ALGORITHMS; INFORMATION SERVICES; MIDDLEWARE; STRUCTURAL ANALYSIS;

ADAPTIVE GROUP COMMUNICATION MIDDLEWARE; ATOMIC BROADCAST PROTOCOLS; DYNAMIC PROTOCOL UPDATE (DPU); SWITCHING ALGORITHMS;

NETWORK PROTOCOLS;

EID: 33847118593     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/IPDPS.2006.1639369     Document Type: Conference Paper

References (22)

1. M. Bickford, C. Kreitz, R. van Renessc, and R. L. Constable. An experiment in formal design using metaproperties. In Proc. DISCEX-II '01: the 2nd DARPA Information Survivability Conference and Exposition. IEEE, June 2001.
2. G. S. Blair, L. Blair, V. Issarny, P. Tuma, and A. Zarras. The role of software architecture in constraining adaptation in component-based middleware platforms. In Proc. Middleware 2000, volume 1795 of LNCS. Springer, Apr. 2000.
3. T. Bloom and M. Day. Reconfiguration and module replacement in Argus: theory and practice. Software Engineering Journal, 8(2):102-108, 1993.
4. T. D. Chandra, V. Hadzilacos, and S. Toueg. The weakest failure detector for solving consensus. Journal of the ACM, 43(4):685-722, 1996.
5. T. D. Chandra and S. Toueg. Unreliable failure detectors for reliable distributed systems. Journal of the ACM, 43(2):225-267, 1996.
6. W.-K. Chen, M. A. Hiltunen, and R. D. Schlichting. Constructing adaptive software in distributed systems. In Proc. ICDCS '01: the 21st IEEE International Conference on Distributed Computing Systems, Apr. 2001.
7. V. Hadzilacos and S. Toueg. A modular approach to fault-tolerant broadcasts and related problems. Technical Report 94-1425, Department of Computer Science, Cornell University, Ithaca NY, 1994.
8. J. Hallstrom, W. Leal, and A. Arora. Scalable evolution of highly available systems. Transactions of the IEICE: the Institute for Electronics, Information and Communication Engineers, IEICE/IEEE Joint Special Issue on Assurance Systems and Networks, E86-B(10):2154-2166, 2003.
9. Y.-F. Lee and R.-C. Chang. Developing dynamicreconfigurable communication protocol stacks using Java. Software Practice & Experience, 35(6):601-620, 2005.
10. X. Liu, R. van Renesse, M. Bickford, C. Kreitz, and R. Constable. Protocol switching: Exploiting metaproperties. In Proc. Workshop on Applied Reliable Group Communication (WARGC '01), Apr. 2001.
11. J. Magee, J. Kramer, and M. Sloman. Constructing distributed systems in Conic. IEEE Transactions on Software Engineering, 15(6):663-675, June 1989.
12. P. K. McKinley, S. M. Sadjadi, E. P. Kasten, and B. H. Cheng. Composing adaptive software. IEEE Computer, 37(7):56-64, 2004.
13. S. Mena, A. Schiper, and P. T. Wojciechowski. A step towards a new generation of group communication systems. In Proc. Middleware '03, volume 2672 of LNCS. Springer, June 2003.
14. H. Miranda, A. Pinto, and L. Rodrigues. Appia, a flexible protocol kernel supporting multiple coordinated channels. In Proc. ICDCS '01: the 21st IEEE International Conference on Distributed Computing Systems, Apr. 2001.
15. J. Mocito, L. Rosa, N. Almeida, H. Miranda, L. Rodrigues, and A. Lopes. Context adaptation of the communication stack. In Proc. the 3rd Workshop on Mobile Distributed Computing (MDC '05), June 2005.
16. O. Rütti, P. T. Wojciechowski, and A. Schiper. Dynamic update of distributed agreement protocols. Technical Report IC-2005-012, School of Computer and Communication Sciences, Ecole Polytechnique Fédérale de Lausanne (EPFL), Mar. 2005.
17. A. Schiper. Dynamic Group Communication. To appear in ACM Distributed Computing, 2006.
18. N. Sridhar, S. M. Pike, and B. W. Weide. Dynamic module replacement in distributed protocols. In Proc. ICDCS '03: the 23rd IEEE International Conference on Distributed Computing Systems, May 2003.
19. P. Urban. Evaluating the Performance of Distributed Agreement Algorithms: Tools, Methodology and Case Studies. PhD thesis, School of Computer and Communication Sciences, Ecole Polytechnique Fédérale de Lausanne (EPFL), Aug. 2003.
20. R. van Renesse, K. Birman, M. Hayden, A. Vaysburd, and D. Karr. Building adaptive systems using Ensemble. Software Practice & Experience, 28(9):963-979, 1998.
21. P. T. Wojciechowski and O. Rütti. On correctness of dynamic protocol update. In Proc. FMOODS '05: the 7th IFIP Conference on Formal Methods for Open Object-Based Distributed Systems, volume 3535 of LNCS. Springer, June 2005.
22. P. T. Wojciechowski, O. Rütti, and A. Schiper. SAMOA: A framework for a synchronisation-augmented microprotocol approach. In Proc. IPDPS '04: the 18th IEEE International Parallel and Distributed Processing Symposium, Apr. 2004.