微内核架构文件系统的形式化设计与验证方法研究

文件系统作为数据存储和管理的功能模块,其正确性是操作系统安全性的重要方面.采用形式化方法对微内核架构文件系统进行设计,使用操作系统对象语义模型(OSOSM)框架提出微内核架构文件系统的状态自动机模型,并依此描述系统调用的功能语义和系统状态转换,分析和归纳文件系统的功能正确性断言.以实现的微内核安全操作系统(Verified Trusted Operating System,VTOS)为例,阐述在Isabelle/HOL定理证明器环境中构建状态自动机模型的方法,并对VTOS文件系统的形式化设计和功能正确性断言进行一致性验证,结果显示,VTOS文件系统的设计和实现符合预期的正确性规格说明.

一种微内核分区操作系统C库的适配验证方法

针对传统C库的开发和适配方法存在的局限性问题,提出一种基于微内核架构的嵌入式分区操作系统新C库的适配验证方法,依次对基于微内核架构的嵌入式分区操作系统之上C库的总体部署方案、初始化过程、典型功能模块的适配开发方法进行了详细阐述;搭建相应的硬件测试环境,在恩智浦公司的四种硬件平台上对开发和适配的C库进行了相应的功能测试和验证,提出了三个创新点。

实时响应的嵌入式系统虚拟化微内核架构分析

为解决传统单一化嵌入式系统在应用过程中导致平台设计冗余的问题,文章将多操作系统架构平台引入嵌入式系统架构中,构建合适的嵌入式虚拟化平台,现阶段,为保证平台的应用价值充分发挥,先对实施虚拟化为内核架构方法进行研究,然后以seL4微内核架构为例,分析基于Chcore Hypervisor实现嵌入式虚拟化的方法,最后,对系统功能加以测试。研究结果表明,采用上述方法构建的实时响应嵌入式系统虚拟化微内核架构,具有良好的性能。希望通过本文研究,为嵌入式系统架构应用价值的提高提供参考。

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

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

嵌入式微核虚拟机管理器存储管理架构设计

对微内核架构、嵌入式虚拟化技术、嵌入式多核处理器支持技术进行简介,对工业界和学术界形成的嵌入式微内核虚拟机管理器产品进行相应调研,提出一种基于微内核架构多核虚拟机管理器的存储管理架构设计模式,把存储管理分为内核态MMU管理和用户态内存分配器两部分实现。MMU管理负责完成MMU初始化、TLB无效和增加/删除映射等功能;内存分配器负责实现memcache分配器、字节分配器和页分配器3种内存管理机制。

微工作流架构的应用研究

微工作流架构是近来工作流技术发展中研究人员提出的新的工作流模型,并且它是微内核架构。与传统工作流架构相比,微工作流架构分离了控制和逻辑层,具有可复用性、可移植性、可扩展性,开发人员在它的基础上定制需要的功能以满足变化的需求。文中对比了微工作流与传统工作流,并说明了微工作流架构核心的过程组件、同步组件、执行组件的实现。微工作流架构为软件开发人员提供了一个解决传统工作流弊端的新途径。

QNX微内核架构操作系统性能超越Android

QNX软件系统公司是RIM的子公司,是嵌入式系统市场上操作系统、中间件、开发工具和专业服务的提供商。该公司销售市场部副总裁DerekKuhn最近表示,黑莓平板电脑Playbook所采用的QNX操作系统,在支持多任务处理时,极快速的实时响应,使其性能远超Android。

性能优化并行协作时代的发展思想

该文以英特尔开发思想和吴昊教育发展思想为例,阐述了系统优化法则在科技创新、教育发展、管理思想方面的具体运用,说明了并行协作时代的管理模式、技术特征、并行协作机制、职能独立机制、性能效率思想,概括了并行协作时代的社会形态和发展思想。