基于固定优先级的多核抢占式的多级融合实时调度方法技术

本发明专利技术公开一种基于固定优先级的多核抢占式的多级融合实时调度方法，针对基于MILS架构的多级安全操作系统上运行了各种各样的分区操作系统时，实时分区需要保证其强实时性的问题，本发明专利技术多个物理CPU共享同一个就绪队列，就绪队列所采用的优先级即为分配给每个VCPU的固定优先级，固定优先级的可取值范围为0到N‑1，根据优先级的可取值范围，就绪队列划分为N个子队列，每个子队列代表一个优先级，就绪队列按照子队列优先级数值的大小从小到大进行排列，即数值越小，表示其优先级越高，则越靠近就绪队列的队首；每个子队列中的所有VCPU的固定优先级相等，按照其到达就绪队列的时间进行排序，保证了强实时分区内的实时任务都能按时完成。

【技术实现步骤摘要】
基于固定优先级的多核抢占式的多级融合实时调度方法
本专利技术属于安全操作系统领域，特别涉及一种MILS架构的多级安全操作系统的任务调度技术。
技术介绍
操作系统是管理和控制计算机硬件和软件资源的计算机程序，是运行其他应用软件的基础软件，操作系统自身的防危性对用户的信息安全起着至关重要的作用。以“WannaCry”病毒为例，其核心问题即本地计算机执行了外来的木马程序，因此，从操作系统的角度来说，如果操作系统自身具备强制访问控制功能，即可有效地防止外来程序的运行，其次，“WannaCry”病毒可以通过文件共享网络端口在校园网中迅速传播，这表明系统之间的通信路径并不安全，通过操作系统的可信通信路径机制即可有效防止类似安全威胁。由此可见，对安全操作系统的研究迫在眉睫，多个独立安全等级(MultipleIndependentLevelsofSecurityandSafety，MILS)架构是由美国Idaho大学的Jim教授等人所提出的一种基于安全分离型内核的多级安全架构，该架构以分离的思想为基础，在同一个硬件平台上构建多个分离的不同安全等级的分区，分区之间的数据完全隔离，每个分区只能在自己的地址空间中运行，并且分区之间的通信由分离内核进行统一控制，该架构目前已经被当做构建高可信操作系统的有效手段，且已被美国以及英国等多个国家的军用系统所采用。为了提高“客户”操作系统的设备响应速度，研究MILS架构下的多级安全操作系统的调度算法具有重大意义。
技术实现思路
为解决上述技术问题，本专利技术提出一种基于固定优先级的多核抢占式的多级融合实时调度方法，保证强实时分区内的实时任务都能按时完成。本专利技术采用的技术方案为：基于固定优先级的多核抢占式的多级融合实时调度方法，包括：S1、一级调度：可信分离内核基于固定优先级的多核抢占式的调度算法对“客户”操作系统的VCPU调度；S2、二级调度：“客户”操作系统对自身任务的调度。所述基于固定优先级的多核抢占式的调度算法，具体为：多个物理CPU共享同一个就绪队列，就绪队列所采用的优先级即为分配给每个VCPU的固定优先级，固定优先级的可取值范围为0到N-1，根据优先级的可取值范围，就绪队列划分为N个子队列，每个子队列代表一个优先级，就绪队列按照子队列优先级数值的大小从小到大进行排列，即数值越小，表示其优先级越高，则越靠近就绪队列的队首；每个子队列中的所有VCPU的固定优先级相等，按照其到达就绪队列的时间进行排序。所述基于固定优先级的多核抢占式的调度算法实现过程包括以下分步骤：A1、首先判断调度的时机，即判断当前是否应该切换VCPU，如果不切换，则返回当前VCPU继续运行，否则，按照优先级从高到低的顺序依次遍历就绪队列的N个子队列，找到第一个非空的就绪子队列，并取得子队列的队首VCPU；A2、比较步骤A1中获得的VCPU的优先级和当前正在运行的VCPU的优先级，如果当前VCPU的优先级较高，则返回当前VCPU并继续运行，否则，从就绪队列中删除步骤A1中获得的VCPU，并返回该VCPU并运行；A3、如果此时该物理CPU上没有VCPU需要运行，则运行idle_vcpu，进入休眠；其中，idle_vcpu是一个特殊的VCPU，当PCPU没有其他可运行的VCPU时，则运行idle_vcpu。还包括：中断队列，中断队列中的所有VCPU的中断注入标识都大于0，当其处理完所有的中断请求后，则将其从中断队列中删除，然后插入就绪队列。每个VCPU分配一个中断注入标识，中断注入标识记录了该VCPU还未处理的中断请求的数量，每次为VCPU注入中断时，则将其中断注入标识加一，而中断请求处理完成后，再将其中断注入标识减一。本专利技术的有益效果：本专利技术采用基于固定优先级的多核抢占式的调度算法的一级调度算法，注重单个分区的强实时需求，可以保证强实时分区内的实时任务都能按时完成；在此基础上，本专利技术还提出了基于设备请求的动态调度算法，提高设备的响应速度，以满足设备响应的时限需求。附图说明图1为本专利技术实施例提供的基于MILS架构的综合实时两级调度机制的整体框架；图2为本专利技术实施例提供的单个PCPU的就绪队列；图3为本专利技术实施例提供的基于固定优先级的多核抢占式的调度算法流程图；图4为本专利技术实施例提供的中断队列和就绪队列。具体实施方式为便于本领域技术人员理解本专利技术的
技术实现思路
，下面结合附图对本
技术实现思路
进一步阐释。在基于MILS架构的多级安全操作系统中，可以在分区内运行多种异构操作系统，比如Windows、Linux、uC/OS、VxWorks等，这些分区内运行的“客户”操作系统都有各自的任务调度器，因此，这些分区内部的任务调度器和可信分离内核的VCPU(VirtualCentralProcessingUnit)调度器共同构成了MILS的两级调度。基于MILS架构的综合实时两级调度机制的整体框架如图1所示，其中参与两级调度的主体主要包括：“客户”操作系统中运行的任务Task、“客户”操作系统的任务调度器、以及分配给分区内的“客户”操作系统的VCPU和可信分离内核的VCPU调度器。如图1所示，从下往上，分区内的任务要获得物理CPU资源从而运行需要经过如下的两级调度过程：1)一级调度：可信分离内核基于最早截止时间优先的调度算法对“客户”操作系统的VCPU调度，其调度的基本单位是VCPU，竞争的资源是硬件平台的所有PCPU(PhysicalCentralProcessingUnit)；2)二级调度：“客户”操作系统对自身任务的调度，其调度的基本单位是任务，竞争的资源则是分配给这个分区的所有VCPU。针对各个分区内的二级调度器，由于运行的“客户”操作系统的不同，其采取的调度算法也各不相同，比如Linux系统的O(1)调度算法和CFS(CompletelyFairSchedule)算法、实时操作系统的RM(RateMonotonic)调度算法和EDF(EarliestDeadlineFirst)调度算法等，这些调度算法的使用取决于内部系统的不同应用需求，与MILS架构本身的关系并不紧密，因此，在本专利技术的多级融合实时调度机制中，主要从可信分离内核的一级调度的角度去考虑。在MILS架构的可信分离内核中，一级调度器的目的是，根据某种调度算法，从VCPU就绪队列中挑选出最合适的一个VCPU，使其占有PCPU资源。这儿的调度算法，根据不同的应用需求将有所不同，如图1所示，本专利技术中的综合实时两级调度机制主要提供了：基于固定优先级的多核抢占式的调度算法，注重单个分区的强实时需求，可以保证强实时分区内的实时任务都能按时完成。当基于MILS架构的多级安全操作系统上运行了各种各样的分区操作系统时，比如Linux、windows、VxWorks等，在这种情况下，运行VxWorks等实时操作系统的实时分区需要保证其强实时性，基于固定优先级的多核抢占式的调度算法中，多个物理CPU共享同一个就绪队列，就绪队列所采用的优先级即为分配给每个VCPU的固定优先级，固定优先级的可取值范围为0到N-1，就绪队列的示意图如图2所示。根据优先级的可取值范围，就绪队列划分为N个子队列，每个子队列代表一个优先级，就绪队列按照子队列优先级数值的大小从小到大进行排列，即数值越小，表示其优先级越高本文档来自技高网...

【技术保护点】
1.基于固定优先级的多核抢占式的多级融合实时调度方法，其特征在于，包括：S1、一级调度：可信分离内核基于固定优先级的多核抢占式的调度算法对“客户”操作系统的VCPU调度；S2、二级调度：“客户”操作系统对自身任务的调度。

【技术特征摘要】
1.基于固定优先级的多核抢占式的多级融合实时调度方法，其特征在于，包括：S1、一级调度：可信分离内核基于固定优先级的多核抢占式的调度算法对“客户”操作系统的VCPU调度；S2、二级调度：“客户”操作系统对自身任务的调度。2.根据权利要求1所述的基于固定优先级的多核抢占式的多级融合实时调度方法，其特征在于，所述基于固定优先级的多核抢占式的调度算法，具体为：多个物理CPU共享同一个就绪队列，就绪队列所采用的优先级即为分配给每个VCPU的固定优先级，固定优先级的可取值范围为0到N-1，根据优先级的可取值范围，就绪队列划分为N个子队列，每个子队列代表一个优先级，就绪队列按照子队列优先级数值的大小从小到大进行排列，即数值越小，表示其优先级越高，则越靠近就绪队列的队首；每个子队列中的所有VCPU的固定优先级相等，按照其到达就绪队列的时间进行排序。3.根据权利要求2所述的基于固定优先级的多核抢占式的多级融合实时调度方法，其特征在于，所述基于固定优先级的多核抢占式的调度算法实现过程包括以下分步骤：A1、首先判断调度的时机，即判断当前是否应该切换VCPU，如果不切换，则返回当前VCPU继续运行...

【专利技术属性】
技术研发人员：杨霞，郭文生，罗雄，高扬，卢秀台，张冯博，古涛铭，廖士钞，向蓓蓓，黄一，钱智成，瞿元，李南铮，潘文睿，熊宇，
申请(专利权)人：电子科技大学，
类型：发明
国别省市：四川,51