Practical dynamic software updating for C

ACM SIGPLAN Notices

Volumn 41, Issue 6, 2006, Pages 72-83

  Neamtiu, Iulian ^a   Hicks, Michael ^a   Stoyle, Gareth ^b   Oriol, Manuel ^c  

^a UNIVERSITY OF MARYLAND   (United States)

^b UNIVERSITY OF CAMBRIDGE   (United Kingdom)

^c ETH ZURICH   (Switzerland)

Author keywords

Dynamic software updating; Function indirection; Loop extraction; Type wrapping

Indexed keywords

DYNAMIC SOFTWARE UPDATING; FUNCTION INDIRECTION; LOOP EXTRACTION; TYPE WRAPPING;

AUTOMATION; COMPUTER SOFTWARE; DYNAMIC PROGRAMMING; PROGRAM COMPILERS; SERVERS; THROUGHPUT;

C (PROGRAMMING LANGUAGE);

EID: 33745192313     PISSN: 03621340     EISSN: 03621340     Source Type: Journal    
DOI: 10.1145/1133255.1133991     Document Type: Article

References (35)

1. A. Aiken, J. S. Foster, J. Koduraal, and T. Terauchi. Checking and inferring local non-aliasing. In Proc. PLDI, 2003.
2. G. Altekar, I. Bagrak, P. Burstein, and A. Schultz. OPUS: Online patches and updates for security. In Proc. USENIX Security, 2005.
3. J. Armstrong, R. Virding, C. Wikstrom, and M. Williams. Concurrent programming in ERLANG (2nd ed.). Prentice Hall International Ltd., 1996.
4. A. Baumann, J. Appavoo, D. D. Silva, J. Kerr, O. Krieger, and R. W. Wisniewski. Providing dynamic update in an operating system. In Proc. USENIX ATC, 2005.
5. T. Bloom. Dynamic Module Replacement in a Distributed Programming System. PhD thesis, MIT/LCS, March 1983.
6. T. Bloom and M. Day. Reconfiguration and module replacement in Argus: theory and practice. Software Engineering Journal, 8(2): 102-108, 1993.
7. C. Boyapati, B. Liskov, L. Shrira, C.-H. Moh, and S. Richman. Lazy modular upgrades in persistent object stores. In Proc. OOPSLA, 2003.
8. G. Bronevetsky, M. Schulz, P. Szwed, D. Marques, and K. Pingali. Application-level checkpointing for shared memory programs. In Proc. ASPLOS, 2004.
9. B. Buck and J. K. Hollingsworth. An API for runtime code patching. Journal of High Performance Computing Applications, 14(4):317-329, 2000.
10. C. Calcagno. Stratified Operational Semantics for Safety and Correctness of The Region Calculus. In POPL, 2001.
11. S. Drossopoulou and S. Eisenbach. Flexible, source level dynamic linking and re-linking. In Proc. Workshop on Formal Techniques for Java Programs, 2003.
12. D. Duggan. Type-based hot swapping of running modules. In ICFP, 2001.
13. O. Frieder and M. E. Segal. On dynamically updating a computer program: From concept to prototype. The Journal of Systems and Software, 14(2): 111-128, 1991.
14. S. Gilmore, D. Kirli, and C. Walton. Dynamic ML without dynamic types. Technical Report ECS-LFCS-97-378, LFCS, University of Edinburgh, 1997.
15. A. Goldberg and D. Robson. Smalltalk 80 - the Language and its Implementation. Addison-Wesley, Reading, 1989.
16. D. Gupta. On-line Software Version Change. PhD thesis, Indian Institute of Technology, Kanpur, November 1994.
17. M. W. Hicks. Dynamic Software Updating. PhD thesis, The University of Pennsylvania, August 2001.
18. G. Hjálmtýsson and R. Gray. Dynamic C++ classes, a lightweight mechanism to update code in a running program. In Proc. USENIX ATC, 1998.
19. Java platform debugger architecture. This supports class replacement. See http://java/sun.com/j2se/1.4.2/docs/guide/jpda/
20. The K42 Project. http://www.research.ibm.com/K42/.
21. J. Kodumal and A. Aiken. Banshee: A scalable constraint-based analysis toolkit. In Proc. SAS, September 2005.
22. D. E. Lowell, Y. Saito, and E. J. Samberg. Devirtualizable virtual machines enabling general, single-node, online maintenance. In Proc. ASPLOS, 2004.
23. J. M. Lucassen and D. K. Gifford. Polymorphic Effect Systems. In POPL, 1988.
24. S. Malabarba, R. Pandey, J. Gragg, E. Barr, and J. F. Barnes. Runtime support for type-safe dynamic Java classes. In Proc. ECOOP, 2000.
25. G. C. Necula, S. McPeak, S. P. Rahul, and W. Weimer. CIL: Intermediate language and tools for analysis and transformation of C programs. LNCS, 2304:213-228, 2002.
26. D. Oppenheimer, A. Brown, J. Beck, D. Hettena, J. Kuroda, N. Treuhaft, D. A. Patterson, and K. Yelick. Roc-1: Hardware support for recovery-oriented computing. IEEE Trans. Comput., 51(2):100-107, 2002.
27. A. Orso, A. Rao, and M. Harrold. A technique for dynamic updating of Java software. In Proc. ICSM, 2002.
28. S. Parker. A simple equation: IT on = Business on. The IT Journal, Hewlett Packard, 2001.
29. J. S. Plank. An overview of checkpointing in uniprocessor and distributed systems, focusing on implementation and performance. Technical Report UT-CS-97-372, Computer Science Department, the University of Tennessee, 1997.
30. J. M. Smith. A survey of process migration mechanisms. ACM Operating Systems Review, SIGOPS, 22(3):28-40, 1988.
31. C. Soules, J. Appavoo, K. Hui, D. D. Silva, G. Ganger, O. Krieger, M. Stumm, R. Wisniewski, M. Auslander, M. Ostrowski, B. Rosenburg, and J. Xenidis. System support for online reconfiguration. In Proc. USENIX ATC, June 2003.
32. G. Stoyle. A Theory of Dynamic Software Updates. PhD thesis, Computer Laboratory, University of Cambridge. To appear.
33. G. Stoyle, M. Hicks, G. Bierman, P. Sewell, and I. Neamtiu. Mutatis Mutandis: Safe and predictable dynamic software updating. In Proc. POPL, 2005.
34. M. Tofte and J.-P. Talpin. Region-based memory management. Information and Computation, 132(2): 109-176, 1997.
35. B. Zorn. Personal communication, based on experience with Microsoft Windows customers, August 2005.