Multikernel

A multikernel operating system treats a multicore machine as a network of independent cores -- in other words, 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

• Amoeba distributed operating system
• Distributed operating system

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/.