= On micro-kernel construction by Jochen Liedtke
{c}
{tag=Work by Jochen Liedtke}
{title2=1995}
{title2=10.1145/224057.224075}
By <Jochen Liedtke>.
Publisher: Association for Computing Machinery.
Published in Proceedings of the 15th ACM Symposium on Operating Systems Principles (SOSP); also ACM SIGOPS Operating Systems Review, 29(5), pp. 237–250.
Online text: https://flint.cs.yale.edu/cs428/doc/p237-liedtke.pdf
Cited passages: Liedtke, On micro-kernel construction, section 2, pp. 238–240: minimality criterion, address spaces, threads and IPC; section 3, pp. 240–241: user-level services; Liedtke, On micro-kernel construction, section 4.1, pp. 241–244: kernel-user switches, address-space switches, and discussion of hardware-dependent cache and TLB effects.
Back to article page
