Minix操作系统性能的测评与改进

本文以 L inux操作系统的性能为测试基准 ,应用微观测试和宏观测试方法对运行于奔腾处理器上的 Minix操作系统性能进行了深入研究 .研究表明 ,通过改进 Minix操作系统中某些不合理的结构和实现技术 ,Minix的整体性能得到较大幅度提高 .研究同时发现 ,对于核心函数实现简单的系统调用来讲 。

Minix新增系统调用的设计与实现

在分析和研究 Minix操作系统时 ,发现必须增加新的系统调用 .本文首先介绍了增加系统调用的必要性 ,接着分析比较了在基于微内核设计的 Minix操作系统上增加系统调用的各种可能方案 .在此基础上 ,详细描述了中断方案的设计与实现 .

Minix进程检查点机制的实现

通过将进程用户栈和核心上下文数据存入数据段,可把与检查点有关的进程上下文简化为用户级寄存器上下文和用户数据段。检查点机制的状态检查操作就是将进程在该运行时刻的用户级寄存器上下文和用户数据段保存到检查点文件中。状态恢复操作是状态检查的逆操作。文章给出了minix进程检查点机制的核外实现技术,并对该实现技术作了适当的优化。

MINIX＋1．0操作系统实验环境设计与实现

ＮＩＮＩＸ＋１．０操作系统实验环境是我们对美国知名学者Ａ．Ｓ．ＴＡＮＥＮＢＡＵＭ１９８６年编制的分时多任务多用户操作系统ＭＩＮＩＸ研制的改进版。和ＭＩＮＩＸ初版相比，ＭＩＮＩＸ＋１．０具有进程对换，假脱机Ｉ／Ｏ，扩展内存的管理等许多新功能。本文从功能结构，实现原理，用户环境等几个方面对ＭＩＮＩＸ＋１．０作了论述。

对MINIX操作系统的若干改造和扩充

本文论述了我们对美国知名学者Ａ．Ｓ．ＴＡＮＥＮＢＡＵＭ１９８６年编制的分时多任务多用户操作系统ＭＩＮＩＸ所做的若干重要改造和扩充，包括对３．５寸高密盘的支持，ＡＴ机扩展内存的利用，进程对换和假脱机系统的实现．

MINIX中的Intel x86汇编语言

MINIX是一种教学用的类UNIX操作系统,是学习操作系统的重要实例,但其源代码中有很多底层的代码使用 了特殊的汇编语言,目前尚无这种汇编语言完整准确的说明,给MINIX的研究者带来很大的困难.从代码编译、文件 结构、汇编代码和C代码的相互调用、语法四个方面详细准确地解释了MINIX操作系统中汇编语言的使用.

MINIX嵌入式操作系统进程调度的移植

MINIX操作系统作为与UNIX操作系统完全兼容但内部结构有完全不同的操作系统,采用微内核结构.分析了MINIX 3操作系统作为嵌入式操作系统在移植中的一个关键问题——调度程序的移植,并说明了移植方法.

MINIX3操作系统架构及启动过程分析

MINIX操作系统最初是用于教学的一种类UNIX操作系统.随着MINIX系统的版本发展到MINIX3,系统架构相对于最初的版本有了根本的变化,功能也不断增强,已经有许多的应用软件移植到了MINIX3操作系统上.分析了MINIX3操作系统所采用的微内核架构,对比了微内核架构的操作系统与传统宏内核架构的操作系统之间的优缺点,也讨论了MINIX3操作系统的引导加载过程.

Minix操作系统网卡驱动程序分析与设计

对Minix操作系统网卡驱动程序进行了分析和研究,并以所开发的Minix2.0.4操作系统下3C589d网卡驱动程序为例,对设计开发Minix网卡驱动程序提出了一些方法和建议。

队列技术在MINIX 操作系统中的应用

本文从队列的先进先出理论出发,探讨了实际上机时遇到的内存上溢问题,为解决小容量内存的微机处理大信息量数据文件开辟了一条途径。

基于FeaVer的MINIX3验证和改进

使用FeaVer对MINIX3文件系统源代码进行形式化验证,并找到其中的错误代码。在验证的过程中引入测试用具的概念,它的特点是高效性和可复用性。在验证结果的基础上对原来的验证模型进行修改,并建立新的模型。经验证新模型符合应有的正确性属性。以新模型为依据对MINIX3的源代码进行改进,使操作系统达到一个更可靠的状态。

基于Minix的进程间通信系统的设计与实现

进程间通信作为操作系统中最重要的原语之一,提供了在多个隔离的进程之间相互通信交流的可能性.提出了一种适用于微内核操作系统的进程间通信系统,并在具体的Minix操作系统平台之上予以实现,解决了Minix系统中由于进程间通信模块的缺失而导致开发人员无法顺利移植其他平台的实用程序的问题。实验数据表明,该进程间通信系统具有高效的特点;同时由于该系统的设计原则,它保持着易扩展的特点。该系统的实现虽然是基于Minix平台,但该设计同样适用于其他微内核的系统,对其他操作系统具有借鉴意义。

基于属性的Minix3系统调用的建模和测试

面向属性的测试关注所要测试的部分,比非面向属性需要少得多的测试序列,可以降低测试的复杂度,用层次Petri网对系统进行建模可增强模型的可读性.提取Minix3系统调用的属性,利用层次Petri网对系统调用在功能层次进行了建模,可降低在代码层次中产生的复杂度,提高测试效率.

Minix3的微重启自愈体系架构研究

传统的自愈系统能够自主发现、诊断及排除错误,但是对用户存在影响并丢失组件间的状态一致性,不能够满足高可靠性和高可用性的要求.微重启是面向恢复计算ROC的重要软件恢复机制,以递归方式重启故障组件子集,并结合适毁性组件维护状态一致.针对具有自愈功能的Minix3操作系统,本文提出了基于微重启的自愈体系架构,并以适毁性驱动组件的实验证明,组件重启后可以继续执行未完成的任务,并且重启时间略有增长.

微内核操作系统Minix消息机制评测

以基于微内核设计并实现的Minix操作系统为例,针对基于微内核设计的现代操作系统中所特有的消息机制,分析其设计原理与实现方法,指出其在系统中的重要性.提出消息机制性能评测对象是一个完整的消息发送/接收过程的观点.给出了对Minix消息性能评测的方法、源程序和评测结果,提出提高微内核操作系统消息性能的建议.

Minix3微内核进程间通信模块设计与实现

基于微内核结构的minix操作系统近年来虽然发展迅速,但其进程间通信IPC功能依然不够完善。在分析了minix现状与不足,基于minix3设计了消息队列模块,提供符合posix标准的消息队列接口,并重点讨论在微内核结构下实现IPC机能过程中遇到的新问题。

一种Minix进程调度的改进算法

为了提升Minix进程调度的性能,通过研究和借鉴Linux进程调度算法的思想,提出了一种Minix进程调度的改进算法.针对Minix多级队列调度算法的时间片固定的缺点,通过使时间片基于进程的优先级动态变化让Minix调度器在调度进程时更加体现公平性.

提高MINIX2.0文件属性信息的访问效率

提高文件属性信息的访问速度可以有效地提高文件系统的性能。由于磁盘存取速度始终落后于处理器和内存速度,近年来许多研究都致力于如何提高文件属性信息在内存中的访问效率。许多实际运行的操作系统(包括GNU/Linux)通常都是使用基于LRU淘汰策略或LFU淘汰策略的一级链表结构来管理文件属性的内存信息。文中通过建立一个二级链表结构(称之为LRU-LFU链表),并采用LRU-LFU淘汰算法(此算法集成了SimpleLRU淘汰算法和LFU淘汰算法)来实现MINIX2.0文件系统对文件属性信息在内存中的管理。研究结果表明,综合执行效率和访问命中率两个因素,基于LRU-LFU淘汰算法的LRU-LFU链表管理策略是提高MINIX2.0文件系统文件属性信息访问效率的较为理想的管理策略。

MINIX进程通信功能的分析和扩展

ＭＩＮＩＸ是一个运行的ＩＭＢ ＰＣ微机计算机上的微型ＵＮＩＸ操作系统。其外部功能与ＵＮＩＸ完全相同，而实现原理却截然不同，它吸收了结构化程序设计思想。本文在分析ＭＩＮＩＸ进程通信原理的基础上，对其进行了合理的扩展。以会合和原理为基础，设计并实现了用户进程间消息通信机构。为进一步开发ＭＩＮＩＸ网络功能打下基础。

拓展无限可能MINIX NEO S2 Type-C固态硬盘兼拓展坞评测

移动办公时代,“便携”成为大多数用户购买笔记本电脑的首要考虑因素,越来越多的笔记本电脑厂商推出了“轻薄本”,但在提升了便携性的同时,也在其他设计方面做出了牺牲,比如接口减少或者采用更小的Type-C接口,这无形中给我们的日常使用增添了诸多不便。介于以上原因,MINIX推出了一款Type-C固态硬盘兼拓展坞产品—NEOS2,它除了将硬盘存储功能和拓展坞功能合二为一,还解决了笔记本电脑和智能手机轻薄化发展过程中面临的内存不足和接口少两大难题。