1、浅析组件机制和操作系统的实现1 引言当前，操作系统的功能不断扩展，操作系统的类型呈现出多样化的趋向。一个小规模的开发小组已经不可能完全从头开始实现一个实用的操作系统，而一般情况下，探究人员只对操作系统的一些特定领域感喜好，而对于另外一些元素,如启动加载代码、核心启动代码、设备驱动程序和内存分配代码等往往不感喜好，但是一个可运行的原型系统又必须包含这些内容。编写这些基础结构延缓了操作系统探究项目的进度，同时也增加了进行操作系统探究的代价。为了解决这一新问题，犹他大学的FLUX 探究小组开发了 OSKit，它提供了一个框架和一组模块化的、具有简单接口的库以及一组清楚的、可重用的 OS 组件。OSK
2、it 可以用来构建操作系统内核、外层服务和其他核心 OS 功能模块。OSKit 提供了各种功能模块，诸如简单自举，一个可用于内核的最小化 POSIX 环境、和物理内存和其约束一致的内存管理、广泛的调试支持，以及高层子系统如协议栈和文件系统。开发者可以根据自己的探究喜好或所要考虑的性能来使用这些模块，或用他们自己的模块来替代标准的 OSKit 模块。OSKit 公开了它内部的实现细节，答应用户从成熟的操作系统中不加修改地提取代码，然后通过一小部分经过仔细设计的粘接代码将它们合并到一起，隔离它们的依靠性，并输出良好定义的接口。OSKit 使用这一技术整合了许多稳定而成熟的源代码，包括设备驱动、文件
3、系统、网络协议等等。实践表明，使用组件软件架构和重用技术会给操作系统实现领域带来大的影响。2 组件技术简介组件技术是一种较新的软件开发技术。到目前为止，还难以确定组件技术的明确定义。比如，对组件技术的常见说法有以下这些摘要：“二进制软件单元” 、 “任意场合可部署的软件” 、 “非凡适合第三方开发”和“规范定义的接口”等等。大致上可以这样理解摘要：所谓组件，其实就是一种可部署软件的代码包，其中包括某些可执行模块。组件单独开发并作为软件单元使用，它具有明确的接口，软件就是通过这些接口调用组件所能提供的服务，多种组件可以联合起来构成更大型的组件乃至直接建立整个系统。组件的实现必须支持一种或者多种其
4、用户所希望获得的接口。实现组件并不一定需要采用面向对象语言。为了构造新应用程序，软件开发人员找出适当的组件，将这些组件加入到正在开发中的应用程序，同时对应用程序进行测试并保证应用程序的组装工作按照预定的规划正常进行。采用组件技术能降低开发、测试和维护成本,提高可靠性和稳定性。3 Oskit 组件综述OSKIT 的组件库提供了一般情况下更高层的功能，它通常只对外开放一些相关的公用调用接口。目标系统通过 OSKit 的面向对象的 COM 接口来和这些组件进行交互。以下几节概述了 OSKit 所提供的组件。3 1 引导程序大多数操作系统多有自身的启动加载机制，彼此互不兼容。这种加载机制的多样性并不是
5、由于每个 OS 所要求的自举服务不同而引起，而是由于构建启动加载器的特定方式造成的。因为从操作系统探究的立场来看，启动加载器是一个令人不敢喜好的领域，因此 OS 开发者通常进行一个最小化、快捷的设计。由于设计理念和要求的稍微差别，每个启动加载器都不适用于下一个 OS。为了解决这个新问题，OSKit 直接支持多启动标准，这一标准是由几个 OS 项目的成员共同设计的，它的目的是提供一个简单而通用的启动加载器和 OS 内核间的接口，从而答应一个启动加载器加载任何兼容的 OS。在进行操作系统探究时，多启动标准非常有用，这其中的主要原因是启动加载器在加载内核自身的同时还具有加载附加文件或者启动模块的能力
6、。这里的一个启动模块只是一个普通文件，启动加载器不以任何方式解释它，而仅仅把它随同内核映像一起加载到保留物理内存块中。在启动内核时，启动加载器提供给内核以下内容摘要：物理地址的列表、所有已加载的启动模块的大小，以及和每个模块相联系的由用户定义的字符串。这些启动模块和和它们相联系的用户定义的字符串由内核解释。这样做的目的是为了通过提供内核启动时需要的数据，诸如初始化程序、设备驱动和文件系统服务器，来减轻内核启动的负担。32 核心支持库 OSKit 核心支持库的主要用途是让客户 OS 更轻易访问硬件设施。它包含了一个较大的实用函数和符号定义的集合，该集合对于管理模式代码是非常具体的。和此相对应，O
7、SKit 的大多数其他库在用户模式代码中通常很有用。和 OSKit 的其余部分所不同的是，多数核心支持代码必须是针对特定系统结构的，而这些特定机器的细节对客户 OS 也是有用的。例如，在 x86 机器上，核心支持库包含一些函数，用来创建和操纵 x86 页表和段寄存器。其他 OSKit 组件通常提供建立在这些低层机制上的和体系结构无关的设施，但是为了提供最大的灵活性，和特定结构相关的接口始终可以被访问。OSKit 核心支持库在 x86 体系结构上尤为重要，因为该体系结构的 OS 级编程环境非凡复杂和模糊。核心支持库仔细地设置了一个基本的 32 位执行环境（为了和 MS-DOS 兼容，x86 处理
8、器通常以 16 位模式开始）,初始化段和页转换表，安装一个中断向量表，并提供缺省的陷阱和中断处理程序。当然，客户 OS 能够修改或重载这些行为。然而，在缺省情况下，核心支持库自动地做所有必要的工作，以便使处理器进入一个方便的执行环境，此时中断、陷阱、调试以及其他标准设施已经如预期的那样开始工作。该库在缺省情况下自动地定位所有随内核加载的启动模块，并保留它们所在的物理内存。接下来，应用程序可以很轻易使用它们。客户 OS 只需以标准 C 语言风格提供一个 main()函数。一切都设置好以后，内核支持库将用所有参数和由启动加载器传递过来的环境变量来调用它。33 内存管理库如同在一个标准 C 语言库中
9、实现的 malloc()一样，内存管理代码典型地用于用户空间。通常并不适用于内核。设备驱动经常需要分配特定类型的内存，并伴随具体的调整属性。例如，对于内建的 DMA 控制器只能访问最初的 16M 物理内存。为解决这些内存管理新问题，OSKit 包含了两个简单而灵活的内存管理库摘要：(1)基于队列的内存管理器（或称 LMM）,它提供了功能强大且高效的原语来进行分配管理，并支持在一个池中管理多种类型的内存。(2)地址映射管理器（或称 AMM）被设计用来管理不必直接映射到物理内存或虚拟内存的地址空间，它对 OS 的其他方面提供了类似的支持，诸如进程地址空间、分页、空闲块或 IPC 名字空间的管理。尽
10、管这些库可以很轻易地应用在用户空间，但实际上它们是被非凡设计用来满足 OS 内核的需求。34 最小 C 语言库成熟的 OS 内核一般都包含着相当数量的仅仅用来重新实现基本的 C 语言库函数如 printf()和 malloc()的代码。和此形成对比的是，OSKit 提供了一个最小化 C 语言函数库，它围绕着最小化依靠性而不是最大化函数性和性能的原则来设计。35 调试支持OSKit 的一个最实用的好处是摘要：给定一个适当的硬件设置，它马上就能提供给 OS 开发者一个完全源代码级的内核调试环境。OSKit 内核支持库包括一个可用于 GNU 调试器（GDB）的串行存根模块，它在客户 OS 环境中处理
11、陷阱，并使用 GDB 的标准远程调试协议通过一个串行程序和运行在另一台机器上的 GDB 通信。甚至当客户机 OS 执行自己的陷阱处理时，OSKit 的 GDB 存根模块也是可用的。假如客户 OS 提供适当的钩子，它甚至支持多线程调试。除了基本的调试器支持，OSKit 也提供了一个内存分配调试库，它可以跟踪内存分配并检测一般的错误，如缓冲区溢出和释放已释放的内存。这个库提供了和许多普通应用程序调试器相似的功能性，所不同的是它运行在由 OSKit 提供的最小内核环境中36 设备驱动支持在 OS 开发和维护中最艰巨的一个任务是支持多种多样的 I/O 硬件。这些复杂的设备常会含有潜在的错误，而新硬件的
12、发布又经常伴随着不兼容的软件接口。由于这些原因，OSKit 采用了为现有内核开发的稳定的、经过充分测试的驱动程序。OSKit 使用了一种封装技术，将现有的驱动程序代码基本上未加修改地合并到 OSKit 中。这些现有的驱动程序被一个OSKit 粘结代码层所包装，从而使得这些驱动程序可以在和开发它们的环境完全不同的环境中工作。目前，来自 Linux 的大多数以太网卡、SCSI和 IDE 磁盘的设备驱动程序被包括进来，总数超过了五十种。用同样的方式，来自 FreeBSD 的八个字符设备驱动程序也被包含了进来，它们支持标准 PC 控制台和串口及不同的多串口板。由于 OSKit 把这些驱动仔细地进行了包
13、装，FreeBSD 驱动程序可以和 Linux 驱动程序一起工作。37 协议栈OSKit 提供了一个完整的 TCP/IP 网络协议栈。如同驱动程序一样，有关网络的代码也可以通过封装机制被合并进来。OSKit 当前可以从 Linux 中获取网络设备驱动程序，它们是 PC 平台可获得的最大的免费资源。OSKit 的网络组件继续于 FreeBSD4.4,它通常被认为具有更多成熟的网络协议。这显示了使用封装机制将现有软件包装成灵活的组件的第二个优点摘要：即从不同的资源中获取最好的组件，并让它们一起被使用。38 文件系统通过使用封装技术，OSKit 吸收了 NetBSD 的基于磁盘的文件系统代码。Net
14、BSD 之所以被选择为首要资源库，是因为在可用的系统中，它的文件系统代码被最清楚地分离了出来，而 FreeBSD 和 Linux 的文件系统和它们的虚拟内存系统结合的更紧密。当前，OSKit 也把 Linux 文件系统合并了进来，以便能够支持多种类型的文件系统格式，如 Windows95、OS/2和 System V 的文件系统格式等等。OSKit 文件系统输出的 COM 接口类似于许多 Unix 文件系统所使用的内部VFS 接口。这些接口具有很好的粒度，使我们可以不必接触 OSKit 文件系统的内部。例如，OSKit 接口只接受简单的路径名组件，答应平安封装的代码执行适当的访问许可检查。4
15、OSKit 的目前状况自从在 1996 年 6 月发布了 OSKit 的第一个公开发行版以来，OSKit 已经更新了多次，每次更新都增加了一些算法，并修正了一些错误。最新的发行版是 2002 年 3 月的版本。由此可见，OSKit 一直处于操作系统开发平台的前沿，其自身也在不断完善和发展。5 结论作为一个操作系统探究和开发的平台，OSKit 大大减轻了操作系统探究和开发者的负担。它可以让开发人员避开复杂的底层，而把喜好集中和他们所感喜好的领域。开发者可以用自己编写的组件来取代 OSKit 中的部分组件，以满足自己特定的需要，从而丰富了操作系统的应用层。总之，OSKit 满足了实际客户系统的需求，有助于操作系统的探究和开发。参考文献(1) 汤海京 基于面向对象操作系统开发平台（OSKit）的分析和程序设计 http 摘要:/ Michael Hohmuth Using the OSKit as a base for L4 applications(3) Bryan Ford Kevin Van Maren Jay Lepreau Stephen Clawson Bart Robinson Jeff Turner_ The Flux OS Toolkit 摘要: Reusable Components for OS Implementation
