Multikernel Knowpia

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.

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), https://people.inf.ethz.ch/troscoe/pubs/sosp09-barrelfish.pdf
^ The Barrelfish operating system, http://www.barrelfish.org/.
^ eSOL eMCOS distributed kernel, https://www.esol.com/embedded/emcos.html

[1] Baumann et al., "The Multikernel: a new OS architecture for scalable multicore systems", to appear in 22nd Symposium on Operating Systems Principles (2009), https://people.inf.ethz.ch/troscoe/pubs/sosp09-barrelfish.pdf

[2] The Barrelfish operating system, http://www.barrelfish.org/.

[3] SOL eMCOS distributed kernel, https://www.esol.com/embedded/emcos.html

[1]

[2]

[3]

Summary

See also edit

References edit