嵌入式系统中微程的可调度性验证方法和系统技术方案

本申请涉及一种嵌入式系统中微程的可调度性验证方法和系统，其属于嵌入式系统技术领域，该方法包括获取测试微程集和对照微程集；采用EDFI调度规则依次调度测试微程集和对照微程集得到测试调度信息；采用EDF调度规则依次调度测试微程集和对照微程集得到对照调度信息；根据所述测试调度信息和所述对照调度信息得到结果信息。本申请具有提高判断微程的可调度性结果的准确度的效果。调度性结果的准确度的效果。调度性结果的准确度的效果。

【技术实现步骤摘要】
嵌入式系统中微程的可调度性验证方法和系统


[0001]本申请涉及嵌入式系统
，尤其是涉及嵌入式系统中微程的可调度性验证方法和系统。

技术介绍

[0002]分布式嵌入式系统是由一组通过网络进行通信、为了完成共同的任务而协调工作的嵌入式计算节点组成的系统，也因为分布式嵌入式系统的协调性，单一的计算节点实现的功能有限，所以为了节约资源，在部署计算节点时为其分配的硬件资源较少。
[0003]为了使嵌入式计算节点充分调度所持有的硬件资源，以配合其他嵌入式计算节点共同完成高实时的任务，在嵌入式计算节点的操作系统中提出了微程，并为微程配置了调度策略，操作系统依据调度策略实现对微程的调度。然而，对于为微程配置的调度策略的可行性却缺少验证手段，使得在部署嵌入式系统时的难度增大。

技术实现思路

[0004]本申请提供一种嵌入式系统中微程的可调度性验证方法和系统，具有提高判断微程的可调度性结果的准确度的特点。
[0005]本申请目的一是提供一种嵌入式系统中微程的可调度性验证方法。
[0006]本申请的上述申请目的一是通过以下技术方案得以实现的：一种嵌入式系统中微程的可调度性验证方法，包括：获取测试微程集和对照微程集；采用EDFI调度规则依次调度测试微程集和对照微程集得到测试调度信息；采用EDF调度规则依次调度测试微程集和对照微程集得到对照调度信息；根据所述测试调度信息和所述对照调度信息得到结果信息。
[0007]通过采用上述技术方案，本申请通过设置两组数据作为验证的数据来源，再分别用EDFI调度策略和EDF调度策略分别对验证数据进行验证，最后再比较使用EDFI调度策略得到的测试调度信息和使用EDF调度策略得到的对照调度信息，根据对比结果生成结果信息。由此可知，本申请通过设置两组数据，再采用两种不同的调度策略调度测试微程集和对照微程集，从而得到多种中间信息(包括测试调度信息和对照调度信息)，再根据每一种中间信息生成最后的结果信息，所以能够保障所得到的微程的可调度性结果的准确度。
[0008]本申请在一较佳示例中可以进一步配置为：所述获取测试微程之前，包括：获取目标微程集，所述目标微程集包括多个目标微程，所述目标微程包括Wsn_TimerFiber微程、Wsn_AppFiber微程、Wsn_DemoFiber微程及Wsn_EdfiFiber微程；提取所述目标微程的理论截止时间和最小继承时间，依据所述最小继承时间生成继承截止时间表；建立就绪调度队列和运行调度队列；所述就绪调度队列用于接收所述目标微程，并按照理论截止时间由短至长的顺序
排列目标微程；所述运行调度队列用于接收继承截止时间表和就绪调度队列释放的目标微程，并按照继承截止时间表执行目标微程得到实际截止时间；运行调度队列还用于将运行后的目标微程按照实际截止时间由短至长的顺序进行排列，并在目标微程到达下一执行周期时释放至就绪调度队列中；将每一个目标微程的微程量、将运行调度队列在遍历就绪调度队列的目标微程时得到的每一个目标微程的实际截止时间以及每一个目标微程的运行周期输入W(t)函数、H(t)函数以及CB(t)函数中；建立系数为1的线性函数，将所述W(t)函数、H(t)函数以及CB(t)函数放入系数为1的线性函数中，并判断所述W(t)函数是否先于H(t)函数和CB(t)函数与对角线相交；若是，则将目标微程集标记为测试微程集；若否，则将目标微程集标记为对照微程集。
[0009]通过采用上述技术方案，将目标微程集划分为测试微程集和对照微程集，从而为后续的验证提供数据来源。
[0010]本申请在一较佳示例中可以进一步配置为：所述测试调度信息包括实时性测试、优先级反转测试、死锁测试以及微程微程序段调度测试。
[0011]通过采用上述技术方案，本申请基于设置有两组数据的基础上，再分别对两组数据进行多组测试，保障了所得到的微程的可调度性结果的准确度。
[0012]本申请在一较佳示例中可以进一步配置为：所述实时性测试包括：采用EDFI调度策略调度测试微程集得到实际截止时间；将所述测试微程集的理论截止时间与实际截止时间相减得到测试的第一提前时间；采用EDFI调度策略调取对照微程集得到实际截止时间；将所述对照微程集的理论截止时间与实际截止时间相减得到对照的第一提前时间。
[0013]本申请在一较佳示例中可以进一步配置为：所述优先级反转测试包括：提取Wsn_AppFiber微程、Wsn_DemoFiber微程与Wsn_EdfiFiber微程；将Wsn_AppFiber微程和Wsn_EdfiFiber微程设置为同时访问同一个共享硬件资源R，将Wsn_DemoFiber微程设置为不访问任何硬件资源；依次释放Wsn_EdfiFiber微程、Wsn_DemoFiber微程以及Wsn_AppFiber微程，并采用EDFI调度策略调度依次释放的Wsn_EdfiFiber微程、Wsn_DemoFiber微程以及Wsn_AppFiber微程；判断在Wsn_EdfiFiber微程、Wsn_DemoFiber微程以及Wsn_AppFiber微程调度中是否发生了微程的优先级反转，并生成了第一调度信息。
[0014]本申请在一较佳示例中可以进一步配置为：所述死锁测试测试包括：提取Wsn_AppFiber微程与Wsn_EdfiFiber微程；设置Wsn_AppFiber微程与Wsn_EdfiFiber微程同时访问硬件资源R1；采用EDFI调度策略先调度Wsn_AppFiber微程，在Wsn_AppFiber微程持有硬件资源R1以后，通过一定时间延迟让Wsn_EdfiFiber微程抢占Wsn_AppFiber微程；
判断Wsn_AppFiber微程与Wsn_EdfiFiber微程是否发生死锁，并生成第一执行信息。
[0015]本申请在一较佳示例中可以进一步配置为：所述微程微程序段调度测试包括：提取Wsn_TimerFiber微程、Wsn_AppFiber微程、Wsn_DemoFiber微程以及Wsn_EdfiFiber微程；在Wsn_TimerFiber微程、Wsn_AppFiber微程、Wsn_DemoFiber微程及Wsn_EdfiFiber微程中均增加一个数组；采用EDFI调度策略调度增加数组后的Wsn_TimerFiber微程、Wsn_AppFiber微程、Wsn_DemoFiber微程以及Wsn_EdfiFiber微程；根据调度结果记录相关程序段的名称和截止时间，并生成第一次序信息。
[0016]本申请在一较佳示例中可以进一步配置为：所述根据所述测试调度信息和所述对照调度信息得到结果信息包括：将所述测试调度信息和所述对照调度信息分别进行实时性验证、优先级反转验证、死锁验证以及微程程序段调度验证得到结果信息。
[0017]通过采用上述技术方案，基于对测试微程集和对照微程集进行实时性测试、优先级反转测试、死锁测试以及微程程序段调度测试的情况下，再分别对每一个测试给出对应的验证，保障了所得到的微程的可调度性结果的准确度。本文档来自技高网...

【技术保护点】

【技术特征摘要】
1.一种嵌入式系统中微程的可调度性验证方法，其特征在于，包括：获取测试微程集和对照微程集；采用EDFI调度规则依次调度测试微程集和对照微程集得到测试调度信息；采用EDF调度规则依次调度测试微程集和对照微程集得到对照调度信息；根据所述测试调度信息和所述对照调度信息得到结果信息。2.根据权利要求1所述的嵌入式系统中微程的可调度性验证方法，其特征在于，所述获取测试微程之前，包括：获取目标微程集，所述目标微程集包括多个目标微程，所述目标微程包括Wsn_TimerFiber微程、Wsn_AppFiber微程、Wsn_DemoFiber微程及 Wsn_EdfiFiber微程；提取所述目标微程的理论截止时间和最小继承时间，依据所述最小继承时间生成继承截止时间表；建立就绪调度队列和运行调度队列；所述就绪调度队列用于接收所述目标微程，并按照理论截止时间由短至长的顺序排列目标微程；所述运行调度队列用于接收继承截止时间表和就绪调度队列释放的目标微程，并按照继承截止时间表执行目标微程得到实际截止时间；运行调度队列还用于将运行后的目标微程按照实际截止时间由短至长的顺序进行排列，并在目标微程到达下一执行周期时释放至就绪调度队列中；将每一个目标微程的微程量、将运行调度队列在遍历就绪调度队列的目标微程时得到的每一个目标微程的实际截止时间以及每一个目标微程的运行周期输入W（t）函数、H（t）函数以及CB（t）函数中；建立系数为1的线性函数，将所述W（t）函数、H（t）函数以及CB（t）函数放入系数为1的线性函数中，并判断所述W（t）函数是否先于H（t）函数和CB（t）函数与对角线相交；若是，则将目标微程集标记为测试微程集；若否，则将目标微程集标记为对照微程集。3.根据权利要求2所述的嵌入式系统中微程的可调度性验证方法，其特征在于，所述测试调度信息包括实时性测试、优先级反转测试、死锁测试以及微程微程序段调度测试。4.根据权利要求3所述的嵌入式系统中微程的可调度性验证方法，其特征在于，所述实时性测试包括：采用EDFI调度策略调度测试微程集得到实际截止时间；将所述测试微程集的理论截止时间与实际截止时间相减得到测试的第一提前时间；采用EDFI调度策略调取对照微程集得到实际截止时间；将所述对照微程集的理论截止时间与实际截止时间相减得到对照的第一提前时间。5.根据权利要求3所述的嵌入式系统中微程的可调度性验证方法，其特征在于，所述优先级反转测试包括：提取Wsn_AppFiber微程、Wsn_DemoFiber微程与Wsn_EdfiFiber微程；将Wsn_AppFiber微程和Wsn_EdfiFiber微程设置为同时访问同一个共享硬件资源R，将Wsn_DemoFiber微程设置为不访问任何硬件资源；依次释放Wsn_EdfiFiber微程、Wsn_DemoFiber微程以及Wsn_AppFiber微程，并采用
EDFI调度策略调度...

【专利技术属性】
技术研发人员：顾玉良，陈鹏，
申请(专利权)人：北京凯思昊鹏软件工程技术有限公司，
类型：发明
国别省市：