一种基于服务体/执行流的新型操作系统构造模型

在分析进程/线程模型内在缺陷的基础上,提出了一种新的操作系统构造模型———服务体/执行流模型.该模型以执行流为运行模型,以服务体为存储模型,两者相互分立,使得数据的计算独立于数据的存储,从而融合了单地址、多地址空间和单内核、微内核结构的优点,又摒弃了它们的缺点,并可有力支持分布式计算.实验数据验证了该模型的正确有效性.

基于服务体模型的安全操作系统中的通信与安全控制

在介绍基于执行流/服务体的操作系统模型的基础上,重点讨论了基于该模型的安全探作系统中的通信机制及其安全 控制．分析了通信可能受到的威胁,并给出了相应的对抗方法,从而简便有效的保证了探作系统的安全性．

服务体模型与操作系统内核设计技术

操作系统内核通常分为宏内核和微内核两类,前者可扩展性与可维护性很差,而后者效率低下,缺乏实用性.服务体模型是一种新型的操作系统构造模型,该模型使其存储抽象与运行抽象相分离,并采用一种新的基于消息推动的通信机制,既保持了微内核模型灵活和可扩展性,又具有很高的运行效率.MiniCore是基于服务体模型的一个原型操作系统,通过将该操作系统应用于路由器硬件实验平台,以实例说明了所提出操作系统构造模型的优越性.

安全操作系统中的权能管理模型

最小特权和责任分离原则要求安全操作系统能够提供细粒度的访问控制.基于权能的安全操作系统可以满足这种需求,但现有的权能管理模型不能同时解决权能控制的客体有限、权能撤销机制不够完善以及访问检查的速度太慢的问题.本文提出一种新的权能管理模型(GYC模型),较好的解决了上述三个问题.该模型已被应用到安全操作系统Minicore中,实验结果表明,与典型的Redell模型相比,GYC模型在整体性能上更好.

嵌入式系统网络底层驱动的研究与实现

随着信息技术与计算机网络的迅速发展，对具有良好网络功能的嵌入式系统的需求日益迫切。该文在分析嵌入式系统中实现网络底层驱动所需要注意的问题之后，系统地介绍了已经实现了的一个网络底层驱动的相关数据结构和算法，并以与Linux系统相比较的方法给出了我们研制的MiniCore操作系统的网络驱动性能。