基于服务体/执行流模型的操作系统  

Operating System Based on Servant/Exe-Flow Model

作　　者：陈香兰[1] 龚育昌[1] 张晔[1] 

机构地区：[1]中国科学技术大学计算机科学与技术系,合肥230026

出　　处：《计算机工程》2008年第11期1-3,共3页Computer Engineering

基　　金：高校博士点基金资助项目(20050358040);安徽省自然科学基金资助项目(070412030)

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

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

分 类 号：TP316[自动化与计算机技术—计算机软件与理论]