2021.10.18

总结:

引言

  1. 需要解决“为什么理论和实际性能、扩展性不一致”的问题。
  2. u-kernel的一些概念
  3. Flexibility
  4. Performance, Facts & Rumors
  5. Non-Portability

概念

地址空间

内核暴露给子系统之间的操作

  • grant,子系统之间给予/接受物理页
  • map
  • flush

Flexibility

就是指可是实现各种上层应用。列举了各个模块相关的参考文献。

Performance, Facts & Rumors

内核用户转换(系统调用):分析所需指令周期。现实的u-kernel应该是写的太差,所以很慢。

地址空间转换(切进程):通过测量多个真实系统粉碎谣言/误判

访存:通过排除法,说明Mach本身实现有问题。

Non-Portability