【摘 要】
：
多核环境中并发、资源共享和任务迁移等特性,导致分区操作系统的安全关键任务调度存在较大的不确定性。为此,提出一种针对多核平台分区操作系统的安全关键任务调度方法。判断
【机 构】
：
西北工业大学计算机学院,西北工业大学软件与微电子学院
【基金项目】
：
航空科学基金“混合关键任务调度算法及无锁同步机制研究”(20150753010);民用飞机专项科研技术研究类项目“高可靠操作系统内核关键技术研究”(XJZ-2015-D-76);陕西省重点研发计划重大重点项目“时间/事件混合触发的实时操作系统技术与应用研究”(2016MSZD-G-8-1)
论文部分内容阅读
多核环境中并发、资源共享和任务迁移等特性,导致分区操作系统的安全关键任务调度存在较大的不确定性。为此,提出一种针对多核平台分区操作系统的安全关键任务调度方法。判断系统是否包含安全关键任务并将其分为关键分区和非关键分区。在系统层通过资源划分的方式确保关键分区的独立运行,根据分区利用率确定最小资源上限,在保证安全关键任务调度可靠性的同时,提高系统的资源利用率。在分区层设计基于动态优先级的双模容错任务调度算法和基于二分搜索的最小任务优先级搜索算法,以提升系统的容错能力。实验结果表明,该方法能够提高分区操作系统的
其他文献
岸边集装箱起重机是一种大尺寸的钢结构,是港口集装箱吊装的主要设备.绝大多数的港口都位于沿海的地震带上,为了保证岸边集装箱起重机在地震作用下的安全性和可靠性,基于摩擦
公路收费经营权属于公路产权的重要组成部分,就我国目前的公路建设和运营市场来看,重视公路收费经营权的一系列管理是非常有意义的,并且公路收费经营权的转让也为我国的高等
研究大黄素对高脂血症斑马鱼脂质代谢的作用。将5 dpf转基因Tg(fli1:eGFP)斑马鱼随机分成普通饲料组(NCD)、高胆固醇饲料组(HCD)、大黄素组(Emo)。NCD组饲喂普通饲料,HCD组饲
一直以来,《梦粱录》缺乏系统整理研究,书中存在不少讹误。本文以清张海鹏校订后的《学津讨原》本（以下简称学津本）为基础,比勘了相关版本,提出商榷意见。
采用程序升温还原法制备了WC催化剂,在做了表面氧修饰后对其进行了原位评价.评价结果表明,在θ=287℃、P=2.0 MPa、空速为1.0 h^-1、n（H2）/n（n-C5）=4.0 的条件下,正戊烷转化率达
国内外目前使用的板材都是单一的钢、木、塑料材料或其复合的板材，它们的刚度、强度难于承受结构的大跨度、大弯矩；更不能适应各种建筑．尤其民用多层、高层房屋的墙板、楼面板。
现在,世界上80%以上的货物是由商船运输的。考虑到整个海洋还部署了大量的军舰,可以看出海洋现在已经变得相当“拥挤”,人类以及自身的行动是大量军事事故发生的根本原因。(
在20世纪70年代末形成的、作为农村经济发展模式的“小岗模式”，经过30多年的改革和创新．已经转换为作为农村经济和社会发展模式的“新小岗模式”。该文对“新小岗模式”的内涵
由中国广核集团有限公司下属北京广利核系统工程有限公司、深圳中广核工程设计有限公司、环境保护部核与辐射安全中心、北京和利时系统工程有限公司联合完成的大型先进压水堆
介绍了飞剪在使用过程中剪刃锁紧存在的问题及解决方案，并根据备件、维修、生产成本等情况等对其进行规范和改造，降低了设备故障和工作量，降低了职工劳动强度运行成本，间接增加了