优化级别为None时FreeRTOS在ATSAMC21G18A上触发CPU故障求助

环境 #

• 开发环境：Microchip（原Atmel）Studio
• 目标MCU：自定义PCB上的ATSAMC21G18A
• 内核版本：ASF集成的FreeRTOS 8.0.1

问题概述 #

启动代码逻辑为创建首个任务后启动调度器：

// 创建首个任务
xTaskCreate( Test_Task, "TEST", TEST_TASK_STACK_SIZE, NULL, TEST_TASK_PRIORITY, NULL );

// 启动调度器
FOREVER() {
    vTaskStartScheduler();
}

故障仅在优化级别设为None时触发，执行流程如下：

1. 进入xTaskCreate（实际调用底层的xTaskGenericCreate）
2. 最终执行tasks.c中的prvAddTaskToReadyList( pxNewTCB )
3. 通过宏调用进入list.c的vListInsertEnd函数
4. 执行第102行pxIndex->pxPrevious->pxNext = pxNewListItem;时触发CPU故障

优化级别设为其他值时系统运行正常，无优化调试时可见pxNewTCB存在但引发故障，优化后该变量被编译器优化但系统无异常。同款工具链、MCU、FreeRTOS版本的其他项目无此问题。

解决方案 #

1. 排查栈溢出问题 #

无优化编译时函数栈帧更大，易触发栈溢出破坏链表结构：

• 临时增大TEST_TASK_STACK_SIZE的值（比如先翻倍）测试是否恢复正常
• 在栈底写入魔术字（如0xDEADBEEF），任务创建后检查魔术字是否被覆盖，确认是否存在栈溢出
• 检查FreeRTOS配置configMINIMAL_STACK_SIZE，无优化下需设置更大的最小栈值适配Cortex-M0+的需求

2. 强制内存对齐 #

Cortex-M0+要求指针类数据4字节对齐，无优化时编译器可能未自动对齐TCB或链表项：

• 修改list.h中的ListItem_t结构体定义，添加对齐属性：

  typedef struct xLIST_ITEM
  {
      TickType_t xItemValue;
      struct xLIST_ITEM * pxNext;
      struct xLIST_ITEM * pxPrevious;
      void * pvOwner;
      void * pvContainer;
  } ListItem_t __attribute__((aligned(4)));
  

• 同理修改tasks.c中的TCB_t结构体，添加__attribute__((aligned(4)))属性

3. 确保堆内存正确初始化 #

无优化下堆内存可能未被正确初始化，导致分配的TCB内存包含脏数据：

• 在创建首个任务前，手动调用vPortInitialiseBlocks()初始化FreeRTOS堆结构
• 检查项目启动代码，确认堆（_heap_start到_heap_end区间）的初始化逻辑，确保启动时已将堆内存清零

4. 对比正常项目的配置差异 #

既然同款配置的其他项目无问题，重点对比以下内容：

• 两个项目的FreeRTOSConfig.h，检查是否存在细微配置差异（如configHEAP_ALLOCATION_SCHEME、configSTACK_DEPTH_TYPE等）
• 编译器的额外选项：无优化时是否开启了特殊警告或编译选项，导致代码生成逻辑差异
• 自定义PCB硬件差异：确认两片SAMC21的内存映射、外设配置是否完全一致

5. 修复链表操作的潜在问题 #

检查vListInsertEnd的实现，确认无优化下指针操作是否存在未定义行为：

• 在prvAddTaskToReadyList中添加断言，检查pxNewTCB链表项的有效性：

  configASSERT( pxNewTCB->xStateListItem.pvContainer == NULL );
  configASSERT( pxNewTCB->xEventListItem.pvContainer == NULL );
  

• 确认pxIndex不是空指针，且pxIndex->pxPrevious指向有效的链表节点

内容的提问来源于stack exchange，提问作者Smith