-
题名多核平台下分区操作系统的安全关键任务调度方法
被引量:4
- 1
-
-
作者
朱怡安
黄林林
李联
罗殊彦
-
机构
西北工业大学计算机学院
西北工业大学软件与微电子学院
-
出处
《计算机工程》
CAS
CSCD
北大核心
2017年第12期38-44,共7页
-
基金
航空科学基金"混合关键任务调度算法及无锁同步机制研究"(20150753010)
民用飞机专项科研技术研究类项目"高可靠操作系统内核关键技术研究"(XJZ-2015-D-76)
陕西省重点研发计划重大重点项目"时间/事件混合触发的实时操作系统技术与应用研究"(2016MSZD-G-8-1)
-
文摘
多核环境中并发、资源共享和任务迁移等特性,导致分区操作系统的安全关键任务调度存在较大的不确定性。为此,提出一种针对多核平台分区操作系统的安全关键任务调度方法。判断系统是否包含安全关键任务并将其分为关键分区和非关键分区。在系统层通过资源划分的方式确保关键分区的独立运行,根据分区利用率确定最小资源上限,在保证安全关键任务调度可靠性的同时,提高系统的资源利用率。在分区层设计基于动态优先级的双模容错任务调度算法和基于二分搜索的最小任务优先级搜索算法,以提升系统的容错能力。实验结果表明,该方法能够提高分区操作系统的资源利用率和任务调度可靠性。
-
关键词
多核处理器
分区操作系统
容错调度
资源划分
安全关键任务
分区映射
-
Keywords
multi-core processor
partitioned operating system
fault-tolerant scheduling
resource partitioning
safety-critical task
partitioned mapping
-
分类号
TP316.2
[自动化与计算机技术—计算机软件与理论]
-
-
题名一种安全关键的嵌入式实时操作系统内核设计
被引量:6
- 2
-
-
作者
欧阳湘臻
朱怡安
李联
史先琛
-
机构
西北工业大学计算机学院
西北工业大学软件与微电子学院
-
出处
《计算机工程》
CAS
CSCD
北大核心
2019年第7期78-85,共8页
-
基金
航空科学基金“混合关键任务调度算法及无锁同步机制研究”(20150753010)
国家民用飞机专项科研技术研究类项目“高可靠操作系统内核关键技术研究”(MJ-2015-D-66)
陕西省重点研发计划重大重点项目“时间/事件混合触发的实时操作系统技术与应用研究”(2016MSZD-G-8-1)
-
文摘
在研究ARINC-653标准的时空隔离原理基础上,设计并实现一种安全关键的嵌入式实时操作系统。采用微内核设计,通过基于Manifest的任务与分区管理、软硬件结合的分区保护及软件静态验证,提升系统可靠性与可配置性。在PowerPC平台上实现嵌入式实时操作系统内核原型并对其进行功能与性能测试,结果表明该操作系统内核功能完备,满足软硬件分区、栈溢出保护与监测、驱动故障保护等需求,且综合性能优于同类操作系统内核。
-
关键词
分区操作系统
安全关键任务
嵌入式实时操作系统
ARINC-653标准
空间隔离
时间隔离
-
Keywords
partition operating system
safety-critical task
embedded real time operating system
ARINC-653 standard
spatial isolation
temporal isolation
-
分类号
TP316.2
[自动化与计算机技术—计算机软件与理论]
-