初始化任务堆栈问题，去掉指针自减也能运行？

thebearontree

大家好，问个钻牛角尖的问题。初始化任务堆栈中为什么刚开始就要使指针自减1，感觉上就是空的，为什么不直接写xPSR呢？浪费一个字，或者说为了保持指针自减再压栈的习惯？还是有别的什么原因呢

ChenRyan

看看是不是这个意思https://zhidao.baidu.com/question/2058021855716773587.html

thebearontree

1. StackType_t *pxPortInitialiseStack( StackType_t *pxTopOfStack, TaskFunction_t pxCode, void *pvParameters )
   
2. {
   
3.   [color=Red]  pxTopOfStack--; [/color]                                                                        /* 栈顶地址减1,相当于向下移动4个地址 */
   
4.     *pxTopOfStack = portINITIAL_XPSR;                                   /* xPSR = 0x01000000，其中bit24被置1，表示使用Thumb指令*/
   
5.     pxTopOfStack--;
   
6.     *pxTopOfStack = ( ( StackType_t ) pxCode ) & portSTART_ADDRESS_MASK;        /* 任务函数指针 */
   
7.     pxTopOfStack--;
   
8.    *pxTopOfStack = ( StackType_t ) prvTaskExitError;           /* LR为函数指针prvTaskExitError，由移植层提供的一个出错处理函数*/
   
9.     pxTopOfStack -= 5;                                                                  /* R12, R3, R2 and R1. */
   
10. 
    
11.     *pxTopOfStack = ( StackType_t ) pvParameters;           /* R0，此寄存器为传递参数 */
    
12.     pxTopOfStack -= 8;                                                                  /* R11, R10, R9, R8, R7, R6, R5 and R4. */
    
13. 
    
14.     return pxTopOfStack;
    
15. }
    

复制代码

thebearontree

用keil仿真试了下，切换任务出栈时，最后PSP会指向栈数组的最后一个地址+4。看似溢出了，但出栈结束后，不需要再弹出数据，只要写数据。到时又是回到数组的最后一个元素。

wzj2265

因为在STM32中，栈的生长方向是向下生长的，且是满栈。满栈是指栈顶指针指向的是最后存入的有效数据，而非待存入的栈空间，所以要操作栈的话首先要做双字对齐（M3以下是双字，如果是M4处理器的话，因为涉及到浮点数运算，要做8字节对齐），然后进行地址减一操作，指向待入栈的空间，最后是赋值

1597685605

wzj2265 发表于 2022-3-7 16:26
因为在STM32中，栈的生长方向是向下生长的，且是满栈。满栈是指栈顶指针指向的是最后存入的有效数据，而非 ...

在入栈，岂不是又要减

1597685605

ChenRyan 发表于 2022-3-3 22:34
看看是不是这个意思https://zhidao.baidu.com/question/2058021855716773587.html

这个是C语言的，stm32的堆栈是向下增长的