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.
- 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.
- Operating-system architecture isolates a small immutable microkernel from user-space drivers, services, and extensions.
Verification¶
This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.
Registry ID ref:645bdc55e84c · see in the full table