COSIX V2.0中10M以太网卡驱动程序的设计与实现

ＣＯＳＩＸ Ｖ２．０是基于微内核、采用多服务器结构和国产操作系统。以太网是一种得到广泛使用的网络。本文介绍ＣＯＳＩＸ Ｖ２．０中１０Ｍ以太网的驱动，介绍了１０Ｍ以太网卡驱动程序的结构，给出了一个网卡驱动程序的实现。     

微内核操作系统设计方法及其设计实例的比较

超级计算机技术发展的趋势是大规模并行计算机,这种计算机的每个结点上运行的操作系统和一般计算机上的操作系统有极大区别。微内核操作系统提供了并行计算机所需的功能和性能,是并行操作系统的发展方向。本文讨论微内核操作系统的基本设计方法,并介绍几个典型实例:Amoeba,Mach,Chorus。     

基于mobile agent的微内核Linux整体设计

虽然moblieagent为网络化的异构平台而诞生,但mobileagent本身就是一门方法学,随着mobileagent的广泛应用,全面实现高效的运行平台构造崭新的操作系统便成为必须;同时当代流行的操作系统linux由于核心结构为单体内核,性能受到很大限制,它的微内核化重构也成为必须。基于以上两点,该文论述了为高效运行mobileagent而重构linux内核体系结构的必要性及实现方案。     

一种改进的嵌入式实时OS消息机制

分析了基于微内核的嵌入式操作系统中影响消息传递性能的各种因素,从而提出一种改进的消息实现机制,并对这种消息机制的性能、同步性、安全性进行分析。     

现代操作系统的思考

伴随计算机硬件和网络技术的发展,作为计算机系统中的重要组成部分的操作系统也在不断发展.本文回顾了操作系统的作用、发展历史及主要组成部分,分析了现代操作系统的发展趋势,并针对未来操作系统在计算机体系结构中的地位演变做了相应的思考.     

多态操作系统

本文简要介绍了传统的单态和两态结构操作系统，分析了微内核结构操作系统中采用两态结构仿真传统操作系统ＡＰＩ界面的不足。最后介绍了多态操作系统的思想及其在国产操作系统ＣＯＳＩＸＶ２．０中的实现     

微核心操作系统的结构对性能的影响

微核心操作系统是近些年出现的。它已成为操作系统的发展方向和趋势。微核心操作系统本身具有许多优点,但目前的一些微核心操作系统存在一个严重问题,即性能不佳。导致微核心操作系统性能不佳的主要原因是在实现微核心思想时所采用的系统结构和实现技术不尽合理。文中分析了在微核心操作系统的结构方面存在着哪些影响系统性能的因素,以及它们是如何影响系统性能的。这些因素是在微核心技术的研究工作中应该认真考虑的问题。     

微内核操作系统设计方法及其设计实例的比较

微内核操作系统提供了并行计算机所需的功能和性能，是并行操作系统的发展方向。并行计算机上的每个结点上运行的操作系统又与一般计算机上的操作系统有极大区别，而大规模并行计算机则是超级计算机技术发展的必然趋势。讨论了微内核操作系统的基本设计方法，介绍了Ａｍｏｅｂａ、Ｍａｃｈ、Ｃｈｏｒｕｓ等几个典型实例。     

基于UPPAAL的微内核操作系统程序验证方法研究

随着航天、航空工业的发展,机载嵌入式软件的可信属性验证是新一代飞机研制最关注的软件质量保障问题。形式化方法具有严密的数学基础,能够准确的对系统进行建模、描述和验证,能够在软件系统的设计初期发现潜在的错误,是保证机载软件可信性和安全性的软件正确性验证技术。形式化验证以形式化描述为基础,对所描述系统的特性进行分析和验证,以评判系统是否满足期望的性质,分为定理证明和模型检测两类。文章研究模型检测方法应用于程序形式化描述和验证的技术,提出基于模型检测的验证程序正确性的方案,并进行微内核操作系统程序分析,最后在UPPAAL中进行程序属性的验证。