排序方式: 共有51条查询结果,搜索用时 0 毫秒
1.
超级计算机技术发展的趋势是大规模并行计算机,这种计算机的每个结点上运行的操作系统和一般计算机上的操作系统有极大区别。微内核操作系统提供了并行计算机所需的功能和性能,是并行操作系统的发展方向。本文讨论微内核操作系统的基本设计方法,并介绍几个典型实例:Amoeba,Mach,Chorus。 相似文献
2.
一种改进的嵌入式实时OS消息机制 总被引:2,自引:0,他引:2
分析了基于微内核的嵌入式操作系统中影响消息传递性能的各种因素,从而提出一种改进的消息实现机制,并对这种消息机制的性能、同步性、安全性进行分析。 相似文献
3.
COSIX V2.0是基于微内核、采用多服务器结构和国产操作系统。以太网是一种得到广泛使用的网络。本文介绍COSIX V2.0中10M以太网的驱动,介绍了10M以太网卡驱动程序的结构,给出了一个网卡驱动程序的实现。 相似文献
4.
王超 《计算机工程与应用》2004,40(9):118-121
虽然moblieagent为网络化的异构平台而诞生,但mobileagent本身就是一门方法学,随着mobileagent的广泛应用,全面实现高效的运行平台构造崭新的操作系统便成为必须;同时当代流行的操作系统linux由于核心结构为单体内核,性能受到很大限制,它的微内核化重构也成为必须。基于以上两点,该文论述了为高效运行mobileagent而重构linux内核体系结构的必要性及实现方案。 相似文献
5.
6.
7.
微核心操作系统的结构对性能的影响 总被引:13,自引:0,他引:13
微核心操作系统是近些年出现的。它已成为操作系统的发展方向和趋势。微核心操作系统本身具有许多优点,但目前的一些微核心操作系统存在一个严重问题,即性能不佳。导致微核心操作系统性能不佳的主要原因是在实现微核心思想时所采用的系统结构和实现技术不尽合理。文中分析了在微核心操作系统的结构方面存在着哪些影响系统性能的因素,以及它们是如何影响系统性能的。这些因素是在微核心技术的研究工作中应该认真考虑的问题。 相似文献
8.
9.
微内核操作系统设计方法及其设计实例的比较 总被引:1,自引:0,他引:1
微内核操作系统提供了并行计算机所需的功能和性能,是并行操作系统的发展方向。并行计算机上的每个结点上运行的操作系统又与一般计算机上的操作系统有极大区别,而大规模并行计算机则是超级计算机技术发展的必然趋势。讨论了微内核操作系统的基本设计方法,介绍了Amoeba、Mach、Chorus等几个典型实例。 相似文献
10.
随着航天、航空工业的发展,机载嵌入式软件的可信属性验证是新一代飞机研制最关注的软件质量保障问题。形式化方法具有严密的数学基础,能够准确的对系统进行建模、描述和验证,能够在软件系统的设计初期发现潜在的错误,是保证机载软件可信性和安全性的软件正确性验证技术。形式化验证以形式化描述为基础,对所描述系统的特性进行分析和验证,以评判系统是否满足期望的性质,分为定理证明和模型检测两类。文章研究模型检测方法应用于程序形式化描述和验证的技术,提出基于模型检测的验证程序正确性的方案,并进行微内核操作系统程序分析,最后在UPPAAL中进行程序属性的验证。 相似文献