简述微内核及客户-服务器结构操作系统,一个微内核操作系统的设计与实现

一个微内核操作系统的设计与实现

设计并实现了一个运行在Bochs虚拟机上的微内核结构的操作系统,详细描述了系统中进程管理、进程间通讯、基本内存管理、磁盘服务器以及文件

(本文共5页)

阅读全文>>

本文首先分析并指出了现有用于教学使用的操作系统各自存在的不足,然后提出了设计并实现一个运行在虚拟机上的微内核结构的教学用操作系统的目标。文章详尽描述了本系统中进程管理、进程间通讯、基本内存管理、磁盘服务器以及文件服务器的设计和实现,以及为了突出教学这一目的所作的各种考虑,并在最后对未来的设计工作进行了展望。本课题实现的运行于虚拟机上的微内核教学用操作系统将有利于学生从微观上观察操作系统的行为特征,并且帮助他们理论联系实际,具有较好的教学价值。此外,本文在关于虚拟机上实现微内核操作系统技术方面的讨论,相信对于该领域的开发者而言,具有一定的借鉴意义。

(本文共76页)

本文目录 |

阅读全文>>

现在处理器的发展已经进入了一个新的时代,继承了几十乃至上百个核心的处理器已经出现。这在大大提升了硬件处理能力的同时,也给软件设计,尤其是操作系统设计带来了很...

(本文共5页)

阅读全文>>

针对多核架构开始在嵌入式领域普及的趋势,设计一个基于多核处理器架构的微内核操作系统,描述系统中内存管理、线程调度、锁和中断、...

(本文共3页)

阅读全文>>

微内核操作系统(下)胡祖宣(华北计算技术研究所)５各具特色的微内核操作系统ＩＢＭ、Ｍｉｃｒｏｓｏｆｔ、...

(本文共4页)

阅读全文>>

随着中西方学术交流日益密切,计算机类论文翻译的重要性日益突出。以计算机网络和计算机操作系统为主题的计算机专业的论文翻译属于科技翻译范畴,这类论文具有描述客观、语言严谨、行文规范、信息真实的特点。本报告是基于《基于博弈理论的异构无线传感器网络中拓扑控制算法研究》和《基于多核处理器的嵌入式微内核操作系统通信机制研究与设计》等两篇计算机专业论文的英译实践研究。笔者将维奈和达贝尔内提出的两种翻译策略应用于本翻译项目的翻译实践,以探讨这两种翻译策略对翻译的指导作用,进而探寻最优的翻译方法以准确传递原材料的信息。这两种翻译策略包括直接翻译和间接翻译,其中直接翻译包括借词、仿造词语、直译,间接翻译包括词性转换、调节、对等、改编。在本项目的英译实践中,直译占主导地位,这是由科技翻译的客观和严谨的特点决定的。该报告在维奈和达贝尔内翻译模式(即翻译理论)的指导下,从单词、短语、句子,最后上升到语篇层面分析译文。由本项目的翻译实践可知,掌握翻译理论并...

(本文共99页)

本文目录 |

阅读全文>>

操作系统作为直接对硬件进行操作的软件,其安全性一直是工业界和学术界研究的热点。特别是在安全悠关的领域必须确保操作系统的安全性,比如航空航天、医疗和无人机等领域。目前公认的验证操作系统的最有效方法是形式化方法。研究人员大多致力于研究操作系统的功能正确性和完整性等属性,很少针对其安全性进行分析、建模和验证。本文总结了现有的研究方法,提取了操作系统的安全性需求,根据这些需求设计并实现了微内核操作系统——四线程操作系统(four threads operating system,FTOS),并用形式化的方法对其安全性进行建模和验证。本文的主要研究内容包括以下三个部分:(1)从利于形式化验证的角度设计和实现微内核操作系统,在开发FTOS的过程中就考虑验证相关的问题,避免在系统设计的过程中使用过多复杂的数据结构和算法,降低验证的难度。设计了关于进程和中断的形式化语义,提出并发与非确定性问题将增加对抢占式操作系统验证的难度,并提出采用并发分离...

(本文共63页)

本文目录 |

阅读全文>>