看书上的就绪表不太明白,这一篇讲的很明白
就绪是什么呢?它就是一切准备就绪了,准备运行了。任务一旦建立,它就会进入了就绪态(task ready),准备运行了。任务的建立可以是在多任务运行开始之前,也可以动态地由一个运行着的任务建立。
那么,如果有多个任务就绪,那怎么办呢?这就牵涉到了就绪表的问题了。就绪表(ready list)在存放就绪任务的。就绪表中有两个变量,OSRdyGrp和OSRdyTbl[]。因为任务最多一般只能是64个,JeanJ.Labrosse就把就绪表分成8*8的一个矩阵形表(table),这样就刚好能存放64个就绪的任务了。下面表格里面的数字代表优先级。那么,OSRdyGrp和OSRdyTbl[]又代表什么呢?
见上图,作者见任务太多,就按优先级将它分成了八组,每一行作为一组,每组八个任务,(也即按Y坐标分组)。而OSRdyGrp是一个有八位二进制数的数,它的每一位代表一个组。比如:OSRdyGrp的第0位代表了第一行0到7这八个优先级。第一位代表了8到15这八个优先级,以此类推。只要哪一组中的任何一位置位(即哪一组中有任何一个任务进入就绪表),那么OSRdyGrp相应的位就置1。比如:第一行中优先级0到7,只要有一个任务进入就绪表,那么OSRdyGrp的第0位就会置1(有更多任务进入就绪表也会置1),表示这一行中有任务进入就绪表啦,但是有多少呢?不知道!
那不知道,怎么办呢?这就要看OSRdyTbl[]了。先来介绍一个掩码的知识:ucos里面有一个数组,叫OSMapTbl[],它来帮助我们查一个任务是否进入优先级。
具体如下:
OSMapTbl[]的下标 | OSMapTbl[](即位掩码) |
0 | 00000001 01 |
1 | 00000010 02 |
2 | 00000100 04 |
3 | 00001000 10 |
4 | 00010000 20 |
5 | 00100000 40 |
6 | 01000000 00 |
7 | 10000000 00 |
我们来看,一个任务优先级将它化成二进制数,它的低三位与它在哪一组没有任务关系!因为逢八才换组,而低三位最大才是七!但它能决定这个任务在一组的某个地方(即能决定X的值)而它的接下去三位与它在一组中的哪个位置没有任何关系!因为去掉低三位,接下去三位始终是八的倍数,始终指向组的首地址!但它能决定Y的值!这样,在一个矩阵中,X的值和Y的值都决定了,那么这个任务所在的位置就决定了。这样,使一个任务进入就绪状态和脱离就绪状态也就简单了。
其实我们不用这么麻烦,我们看,我们可以把表中的数看成是八进制的数,低三位看成是个位,接下来三位看成是进位,进位代表OSRdyGrp,个位代表OSRdyTbl[],个位无论怎么变,它都不会影响进位的位置,所以在哪一行只取决于OSRdyGrp,在哪一列只取决于OSRdyTbl[],口算也算出来了,呵呵。这样比较好理解一些。
这里可能大家有疑问:那不只取了优先级的六位吗?还有两位呢?这个不用着急,还有两位为零!因为最大才63,只需要用到六位,如果最高两位有任何1位为一的话,就会出错。所以我们就不用管最高两位了。
使任务进入就绪状态的程序为:
OSRdyGrp |= OSMapTbl[prio>>3];//确定它的行,置1
OSRdyTbl[prio>>3] |=OSMapTbl[prio&0x07];//确定它的列,置1
找出进入就绪态的俦优先级最高的任务
明白了上面的内容,这里也不难明白了。这里作者Jean J.Labrosse提供了一个查找表的,只要按照一定算法查找,很快就查出来了。
代码为:y = OSUnMapTbl[OSRdyGrp];
x= OSUnMapTbl[OSRdyTbl[y]];
prio = y<<3 +x;
这个表为:INT8U const OSUnMapTbl[] = {
0, 0, 1, 0, 2, 0, 1, 0, 3, 0, 1, 0, 2, 0, 1, 0, /* 0x00 to 0x0F */
4, 0, 1, 0, 2, 0, 1, 0, 3, 0, 1, 0, 2, 0, 1, 0, /* 0x10 to 0x1F */
5, 0, 1, 0, 2, 0, 1, 0, 3, 0, 1, 0, 2, 0, 1, 0, /* 0x20 to 0x2F */
4, 0, 1, 0, 2, 0, 1, 0, 3, 0, 1, 0, 2, 0, 1, 0, /* 0x30 to 0x3F */
6, 0, 1, 0, 2, 0, 1, 0, 3, 0, 1, 0, 2, 0, 1, 0, /* 0x40 to 0x4F */
4, 0, 1, 0, 2, 0, 1, 0, 3, 0, 1, 0, 2, 0, 1, 0, /* 0x50 to 0x5F */
5, 0, 1, 0, 2, 0, 1, 0, 3, 0, 1, 0, 2, 0, 1, 0, /* 0x60 to 0x6F */
4, 0, 1, 0, 2, 0, 1, 0, 3, 0, 1, 0, 2, 0, 1, 0, /* 0x70 to 0x7F */
7, 0, 1, 0, 2, 0, 1, 0, 3, 0, 1, 0, 2, 0, 1, 0, /* 0x80 to 0x8F */
4, 0, 1, 0, 2, 0, 1, 0, 3, 0, 1, 0, 2, 0, 1, 0, /* 0x90 to 0x9F */
5, 0, 1, 0, 2, 0, 1, 0, 3, 0, 1, 0, 2, 0, 1, 0, /* 0xA0 to 0xAF */
4, 0, 1, 0, 2, 0, 1, 0, 3, 0, 1, 0, 2, 0, 1, 0, /* 0xB0 to 0xBF */
6, 0, 1, 0, 2, 0, 1, 0, 3, 0, 1, 0, 2, 0, 1, 0, /* 0xC0 to 0xCF */
4, 0, 1, 0, 2, 0, 1, 0, 3, 0, 1, 0, 2, 0, 1, 0, /* 0xD0 to 0xDF */
5, 0, 1, 0, 2, 0, 1, 0, 3, 0, 1, 0, 2, 0, 1, 0, /* 0xE0 to 0xEF */
4, 0, 1, 0, 2, 0, 1, 0, 3, 0, 1, 0, 2, 0, 1, 0 /* 0xF0 to 0xFF */
};