Jump to content

Multikernel

From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by Rolland-esol (talk | contribs) at 13:11, 20 February 2019 (adding eSOL eMCOS). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

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]

See also

References

  1. ^ 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
  2. ^ The Barrelfish operating system, http://www.barrelfish.org/.
  3. ^ eSOL eMCOS distributed kernel, https://www.esol.com/embedded/emcos.html