摘要： 介绍一种新的操作系统抽象模型——服务体/执行流模型(SEFM)。在该模型中，数据存储抽象与数据运算抽象相互分离，计算模型直接对应于物理CPU执行程序的过程。给出一个基于SEFM的操作系统——MiniCore的功能结构。该系统与其他主流操作系统进行比较测试的结果表明，MiniCore的同步消息通信与Linux管道通信相比效率高出3倍多，比Win98管道高出62倍多，MiniCore的网络通信效率与Linux相当。通过不同负载下视频解码播放的时延分布可以看出，MiniCore比Linux具有更好的实时性。

关键词: 服务体, 执行流, 消息推动通信, 引流机制, 存储地址空间

Abstract: Servant/Exe-Flow Model(SEFM) is a novel abstraction of operating system. In SEFM, data storage and data computing are separated from each other, and the abstraction of computing directly corresponds to the execution locus of program on physical CPU. The organization and the comparison testing results of SEFM based operating system MiniCore are given. Testing results show that the efficiency of synchronized communication in MiniCore is 3 times higher than pipes in Linux, and 62 times higher than pipes in Win98, and the delay distributions of video decoder under different load conditions show that MiniCore has better real-time performance than Linux.

Key words: servant, exe-flow, message-pushing communication, flow-lead-in mechanism, storage addressing space

中图分类号: 

• TP316