微内核用户级驱动设计与实现

随着IT技术的不断发展,出现了越来越多的新设备,操作系统为了保持对这些新设备以及已有老设备的支持,其内核就要加入越来越多的驱动代码,驱动代码的加入使得原本已经复杂的内核更加庞大,且这些代码可能潜伏着许多漏洞,威胁系统安全。而微内核系统将设备驱动独立于用户空间,不再处于内核中,使得设备驱动不会影响到内核的安全,这种设计对于减少系统安全威胁帮助很大。     

L4进程间通信机制的模型检测方法

采用模型检测方法验证微内核操作系统的进程间通信机制,提出了一种从源码提取验证模型的方法.该方法以L4操作系统的进程间通信机制的C++源码实现为检验对象,从源码实现直接提取形式化模型,得到Promela语言的模型描述,可以直接应用模型检测器Spin对其进行正确性检测.实验表明了该方法的可行性和实用性.     

VTOS:一个支持多核的微内核操作系统设计与实现

现在处理器的发展已经进入了一个新的时代,继承了几十乃至上百个核心的处理器已经出现。这在大大提升了硬件处理能力的同时,也给软件设计,尤其是操作系统设计带来了很大困难。为了提高系统的可扩展性,操作系统开发人员需要花费大量的精力来进行严谨而有效率的同步设计。由于宏内核自身的复杂性,在进行同步设计时很困难。阐述了一个微内核的多核同步设计方案,由此可以发现在设计多核操作系统时微内核系统先天的巨大优势。     

ARM平台多进程微内核嵌入式操作系统Ymodem下载功能设计与实现

文章阐述了ARM平台多进程微内核嵌入式操作系统Ymodem下载功能设计与实现的技术细节,内容包括常用串口通信协议（Xmodem、Ymodem及Zmodem）简介,ARM平台多进程微内核嵌入式操作系统简介,Ymodem协议关键技术及下载功能编程要点.最后介绍了使用Ymodem协议设计实现Shell命令rx的基本方法与应用实例.实践证明,Ymodem协议的功能与效率明显优于Xmodem协议.同时与Zmodem协议相比,Ymodem协议又具有程序结构简单、易于理解与实现的优势.因此Ymodem协议非常适合于嵌入式操作系统下载功能的实现.     

基于网络操作系统微内核思想对网络协议模型的改进

网络操作系统的安全性在网络安全中扮演着非常重要的角色,在很多网络攻击方法和技术中基本上都是从网络操作系统的漏洞入手的。互联网上用得最多的网络操作系统就是Unix操作系统,其本身由于产生的历史原因存在着先天的安全不足和漏洞,因此在随后的几十年直到现在仍有大量专家学者采用修修补补的方法来解Unix操作系统的安全问题。但是由于Unix本身系统结构的原因,这种修补方案效果很不理想。因此,本文提出了一种基于基于微内核的思想来从操作系统的内部结构来增加操作系统的安全性能,从而在根本上解决了Unix网络操作系统的安全问题。     

浅析计算机操作系统的发展

本文介绍了计算机操作系统的发展过程,同时对它的技术变革作出了分析,并且对算机操作系统的新技术做了简单的分析和阐述,并分析其未来发展的走向,为广大用户提供一个全面的认识.     

L4进程间通信机制的模型检测方法

采用模型检测方法验证微内核操作系统的进程间通信机制,提出了一种从源码提取验证模型的方法.该方法以L4操作系统的进程间通信机制的C++源码实现为检验对象,从源码实现直接提取形式化模型,得到Promela语言的模型描述,可以直接应用模型检测器Spin对其进行正确性检测.实验表明了该方法的可行性和实用性.     

Linux模块实现机制分析

本文讨论了操作系统的两种基本组织方式,即一体化内核及微内核的基本概念,分析了它们各自的优缺点,进而阐明了在Linux下引入内核模块的主要动机,着重以图解的方式论述了Linux内核模块的实现机制。     

一种解决操作系统端安全问题的微内核操作系统模型

操作系统的安全性在网络安全中有非常重要的影响，有很多网络攻击方法都是从寻找操作系统的缺陷入手的。互联网上传统Unix操作系统有先天的安全隐患，于是产生很多修补手段来解决其安全问题。但是由于Unix本身结构的原因，在很多修补方案下，仍然存在系统隐患。本文提出了一种基于微内核的操作系统结构。可以从根本上解决操作系统端的安全问题。     

基于Android平台的酷旅应用系统设计

“互联网+旅游”就是将现代信息技术应用于旅游服务,为游客提供更好的旅游体验,促进旅游业的发展。在以智能手机为代表的移动通讯工具日益普及,智能终端设计日趋成熟的背景下,本文分析了的酷旅应用系统的需求与应用前景,设计了基于Android平台的酷旅应用系统。提出了将移动社交功能融入旅游服务应用,丰富了旅游APP的内容;采用微内核插件化结构构建服务器,实现系统服务的灵活定制和自由扩展。