该论文在对现有相关技术和系统进行分析的基础上,提出了一种新型的操作系统构造方法-服务体模型,引入了服务体/执行流两种新的概念分别作为运行模型和存储模型的基本抽象,并依此进行了操作系统的设计与实现.围绕着上述论题,该论文的工作主要从四个方面展开:现有技术和系统的分析,服务体模型技术基础,基于服务体模型的操作系统设计技术以及原型系统的实现与测试.该文首先对单一大内核操作系统、微内核操作系统、单地址空间操作系统、分布共享存储和分布式文件系统、永久性操作系统等进行了具体分析,揭示了已有操作系统在运行模型和存储模型上的缺陷,为后继的研究和论述奠定了理论和技术基础.服务体模型的基本抽象是执行流和服务体,以此为基础上我们提出了服务体间通讯机制和基于服务体模型的操作系统体系结构.在基于服务体模型的操作系统中驱动程序等所有操作系统组成部分以及DBMS等传统的以用户进程形式实现的服务器,都被组织为相应的服务体,使用执行流完成数据处理.服务体模型将单内核模型和微内核模型统一起来,可使系统在运行效率方面接近单内核模型,在扩展性、灵活性等方面等同于微内核模型.在对基于服务体模型的操作系统设计技术的研究中,对服务体空间管理、对象管理、I/O管理等部分的设计进行了系统的论述,并将面向对象技术应用到 操作系统的设计中,使系统设计和系统实现相分离.操作系统的活动归结为以服务体间通讯机制为基础的一系列对象的交互过程,从而使得操作系统易于维护、管理和归档.MiniCoreXP是我们设计实现的基于服务体模型的原型系统,功能已相对完善,支持常见的网络协议、文件系统以及硬件外设并可二进制级兼容Linux应用程序,目前已经被移植到ARM和IA32两种平台上.我们还构造了相应的测试环境对MiniCoreXP的功能和运行效率进行了实际测量与分析,验证了该文所提出的服务体模型及其系统设计技术的正确性和有效性.