seL4和紫红色的内核之间在概念上有什么区别?

时间:2018-09-21 03:26:39

标签: microkernel fuchsia sel4

本来我以为Fuchsia是第一个广泛使用基于功能的安全性的内核,但是看起来在seL4中它们也是主要的安全性原语。

1 个答案:

答案 0 :(得分:5)

紫红色是基于功能的操作系统,它建立在Google的Zircon微内核之上,而Zircon微内核本身就是基于little kernel

Zircon与seL4进行比较,或者将Genode(在seL4上运行)之类的操作系统框架与Fuchsia进行比较比较有意义。我将简要比较seL4和Zircon。

seL4提供了最少的机制,并且是为高安全性系统设计的。 Zircon提供了很多策略,并且并非为高保证而设计,而是着眼于实用性。我相信两者都是以高性能为目标。简而言之,与Zircon相比,seL4是一个非常小的微内核。

例如,尽管seL4提供了构建过程抽象的机制,但它根本没有定义过程。相比之下,Zircon在微内核本身中内置了很多策略,包括流程。当为特定平台进行配置时,seL4具有许多属性(功能正确性,完整性,隔离性)的证明,而Zircon则没有。