Ein Multikernel-Betriebssystem behandelt einen Mehrkernprozessor als ein Netzwerk aus einzelnen Kernen, in etwa als wäre der Prozessor ein Verteiltes System. Ein solches System benutzt Message-Passing an Stelle von Shared Memory. Das Prinzip, jeden Rechenkern als ein eigenes System zu betrachten und nur Message-Passing zu benutzen, ermöglicht es...