Multikernel: Difference between revisions
Content deleted Content added
Tom.Reding (talk | contribs) m Disambiguated: multicore → Multi-core processor |
Guy Harris (talk | contribs) Put link behind paper title. (And a note that should have been in the edit summary for the edit that removed HarmonyOS etc.; for anybody who wants to argue that any Huawei OS with "Harmony" in its name is a multikernel in the sense of this article, see Talk:HarmonyOS#Misuse of the term "multikernel"?.) |
||
| (29 intermediate revisions by 20 users not shown) | |||
| Line 1: | Line 1: | ||
A '''multikernel''' [[operating system]] treats a [[ |
A '''multikernel''' [[operating system]] treats a [[multi-core processor|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]].<ref>Baumann et al., [https://people.inf.ethz.ch/troscoe/pubs/sosp09-barrelfish.pdf "The Multikernel: a new OS architecture for scalable multicore systems"], to appear in 22nd Symposium on Operating Systems Principles (2009)</ref><ref>The Barrelfish operating system, http://www.barrelfish.org/.</ref> [[Barrelfish (operating system)|Barrelfish]] was the first operating system to be described as a multikernel. |
||
<ref>The Barrelfish operating system, http://www.barrelfish.org/.</ref> |
|||
==See also== |
==See also== |
||
* |
*[[Amoeba distributed operating system]] |
||
* |
*[[Distributed operating system]] |
||
*[[eMCOS]]<ref>eSOL eMCOS distributed kernel, https://www.esol.com/embedded/emcos.html</ref> |
|||
*[[BlueOS]] |
|||
==References== |
==References== |
||
{{Reflist}} |
|||
<references/> |
|||
{{Operating system}} |
|||
[[Category:Scheduling (computing)]] |
|||
[[Category:Distributed operating systems]] |
|||
[[de:Multikernel]] |
|||
[[Category:Operating system kernels]] |
|||
Latest revision as of 07:43, 1 May 2024
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[edit]
References[edit]
- ^ Baumann et al., "The Multikernel: a new OS architecture for scalable multicore systems", to appear in 22nd Symposium on Operating Systems Principles (2009)
- ^ The Barrelfish operating system, http://www.barrelfish.org/.
- ^ eSOL eMCOS distributed kernel, https://www.esol.com/embedded/emcos.html