多核平台上针对seL4的分区机制研究

• 作者: 丁贵强 康乔 王雷 王鹿鸣
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: seL4 多核 分区 嵌入式
• 年，卷（期）: 2018,（9）
• 所属期刊栏目: 第十六届全国软件与应用学术会议
• 页码范围: 70-74
• 页数: 5页
• 分类号: TP316
• 字数: 4451字
• 语种: 中文
• DOI: 10.11896/j.issn.1002-137X.2018.09.010

摘要

在航空电子等嵌入式领域中,多核时代已经来临,如何充分利用多核成为了现在系统领域的研究热点.同时由于系统集成度越来越高,一个硬件平台可能需要同时运行不同安全级别的任务,这就需要操作系统为应用提供隔离与保护.为了解决这两个问题,文中在目前只支持单核的seL4的基础上分别加入多核和分区隔离的支持,之后又提出多核和分区机制相结合的方案,实现了带分区机制的多核seL4.最终将其运行在qemu模拟器上,分区机制的实现符合ARINC653标准的语义.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王雷	北京航空航天大学计算机学院	57	257	9.0	13.0
2	丁贵强	北京航空航天大学计算机学院	1	0	0.0	0.0
3	王鹿鸣	北京航空航天大学计算机学院	1	0	0.0	0.0
4	康乔	北京航空航天大学软件学院	1	0	0.0	0.0