seL4微内核架构的嵌入式虚拟化技术研究

王涵; 张激; 左龙

首页> 中文期刊> 《集成电路与嵌入式系统》 >seL4微内核架构的嵌入式虚拟化技术研究

seL4微内核架构的嵌入式虚拟化技术研究

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

随着嵌入式硬件技术水平的提升以及嵌入式应用的普及,用户对嵌入式系统可以提供的服务能力与质量水平提出了更高的要求。出于对成本和可靠性方面的考虑,开发者希望可以在同一硬件平台上同时运行多个互不影响的执行环境。本文提出了一种基于seL4微内核架构的嵌入式虚拟化技术,以Chcore微内核为基础,充分利用ARM硬件辅助虚拟化支持,设计并实现了基于能力调用机制的嵌入式虚拟机管理器。测试结果表明,该虚拟机管理器在处理器利用率、虚拟机调度、中断异常处理等方面性能良好,可以满足用户的常用应用需求。

著录项

来源
《集成电路与嵌入式系统》 |2021年第7期|30-32|共4页
作者
王涵; 张激; 左龙;
展开▼
作者单位

中国电子科技集团公司第三十二研究所;

上海201808;

展开▼
原文格式 PDF
正文语种 chi
中图分类 TP325;
关键词
seL4; 嵌入式系统; ARM硬件辅助虚拟化; 虚拟机管理器;

相似文献

中文文献
外文文献
专利

1. 基于微内核架构的嵌入式系统虚拟化技术 [J] . 张易知 ,徐国治 . 电子产品世界 . 2009,第004期
2. 基于微内核的嵌入式虚拟化技术 [J] . 奚智 ,姜哲 ,张广伟 . 单片机与嵌入式系统应用 . 2021,第002期
3. ARM TrustZone的轻量级嵌入式虚拟化架构 [J] . 王亮 . 华侨大学学报（自然科学版） . 2016,第005期
4. 嵌入式虚拟化技术研究综述 [J] . 肖伟民 ,邓浩江 ,孙鹏 . 网络新媒体技术 . 2019,第002期
5. 嵌入式虚拟化技术研究综述 [J] . 肖伟民12 ,邓浩江12 ,孙鹏12 . 网络新媒体技术 . 2019,第002期
6. 嵌入式系统虚拟化技术研究 [C] . 李晖 ,金玉川 ,张彭秀 . 全国抗恶劣环境计算机第二十六届学术年会 . 2016
7. 基于微内核架构的实时虚拟化技术的研究 [A] . 张易知 . 2009

seL4微内核架构的嵌入式虚拟化技术研究

摘要

著录项

相似文献

相关主题

期刊订阅