sel4 l4linux,L4微内核系列

历史

由于意识到Mach微内核在设计和性能上的缺陷，许多开发人员在90年代中期开始重新审视整个微内核的概念。Mach为了支持一些除了Unix环境以外并不是特别有用的概念，而在进程间通讯(IPC)中增加了大量的额外开销。IPC系统本身就是一个分布式开销的经典案例。在单用户系统中，比如说手机，许可和权限的检查就显得不是那么重要。虽然Mach宣称自己是一个微内核，但是看起来实际上它包含了远超过它所必需的东西。

约亨·李德克想要证明更薄的IPC层、对性能更关注并与硬件特性相关(和与平台无关相对)的设计，会更贴近现实世界中的性能改进。相对于Mach的复杂的IPC系统，他的L3仅简单的传递消息，而没有任何额外的开销。安全和权限被视为同其它用户空间所必需的服务器一样。L3也使用了各种硬件的特性来传递消息，让每个调用都最大化的利用硬件特性，像寄存器。相对而言，Mach则使用的是one-size-fits-all的通用机制，以牺牲性能为代价而获取可移植性。这些改变大量减少IPC中额外的开销。在同样的系统中，Mach需要114毫秒来发送即使是最短的消息，而L3可以用少于10毫秒的时间来发送同样的消息。一次系统调用的时间比Unix所花费的一半还少，而Mach执行同样的系统调用需要5倍于Unix的时间。通过在TÜV SÜD中使用多年，L3被证明是一个安全的操作系统内核。

在L3之后，约亨·李德克开始意识到其它的一些Mach的概念也存在同样的问题。这导致了更简单地L4的诞生，由于太简单了，随后L4被证明是具有高可移植性的。

回顾历史，大多数Mach的性能问题似乎只能以重新设计来解决。例如，在Mach微内核与宏内核的比较中的另一个主要的瓶颈是在一个真实的"服务器"集系统中内核无法知道怎样有效地进行分页内存。开发者们使用宏内核可以，并且已经投入了可观的时间以试图了解内核的内存使用的精确性质，然后调整他们的系统来利用这些优点。在微内核上开发者无法知道是什么组成系统，而且除了一些特例之外无法更近地监视内存使用。

Liedtke决定这个问题的解决方案是简单地从内核中移除全部分页工作，并允许每个应用程序应用以前只能应用于宏内核的调整形式。在L4系统下，操作系统(相对于内核)被期望提供分页服务，潜在地可以以很多种形式，允许开发者选取最适合于他们的工作的方式。内核的角色减少到知道这样的系统存在并提供一个支持它们的机制。在L4下，这总共需要三个函数：Grant，Map和Unmap。

结果设计哲学变成了最小化的。就像L4/MIPS的作者们所表述的：“一项特性当且仅当安全需要它在特权模式被实现时才应该在微内核里”。Mach关注于跨平台的可移植性，多处理器支持和其它“下一件大事”的主机。

一个基于L4的操作系统必须提供那些上一代宏内核内部所内置的服务。例如，为了实现一个类Unix的安全系统，服务器必须提供像Mach内核所内置的权限管理。进一步说，消息在多数情况下必须检查其有效性。但仍不清楚的是，在L4之上运行的真实的操作系统的端对端性能是否会显著快于一个基于Mach创建的系统。在一个移植到L4之上运行的Linux，和另一个移植到Mach之上运行的MkLinux，与基本的Linux系统本身之间的测试清楚地表明了L4的性能的优势。即使在最好的情况下MkLinux运行得比宏内核慢15%，而同时L4只慢大约5-10%。更进一步移植Linux系统的开发，而不是为测试而实现，有可能提高(性能)到一定程度。