文档解析
本文研究了实时分区操作系统在安全关键的机载多余度实时处理系统中如何提供具备多余同步和严格序列化、周期性特征的调度方法。文章提出了一种“弹性同步时间+固定主帧时间”的多分区调度同步机制,以及“前台周期任务+后台非周期任务”分区内任务调度模型。这种机制和模型解决了现有分区操作系统的多分区时间表轮转调度缺乏弹性同步机制,以及无法在分区内提供固化的任务调度序列和调度时机保证的问题。通过构建专用的弹性同步分区,实现了多个余度之间在每个调度的主帧周期前达成时间同步,并且不占用应用分区的主帧时间,实现多个余度之前调度时机的校准。同时,固化分区内的任务调度模型,约束了分区的时间窗口属性,确保整个调度周期所有应用任务的调度序列是可预知并且确定的,同时确保了周期任务能够时间确定的获取并让出执行权。文章还提供了一个典型场景下的多余度同步调度实时方法,展示了所提方法的应用和效果。
评论