Mutatis Mutandis: Safe and predictable dynamic software updating

ACM Transactions on Programming Languages and Systems

Volumn 29, Issue 4, 2007, Pages

  Stoyle, Gareth ^a   Hicks, Michael ^b   Bierman, Gavin ^c   Sewell, Peter ^a   Neamtiu, Iulian ^b  

^a UNIVERSITY OF CAMBRIDGE   (United Kingdom)

^b UNIVERSITY OF MARYLAND   (United States)

^c MICROSOFT RESEARCH   (United States)

Author keywords

Capability; Dynamic software updating; Proteus; Type inference; Updateability analysis

Indexed keywords

APPROXIMATION THEORY; C (PROGRAMMING LANGUAGE); MATHEMATICAL MODELS;

CAPABILITY; DYNAMIC SOFTWARE UPDATING; TYPE INFERENCE; UPDATEABILITY ANALYSIS;

COMPUTER SOFTWARE;

EID: 34547938351     PISSN: 01640925     EISSN: 15584593     Source Type: Journal    
DOI: 10.1145/1255450.1255455     Document Type: Article

References (41)

1. AJMANI, S. 2004. Automatic software upgrades for distributed systems. Ph.D. thesis, Laboratory of Computer Science, the Massachussetts Institute of Technology.
2. AJMANI, S., LISKOV, B., AND SHRIRA, L. 2006. Modular software upgrades for distributed systems. In Proceedings of the European Conference on Object-Oriented Programming (ECOOP).
3. ALTEKAR, G., BAGRAK, I., BURSTEIN, P., AND SCHULTZ, A. 2005. OPUS: Online patches and updates for security. In Proceedings of the Fourteenth USENLX Security Symposium. Baltimore, MD, 287-302.
4. APPEL, A. 1994. Hot-Sliding in ML. Unpublished manuscript.
5. ARMSTRONG, J. L. AND VIRDING, R. 1991. Erlang - An experimental telephony switching language. In the 13th International Switching Symposium,. Stockholm, Sweden.
6. BALL, T. AND RAJAMANI, S. K. 2002. The SLAM project: Debugging system software via static analysis. In Proceedings of the 29th ACM Symposium on Principles of Programming Languages (POPL). Portland, OR, 1-3.
7. BAUMANN, A., HEISER, G., APPAVOO, J., SILVA, D. D., KRIEGER, O., WISNIEWSKI, R. W., AND KERR, J. 2005. Providing dynamic update in an operating system. In Proceedings of the USENIX Annual Technical Conference.
8. BIERMAN, G., HICKS, M., SEWELL, P., AND STOYLE, G. 2003a. Formalizing dynamic software updating. In Proceedings of (USE03) the 2nd International Workshop on Unanticipated Software Evolution Warsaw, Poland.
9. BIERMAN, G., HICKS, M., SEWELL, P., STOYLE, G., AND WANSBROUGH, K. 2003b. Dynamic rebindingfor marshalling and update with destruct-time I. In Proceedings of the ACM International Conference on Functional Programming (ICFP).
10. BLOOM, T. 1983. Dynamic module replacement in a distributed programming system. Ph.D. thesis, Laboratory for Computer Science, The Massachussets Institute of Technology.
11. BLOOM, T. AND DAY, M. 1993. Reconfiguration and module replacement in Argus: Theory and practice. Soft. Engin. J. 8, 2 (March), 102-108.
12. BOYAPATI, C., LISKOV, B., SHRIRA, L., MOH, C.-H., AND RICHMAN, S. 2003. Lazy modular upgrades in persistent object stores. In Proceedings of the ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA).
13. BREAZU-TANNEN, V., COQUAND, T., GUNTER, C., AND SCEDROV, A. 1991. Inheritance as implicit coercion. Inform, computat. 93, 1, 172-221.
14. BUCK, B. AND HOLLINGSWORTH, J. K. 2000. An API for runtime code patching. J. High Perform. Comput. Appl. 14, 4, 317-329.
15. DROSSOPOULOU, S. AND EISENBACH, S. 2003. Flexible, source level dynamic linking and re-linking. In Proceedings of the ECOOP 2003 Workshop on Formal Techniques for Java Programs.
16. DUGGAN, D. 2001. Type-based hot swapping of running modules. In Proceedings of the ACM International Conference on Functional Programming (ICFP).
17. FOSTER, J. S., TERAUCHI, T., AND AIKEN, A. 2002. Flow-sensitive type qualifiers. In Proceedings of the ACM Conference on Programming Languages Design and Implementation (PLDI). Berlin, Germany, 1-12.
18. FRIEDER, O. AND SEGAL, M. E. 1991. On dynamically updating a computer program: From concept to prototype. J. Syst. Softw. 14, 2 (Sept.) 111-128.
19. GAPEYEV, V., LEVIN, M., AND PIERCE, B. C. 2000. Recursive subtyping revealed. In Proceedings of the ACM International Conference on Functional Programming (ICFP).
20. GILMORE, S., KIRLI, D., AND WALTON, C. 1997. Dynamic ML without dynamic types. Tech. rep. ECS-LFCS-97-378, LFCS, University of Edinburgh.
21. GROSSMAN, D., MORRISETT, G., JIM, T., HICKS, M., WANG, Y., AND CHENEY, J. 2002. Region-based memory management in Cyclone. In Proceedings of the ACM Conference on Programming Languages Design and Implementation (PLDI).
22. GUPTA, D. 1994. Online software version change. Ph.D. thesis, Department of Computer Science and Engineering, Indian Institute of Technology, Kanpur, India.
23. HEINTZE, N. 1992. Set-based program analysis. Ph.D. thesis, Department of Computer Science, Carnegie Mellon University.
24. HICKS, M. AND NETTLES, S. M. 2005. Dynamic software updating. ACM Trans. Program. Lang. Syst. 27, 6 (Nov.).
25. HICKS, M., TSE, S., HICKS, B., AND ZDANCEWIC, S. 2005. Dynamic updating of information-flow policies. In Proceedings of the International Workshop on Foundations of Computer Security (FCS).
26. HICKS, M., WEIRICH, S., AND CRARY, K. 2000. Safe and flexible dynamic linking of native code. In Proceedings of the ACM SIGPLAN Workshop on Types in Compilation (TIC). Lecture Notes in Computer Science, R. Harper, Ed. vol. 2071. Springer-Verlag.
27. HICKS, M. W 2001. Dynamic software updating. Ph.D. thesis, Department of Computer and Information Science, The University of Pennsylvania.
28. HJÁLMTÝSSON, G. AND GRAY, R. 1998. Dynamic C++ classes, a lightweight mechanism to update code in a running program. In Proceedings of the USENIX Annual Technical Conference.
29. MITCHELL, J. C. 1986. Representation independence and data abstraction. In Proceedings of the ACM Symposium on Principles of Programming Languages (POPL). 263-276.
30. NEAMTIU, I., FOSTER, J. S., AND HICKS, M. 2005. Understanding source code evolution using abstract syntax tree matching. In Proceedings of the International Workshop on Mining Software Repositories (MSR).
31. NEAMTIU, I., HICKS, M., STOYLE, G., AND ORIOL, M. 2006. Practical dynamic software updating for C. In Proceedings of the ACM Conference on Programming Languages Design and Implementation (PLDI). 72-83.
32. NECULA, G. C., MCPEAK, S., RAHUL, S. P., AND WEIMER, W. 2002. CIL: Intermediate language and tools for analysis and transformation of C programs. Lecture Notes in Computer Science vol. 2304, 213-228.
33. OPPENHEIMER, D., BROWN, A., BECK, J., HETTENA, D., KURODA, J., TREUHAFT, N., PATTERSON, D. A., AND YELICK, K. 2002. Roc-1: Hardware support for recovery-oriented computing. IEEE Trans. Comput. 51, 2, 100-107.
34. ORSO, A., RAO, A., AND HARROLD, M. 2002. A technique for dynamic updating of Java software. In Proceedings of the IEEE International Conference on Software Maintenance (ICSM).
35. PETERSON, J., HUDAK, P., AND LING, G. S. 1997. Principled dynamic code improvement. Tech. rep. YALEU/DCS/RR-1135, Department of Computer Science, Yale University.
36. SOULES, C., APPAVOO, J., HUI, K., WISNIEWSKI, R. W., SILVA, D. D., GANGER, G. R., KRIEGER, O., STUMM, M., AUSLANDER, M., OSTROWSKI, M., ROSENBURG, B., AND XENIDIS, J. 2003. System support for online reconfiguration. In Proceedings of the USENLX Annual Technical Conference.
37. STOYLE, G., HICKS, M., BIERMAN, G., SEWELL, P., AND NEAMTIU, I. 2005. Mutatis Mutandis: Safe and predictable dynamic software updating. In Proceedings of POPL 2005: The 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'05). Long Beach, CA, 183-194.
38. WALKER, D. 2000. A type system for expressive security policies. In Proceedings of the ACM Symposium on Principles of Programming Languages (POPL). 254-267.
39. WALKER, D., CHARY, K., AND MORRISETT, G. 2000. Typed memory management via static capabilities. ACM Trans. Program. Lang. Syst. 22, 4, 701-771.
40. XIE, Y AND AIKEN, A. 2005. Scalable Error Detection using Boolean Satisfiability. In Proceedings of the ACM Symposium on Principles of Programming Languages (POPL). 351-363.
41. ZORN, B. 2005. Personal communication, based on experience with Microsoft Windows customers.