ucosii任务调度算法分析,空间换时间
要点,两个数据结构:
- 8Byte的二维数组
OSRdyTbl[8]
,共64bit,代表64个任务,也叫就绪表; - 1Byte的
OSRdyGrp
,每个bit代表一组任务的就绪状态,对应OSRdyTbl[8]
的8个Byte。
理解难点:
- 如何快速查找最高优先级的就绪任务,且花费时间相同?
答:查表
查表算法:
- 从
OSRdyGrp
里面查找含有最高优先级的那个组(即查找OSRdyGrp最低不为0的bit所在的位
,假设结果为3); - 从含有最高优先级的那个组里面查找最高优先级(即查找
OSRdyTbl[2]
最低不为0的bit所在的位
,假设结果为2); - 则最高优先级的任务是第2组中的第1个任务,也就是
Prio = 3*8+2 = 3<<3+2 = 26
由于第1、2步算法是一样的,所以查的是同一张表,即OSUnMapTbl[256](os_core.c)
。
举例
- 当前
OSRdyGrp = 40 = 0x28(0b00101000)
; - 查表
OSUnMapTbl[OSRdyGrp] = OSUnMapTbl[40] = 3
,即要找的任务在第3组中; - 当前
OSRdyTbl[3] = 228 = 0xE4 (0x11100100)
- 查表
OSUnMapTbl[OSRdyTbl[3]] = OSUnMapTbl[228] = 2
,即要找的任务在第3组中的第2个; - 计算最终的任务优先级
PRO = 3*8+2 = 3<<3+2 = 26
其他:
某个任务在就绪表OSRdyTbl[8]
和分组就绪OSRdyGrp
中进行置位和取反的操作也必须花费相同的时间,操作方法如下: