微內(nèi)核

微內(nèi)核（Micro kernel）是提供操作系統(tǒng)核心功能的內(nèi)核的精簡(jiǎn)版本，它設(shè)計(jì)成在很小的內(nèi)存空間內(nèi)增加移植性，提供模塊化設(shè)計(jì)，以使用戶安裝不同的接口，如DOS、Workplace OS、Workplace UNIX等。IBM、Microsoft、開(kāi)放軟件基金會(huì)（OSF）和UNIX系統(tǒng)實(shí)驗(yàn)室（USL）等新操作系統(tǒng)都采用了這一研究成果的優(yōu)點(diǎn)。

微內(nèi)核的優(yōu)缺點(diǎn)

一、優(yōu)點(diǎn)

系統(tǒng)服務(wù)模塊化，可移植性高；

內(nèi)核安全性提高（模塊內(nèi)部的 Bug 不影響內(nèi)核穩(wěn)定，將黑客利用軟件漏洞造成的破壞限制在單個(gè)模塊內(nèi)部）；

可以多套系統(tǒng)服務(wù)共存，相當(dāng)于同時(shí)運(yùn)行多種操作系統(tǒng)；

穩(wěn)定統(tǒng)一的接口（可以獨(dú)立維護(hù)私有驅(qū)動(dòng)以及服務(wù)，不需要跟內(nèi)核源碼綁定）；

在商業(yè)上，微內(nèi)核可以避免代碼受到一些開(kāi)源協(xié)議的影響，比如 GPL 協(xié)議；

內(nèi)核精簡(jiǎn)，可以進(jìn)行形式化驗(yàn)證，利用數(shù)學(xué)證明內(nèi)核的安全性；

數(shù)學(xué)可證明的實(shí)時(shí)性；

非常適合多處理器系統(tǒng)設(shè)計(jì)，在多處理器核心計(jì)算機(jī)上，互相依賴的系統(tǒng)服務(wù)可以同時(shí)運(yùn)行；

二、缺點(diǎn)

通過(guò)進(jìn)程通信的方式交換數(shù)據(jù)或者調(diào)用系統(tǒng)服務(wù)，而不是使用系統(tǒng)調(diào)用，造成額外的操作系統(tǒng)開(kāi)銷；

使用一些頻繁使用的系統(tǒng)服務(wù)時(shí)，比如網(wǎng)絡(luò)收發(fā)數(shù)據(jù)，造成的進(jìn)程上下文切換對(duì)操作系統(tǒng)來(lái)說(shuō)也是一個(gè)負(fù)擔(dān)；

由于系統(tǒng)服務(wù)高度模塊化，系統(tǒng)服務(wù)之間存在大量的內(nèi)存復(fù)制；

對(duì)互相之間存在復(fù)雜調(diào)用關(guān)系的系統(tǒng)服務(wù)，難以設(shè)計(jì)通信接口；

系統(tǒng)服務(wù)與內(nèi)核在地址空間上分離，造成代碼局部性差，降低了 cache 命中率。