Dynamic software updating

ACM Transactions on Programming Languages and Systems

Volumn 27, Issue 6, 2005, Pages 1049-1096

  Hicks, Michael ^a,c   Nettles, Scott ^b,d  

^a UNIVERSITY OF MARYLAND   (United States)

^b UNIVERSITY OF TEXAS AT AUSTIN   (United States)

^c AV Williams Building ^*  (United States)

^d The University of Texas at Austin   (United States)

Author keywords

Dynamic software updating; Typed assembly language

Indexed keywords

DYNAMIC SOFTWARE UPDATING; FLASHED; ONLINE VERIFICATION; TYPED ASSEMBLY LANGUAGE;

COMPUTER PROGRAMMING LANGUAGES; PROGRAM COMPILERS; PROGRAM DEBUGGING; ROBUSTNESS (CONTROL SYSTEMS); SERVERS;

SOFTWARE ENGINEERING;

EID: 33745422353     PISSN: 01640925     EISSN: 01640925     Source Type: Journal    
DOI: 10.1145/1108970.1108971     Document Type: Article

References (46)

1. APACHE. 2001. The Apache Software Foundation, http : //www. apache. org.
2. APPEL, A. 1994. Hot-sliding in ML. Unpublished manuscript, http://www.cs.princeton. edu/~appel/papers/hotslide.ps.
3. ARMSTRONG, J., VIRDING, R., WIKSTROM, C., AND WILLIAMS, M. 1996. Concurrent Programming in Erlang, Second ed. Prentice-Hall, Englewood Cliffs, N.J.
4. BALASUBRAMANIAM, S. AND PIERCE, B. C. 1998. What is a file synchronizer? In Proceedings of the 4th Annual ACM / IEEE International Conference on Mobile Computing and Networking (MobiCom '98). Dallas, TX. ACM, New York (Oct.) 98-108. (Full version available as Indiana University CSCI technical report #507, April 1998.)
5. BIERMAN, G., HICKS, M., SEWELL, P., AND STOYLE, G. 2003. Formalizing dynamic software updating. In Proceedings of the 2nd International Workshop on Unanticipated Software Evolution, Warsaw, Poland (April).
6. BLOOM, T. 1983. Dynamic Module Replacement in a Distributed Programming System. Ph.D. dissertation, Laboratory for Computer Science, The Massachussets Institute of Technology.
7. BLOOM, T. AND DAY, M. 1993. Reconfiguration and module replacement in Argus: Theory and practice. Softw. Eng. J. 8, 2 (Mar.), 102-108.
8. BOYAPATI, C., LISKOV, B., SURIRA, L., Mon, 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, Anaheim, CA. (Oct.). ACM, New York. 403-417.
9. BUCK, B. AND HOLLINGSWORTH, J. K. 2000. An API for runtime code patching. J. High Perf. Comput. Appl. 14, 4, 317-329.
10. DMITRIEV, M. 2001. Towards flexible and safe technology for runtime evolution of Java language applications. In Proceedings of the Workshop on Engineering Complex Object-Oriented Systems for Evolution. Portland, OR. (Oct.). 14-18.
11. DUGGAN, D. 2001. Type-based hot swapping of running modules. In Proceedings of the International Conference on Functional Programming. 62-73.
12. 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.
13. GAMSA, B., KRIEGER, O., APPAVOO, J., AND STUMM, M. 1999. Tornado: Maximizing locality and concurrency in a shared memory multiprocessor operating system. In Proceedings of the 3rd Symposium on Operating Systems Design and Implementation. New Orleans, LA. (Feb.). 87-100.
14. GARLAN, D., KRUEGER, C. W., AND STAUDT, B. J. 1986. A structural approach to the maintenance of structure-oriented environments. In Proceedings of the SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments. (Palo Alto, CA). ACM, New York, 160-170.
15. GILMORE, S., KIRLI, D., AND WALTON, C. 1997. Dynamic ML without Dynamic Types. Tech. Rep. ECS-LFCS-97-378, Laboratory for the Foundations of Computer Science, The University of Edinburgh. December.
16. GROSSMAN, D. AND MORRISETT, G. 2000. Scalable certification for Typed Assembly Language. In Proceedings of the ACM SIGPLAN Workshop on Types in Compilation. Montreal, Canada. R. Harper, Ed. Lecture Notes in Computer Science, vol. 2071. Springer-Verlag, New York.117-146.
17. GUPTA, D. 1994. On-line software version change. Ph.D. dissertation, Department of Computer Science and Engineering, Indian Institute of Technology, Kanpur.
18. GUPTA, D. AND JALOTE, P. 1993. On-line software version change using state transfer between processes. Softw-Pract. Exp. 23, 9 (Sept.), 949-964.
19. GUPTA, D., JALOTE, P., AND BARUA, G. 1996. A formal framework for online software version change. Trans. Softw. Eng. 22, 2 (Feb.), 120-131.
20. HICKS, M. 2001. Dynamic software updating. Ph.D. dissertation, Department of Computer and Information Science, University of Pennsylvania.
21. HICKS, M., MOORE, J. T., AND NETTLES, S. 2001. Dynamic software updating. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation. Snowbird, UT. ACM, New York, 13-23.
22. 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. Montreal, Canada. R. Harper, Ed. Lecture Notes in Computer Science, vol. 2071. Springer-Verlag, New York. 147-176.
23. 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. New Orelands, LA. 65-76.
24. HOFMEISTER, C. 1993. Dynamic reconfiguration. Ph.D. dissertation, Computer Science Department, University of Maryland, College Park, MD.
25. JAVA 2002. The Java HotSpot virtual machine, vl.4.1, d2. Available at http://java.sun.com/ products/hotspot/docs/whitepaper/Java_Hotspot_vl. 4.%,1/JHS_141_WP_d2a. pdf.
26. KRAMER, J. AND MAGEE, J. 1990. The evolving philosophers problem: Dynamic change management. IEEE Trans. Softw. Eng. 16, 11, 1293-1306.
27. LEE, I. 1983. DYMOS: A dynamic modification system. Ph.D. thesis, Department of Computer Science, University of Wisconsin, Madison.
28. MAGEE, J., KRAMER, J., AND SLOMAN, M. 1989. Constructing distributed systems in Conic. IEEE Trans. Softw. Eng. 15, 6 (June), 663-675.
29. MALABARBA, S., PANDEY, R., GRAGG, J., BARR, E., AND BARNES, J. F. 2000. Runtime support for type-safe dynamic Java classes. In Proceedings of the 14th European Conference on Object-Oriented Programming. Sophia Antipolis, France. In Lecture Notes in Computer Science, vol. 1850.
30. MORRISETT, G., CRARY, K., GLEW, N., GROSSMAN, D., SAMUELS, R., SMITH, F., WALKER, D., WEIRICH, S., AND ZDANCEWIC, S. 1999a. TALx86: A realistic typed assembly language. In Proceedings of the 2nd Workshop on Compiler Support for System Software. Atlanta, GA. 25-35.
31. MORRISETT, G., WALKER, D., CRARY, K., AND GLEW, N. 1999b. From System F to typed assembly language. ACM Trans. Prog. Lang. Syst. 21, 3 (May), 527-568.
32. MOSBERGER, D. AND JIN, T. 1998. HTTPERF: A tool for measuring web server performance. In Proceedings of the 1st Workshop on Internet Server Performance. Madison, WI. ACM, New York, 59-67.
33. NECULA, G. 1997. Proof-carrying code. In Proceedings of the 24th ACM Symposium on Principles of Programming Languages, Paris, France. ACM, New York, 106-119.
34. OEHLER, M. AND GLENN, R. 1997. HMAC-MD5 IP authentication with replay prevention. Internet RFC 2085.
35. PAI, V. S., DRUSCHEL, P., AND ZWAENEPOEL, W 1999. Flash: An efficient and portable Webserver. In Proceedings of the USENIX Annual Technical Conference (Monterey, CA). 106-119.
36. PESCOVITZ, D. 2000. Monsters in a box. Wired 8, 12, 341-347.
37. 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. July.
38. PRATT, J. W. AND GIBBONS, J. D. 1981. Concepts of Nonparametric Theory. Springer-Verlag, New York.
39. RAMKUMAR, B. AND STRUMPEN, V. 1997. Portable checkpointing for heterogenous architectures. In Proceedings of the Symposium on Fault-Tolerant Computing. Seattle, WA. 58-67.
40. SEGAL, M. E. AND FRIEDER, O. 1993. On-the-fly program modification: Systems for dynamic updating. IEEE Softw. 10, 2, 53-65.
41. SEWELL, P. 2001. Modules, abstract types, and distributed versioning. In Proceedings of the 28th ACM Symposium on Principles of Programming Languages (London, England). ACM, New York. 236-247.
42. 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 USENIX. San Antonio, TX. 141-154.
43. TENNENHOUSE, D. L., SMITH, J. M., SINCOSKIE, W. D., WETHERALL, D. J., AND MINDEN, G. J. 1997. A survey of active network research. IEEE Commun. Mag. 35, 1 (Jan.), 80-86.
44. TOOL INTERFACE STANDARDS COMMITTEE. 1995. Executable and Linking Format (ELF) specification.
45. TRIDGELL, A. AND MACKERRAS, P. 1996. The rsync algorithm. Tech. Rep. TR-CS-96-05, Canberra 0200 ACT, Australia, http://samba.anu.adu.au/rsync/.
46. WEBSTONE. 2001. Mindcraft-WebStone benchmark information, http://www.mindcraft.com/ webstone.