Safe and timely dynamic updates for multi-threaded programs

ACM SIGPLAN Notices

Volumn 44, Issue 6, 2009, Pages 13-24

  Neamtiu, Iulian ^a   Hicks, Michael ^b  

^a UNIVERSITY OF CALIFORNIA   (United States)

^b UNIVERSITY OF MARYLAND   (United States)

Author keywords

Dynamic software updating; Multi threading; Update safety; Update timeliness

Indexed keywords

DYNAMIC SOFTWARE UPDATING; DYNAMIC UPDATE; MULTI-THREADED PROGRAMS; MULTI-THREADING; MULTITHREADED; PROGRAM POINTS; PROGRAM STATE; RUNTIME SUPPORT; SINGLE-THREADED; UPDATE SAFETY; UPDATE TIMELINESS;

COMPUTER SOFTWARE;

PROGRAM DEBUGGING;

EID: 67650824997     PISSN: 15232867     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Conference Paper

References (24)

1. Gautam Altekar, Ilya Bagrak, Paul Burstein, and Andrew Schultz. Opus: online patches and updates for security. In USENIX Security, 2005.
2. Jeff Arnold and Frans Kaashoek. Ksplice: Automatic rebootless kernel updates. In EuroSys, 2009.
3. Andrew Baumann, Jonathan Appavoo, Robert W. Wisniewski, Dilma Da Silva, et al. Reboots are for hardware: challenges and solutions to updating an operating system on the fly. In USENIX ATC, 2007.
4. Haibo Chen, Rong Chen, et al. Live updating operating systems using virtualization. In VEE, 2006.
5. Haibo Chen, Jie Yu, Rong Chen, Binyu Zang, and Pen-Chung Yew. PO-LUS: A powerful live updating system. In ICSE, 2007.
6. Deepak Gupta, Pankaj Jalote, and Gautam Barua. A formal framework for on-line software version change. IEEE TSE, 22(2), 1996.
7. Tim Harris, Simon Marlow, Simon L. Peyton Jones, and Maurice Herlihy. Composable memory transactions. In PPOPP, 2005.
8. Michael Hicks and Scott Nettles. Dynamic software updating. ACM Trans. Program. Lang. Syst., 27(6), 2005.
9. K42. The K42 Project. http://www.research.ibm.com/K42/.
10. Insup Lee. DYMOS: A Dynamic Modification System. PhD thesis, Dept. of Computer Science, University of Wisconsin, Madison, April 1983.
11. Kristis Makris and Rida Bazzi. Multi-threaded dynamic software updates using stack reconstruction. In USENIX ATC, 2009.
12. Kristis Makris and Kyung Dong Ryu. Dynamic and adaptive updates of non-quiescent subsystems in commodity operating system kernels. In EuroSys, 2007.
13. Iulian Neamtiu. Practical Dynamic Software Updating. PhD thesis, University of Maryland, College Park, August 2008.
14. Iulian Neamtiu and Michael Hicks. Safe and timely updates to multithreaded programs. Technical report, UC Riverside, June 2009.
15. Iulian Neamtiu, Jeffrey S. Foster, and Michael Hicks. Understanding Source Code Evolution Using Abstract Syntax Tree Matching. In MSR, 2005.
16. Iulian Neamtiu, Michael Hicks, Gareth Stoyle, and Manuel Oriol. Practical dynamic software updating for C. In PLDI, 2006.
17. Iulian Neamtiu, Michael Hicks, Jeffrey S. Foster, and Polyvios Pratikakis. Contextual effects for version-consistent dynamic software updating and safe concurrent programming. In POPL, January 2008.
18. Polyvios Pratikakis, Jeffrey S. Foster, and Michael Hicks. Context-sensitive correlation analysis for detecting races. In PLDI, 2006.
19. Stelios Sidiroglou, Sotiris Ioannidis, and Angelos D. Keromytis. Band-aid patching. In HotDep, 2007.
20. C. Soules, J. Appavoo, K. Hui, et al. System support for online reconfiguration. In USENIX ATC, 2003.
21. Gareth Stoyle, Michael Hicks, Gavin Bierman, Peter Sewell, and Iulian Neamtiu. Mutatis Mutandis: Safe and flexible dynamic software updating. TOPLAS, 29(4), August 2007.
22. Suriya Subramanian, Michael Hicks, and Kathryn S. McKinley. Dynamic software updates for Java: A VM-centric approach. In PLDI, June 2009.
23. Jean-Pierre Talpin and Pierre Jouvelot. Polymorphic type, region and effect inference. JFP, 2, 1992.
24. Chris Walton. Abstract Machines for Dynamic Computation. PhD thesis, University of Edinburgh, 2001. ECS-LFCS-01-425.