微内核系统下的实时数据库接口设计

为了解决微内核系统中的数据实时处理问题 ,本文提出了一种多接口型数据库 ,即根据数据的优先级 ,使用相应优先级接口的数据库设计方案 。

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

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

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

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

微内核操作系统消息机制分析与评测

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

微内核操作系统MINIX3．2发布

Linus和Tanenbaum关于微内核操作系统的论战是20世纪90年代最著名的互联网事件之一。虽然Tanenbaum始终认为微内核是更先进技术的代表，但我们目前能接触到的真正的微内核系统并不多，

操作系统的发展趋势—微内核技术

论述了操作系统的发展史、微内核的概念和发展概况。介绍了微内核技术的发展趋势和成为操作系统发展趋势的原因。认为微内核操作系统的构成更加合理，具有良好的移植性、可扩展性和可靠性，功能上已实现现有的操作系统标准，解决了用户程序的继承性．采用了面向对象技术等新技术．可支持不同硬件体系结构并适用于最新硬件等。

微内核操作系统（下）

微内核操作系统（下）胡祖宣（华北计算技术研究所）５各具特色的微内核操作系统ＩＢＭ、Ｍｉｃｒｏｓｏｆｔ、Ｎｏｖｅｌ／ＵＳＬ等计算机界巨头，都已开发出了具有自己特色的微内核操作系统，并都认为自己的方案是最好的，现将几种具有代表性的系统简介如下。ＩＢＭ的Ｗ...

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

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

基于混杂模式的无线传感器网络操作系统的研究与设计

针对无线传感器网络系统资源受限与任务多样性的特点,遵循低资源消耗与环境任务自适应的设计思想,提出了一种基于混杂模式的传感器网络专用操作系统微内核架构,进而设计并实现了适用于资源受限的复杂环境的混合嵌入式实时操作系统(HEROS)。此微内核架构在体系结构上采用"任务-线程-动作"的模块化设计思想,在运行模式上采用事件驱动结合实时多任务模式,在通信方式上采用基于元组的轻量级In/Out元语技术以及资源复用技术。根据环境感知任务的不同,内核可以被选配为事件驱动、实时多任务以及混杂三种不同工作模式。应用实测与对比分析显示,此内核具有低资源需求,满足实时性调度,可支持单任务应用至实时多任务系统。

多核多线程处理器的发展及其软件系统架构

首先介绍了关于multi-core(多核)、multi-threading(多线程,特指硬件线程)处理器的最新发展情况,然后介绍了基于MIPS体系结构的多核处理器的特点。针对多核处理器,给出了在路由器中软件的架构,并探讨了在发展多核系统软件方面给中国的系统软件业带来的机遇。

pSOS实时操作系统IPC机制的分析与实现

介绍了pSOS嵌入式实时微内核操作系统，对该操作系统的IPC机制进行了分析，并详细阐述了消息队列、事件、信号量的系统实现。

支持Unikernel的流式计算引擎：Hummer

社会计算中,社会公共安全、企业商务智能和舆情计算等众多领域均对实时计算的性能提出了越来越高的要求.流式计算引擎作为大数据计算研究领域的研究热点之一,致力于提供高吞吐量和低延迟的实时计算能力.流式处理任务对处理延迟非常敏感,数据价值随着处理时长的增长而快速递减.传统流式计算引擎设计中,操作系统、JVM等占用大量计算资源,如何提升计算资源利用率成为目前亟待解决的问题.为此,本文提出了一种基于C++语言实现的支持Unikernel的高性能实时数据分析计算引擎Hummer.首先,通过引入Unikernel机制,Hummer可绕过传统操作系统,直接运行于裸机或虚拟化层,减少传统操作系统无关组件带来的性能开销,支持分布式环境下的快速部署与启动,为高性能大数据计算引擎设计提出新的思路.其次,通过使用Unikernel对计算引擎进行封装,解决了C++应用需本地化编译、难以在集群中部署的问题.最后,系统使用灵活的网络通信方案,支持异构网络部署及网络资源隔离.实验表明,Hummer端到端处理延迟低于30ms,较Flink系统低2倍,较Spark Streaming低15.8倍,且吞吐量达到Flink的2倍.使用Unikernel封装的Hummer系统镜像仅为100MB,启动时间约为2s.

基于μC/OS-Ⅱ的嵌入式μC/IP协议研究

传统的Internet应用以PC为中心,未来的Internet应用将转向以嵌入式设备为中心。据网络专家的预测,将来在Internet上传输的信息中将有70%的信息来自于小型嵌入式系统。本文提出了嵌入式设备网络化的一种方法:操作系统+嵌入式TCP/IP协议栈。介绍了实时嵌入式操作系统μC/OS-Ⅱ,给出了嵌入式TCP/IP协议栈μC/IP在μC/OS-Ⅱ上的实现方法,详细论述了系统的结构、工作原理及基本设计原则,并提出了改进方案。

做工业可靠的“幕后英雄”

对于大部分工业领域的用户来说，QNX都是一个比较陌生的名字，但对于为工业用户提供嵌入式计算机、PLC、DCS等控制产品的自动化供应商来说，QNX可谓大名鼎鼎。作为嵌入式操作系统的重要提供商，QNX所开发的Neutrino实时微内核操作系统、QNXMomentics开发工具、QNXCAR2应用平台、QNXIEC61508认证平台、QNXIEC62304医用平台、QNX实时互联设备平台、QNX图形用户界面平台等广泛应用在工业控制、医疗、汽车、消费电子等领域，是工业应用真正的“幕后英雄”。

系统程序、操作系统

0104668千禧年微软再掷“核弹”[刊]//电子计算机与外部设备.—2000,(10).—100～105(K)9月14日,又多了一个可供选择的操作系统:微软公司在2000年继 Windows 2000之后又推出了第二个堪称桌面操作系统市场重磅“核弹”的操作系统升级版本:Windows 千禧版(Windows Millennium Edition,简称 Windows Me)。这一千禧版对我们意味着什么?