Multikernel: Difference between revisions
Content deleted Content added
| Line 7: | Line 7: | ||
*[[eMCOS]]<ref>eSOL eMCOS distributed kernel, https://www.esol.com/embedded/emcos.html</ref> |
*[[eMCOS]]<ref>eSOL eMCOS distributed kernel, https://www.esol.com/embedded/emcos.html</ref> |
||
*[[HarmonyOS]] |
*[[HarmonyOS]] |
||
*[[OpenHarmony]] |
|||
==References== |
==References== |
||
Revision as of 00:54, 21 December 2023
A multikernel operating system treats a multi-core machine as a network of independent cores, as if it were a distributed system. It does not assume shared memory but rather implements inter-process communications as message-passing.[1][2] Barrelfish was the first operating system to be described as a multikernel.
See also
- Amoeba distributed operating system
- Barrelfish
- Distributed operating system
- eMCOS[3]
- HarmonyOS
- OpenHarmony
References
- ^ Baumann et al., "The Multikernel: a new OS architecture for scalable multicore systems", to appear in 22nd Symposium on Operating Systems Principles (2009), http://research.microsoft.com/pubs/101903/paper.pdf
- ^ The Barrelfish operating system, http://www.barrelfish.org/.
- ^ eSOL eMCOS distributed kernel, https://www.esol.com/embedded/emcos.html