操作系统研究该走向何方？

操作系统研究该走向何方？

拼性能 ？至少在单核或小数量多核(NR_CORE < 16)的领域已经做得遥遥领先了。在多余16核的方面，K42作出了很好的尝试。在Clustered Objects的帮助下，多核情况下性能高出linux不少。

拼稳定性 ？这个概念其实很虚，一方面稳定性依赖于上层应用特征，另一方面依赖于底层硬件质量。可以做的有二：其一是写好代码，可惜这与科研无关；其二是做好容错，一旦错误能够让损失最小化。对于商用系统，一般稳定性都较好。在集群中由于机器数量巨大，稳定性问题依然存在。

拼支持能力 ？Linux驱动在业界也得到了广泛支持。最新的内核中，GPU的支持已经得以实现。

拼灵活性 ？linux的确很庞杂了，但庞杂是否就意味着不灵活？

拼平台性 ？linux对于用户层来说的确是一个很好的平台，对驱动层来说，基本是一个符合需求的平台，但是如果用户想要更进一步，能够从内核策略上完全定制系统，linux则非常不合适。XEN是怎样一个平台？有待调研。一个well-define的平台尚不存在。我们能不能从平台的角度出发，搞出一套具有前瞻性的/有实用性的东西来？

拼微体系结构支持 ？这个可以调研一下。Linux是否完整利用了全部微体系结构提供的特性？

拼模块化 ？Microkernel和Monokernel之间是否存在一种折中？既不损失模块化，同时不损失效率？解决这个问题需要弄明白微内核从本质上带来了什么好处。