首页 > 代码库 > Nucleus PLUS任务调度
Nucleus PLUS任务调度
概述
Nucleus Plus内核(Kernel)的主要目的是管理实时任务的竞争运行(共享CPU),为应用提供各种便利,快速响应外部事件。Nucleus Plus的系统结构如图1所示,可以看出线程控制是整个内核的核心,通过邮箱、队列、管道来实现任务之间的通信,通过信号量、事件组和信号实现任务间的同步。
线程控制部件用来管理实时任务和高级中断服务的执行,它是Nucleus 嵌入式实时操作系统最核心的部分。为了控制执行过程,任务通常被分配一个优先级。任务优先级的范围从0到255,优先级0的优先权最高。除非抢占标示位被置为无效,否则低优先级的任务将被高优先级就绪的任务抢占。为保证对外部事件的实时性响应,Nucleus设计了高级中断服务HISR,它的优先级范围从0到2,其中优先级0的级别最高。
任务调度线程就负责抢占式实时任务和HISR的调度管理。每个用户应用由多个任务组成,一个任务就是具有特定目的的半独立程序片段,任务处于五种状态之一--运行、就绪、挂起、终止、完成,如表1所示。任务具有不同的优先级,高优先级任务能够抢占低优先级任务,同优先级任务按照进入”就绪状态“的顺序调度,优先级从0-255递减。
表1 Nucleus任务的五种状态
状态意义 | |
运行Executing | 任务当前正在被CPU执行。 |
就绪Ready | 任务就绪,但是另一个任务当前正在运行。 |
挂起Suspended | 任务因为服务等待需求而体眠。当需求满足时,任务变为就绪状态。默认情况下,新创建的任务都处于 |
终止Terminated | 任务被终止。当任务处于这种状态时,它将不再执行直到它被复位。 |
完成Finished | 任务完成了.从入口函数中退出。任务处于这种状态时,它将不再执行直到受到复位。 |
(一)任务调度算法
Nucleus调度程序用来决定是否要进行任务切换,如果需要切换的话,切换到哪个进程等。Nucleus实时操作系统的任务调度算法非常简单,它包括时间片轮转算法和轮询算法。
时间片轮转算法是将相同优先级的任务都分配相同的时间片,当时间片用完后再转到下一个任务,轮流执行直到这个优先级的所有任务全部执行完毕,然后再转到下一个优先级。轮询算法是在本优先级内的所有任务按照就绪时间的先后 顺序执行,当这个优先级的全部任务都执行完毕后,再执行下一个优先级的任务。
再者,Nucleus实时操作系统具有可抢占性,进程调度的依据就是按照优先级从高到低顺序进行调度。当低优先级任务在运行时,高优先级任务就绪准备执行时则会抢占执行,迫使低优先级任务挂起。
Nucleus的调度时机包括:
(1)进程状态转换的时刻,即进程终止、进程睡眠;
(2)可运行队列中新增加一个进程时;
(3)当前进程的时间片用完;
(4)进程从系统调用返回到用户态;
(5)内核处理完中断后,进程返回到用户态。
(二)Nucleus PLUS任务管理
1,主要任务控制结构
Nucleus PLUS每一个任务都有一个控制结构体称为线程控制块Thread Control Block(TCB),任务支持动态的创建和删除,TC通过一个双向链表TCD_Created_Tasks_List管理所有的任务,全局变量TCD_Total_Tasks表示已创建的总任务数。
TCD_Priority_List是一个大小为256的TCB指针数组TC_TCB (*TCD_Priority_List)[256](数组大小与Nucleus PLUS优先级数相同),数组元素按任务优先级索引。数组中的每个元素都是某个优先级就绪任务链表的头。若某元素为空则表明那个优先级没有就绪任务。 对于每个优先级的就绪任务列表,TCB是以双向列表的形式存储。即Nucleus PLUS维护一个指针数组来调度不同优先级的任务链表。
图2 TCD_Priority_List
2,任务优先级管理
Nucleus在进行任务切换时需要计算最高优先级,为了快速的计算就绪任务中最高的优先级,Nucleus PLUS引入了一种优先级分组+查找表机制。
2.1 TCD_Priority_Groups
任务的优先级从0到255,0的优先级别最高,255的优先级别最低。256个优先级分成32组,每组对应8个级别。例如第0组对应优先级0~7、第1组对应 8~15、...。用32位整型变量TCD_Priority_Groups的每一位标示优先级组是否有任务进入就绪状态,某位为1表示改组至少有一个任务就绪。
图3 TCD_Priority_Groups
2.2 TCD_Sub_Priority_Groups[]
子优先级数组TCD_Sub_Priority_Groups[32]标示一个组内具体的8个优先级,数组元素为8位整型,每一位对应组内一个优先级。如TCD_Sub_Priority_Groups[0]表示第0组(优先级0-7)任务的就绪状态,第0位为1表明优先级0的任务就绪、第7位为1表明优先级7的任务就绪。
图4 TCD_Sub_Priority_Groups
若任务的优先级为Tc_priority, 该任务的子优先级掩码为:tc_sub_priority=1<<(tc_priority&7)。 该任务的优先级组掩码为:tc_priority_group=1<<((tc_priority)>>3)。
2.3 TCD_Lowest_Set_Bit[]
TCD_Lowest_Set_Bit[]是一个查找表(元素预先已计算出),该表是8位整型数据的序号和数据8个位中第一个为1的位的位置(从高往底数)的,例如TCD_Lowest_Set_Bit[n]=value,n指8位整型数的值(就是序号),value指的是8个位中第一个为1的位置(从低往高数)。如Unsigned Char 7的二进制是0000 0111,第一个为1的位位0,value=http://www.mamicode.com/0,TCD_Lowest_Set_Bit[7] = 0。
如此便可以求得表TCD_Lowest_Set_Bit[256]。举例,8位整型数中位0为1的数据包括1、3、5、7、9、11、13、15,...,253,255,所以有:
TCD_Lowest_Set_Bit[1]= 0, TCD_Lowest_Set_Bit[3]= 0, TCD_Lowest_Set_Bit[5]= 0, TCD_Lowest_Set_Bit[7]= 0, ..., TCD_Lowest_Set_Bit[253]= 0, TCD_Lowest_Set_Bit[255]= 0。
2.4 任务创建和优先级管理的基本过程
任务优先级管理全局变量
UNSIGNED TCD_Priority_Groups; DATA_ELEMENT TCD_Sub_Priority_Groups[TC_MAX_GROUPS]; UNSIGNED_CHAR TCD_Lowest_Set_Bit[256] = {0, 0, 1, 0, 2, 0, 1, 0, 3, 0, 1, 0, 2, 0, 1, 0, 4, 0, 1, 0, 2, 0, 1, 0, 3, 0, 1, 0, 2, 0, 1, 0, 5, 0, 1, 0, 2, 0, 1, 0, 3, 0, 1, 0, 2, 0, 1, 0, 4, 0, 1, 0, 2, 0, 1, 0, 3, 0, 1, 0, 2, 0, 1, 0, 6, 0, 1, 0, 2, 0, 1, 0, 3, 0, 1, 0, 2, 0, 1, 0, 4, 0, 1, 0, 2, 0, 1, 0, 3, 0, 1, 0, 2, 0, 1, 0, 5, 0, 1, 0, 2, 0, 1, 0, 3, 0, 1, 0, 2, 0, 1, 0, 4, 0, 1, 0, 2, 0, 1, 0, 3, 0, 1, 0, 2, 0, 1, 0, 7, 0, 1, 0, 2, 0, 1, 0, 3, 0, 1, 0, 2, 0, 1, 0, 4, 0, 1, 0, 2, 0, 1, 0, 3, 0, 1, 0, 2, 0, 1, 0, 5, 0, 1, 0, 2, 0, 1, 0, 3, 0, 1, 0, 2, 0, 1, 0, 4, 0, 1, 0, 2, 0, 1, 0, 3, 0, 1, 0, 2, 0, 1, 0, 6, 0, 1, 0, 2, 0, 1, 0, 3, 0, 1, 0, 2, 0, 1, 0, 4, 0, 1, 0, 2, 0, 1, 0, 3, 0, 1, 0, 2, 0, 1, 0, 5, 0, 1, 0, 2, 0, 1, 0, 3, 0, 1, 0, 2, 0, 1, 0, 4, 0, 1, 0, 2, 0, 1, 0, 3, 0, 1, 0, 2, 0, 1, 0}; INT TCD_Highest_Priority;//就绪状态任务的最高优先级
extern UNSIGNED TCD_Priority_Groups; extern DATA_ELEMENT TCD_Sub_Priority_Groups[TC_MAX_GROUPS]; extern UNSIGNED_CHAR TCD_Lowest_Set_Bit[]; extern INT TCD_Highest_Priority; task -> tc_priority = priority; task -> tc_priority_head = &(TCD_Priority_List[priority]); task -> tc_sub_priority = (DATA_ELEMENT) (1 << (priority & 7));//组内子优先级计算,0-7 priority = priority >> 3;//优先级组计算,有32个组 task -> tc_priority_group = ((UNSIGNED) 1) << priority;//优先级组响应组标示位置1 task -> tc_sub_priority_ptr = &(TCD_Sub_Priority_Groups[priority]);//指向子优先级起始
ii. 恢复运行一个task时(tcc.c)--TCC_Resume_Task fuction
TCD_Priority_Groups = TCD_Priority_Groups | (task -> tc_priority_group); //组号保存到全局变量 *(task -> tc_sub_priority_ptr) = (*(task -> tc_sub_priority_ptr)) | task -> tc_sub_priority; //组内值保存到全局变量
iii.获取当前最高优先级(tcc.c)
if (TCD_Priority_Groups & TC_HIGHEST_MASK) index = 0; else if (TCD_Priority_Groups & TC_NEXT_HIGHEST_MASK) index = 8; else if (TCD_Priority_Groups & TC_NEXT_LOWEST_MASK) index = 16; else index = 24; index = index + TCD_Lowest_Set_Bit[(INT)((TCD_Priority_Groups >> index) & TC_HIGHEST_MASK)];//获取组号中1的最低排位,取值范围0~31 temp = TCD_Sub_Priority_Groups[index];//与priority_group对应,有32个Sub_Priority_Groups,通过index查找到相应的Sub_Priority_Groups TCD_Highest_Priority = (index << 3) + TCD_Lowest_Set_Bit[temp];//获取到实际的最高优先级