Micro-Kernels
Dr. Yair Wiseman's home page
A. S. Tanenbaum, J. N. Herder and H. Bos,
"Can We Make Operating Systems Reliable and Secure?", IEEE Computer,
Vol. 39(5), pp. 44-51, May 2006.
S. Hand, A. Warfield, K. Fraser, E. Kotsovinos
and D. Magenheimer, "Are Virtual Machine Monitors Microkernels Done
Right?", Proceedings of the Tenth Workshop on Hot Topics in Operating
Systems (HotOS-X), June 12-15, Santa-Fe, NM, 2005.
J. Liedtke, "Toward Real MicroKernels",
Communications of the ACM, Vol. 39(9), September 1996.
J. Liedtke, "On Micro-Kernel Construction",
Proceedings of the 15th ACM Symposium on Operating System Principles,
ACM, December 1995.
D. B. Golub, R. Dean, A. Forin and R. F.
Rashid. "Unix as an Application Program", Proceedings of the USENIX
Summer Conference, June 1990.
P. Druschel, "Modularity and Protection are
Orthogonal, or Why -kernel Architectures are Flawed" (Abstract),
Operating Systems Review Vol. 26(2) p. 22, 1992.
R. V. Baron, D. Black, W. Bolosky, J. Chew, R.
P. Draves, D. B. Golub, R. F. Rashid, A. Tevanian Jr., and
M. W. Young, "Mach Kernel Interface Manual", School of Computer
Science, Carnegie Mellon University. August 1990.
T. P. Scheuermann, "Evolution in
Microkernel Design", Computer Science Department, University of North
Carolina, Chapel Hill, NC, 2002.
The L4 MicroKernel
B. N. Bershad, C. Chambers, S. Eggers, C. Maeda,
D. McNamee, P. Pardyak, S. Savage and E. Gun Sirer, "SPIN - An Extensible
Microkernel for Application-specific Operating System Services", ACM
Operating Systems Review, Vol. 29(1), January 1995.
D. R. Engler, "The Exokernel Operating System
Architecture", Ph.D. thesis, Massachusetts Institute of Technology,
October 1998.
T. Leschke, "Achieving Speed and Flexibility
by Separating Management from Protection: Embracing the Exokernel
Operating System", Operating Systems Review, Vol. 38(4), pp. 5-19,
October 2004.
X. Lu and S. F. Smith, "A Microkernel Virtual
Machine: Building Security with Clear Interfaces", ACM SIGPLAN Workshop on
Programming Languages and Analysis for Security, Ottawa, Canada, June
10, pp. 47-56, 2006.
T. Maeda, "Safe Execution of User Programs in
Kernel Mode Using Typed Assembly Language", Master Thesis, The
Graduate School of The University of Tokyo, February 2002.
G. Anzinger and N. Gamble, "Design of a Fully Preemptable Linux
Kernel", MontaVista Software, September 2000.