μC/OS Ⅱ之任务就绪表的操作

 

任务的登记：        

1 OSRdyGrp |= OSMapTbl[prio>>3];2 OSRdyTbl[prio>>3] |= OSMapTbl[prio&0x07];

这两行代码就实现了在就绪表中添加给定优先级（prio）任务的作用；

想要彻底明白这两行代码，我们首先要对prio有了解。优先级prio，范围从[0:63]，用二进制数表示，就是000000B~111111B。其中只用到了8位字长的低6位。这低六位又可以分为低三位和高三位：

1 eg: 63=111 111B2 prio>>3　　//即取prio的高三位,（绿色的3位）；表示的是任务所在的组，即任务就绪表的Y坐标；3 prio & 0x07　　//即取prio的低三位（红色的三位）；表示的是任务所在的位，即任务就绪表的X坐标。

                                       

       OSRdyGrp是位可操作的，它的每一位对应Y坐标从0~7，表示任务就绪表的行，如果这一行中有任何一个优先级的任务就绪，就将它的对应位置1；

       同理，数组OSRdyTbl[ ] 表示的是就绪表的每一行的内容，它的每个元素，也都是位可操作的，每个数组下标，表示Y坐标，即所在行，每个数组元素的内容，对应所在行的8个元素，也就是就绪表中每一行的8列。至此，构成了uC/OS-II的8X8的任务就绪表，可以表示0~63共64个优先级，这也是μC/OS Ⅱ支持的最大任务数为64的由来。

       再来看OSMapTbl这个数组，该数组已经定义好，它的8个元素分别是：

1 OSMapTbl[0]=00000001B2 OSMapTbl[1]=00000010B3 OSMapTbl[2]=00000100B4 OSMapTbl[3]=00001000B5 OSMapTbl[4]=00010000B6 OSMapTbl[5]=00100000B7 OSMapTbl[6]=01000000B8 OSMapTbl[7]=10000000B

下面回来看最初的两行代码：

（1）：prio>>3，就是只取prio的高三位，即任务所在的行（即坐标Y=prio>>3），将Y坐标填入数组OSMapTbl[Y]的下标中，OSMapTbl[Y]的值与OSRdyGrp做位或，将新就绪的任务所在的行所对应的OSRdyGrp的位 置1，并且保持其他位不变，如此一来，就新登记了一条就绪任务，并且没有影响到之前已就绪任务的登记信息；

       例如，本例中，假设prio>>3 得到OSMapTbl[prio>>3]=OSMapTbl[7] = 10000000B，再与OSRdyGrp做位或，即将OSRdyGrp的第8位 置为了1，并且没有改变其他位，同时没有影响到之前的就绪任务的已登记信息。

（2）：prio&0x07，就是只取prio的低三位，即任务所在的位（即坐标X =prio&0x07），将X坐标填入数组OSMapTbl[X]下标中，OSMapTbl[X]与OSRdyTbl[Y]做位或，将OSRdyTbl[Y]对应位 置1，表示该行的第X位有任务进入就绪态，注意第X位要从低端算起，也就是表格的右端开始算起；

　　例如：刚才已经算出Y坐标 = 7，本例中，prio & 0x07 = 坐标X = 7 ，OSMapTbl[ 7 ] = 10000000B，将10000000与OSMapTbl[7]做位或，即将OSMapTbl[7]的第8位置1，表示该位的任务进入就绪态；如此，新就绪的任务登记完成，也保证了不影响其他任务的就绪状态。

任务的注销：

注销，就是说，从任务就绪表中将待注销任务的对应位 置0。

1 if ( ( OSRdyTbl[prio >> 3] &= ~OSMapTbl[prio & 0x07] ) == 0)2 OSRdyGrp &= ~OSMapTbl[prio >> 3];

注意：

1.OSRdyTbl[prio>>3]所有的位都是0时，OSRdyGrp 的相应位才清零（即对   

应行一个就绪任务都没有时，OSRdyGrp才为0）。所以要进行判断。2.OSRdyTbl[prio >> 3] 里面可能还包含其他位为1，即在RdyTbl[prio >> 3] 中  还有其他就绪任务，这时候所对应的OSRdyGrp 的位还是1，直到RdyTbl[prio >> 3] =0,表示没有任务就绪时才应将相应的OSRdyGrp里面的位置0

以上第一行代码将就绪任务表数组OSRdyTbl[]中相应元素的相应位清零；同时做一个判断，判断OSRdyTbl[prio>>3]是否已全部为0，若全部为0，则表示改组任务全都不处于就绪状态，此时可把OSRdyGrp置为0。

任务的查找：

根据X和Y倒推算任务优先级prio：

只需将以上运算倒过来即可：prio = [Y<<3] X；

例如：刚才上面的例子里，Y = 7，X = 7，则：

1 prio = [Y<<3] X = [7<<3] 72 =（111B<<3） 111B3 =111000B 111B4 =111111B5 =63D

因此，进入就绪态的任务优先级为63。

OSRdyTbl[ ]的元素（共8个元素，每个元素为8位；由此可见，任务就绪表就是一个从结构上来看，二维数组）构成8X8的就绪表，OSRdyGrp只表示就绪表的Y轴（所在行），也就是OSRdyGrp 中的每一位表示 8 组（行）任务中每一组（所在行）中是否有进入就绪态的任务。

注意OSRdyGrp和OSRdyTbl[ ]的元素都是按位进行运算的。

 

最高优先级就绪任务的查找：

       系统调度器总是把CPU控制权交给优先级最高的就绪任务，因此调度器就必须具有从任务就绪表中找出最高优先级任务的能力。

       基本的查找的思路是在任务就绪表里，从上至下，从右至左，挨个来找，但这需要大量的判断，因此花费很长时间。

       快速方法：根据y＝OSRdyGrp( 所在组(行) )和OSRdyTbl[y](所在位)在优先级判定表OSUnMapTbl[ ]中，进行查表计算操作，即可快速计算出优先级最高的那个就绪任务。

OSUnMapTbl[ ]如下所示：

1 INT8U const OSUnMapTbl[256] = { 2 0, 0, 1, 0, 2, 0, 1, 0, 3, 0, 1, 0, 2, 0, 1, 0, 3 4, 0, 1, 0, 2, 0, 1, 0, 3, 0, 1, 0, 2, 0, 1, 0, 4 5, 0, 1, 0, 2, 0, 1, 0, 3, 0, 1, 0, 2, 0, 1, 0, 5 4, 0, 1, 0, 2, 0, 1, 0, 3, 0, 1, 0, 2, 0, 1, 0, 6 6, 0, 1, 0, 2, 0, 1, 0, 3, 0, 1, 0, 2, 0, 1, 0, 7 4, 0, 1, 0, 2, 0, 1, 0, 3, 0, 1, 0, 2, 0, 1, 0, 8 5, 0, 1, 0, 2, 0, 1, 0, 3, 0, 1, 0, 2, 0, 1, 0, 9 4, 0, 1, 0, 2, 0, 1, 0, 3, 0, 1, 0, 2, 0, 1, 0, 10 7, 0, 1, 0, 2, 0, 1, 0, 3, 0, 1, 0, 2, 0, 1, 0, 11 4, 0, 1, 0, 2, 0, 1, 0, 3, 0, 1, 0, 2, 0, 1, 0, 12 5, 0, 1, 0, 2, 0, 1, 0, 3, 0, 1, 0, 2, 0, 1, 0, 13 4, 0, 1, 0, 2, 0, 1, 0, 3, 0, 1, 0, 2, 0, 1, 0, 14 6, 0, 1, 0, 2, 0, 1, 0, 3, 0, 1, 0, 2, 0, 1, 0, 15 4, 0, 1, 0, 2, 0, 1, 0, 3, 0, 1, 0, 2, 0, 1, 0, 16 5, 0, 1, 0, 2, 0, 1, 0, 3, 0, 1, 0, 2, 0, 1, 0, 17 4, 0, 1, 0, 2, 0, 1, 0, 3, 0, 1, 0, 2, 0, 1, 0 18 };

计算代码如下：

1 y = OSUnMapTbl[OSRdyGrp]; //最高优先级任务所在组（行）2 x = OSUnMapTbl[OSRdyTbl[y]]; //最高优先级任务所在的位3 prio = (y << 3) x; //还原为优先级

注：

1.OSUnMapTbl[]中的每个元素，表示的是从0x00—0xFF的每个数的二进制   数表示中，最低位1出现的位置。

2.OSUnMapTbl[]中的每个元素，在0到7之间