2021.10.04

Introduction

详细看看引用论文的论据在现在操作系统是否成立。

  • [5] A.W. Appel and K. Li. Virtual memory primitives for user programs, In Fourth International Conference on Architecture Support for Programming Languages and Operating Systems, pages 96-107, Santa Clara, CA, April 1991.
  • [10] P. Cao, E. W. Felten, and K. Li. Implementation and perfor- mance of application-controlled file caching. In Proceedings of the First Symposium on Operating Systems Design and Implementation, pages 165–1 78, November 1994.
  • [26] K. Harty and D.R. Cheriton. Application-controlled physi- cal memory using external page-cache management. In Ftfth International Conference on Architecture Support for Pro- gramming Lunguages and Operating Systems, pages 187-199, October 1992.
  • [47] M. Stonebraker. Operating system support for database management. Communications of the ACM, 24(7): 412-418, July 1981.
  • [50] C. A. Thekkath and H. M. Levy. Hardware and software support for efficient exception handling. In Sixth Interna- tional Conference on Architecture Support for Programming Lmrguages and Operating Systems, pages 110-121, October

重要的思想：“to separate protection from management”

不采用给每个“程序”虚拟机的方案

2021.10.05

硬件要提供什么支持，才能让exokernel只暴露出特定的特权指令。

文章没有说。莫否是提供同名函数调用？