《嵌入式实时操作系统uC OS-2教程》课件第3章.pptVIP

4.堆栈检验的原理与源代码

如图3.19所示，以自下向上生长的堆栈为例，说明堆栈检验的原理。这种讨论方法也适合自上向下生长的堆栈。具体说明如下：

(1)因为堆栈自下向上生长，所以OS_STK_GROWTH置0。通过查看堆栈本身的内容，μC/OS-Ⅱ从而决定堆栈的方向。堆栈检验不会自动执行，只有发出堆栈检验命令时，堆栈检验功能才会被执行。

(2)进行堆栈检验时，μC/OS-Ⅱ要求在任务建立时堆栈被清零。图3.19堆栈检验(3)根据OS_TCB中存储的数据，μC/OS-Ⅱ可以得到堆栈栈底的位置。

(4)得到分配给任务的堆栈的尺寸。

(5)堆栈检验OSTaskStkChk()开始沿着栈底计算空闲堆栈空间数量，具体实现方法是统计存储值为0的连续堆栈入口的数量，直到发现存储值不为0的堆栈入口为止。堆栈空间的计算单位是堆栈入口的宽度，而不是字节，其具体数据类型参看OS_CPU.H中的OS_STK。也就是说，如果堆栈入口的宽度是16位，对0的比较也是按16位完成的。已用堆栈空间的数量可以从用户在OSTaskCreateExt()中定义的堆栈尺寸中减去了存储值为0的连续堆栈入口尺寸后得到。(6)计算完毕后，OSTaskStkChk()把空闲堆栈的字节数和已用堆栈的字节数放置在数据结构OS_STK_DATA中(参看μCOS_Ⅱ.H)。

(7)在给定的某个时刻，被检验任务的堆栈指针可能会指向整个堆栈中的任何位置。每次调用OSTaskStkChk()时，用户也可能会因为任务还没触及堆栈的最深处而得到不同的堆栈空闲空间数。因此，为了能得到正确的空闲堆栈数量，用户必须使应用程序运行得足够久，并且确保经历了最坏的堆栈使用情况。用户可以根据最坏情况下的堆栈需求设置堆栈的最终容量。一般建议多分配10%～100%的堆栈空间，以便于升级和扩展。堆栈检验的结果并不是堆栈使用的全部实际情况，只是一个大致的使用结果。

OSTaskStkChk()函数的源代码如程序清单3.28所示。 程序清单3.28堆栈检验函数的源代码

INT8UOSTaskStkChk(INT8Uprio,OS_STK_DATA*pdata){

#ifOS_CRITICAL_METHOD=?=3

OS_CPU_SRcpu_sr；

#endif

OS_TCB *ptcb；

OS_STK *pchk；

INT32U free；

INT32U size；#ifOS_ARG_CHK_EN0

if(prioOS_LOWEST_PRIOprio!=OS_PRIO_SELF){/*确保优先级有效 */

return(OS_PRIO_INVALID)；

}

#endif

pdata-OSFree =0；

pdata-OSUsed =0；

OS_ENTER_CRITICAL()；if(prio=?=OS_PRIO_SELF){ /*将OS_PRIO_SELF换算为优先级数值 */

prio=OSTCB-OSTCBPrio；

}

ptcb=OSTCBPrio[prio]；

if(ptcb=?=(OS_TCB*)0){ /*确保要被删除的任务是存在的 */

OS_EXIT_CRITICAL()；

return(OS_TASK_OPT_EXIST)；

}/*要执行堆栈检验，必须用OSTaskCreateExt()建立任务，且已经传递了选项OS_TASK_OPT_CHK；*/

/*若任务是OSTaskCreate()函数建立的，因opt参数为0，则将造成检验失败*/

if((ptcb-OSTCBOptOS_TASK_OPT_STK_CHK)=?=0){

OS_EXIT_CRITICAL()；

return(OS_TASK_OPT_ERR)；

}

free =0； /*从栈底开始计算堆栈的空闲空间，直到发现非0的堆栈入口为止*/ size =ptcb-OSTCBStkSize；

pchk=ptcb-OSTCBStkBottom；

OS_EXIT_CRITICAL()；

#ifOS_STK_GROWTH=?=1

while(*pchk++=?=(OS_STK)0){

free++；

}#else

while(*pchk--=?=(OS_S