Migrating protocols in multi-threaded message-passing systems

Proceedings of the 2nd International Workshop on Hot Topics in Software Upgrades, HotSWUp '09

Volumn , Issue , 2009, Pages

  Anderson, Austin ^a   Rathke, Julian ^a  

^a UNIVERSITY OF SOUTHAMPTON   (United Kingdom)

Author keywords

Distributed protocols; Dynamic software update; Multi party session types; Typing

Indexed keywords

DYNAMIC SOFTWARE UPDATE; MESSAGE PASSING SYSTEMS; MULTI-THREADED PROGRAMS; MULTIPLE THREADS; MULTITHREADED; SESSION TYPES; SINGLE-THREADED;

HUMAN COMPUTER INTERACTION; MESSAGE PASSING;

COMPUTER SOFTWARE;

EID: 76749108975     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1656437.1656448     Document Type: Conference Paper

References (13)

1. Sameer Ajmani, Barbara Liskov, Liuba Shrira, and Google Inc. Modular software upgrades for distributed systems. In In Proceedings of the 20th European Conference on Object-Oriented Programming, pages 452-476, 2006.
2. Austin Anderson and Julian Rathke. Safe dynamic software update for multi-threaded message-passing systems (draft), 2009. http://eprints.ecs.soton. ac.uk/18041/.
3. Lorenzo Bettini, Mario Coppo, Loris D'Antoni, Marco De Luca, Mariangiola Dezani-Ciancaglini, and Nobuko Yoshida. Global progress in dynamically merged multiparty sessions. Technical report, 2008. http://www.doc.ic.ac.uk/~yoshida/ paper/global-progress.pdf.
4. G. Bierman, M. Hicks, P. Sewell, and G. Stoyle. Formalizing dynamic software updating. In Proceedings of the 2nd International Workshop on Unanticipated Software Evolution. Warsaw, Poland, 2003.
5. Rasekhar Boyapati, Barbara Liskov, Liuba Shrira, Chuang-Hue Moh, and Steven Richman. Lazy modular upgrades in persistent object stores. In In Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA, pages 403-417, 2003.
6. Simon Gay, V. T. Vasconcelos, and Antonio Ravara. Session types for inter-process communication. Technical Report 133, Department of Computing, University of Glasgow, 2003.
7. Simon Gay and Vasco T. Vasconcelos. Asynchronous functional session types. Technical Report 2007-251, Department of Computing, University of Glasgow, May 2007.
8. Michael Hicks and Scott Nettles. Dynamic software updating. ACM Trans. Program. Lang. Syst., 27(6):1049-1096, 2005.
9. Kohei Honda, Nobuko Yoshida, and Marco Carbone. Multiparty asynchronous session types. SIGPLAN Not., 43(1):273-284, January 2008.
10. Iulian Neamtiu and Michael Hicks. Safe and timely updates to multi-threaded programs. SIGPLAN Not., 44(6):13-24, 2009.
11. Iulian Neamtiu, Michael Hicks, Jeffrey S. Foster, and Polyvios Pratikakis. Contextual effects for version-consistent dynamic software updating and safe concurrent programming. SIGPLAN Not., 43(1):37-49, 2008.
12. Flemming Nielson and Hanne Riis Nielson. Type and effect systems. In Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel), pages 114-136, London, UK, 1999. SpringerVerlag.
13. Gareth Stoyle, Michael Hicks, Gavin Bierman, Peter Sewell, and Iulian Neamtiu. Mutatis mutandis: Safe and predictable dynamic software updating. In Proceedings of the 32 nd ACM SIGPLAN-SIGACT symposium on Principles of Programming Languages (POPL), pages 183-194, 2005.