On correctness of dynamic protocol update

Lecture Notes in Computer Science

Volumn 3535, Issue , 2005, Pages 275-289

  Wojciechowski, Paweł T ^a   Rütti, Olivier ^a  

^a EPFL   (Switzerland)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; ERROR CORRECTION; MATHEMATICAL MODELS; PROBLEM SOLVING; SYNCHRONIZATION; NETWORK PROTOCOLS; SWITCHING CIRCUITS;

ALGORITHM DESIGN; DYNAMIC PROTOCOL UPDATE (DPU); RUNTIME; CORRECTNESS PROOFS; DYNAMIC PROTOCOL UPDATES; MODELING OF DYNAMICS; NETWORK COMMUNICATIONS; RUNTIMES; SAFETY PROPERTY;

NETWORK PROTOCOLS; FORMAL METHODS;

EID: 26444491155     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/11494881_18     Document Type: Conference Paper

References (24)

1. J. L. Armstrong and S. R. Virding. Erlang - An experimental telephony switching language. In Proc. XIII International Switching Symposium, May 27-June 1, 1990.
2. M. Bickford, C. Kreitz, R. van Renesse, and R. L. Constable. An experiment in formal design using meta-properties. In Proc. DISCEX-II '01: The 2nd DARPA Information Survivability Conference and Exposition. IEEE, June 2001.
3. G. Bierman, M. Hicks, P. Sewell, and G. Stoyle. Formalizing dynamic software updating. In USE '03: Workshop on Unanticipated Software Evolution, Apr. 2003.
4. T. Bloom and M. Day. Reconfiguration and module replacement in Argus: theory and practice. Software Engineering Journal, 8(2): 102-108, 1993.
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, Apr. 2001.
7. X. Défago, A. Schiper, and P. Urban. Totally ordered broadcast and multicast algorithms: A comprehensive survey. Tech. Report DSC-2000-036, Communication Systems Department, EPFL, Sept. 2000.
8. D. Duggan. Type-based hot swapping of running modules. In Proc. ICFP '01: The 6th ACM SIGPLAN Int'l Conference on Functional Programming, Sept. 2001.
9. M. W. Hicks, J. T. Moore, and S. Nettles. Dynamic software updating. In Proc. PLDI '01: The ACM SIGPLAN Conference on Programming Language Design and Implementation, June 2001.
10. S. Liang and G. Bracha. Dynamic class loading in the Java virtual machine. In Proc. OOPSLA '98, Oct. 1998.
11. N. A. Lynch. Distributed Algorithms. Morgan Kaufmann, 1997.
12. S. Malabarba, R. Pandey, J. Gragg, E. Barr, and J. F. Barnes. Runtime support for type-safe dynamic Java classes. In Proc. ECOOP 2000, LNCS 1850, June 2000.
13. S. Mena, X. Cuvellier, C. Grégoire, and A. Schiper. Appia vs. Cactus: Comparing protocol composition frameworks. In Proc. SRDS '03. IEEE, Oct. 2003.
14. S. Mena, A. Schiper, and P. T. Wojciechowski. A step towards a new generation of group communication systems. In Proc. Middleware '03, LNCS 2672, 2003.
15. L. Moreau. A syntactic theory of dynamic binding. Higher-Order and Symbolic Computation, 11 (3):233-279, Dec. 1998.
16. O. Rütti, P. T. Wojciechowski, and A. Schiper. Dynamic update of distributed agreement protocols. Tech. Report IC-2005-012, I&C, EPFL, Mar. 2005.
17. P. Sewell. Modules, abstract types, and distributed versioning. In POPL '01, 2001.
18. N. Sridhar, S. M. Pike, and B. W. Weide. Dynamic module replacement in distributed protocols. In Proc. ICDCS '03, May 2003.
19. G. Stoyle, M. Hicks, G. Bierman, P. Sewell, and I. Neamtiu. Mutatis Mutandis: Safe and predictable dynamic software updating. In POPL '05, Jan. 2005.
20. Sun Microsystems, Inc. Java HotSpot. http://java.sun.com/products/ hotspot/.
21. R. van Renesse, K. Birman, M. Hayden, A. Vaysburd, and D. Karr. Building adaptive systems using Ensemble. Software Practice & Experience, 28(9), 1998.
22. C. Walton, D. Kirli, and S. Gilmore. An abstract machine model of dynamic module replacement. Future Generation Computer Systems, 16:793-808, May 2000.
23. P. T. Wojciechowski, S. Mena, and A. Schiper. Semantics of protocol modules composition and interaction. In Proc. Coordination '02, LNCS 2315, Apr. 2002.
24. 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 Int'l Parallel and Distributed Processing Symposium, Apr. 2004.