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

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

多核操作系统自旋锁技术研究

多核操作系统通常采用自旋锁技术保证多核之间互斥.处理器核属于硬件设备,需要硬件锁机制实现核间互斥,各类处理器都提供相应的硬件指令实现自旋锁,如锁总线.处理器核在获取自旋不成功时,一直自旋,直到获取锁成功.自旋锁持有时间非常短,不引起睡眠,效率很高.     

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

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

嵌入式虚拟机管理器内存虚拟化方法研究

嵌入式虚拟机管理器需对3类硬件资源进行虚拟化才能支持客户OS的正常运行,而且支持虚拟内存的客户OS需对MMU页表进行虚拟化;以NXP公司的PowerPC架构处理器为例介绍了MMU概况、管理方法,并提出MMU虚拟化的需求;研究了XEN、ViMo、KVM/ARM、NOVA、MobiVMM 5个典型虚拟机管理器软件中所采用的主流内存虚拟化方案,并给出了基于软件影子页表、基于硬件支持特性、软硬件结合等3种对MMU页表进行虚拟化的解决方案.     

物联网操作系统技术研究

物联网操作系统是物联网信息技术的重要组成部位,其特点是规模小,占用资源非常少,且功耗极低.其主要适用于内存空间极小、功耗极低且效率较高的资源受限应用场景.如以往的非智能手机,存储空间小,需要待机时间长,对通话要求快速响应.物联网操作系统还应用于传感器采集数据.随着物联网技术发展,各种需要联网的物件中嵌入微型计算机设备.物联网操作系统运行于微型计算机设备上,负责管理硬件软件并接入到互联网中.在航空领域,飞机上部署了数量众多的微型计算机设备,它们大都是体积小、存储空间小、功耗低.这些微型计算机设备上运行着数据采集任务、数据传输任务及设备控制任务.物联网操作系统能够解决微型计算机设备上硬件软件管理问题,并且能够做到资源占用少、功耗低.通过分析物联网操作系统Contiki研究物联网操作系统相关技术.