一种实时分区操作系统的多余度同步调度方法  

A Redundancy Synchronous Scheduling Method for Real-time Partition Operating System

作　　者：周霆[1] 任晓瑞[1] 朱晓宁 ZHOU Ting;REN Xiao-rui;ZHU Xiao-ning(Xi′an Aeronautics Computing Technique Research Institute,AVIC,Xi′an 710000,China)

机构地区：[1]航空工业西安航空计算技术研究所,陕西西安710000

出　　处：《航空计算技术》2022年第4期65-69,共5页Aeronautical Computing Technique

基　　金：国家自然科学基金项目资助(61732001)。

摘　　要：随着机载航空电子系统综合化水平的进一步提高,安全关键的多余度控制系统也开始利用时空隔离的多分区环境集成多样化应用,从而产生了对多分区、多任务同步调度和确定性序列化调度的需求,因而分区操作系统需要提供时间确定性更高的调度模型和多余度同步调度能力。提出一种“弹性同步时间+固定主帧时间”的多分区调度同步机制,以及“前台周期任务+后台非周期任务”分区内任务调度模型,解决现有分区调度算法缺乏多余度间的弹性同步机制,以及分区内第二级调度缺乏确定性的执行序列和执行时机的问题。With further development of Integrated Modular Avionics(IMA),the safety critical redundancy control system also begin to integrate diversified applications by using the multi partition environment with temporal and spatial isolation,resulting in the requirements for multi partition,multi task synchronous scheduling and deterministic serialization scheduling.Therefore,the partition operating system needs to provide a scheduling model with higher time certainty and redundancy synchronous scheduling capability.This paper proposes a multi partition scheduling synchronization mechanism based on"elastic synchronization time"and"fixed main frame time"and a task scheduling model within partition based on"foreground periodic task"and"background aperiodic task".The proposed methods solves the problems that the existing partition scheduling algorithms lack the elastic synchronization mechanism between redundancy and the second level scheduling in the partition lacks deterministic execution sequence and execution timing.

关 键 词：分区操作系统 弹性同步分区 前后台任务 余度同步 

分 类 号：V247.1[航空宇航科学与技术—飞行器设计]