POLUS: A pOwerful live updating system

Proceedings - International Conference on Software Engineering

Volumn , Issue , 2007, Pages 271-280

  Chen, Haibo ^a   Yu, Jie ^a   Chen, Rong ^a   Zang, Binyu ^a   Yew, Pen Chung ^b  

^a FUDAN UNIVERSITY   (China)

^b UNIVERSITY OF MINNESOTA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE MAINTENANCE; HTTP; SCHEDULING; SERVERS; SOFTWARE DESIGN;

BINARY COMPATIBILITY; PERFORMANCE DEGRADATION; PERFORMANCE MEASUREMENTS;

COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 34548713464     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSE.2007.65     Document Type: Conference Paper

References (19)

1. G. Altekar, I. Bagrak, P. Burstein, and A. Schultz. OPUS: Online Patches and Updates for Security. In Proc. USENIX Security, Baltimore, MD USA, 2005.
2. A. Baumann, G. Heiser, J. Appavoo, D. D. Silva, O. Krieger, R. W. Wisniewski, and J. Kerr. Providing dynamic update in an operating system. In Proc. USENIXATC, pages 279-291, Anaheim, CA, USA, April 2005. USENIX Association.
3. C. Boyapati, B. Liskov, L. Shrira, C.-H. Moh, and S. Richman. Lazy modular upgrades in persistent object stores. In Proc. OOPSLA, October 2003.
4. H. Chen, R. Chen, F. Zhang, B. Zang, and P.-C. Yew. Live updating operating systems using virtualization. In Proc. VEE, pages 35-44, Ottawa, Canada, June 2006.
5. R. S. Fabry. How to design a system in which modules can be changed on the fly. In Proc. ICSE, pages 470-476, 1976.
6. O. Frieder and M. E. Segal. On dynamically updating a computer program: from concept to prototype. The Journal of System Software, 14(2): 111-128, 1991.
7. S. Gilmore, D. Kirli, and C.Walton. Dynamic ml without dynamic types. Technical Report ECS-LFCS-97-378, University of Edinburgh, 1997.
8. D. Gupta. On-line Software Version Change. PhD thesis, Indian Institute of Technology, Kanpur, November 1994.
9. D. Gupta, P. Jalote, and G. Barua. A formal framework for on-line software version change. IEEE Transaction on Software Engineering, 22(2):120-131, February 1996.
10. M. W. Hicks, J. T. Moore, and S. Nettles. Dynamic software updating. In Proc. PLDI, pages 13-23, 2001.
11. G. Hjalmtysson and R. Gray. Dynamic c++ classes, a lightweight mechanism to update code in a running program. In Proc. USENIXATC, 1998.
12. D. E. Lowell, Y. Saito, and E. J. Samberg. Devirtualizable virtual machines enabling general, single-node, online maintenance. ACM SIGOPS Operating Systems Review, 38(5):211-223, 2004.
13. S. Malabarba, R. Pandey, J. Gragg, E. Barr, and J. F. Barnes. Runtime support for type-safe dynamic java classes. In Proc. ECOOP, pages 337-361, 2000.
14. I. Neamtiu, M. Hicks, G. Stoyle, and M. Oriol. Practical dynamic software updating for c. In Proc. PLDI, pages 72-83, June 2006.
15. G. C. Necula, S. McPeak, S. P. Rahul, and W. Weimer. Cil: Intermediate language and tools for analysis and transformation of c programs. In Proc. CC'02, pages 213-228, 2002.
16. H. M. Orso A., Rao A. A technique for dynamic updating of java software. In Proc. ICSM, pages 649-658, 2002.
17. D. A. Patterson, A. Brown, P. Broadwell, G. Candea, M. Chen, J. Cutler, P. Enriquez, A. Fox, E. Kiciman, M. Merzbacher, D. Oppenheimer, N. Sastry, W. Tetzlaff, J. Traupman, and N. Treuhaft. Recovery-Oriented Computing (ROC):Motivation, Definition, Techniques, and Case Studies. Technical Report UCB//CSD-02-1175, University of California, Berkeley, March 2002.
18. D. Pescovitz. Monsters in a box. Wired, 8(12):341-347, 2000.
19. G. Stoyle, M. Hicks, G. Bierman, P. Sewell, and I. Neamtiu. Mutatis Mutandis: Safe and predictable dynamic software updating. In Proc. POPL, pages 183-194, January 2005.