原来Jos(MIT 6.828中使用的kernel)是exokernel-like内核

今天又去看了下MIT的JOS课程，里边的一个homework介绍让我产生了兴趣，原话是这样的：

Homework: OS Organization

This lecture will provide an introduction to operating system organizations, monolithic, microkernel, etc. The assigned paper describes the exokernel organization. The JOS operating system you build in lab is organized like an exokernel.

Assignment: read the exokernel paper and try to understand as well as you can. Don't worry if you don't get the paper now. It will give you a good idea of what the end result of the labs will be, and by the end of the semester you will understand this paper very well.

从介绍中，我们可以了解到，JOS是一个类exokernel的内核。前段时间和同学讨论JOS到底是什么样的内核，他说JOS是微内核。当时，我很怀疑JOS是微内核这一说法，因为从L4微内核来看，微内核最根本的一些元素是地址空间、线程和IPC这些操作系统原语，而在JOS中，我并未明显地看到这些元素，也许是我自己对JOS研究的还不够深吧。反正JOS不是monolithic内核，也许JOS不是纯微内核，从大的方面来说，它应该算是微内核，但从操作系统结构组织上来说，它算作exokernel-like内核。

JOS、exokernel、L4微内核... 有太多太多的东西我还不知道，有太多太多的东西需要我去探索。