The Design and Implementation of the Anykernel and Rump Kernels

256
Art of Virtualization. In: Proceedings of the ACM Symposium on Operating
Systems Principles, pages 164–177.
[12] Andrew Baumann, Paul Barham, Pierre-Evariste Dagand, Tim Harris, Rebecca
Isaacs, Simon Peter, Timothy Roscoe, Adrian Schüpbach, and Akhilesh
Singhania. 2009. The Multikernel: A new OS architecture for scalable multicore
systems. In: Proceedings of the ACM Symposium on Operating Systems
Principles, pages 29–44.
[13] Fabrice Bellard. 2005. QEMU, a Fast and Portable Dynamic Translator. In:
Proceedings of the USENIX Annual Technical Conference, FREENIX Track,
pages 41–46.
[14] Brian N. Bershad, Thomas E. Anderson, Edward D. Lazowska, and Henry M.
Levy. 1990. Lightweight Remote Procedure Call. ACM Transactions on
Computer Systems 8, pages 37–55.
[15] Jeff Bonwick. 1994. The Slab Allocator: An Object-Caching Kernel Memory
Allocator. In: Proceedings of the USENIX Summer Technical Conference,
pages 87–98.
[16] Jeff Bonwick. Oct 31, 2005. ZFS: The Last Word in Filesystems. URL
http://blogs.oracle.com/bonwick/entry/zfs_the_last_word_in.
[17] Jeffrey S. Chase, Henry M. Levy, Michael J. Feeley, and Edward D. Lazowska.
1994. Sharing and Protection in a Single-Address-Space Operating System.
ACM Transactions on Computer Systems 12, no. 4, pages 271–307.
[18] Andy Chou, Junfeng Yang, Benjamin Chelf, Seth Hallem, and Dawson Engler.
2001. An Empirical Study of Operating Systems Errors. In: Proceedings
of the ACM Symposium on Operating Systems Principles, pages 73–88.
ACM.
[19] Adam M. Costello and George Varghese. 1995. Redesigning the BSD Callout
and Timer Facilities. Technical Report WUCS-95-23, Washington University.