On Micro-Kernel Construction.¶
Liedtke, J. (1995). On Micro-Kernel Construction. Proceedings of the 15th ACM Symposium on Operating Systems Principles (SOSP), 237-250.
Cited by¶
2 citations across 2 artifacts.
Each citation links to the sentence it supports in the citing article.
Primes¶
- Message Passing
- The microkernel insight — a small message-passing core with services as autonomous processes — finds an analogue in diplomatic structures where ambassadors are autonomous nodes communicating via formal messages.
This sourceArgues for a small message-passing kernel core with services as autonomous communicating processes.
Supported in partVerified against the work's full text
Liedtke supports the microkernel half: a minimal kernel with servers as user-level processes communicating by IPC messages; the diplomatic-structures analogue is not in the paper.
“IPC is not only the basic concept for com- munication between subsystems but also, together with address spaces, the foundation of independence.”
- The microkernel insight — a small message-passing core with services as autonomous processes — finds an analogue in diplomatic structures where ambassadors are autonomous nodes communicating via formal messages.
- Open-Closed Principle
- Operating-system architecture isolates a small immutable microkernel from user-space drivers, services, and extensions.
This sourceArgues for a minimal, stable microkernel (the minimality principle) with services and drivers in user space — the kernel/extension split in OS architecture.
Supported in partVerified against the work's full text
Liedtke argues for a minimal microkernel with drivers and other subsystems running as user-level processes; it does not describe the kernel as immutable or as an extension boundary.
“The basic idea of the ~-kernel approach is to minimize this part, i.e. to implement outside the kernel whatever possible.”
- Operating-system architecture isolates a small immutable microkernel from user-space drivers, services, and extensions.
Verification¶
Does it exist? Confirmed. This work's DOI resolves to a registered record, which fixes its identity. That is all it fixes.
Does it back the claim? Read against the text for 2 of 2 citations: 2 supported in part. Each verdict is shown under its citation below, with what in the work backs the sentence.
Support is checked per citation rather than per work — the same source can be cited soundly in one article and wrongly in another. Per-citation recording began recently, so a citation with no recorded check is a gap in the record rather than evidence it went unchecked.
See how references were verified.
Registry ID ref:645bdc55e84c · see in the full table