摘要： 多核环境中并发、资源共享和任务迁移等特性,导致分区操作系统的安全关键任务调度存在较大的不确定性。为此,提出一种针对多核平台分区操作系统的安全关键任务调度方法。判断系统是否包含安全关键任务并将其分为关键分区和非关键分区。在系统层通过资源划分的方式确保关键分区的独立运行,根据分区利用率确定最小资源上限,在保证安全关键任务调度可靠性的同时,提高系统的资源利用率。在分区层设计基于动态优先级的双模容错任务调度算法和基于二分搜索的最小任务优先级搜索算法,以提升系统的容错能力。实验结果表明,该方法能够提高分区操作系统的资源利用率和任务调度可靠性。

关键词: 多核处理器, 分区操作系统, 容错调度, 资源划分, 安全关键任务, 分区映射

Abstract: Due to the characteristics of concurrent,resource sharing and task migration in multi-core environment,uncertaionty has been introduced into the safety-critical task scheduling for partitioned operating system.In view of this,this paper presents a safety-critical task scheduling method for partitioned operating system in multi-core platform.This method divids the system partition into critical partition and non-critical partition by judging whether it contains safety-critical tasks.On the system layer,resource pre-allocated method is used to ensure the independent operation of the critical partitions.Moreover,it determines the minimum resource upper limit according to the partition utilization,so as to improve the resource utilization rate of the system while ensuring the reliability of safety-critical task scheduling.On the partition layer,a dual-mode fault-tolerant task scheduling algorithm based on dynamic priority and a minimum task priority search algorithm based on binary-search are proposed,which can enhance the fault-tolerance abality of the system.Experimental results show that the proposed method can guarantee the partitioned operating system to have higher resource utilization and reliability of task scheduling.

Key words: multi-core processor, partitioned operating system, fault-tolerant scheduling, resource partitioning, safety-critical task, partitioned mapping

中图分类号: 

• TP316.2