练习

1. 有时候决定任务实际所需的堆栈空间大小是很有必要的。因为这样用户就可以避免为任务分配过多的堆栈空间，从而减少自己的应用程序代码所需的RAM(内存)数量。µC/OS-Ⅱ提供的OSTaskStkChk()函数可以为用户提供这种有价值的信息。 
2.     在图4.2中，笔者假定堆栈是从上往下递减的(即OS_STK_GROWTH被置为1)，但以下的讨论也同样适用于从下往上长的堆栈[F4.2(1)]。µC/OS-Ⅱ是通过查看堆栈本身的内容来决定堆栈的方向的。只有内核或是任务发出堆栈检验的命令时，堆栈检验才会被执行，它不会自动地去不断检验任务的堆栈使用情况。在堆栈检验时，µC/OS-Ⅱ要求在任务建立的时候堆栈中存储的必须是0值(即堆栈被清零)[F4.2(2)]。另外，µC/OS-Ⅱ还需要知道堆栈栈底(BOS)的位置和分配给任务的堆栈的大小[F4.2(2)]。在任务建立的时候，BOS的位置及堆栈的这两个值储存在任务的OS_TCB中。为了使用µC/OS-Ⅱ的堆栈检验功能，用户必须要做以下几件事情： 
3. 在OS_CFG.H文件中设OS_TASK_CREATE_EXT为1。 
4. 用OSTaskCreateExt()建立任务，并给予任务比实际需要更多的内存空间。 
5. 在OSTaskCreateExt()中，将参数opt设置为OS_TASK_OPT_STK_CHK+OS_TASK_OPT_STK_ 
6. CLR。注意如果用户的程序启动代码清除了所有的RAM，并且从未删除过已建立了的任务，那么用户就不必设置选项OS_TASK_OPT_STK_CLR了。这样就会减少OSTaskCreateExt()的执行时间。 
7. 将用户想检验的任务的优先级作为OSTaskStkChk()的参数并调用之。 
8. 图 4.2   堆栈检验 
9.  
10.  
11.     OSTaskStkChk()顺着堆栈的栈底开始计算空闲的堆栈空间大小，具体实现方法是统计储存值为0的连续堆栈入口的数目，直到发现储存值不为0的堆栈入口[F4.2(5)]。注意堆栈入口的储存值在进行检验时使用的是堆栈的数据类型(参看OS_CPU.H中的OS_STK)。换句话说，如果堆栈的入口有32位宽，对0值的比较也是按32位完成的。所用的堆栈的空间大小是指从用户在OSTaskCreateExt()中定义的堆栈大小中减去了储存值为0的连续堆栈入口以后的大小。OSTaskStkChk()实际上把空闲堆栈的字节数和已用堆栈的字节数放置在0S_STK_DATA数据结构中(参看µCOS_Ⅱ.H)。注意在某个给定的时间，被检验的任务的堆栈指针可能会指向最初的堆栈栈顶(TOS)与堆栈最深处之间的任何位置[F4.2(7)]。每次在调用OSTaskStkChk()的时候，用户也可能会因为任务还没触及堆栈的最深处而得到不同的堆栈的空闲空间数。  
12.     用户应该使自己的应用程序运行足够长的时间，并且经历最坏的堆栈使用情况，这样才能得到正确的数。一旦OSTaskStkChk()提供给用户最坏情况下堆栈的需求，用户就可以重新设置堆栈的最后容量了。为了适应系统以后的升级和扩展，用户应该多分配10％－100％的堆栈空间。在堆栈检验中，用户所得到的只是一个大致的堆栈使用情况，并不能说明堆栈使用的全部实际情况。 
13.     OSTaskStkChk()函数的代码如程序清单 L4.10所示。0S_STK_DATA(参看µCOS_Ⅱ.H)数据结构用来保存有关任务堆栈的信息。笔者打算用一个数据结构来达到两个目的。第一，把OSTaskStkChk()当作是查询类型的函数，并且使所有的查询函数用同样的方法返回，即返回查询数据到某个数据结构中。第二，在数据结构中传递数据使得笔者可以在不改变OSTaskStkChk()的API(应用程序编程接口)的条件下为该数据结构增加其它域，从而扩展OSTaskStkChk()的功能。现在，0S_STK_DATA只包含两个域：OSFree和OSUsed。从代码中用户可看到，通过指定执行堆栈检验的任务的优先级可以调用OSTaskStkChk()。如果用户指定0S_PRIO_SELF[L4.10(1)]，那么就表明用户想知道当前任务的堆栈信息。当然，前提是任务已经存在[L4.10(2)]。要执行堆栈检验，用户必须已用OSTaskCreateExt()建立了任务并且已经传递了选项OS_TASK_OPT_CHK[L4.10(3)]。如果所有的条件都满足了，OSTaskStkChk()就会象前面描述的那样从堆栈栈底开始统计堆栈的空闲空间[L4.10(4)]。最后，储存在0S_STK_DATA中的信息就被确定下来了[L4.10(5)]。注意函数所确定的是堆栈的实际空闲字节数和已被占用的字节数，而不是堆栈的总字节数。当然，堆栈的实际大小(用字节表示)就是该两项之和。 
14.  
15. 程序清单 L 4.10 堆栈检验函数 
16. INT8U OSTaskStkChk (INT8U prio, OS_STK_DATA *pdata) 
17. { 
18.     OS_TCB  *ptcb; 
19.     OS_STK  *pchk; 
20.     INT32U   free; 
21.     INT32U   size; 
22.  
23.  
24.     pdata->OSFree = 0; 
25.     pdata->OSUsed = 0; 
26.     if (prio > OS_LOWEST_PRIO && prio != OS_PRIO_SELF) { 
27.         return (OS_PRIO_INVALID); 
28.     } 
29.     OS_ENTER_CRITICAL(); 
30.     if (prio == OS_PRIO_SELF) {                                    (1) 
31.         prio = OSTCBCur->OSTCBPrio; 
32.     } 
33.     ptcb = OSTCBPrioTbl[prio]; 
34.     if (ptcb == (OS_TCB *)0) {                                      (2) 
35.         OS_EXIT_CRITICAL();        return (OS_TASK_NOT_EXIST); 
36.     } 
37.     if ((ptcb->OSTCBOpt & OS_TASK_OPT_STK_CHK) == 0) {               (3) 
38.         OS_EXIT_CRITICAL(); 
39.         return (OS_TASK_OPT_ERR); 
40.     } 
41.     free = 0;                                                        (4) 
42.     size = ptcb->OSTCBStkSize; 
43.     pchk = ptcb->OSTCBStkBottom; 
44.     OS_EXIT_CRITICAL(); 
45. #if OS_STK_GROWTH == 1 
46.     while (*pchk++ == 0) { 
47.         free++; 
48.     } 
49. #else 
50.     while (*pchk-- == 0) { 
51.         free++; 
52.     } 
53. #endif 
54.     pdata->OSFree = free * sizeof(OS_STK);                           (5) 
55.     pdata->OSUsed = (size - free) * sizeof(OS_STK); 
56.     return (OS_NO_ERR); 
57. }