Reboots are for Hardware: Challenges and Solutions to Updating an Operating System on the Fly

USENIX 2007 - 2007 USENIX Annual Technical Conference

Volumn , Issue , 2007, Pages 337-350

  Baumann, Andrew ^a   Appavoo, Jonathan ^b   Wisniewski, Robert W ^b   Silva, Dilma Da ^b   Krieger, Orran ^b   Heiser, Gernot ^a  

^a UNIVERSITY OF NEW SOUTH WALES   (Australia)

^b IBM T J WATSON RESEARCH CENTER   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DYNAMICS;

BUG FIXES; BUILDING DYNAMICS; DYNAMIC UPDATE; MODULAR DYNAMICS; ON-THE-FLY; ORIGINAL SYSTEMS; PERFORMANCE; SERVICE INTERRUPTION; UPDATE INTERFACES; UPDATE MECHANISMS;

LINUX;

EID: 78249234838     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (30)

1. S. Ajmani. Automatic Software Upgrades for Distributed Systems. PhD thesis, Computer Science and Artificial Intelligence Laboratory, Massachusetts Institute of Technology, Sep 2004. Also as Technical Report MIT-LCS-TR-1012.
2. G. Altekar, I. Bagrak, P. Burstein, and A. Schultz. OPUS: Online patches and updates for security. In 14th USENIX Security Symp., pages 287-302, Aug 2005.
3. J. Armstrong, R. Virding, C. Wikström, and M. Williams. Concurrent Programming in ERLANG, chapter 9, pages 121-123. Prentice Hall, 2nd edition, 1996.
4. A. Baumann, G. Heiser, J. Appavoo, D. Da Silva, O. Krieger, R. W. Wisniewski, and J. Kerr. Providing dynamic update in an operating system. In 2005 Ann. USENIX, pages 279-291, Apr 2005.
5. A. Baumann, J. Kerr, J. Appavoo, D. Da Silva, O. Krieger, and R. W. Wisniewski. Module hot-swapping for dynamic update and reconfiguration in K42. In 6th Linux.Conf.Au, Apr 2005.
6. C. Boyapati, B. Liskov, L. Shrira, C.-H. Moh, and S. Richman. Lazy modular upgrades in persistent object stores. In OOPSLA, pages 403-417, Oct 2003.
7. B. M. Cantrill, M. W. Shapiro, and A. H. Leventhal. Dynamic instrumentation of production systems. In 2004 Ann. USENIX, pages 15-28, Jun 2004.
8. H. Chen, R. Chen, F. Zhang, B. Zang, and P.-C. Yew. Live updating operating systems using virtualization. In 2nd VEE, pages 35-44, Jun 2006.
9. E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design Patterns. Addison-Wesley, 1995.
10. S. Gilmore, D. Kírlí, and C. Walton. Dynamic ML without dynamic types. Technical Report ECS-LFCS-97-378, Department of Computer Science, The University of Edinburgh, Dec 1997.
11. P. Gray. Experts question Windows patch policy. ZDNet News, Nov 2003. http://news.zdnet.com/2100-100922-5105454.html.
12. D. Gupta and P. Jalote. On-line software version change using state transfer between processes. Softw.: Pract. & Exp., 23(9):949-964, Sep 1993.
13. O. Krieger, M. Auslander, B. Rosenburg, R. W. Wisniewski, J. Xenidis, D. Da Silva, M. Ostrowski, J. Appavoo, M. Butrico, M. Mergen, A. Waterland, and V. Uhlig. K42: Building a complete operating system. In EuroSys Conf., pages 133-145, Apr 2006.
14. I. Lee. DYMOS: A Dynamic Modification System. PhD thesis, University of Wisconsin-Madison, May 1983.
15. K. Makris and K. D. Ryu. Dynamic and adaptive updates of non-quiescent subsystems in commodity operating system kernels. In EuroSys Conf., Mar 2007.
16. K. B. Mierle, K. Laven, S. T. Roweis, and G. V. Wilson. CVS data extraction and analysis: A case study. Technical Report UTML TR 2004-002, Dept of Computer Science, University of Toronto, Sep 2004.
17. I. Neamtiu, J. S. Foster, and M. Hicks. Understanding source code evolution using abstract syntax tree matching. In 2nd MSR, pages 2-6, May 2005.
18. I. Neamtiu and M. Hicks. Dynamic software updating for the Linux kernel. OSDI, Work-in-Progress Session, Nov 2006. Seattle, WA, USA.
19. I. Neamtiu, M. Hicks, G. Stoyle, and M. Oriol. Practical dynamic software updating for C. In PLDI, Jun 2006.
20. A. Orso, A. Rao, and M. J. Harrold. A technique for dynamic updating of Java software. In Int. Conf. Softw. Maintenance, Oct 2002.
21. Y. Padioleau, J. L. Lawall, and G. Muller. Understanding collateral evolution in Linux device drivers. In EuroSys Conf., pages 59-71, Apr 2006.
22. S. Potter and J. Nieh. Reducing downtime due to system maintenance and upgrades. In 19th LISA, pages 47-62, Dec 2005.
23. E. Rescorla. Security holes... who cares? In 12th USENIX Security Symp., pages 75-90, Aug 2003.
24. M. E. Segal and O. Frieder. On-the-fly program modification: Systems for dynamic updating. Softw., 10(2):53-65, Mar 1993.
25. D. Stewart and M. M. T. Chakravarty. Dynamic applications from the ground up. In ACM SIGPLAN Haskell WS, Sep 2005.
26. M. M. Swift, M. Annamalai, B. N. Bershad, and H. M. Levy. Recovering device drivers. In 6th OSDI, Dec 2004.
27. A. Tamches and B. P. Miller. Fine-grained dynamic instrumentation of commodity operating system kernels. In 3rd OSDI, pages 117-130, Feb 1999.
28. E. Witchel, J. Rhee, and K. Asanović. Mondrix: Memory isolation for Linux using Mondriaan memory protection. In 20th SOSP, Oct 2005.
29. T. Woerner. Understanding the Linux kernel initcall mechanism, Oct 2006. http://geek.vtnet.ca/doc/initcall/.
30. T. Zimmermann and P. Weißgerber. Preprocessing CVS data for fine-grained analysis. In 1st MSR, May 2004.