Composing OS extensions safely and efficiently with Bascule

Proceedings of the 8th ACM European Conference on Computer Systems, EuroSys 2013

Volumn , Issue , 2013, Pages 239-252

  Baumann, Andrew ^a   Lee, Dongyoon ^b   Fonseca, Pedro ^c   Glendenning, Lisa ^d   Lorch, Jacob R ^a   Bond, Barry ^a   Olinsky, Reuben ^a   Hunt, Galen C ^a  

^a MICROSOFT RESEARCH   (United States)

^b UNIVERSITY OF MICHIGAN   (United States)

^c MAX PLANCK INSTITUTE FOR SOFTWARE SYSTEMS   (Germany)

^d UNIVERSITY OF WASHINGTON   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION DEVELOPERS; ARCHITECTURE ADAPTATION; BINARY INTERFACES; CHECK POINTING; COMPOSABLE; FILE SYSTEMS; VIRTUAL MEMORY; WINDOWS 7;

COMPUTER OPERATING SYSTEMS;

BRIDGES;

EID: 84877720812     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2465351.2465375     Document Type: Conference Paper

References (35)

1. Jonathan Appavoo, Marc Auslander, David Edelsohn, Dilma Da Silva, Orran Krieger, Michal Ostrowski, Bryan Rosenburg, Robert W. Wisniewski, and Jimi Xenidis. Providing a Linux API on the scalable K42 kernel. In Proceedings of the 2003 USENIX Annual Technical Conference, FREENIX Track, pages 323-336, June 2003.
2. Andrew Baumann, Paul Barham, Pierre-Evariste Dagand, Tim Harris, Rebecca Isaacs, Simon Peter, Timothy Roscoe, Adrian Schüpbach, and Akhilesh Singhania. The multikernel: a new OS architecture for scalable multicore systems. In Proceedings of the 22nd ACM Symposium on Operating Systems Principles, pages 29-44, October 2009.
3. Adam Belay, Andrea Bittau, Ali Mashtizadeh, David Terei, David Mazières, and Christos Kozyrakis. Dune: Safe user-level access to privileged CPU features. In Proceedings of the 10th USENIX Symposium on Operating Systems Design and Implementation, pages 335-348, October 2012.
4. Brian N. Bershad, Stefan Savage, Przemysław Pardyak, Emin Gün Sirer, Marc E. Fiuczynski, David Becker, Craig Chambers, and Susan Eggers. Extensibility, safety and performance in the SPIN operating system. In Proceedings of the 15th ACM Symposium on Operating Systems Principles, pages 267-284, December 1995.
5. Sandeep Bhatkar, Daniel C. DuVarney, and R. Sekar. Address obfuscation: an efficient approach to combat a broad range of memory error exploits. In Proceedings of the 12th USENIX Security Symposium, pages 105-120, August 2003.
6. Thomas C. Bressoud and Fred B. Schneider. Hypervisor-based fault tolerance. ACM Transactions on Computer Systems, 14(1):80-107, February 1996.
7. David R. Cheriton and Kenneth J. Duda. A caching model of operating system kernel functionality. In Proceedings of the 1st USENIX Symposium on Operating Systems Design and Implementation, 1994.
8. Christopher Clark, Keir Fraser, Steven Hand, Jacob Gorm Hansen, Eric Jul, Christian Limpach, Ian Pratt, and Andrew Warfield. Live migration of virtual machines. In Proceedings of the 2nd USENIX Symposium on Networked Systems Design and Implementation, pages 273-286, 2005.
9. Heming Cui, Jingyue Wu, John Gallagher, Huayang Guo, and Junfeng Yang. Efficient deterministic multithreading through schedule relaxation. In Proceedings of the 23rd ACM Symposium on Operating Systems Principles, pages 337-351, 2011.
10. Brendan Cully, Geoffrey Lefebvre, Dutch Meyer, Mike Feeley, Norm Hutchinson, and Andrew Warfield. Remus: high availability via asynchronous virtual machine replication. In Proceedings of the 5th USENIX Symposium on Networked Systems Design and Implementation, pages 161-174, 2008.
11. Cygwin. http://cygwin.com/.
12. John R. Douceur, Jeremy Elson, Jon Howell, and Jacob R. Lorch. Leveraging legacy code to deploy desktop applications on the web. In Proceedings of the 8th USENIX Symposium on Operating Systems Design and Implementation, pages 339-354, December 2008.
13. George W. Dunlap, Samuel T. King, Sukru Cinar, Murtaza A. Basrai, and Peter M. Chen. ReVirt: Enabling intrusion analysis through virtual-machine logging and replay. In Proceedings of the 5th USENIX Symposium on Operating Systems Design and Implementation, pages 211-224, 2002.
14. Dawson R. Engler, M. Frans Kaashoek, and James O'Toole, Jr. Exokernel: An operating system architecture for application-level resource management. In Proceedings of the 15th ACM Symposium on Operating Systems Principles, pages 251-266, December 1995.
15. Bryan Ford, Mike Hibler, Jay Lepreau, Patrick Tullmann, Godmar Back, and Stephen Clawson. Microkernels meet recursive virtual machines. In Proceedings of the 2nd USENIX Symposium on Operating Systems Design and Implementation, pages 137-151, October 1996.
16. Douglas P. Ghormley, David Petrou, Steven H. Rodrigues, and Thomas E. Anderson. SLIC: An extensibility system for commodity operating systems. In Proceedings of the 1998 USENIX Annual Technical Conference, June 1998.
17. David Given. LBW: Linux binaries on Windows, April 2010. http://lbw.sf.net/.
18. Galen Hunt and Doug Brubacher. Detours: Binary interception of Win32 functions. In Proceedings of the 3rd USENIX Windows NT Workshop, July 1999.
19. Michael B. Jones. Interposition agents: transparently interposing user code at the system interface. In Proceedings of the 14th ACM Symposium on Operating Systems Principles, pages 80-93, 1993.
20. M. Frans Kaashoek, Dawson R. Engler, Gregory R. Ganger, Héctor M. Briceño, Russell Hunt, David Mazières, Thomas Pinckney, Robert Grimm, John Jannotti, and Kenneth Mackenzie. Application performance and flexibility on Exokernel systems. In Proceedings of the 16th ACM Symposium on Operating Systems Principles, pages 52-65, October 1997.
21. Yousef A. Khalidi and Michael N. Nelson. Extensible file systems in Spring. In Proceedings of the 14th ACM Symposium on Operating Systems Principles, pages 1-14, 1993.
22. Samuel T. King, George W. Dunlap, and Peter M. Chen. Debugging operating systems with time-traveling virtual machines. In Proceedings of the 2005 USENIX Annual Technical Conference, pages 1-15, April 2005.
23. Dongyoon Lee, Benjamin Wester, Kaushik Veeraraghavan, Satish Narayanasamy, Peter M. Chen, and Jason Flinn. Respec: efficient online multiprocessor replay via speculation and external determinism. In Proceedings of the 15th International Conference on Architectural Support for Programming Languages and Operating Systems, pages 77-90, 2010.
24. I. M. Leslie, D. McAuley, R. Black, T. Roscoe, P. Barham, D. Evers, R. Fairbairns, and E. Hyden. The design and implementation of an operating system to support distributed multimedia applications. IEEE Journal on Selected Areas in Communications, 14(7), September 1996.
25. Microsoft. Programming Guide for 64-bit Windows: Running 32-bit Applications, June 2012. http://msdn.microsoft.com/library/windows/desktop/ aa384249.aspx.
26. Dejan S. Miloj́ičić, Fred Douglis, Yves Paindaveine, Richard Wheeler, and Songnian Zhou. Process migration. ACM Computing Surveys, 32(3):241-299, September 2000.
27. Edmund B. Nightingale, Peter M. Chen, and Jason Flinn. Speculative execution in a distributed file system. In Proceedings of the 20th ACM Symposium on Operating Systems Principles, pages 191-205, 2005.
28. Edmund B. Nightingale, Kaushik Veeraraghavan, Peter M. Chen, and Jason Flinn. Rethink the sync. In Proceedings of the 7th USENIX Symposium on Operating Systems Design and Implementation, 2006.
29. Donald E. Porter, Silas Boyd-Wickizer, Jon Howell, Reuben Olinksy, and Galen C. Hunt. Rethinking the library OS from the top down. In Proceedings of the 16th International Conference on Architectural Support for Programming Languages and Operating Systems, pages 291-304, March 2011.
30. Timothy Roscoe, Kevin Elphinstone, and Gernot Heiser. Hype and Virtue. In Proceedings of the 11th Workshop on Hot Topics in Operating Systems, May 2007.
31. Margo I. Seltzer, Yasuhiro Endo, Christopher Small, and Keith A. Smith. Dealing with disaster: Surviving misbehaved kernel extensions. In Proceedings of the 2nd USENIX Symposium on Operating Systems Design and Implementation, pages 213-228, November 1996.
32. Joseph Tucek, Shan Lu, Chengdu Huang, Spiros Xanthos, and Yuanyuan Zhou. Triage: diagnosing production run failures at the user's site. In Proceedings of the 21st ACM Symposium on Operating Systems Principles, pages 131-144, 2007.
33. Andrew Whitaker, Richard S. Cox, Marianne Shaw, and Steven D. Gribble. Constructing services with interposable virtual hardware. In Proceedings of the 1st USENIX Symposium on Networked Systems Design and Implementation, pages 169-182, 2004.
34. Wine. http://www.winehq.org/.
35. Emmett Witchel, Josh Cates, and Krste Asanović. Mondrian memory protection. In Proceedings of the 10th International Conference on Architectural Support for Programming Languages and Operating Systems, pages 304-316, 2002.