微內核

微內核（Micro kernel）是提供操作系統核心功能的內核的精簡版本，它設計成在很小的內存空間內增加移植性，提供模塊化設計，以使用戶安裝不同的接口，如DOS、Workplace OS、Workplace UNIX等。IBM、Microsoft、開放軟件基金會（OSF）和UNIX系統實驗室（USL）等新操作系統都采用了這一研究成果的優點。

微內核的優缺點

一、優點

系統服務模塊化，可移植性高；

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

可以多套系統服務共存，相當于同時運行多種操作系統；

穩定統一的接口（可以獨立維護私有驅動以及服務，不需要跟內核源碼綁定）；

在商業上，微內核可以避免代碼受到一些開源協議的影響，比如 GPL 協議；

內核精簡，可以進行形式化驗證，利用數學證明內核的安全性；

數學可證明的實時性；

非常適合多處理器系統設計，在多處理器核心計算機上，互相依賴的系統服務可以同時運行；

二、缺點

通過進程通信的方式交換數據或者調用系統服務，而不是使用系統調用，造成額外的操作系統開銷；

使用一些頻繁使用的系統服務時，比如網絡收發數據，造成的進程上下文切換對操作系統來說也是一個負擔；

由于系統服務高度模塊化，系統服務之間存在大量的內存復制；

對互相之間存在復雜調用關系的系統服務，難以設計通信接口；

系統服務與內核在地址空間上分離，造成代碼局部性差，降低了 cache 命中率。