现代学术操作系统-2001.pdfVIP

现代学术操作系统 林仕鼎 现代学术操作系统 概述 操作系统从50 年代以来已经发展了相当长的一段时间。内核体系结构也由传统的单机 单体内核结构，进化到现代的分布式、微内核结构。虽然，微内核结构的提出已有很长时间 了，却还是没有取得对传统单体内核的压倒性胜利。总结起来，有如下几点原因。 首先，微内核结构十分庞大。在内核内需要实现许多功能，如复杂的现代虚存系统、多 种不同的硬件设备、对通讯手段进行优化等，这些都大大增加了kernel 的大小。为了提高性 能，原先在 kernel 之外实现的服务进程重新移入内核之中，如 Mach 的某些版本，便将 inter-machine network server 移入内核中。 其次，随着应用程序与系统的日趋复杂，与领域相关的资源分配策略 （domain-specific resource allocation policy ）日益重要，而在此方面微内核并不比单体内核支持得更好。例如， 类UNIX 系统中的标准页面置换策略，对于随机或串行访问的应用程序而言，便表现很差。 将传统的操作系统的内核功能放置在微内核结构的server 中，并不能给予应用程序更多的控 制权，因为这些server 还是固定的、受保护的系统服务。在微内核中加入各种资源管理策略， 也无法取得应用程序需要的效率，而且还增加了kernel 的大小和复杂性。 而且，微内核中，需要实现大量的异常处理机制用于处理硬件或其他server 和应用程序 模块引起的错误，虽然这些错误不一定经常发生。 在微内核之后，学术界对操作系统体系结构的研究，归结起来，有如下特点： 1. 不再注重内核是微内核结构还是单体内核结构。 2. 将机制 （mechanism ）与策略 （policy ）分开。在内核中只提供少量的处理机制，而 将复杂的策略放置在用户空间，或者让应用程序完成。将机制与策略分离有很大好 处，大大减小内核的尺寸，让应用程序得到了更多的对系统资源的控制权，而且提 高了系统的可扩展性。 3. 通过各种方式给予应用程序更多的控制权。 4. 通过动态加载代码提高内核的可扩展性。 当前学术操作系统项目 1. Synthesis (Columbia University) Synthesis 内核是最早采用运行时代码生成 （run-time code generation ，code synthesis ）和 细粒度调度技术（fine-grained scheduling ）的系统，主要用以对高速设备动态并快速做出响 应。使用68000 宏汇编编写。Synthesis 影响了多数现在可扩展操作系统，如SPIN, Aegis, Scout 以及Synthetix 。 2. SPACE (University of California, Santa Barbara) SPACE 使用多重保护域（multiple protection domains ）来提供操作系统服务。许多基本 1 / 6 现代学术操作系统 林仕鼎 元素（fundamental paradigms ）――如线程、虚存等――的多个实例，可以共存，因为它们 在用户空间实现。Kernel 就是用以实现保护域的一系列机制，这些机制能够按application 所 需进行更换，由此提供其他操作系统无法做到的基础级别的可扩展性（a fundamental level of extensibility ）。 3. Synthetix (Oregon Graduate Institute) 3.1 URL /DISC/projects/synthetix/ 3.2 目标 高度模块化特性（highly modular ）和高性能（high performance ） 3.3 关键技术 增量定制（incremental specialization ） 细粒度模块化（fine-grain modularity ） 动态代码生成（dynamic code g