任务堆栈

1. 每个任务都有自己的堆栈空间。堆栈必须声明为OS_STK类型，并且由连续的内存空间组成。用户可以静态分配堆栈空间(在编译的时候分配)也可以动态地分配堆栈空间(在运行的时候分配)。静态堆栈声明如程序清单 L4.4和4.5所示，这两种声明应放置在函数的外面。  
2.   
3. 程序清单  L4.4 静态堆栈  
4. static OS_STK  MyTaskStack[stack_size];  
5.   
6. 或  
7. 程序清单  L4.5 静态堆栈  
8. OS_STK  MyTaskStack[stack_size];  
9.   
10.     用户可以用C编译器提供的malloc()函数来动态地分配堆栈空间，如程序清单 L4.6所示。在动态分配中，用户要时刻注意内存碎片问题。特别是当用户反复地建立和删除任务时，内存堆中可能会出现大量的内存碎片，导致没有足够大的一块连续内存区域可用作任务堆栈，这时malloc()便无法成功地为任务分配堆栈空间。程序清单 L L4.6 用malloc()为任务分配堆栈空间  
11. OS_STK  *pstk;  
12.   
13.   
14. pstk = (OS_STK *)malloc(stack_size);  
15. if (pstk != (OS_STK *)0) {            /* 确认malloc()能得到足够地内存空间 */  
16.     Create the task;  
17. }  
18.   
19.     图4.1表示了一块能被malloc()动态分配的3K字节的内存堆 [F4.1(1)]。为了讨论问题方便，假定用户要建立三个任务(任务A,B和C)，每个任务需要1K字节的空间。设第一个1K字节给任务A, 第二个1K字节给任务B, 第三个1K字节给任务C[F4.1(2)]。然后，用户的应用程序删除任务A和任务C，用free()函数释放内存到内存堆中[F4.1(3)]。现在，用户的内存堆虽有2K字节的自由内存空间，但它是不连续的，所以用户不能建立另一个需要2K字节内存的任务(即任务D)。如果用户并不会去删除任务，使用malloc()是非常可行的。  
20. 图 F4.1  内存碎片  
21.   
22.     µC/OS-Ⅱ支持的处理器的堆栈既可以从上(高地址)往下(低地址)长也可以从下往上长(参看4.02,任务堆栈)。用户在调用OSTaskCreate()或OSTaskCreateExt()的时候必须知道堆栈是怎样长的，因为用户必须得把堆栈的栈顶传递给以上两个函数，当OS_CPU.H文件中的OS_STK_GROWTH置为0时，用户需要将堆栈的最低内存地址传递给任务创建函数，如程序清单4.7所示。  
23.   
24. 程序清单 L4.7   堆栈从下往上递增  
25. OS_STK  TaskStack[TASK_STACK_SIZE];  
26.   
27. OSTaskCreate(task, pdata, &TaskStack[0], prio); 当OS_CPU.H文件中的OS_STK_GROWTH置为1时，用户需要将堆栈的最高内存地址传递给任务创建函数，如程序清单4.8所示。  
28.   
29. 程序清单 L4.8   堆栈从上往下递减  
30. OS_STK  TaskStack[TASK_STACK_SIZE];  
31.   
32. OSTaskCreate(task, pdata, &TaskStack[TASK_STACK_SIZE-1], prio);  
33.   
34.     这个问题会影响代码的可移植性。如果用户想将代码从支持往下递减堆栈的处理器中移植到支持往上递增堆栈的处理器中的话，用户得使代码同时适应以上两种情况。在这种特殊情况下，程序清单 L4.7和4.8可重新写成如程序清单 L4.9所示的形式。  
35.   
36. 程序清单 L 4.9  对两个方向增长的堆栈都提供支持  
37. OS_STK  TaskStack[TASK_STACK_SIZE];  
38.   
39.   
40. #if OS_STK_GROWTH == 0  
41.     OSTaskCreate(task, pdata, &TaskStack[0], prio);  
42. #else  
43.     OSTaskCreate(task, pdata, &TaskStack[TASK_STACK_SIZE-1], prio);  
44. #endif  
45.   
46.     任务所需的堆栈的容量是由应用程序指定的。用户在指定堆栈大小的时候必须考虑用户的任务所调用的所有函数的嵌套情况，任务所调用的所有函数会分配的局部变量的数目，以及所有可能的中断服务例程嵌套的堆栈需求。另外，用户的堆栈必须能储存所有的CPU寄存器。