STM32裸机固件代码挂死检测方案咨询：WDT应用可行性及优化建议

你的方案可行性判断 #

这个心跳检测方案完全可行，是裸机环境下检测代码挂死的经典思路，不少工业级STM32应用都采用类似逻辑：每个中断驱动的业务进程正常运行时更新专属全局变量（心跳），最高优先级的监控模块（通常用高优先级定时器中断实现，裸机无RTOS任务调度）定期校验这些变量的变化——一旦某个变量在设定超时窗口内无更新，即可判定对应进程挂死，触发看门狗复位。

落地时要注意几个细节：

• 心跳变量必须加volatile修饰，比如volatile uint32_t uart_rx_heartbeat;，防止编译器优化导致读取到缓存的旧值，误判进程状态
• 监控模块的优先级必须最高，确保不会被其他中断抢占，保证检测的及时性；若用定时器实现，定时器中断优先级要高于所有需监控的业务中断
• 超时阈值要匹配业务进程的正常执行周期：不能太短（避免因进程偶尔延迟导致误复位），也不能太长（延长故障响应时间），比如UART接收中断的心跳超时可以设为100ms，而低速外部中断的超时可以设为500ms

更优优化思路 #

1. 分层结合硬件看门狗 #

把心跳检测和硬件看门狗（IWDG/WWDG）结合，构建分层监控体系：

• 底层用**独立看门狗（IWDG）**监控整个系统：由监控模块定期喂狗，只要监控模块能正常运行，就喂IWDG；若监控模块本身挂死，IWDG会自动复位系统（IWDG用独立RC时钟，不受主时钟故障影响，可靠性拉满）
• 上层用心跳检测监控各个业务进程，这样既能保证系统整体不挂死，又能定位到具体挂死的进程（如果需要故障定位的话）
• 额外可以用**窗口看门狗（WWDG）**监控内核代码的执行时序，防止出现代码跑飞进入死循环，但还能定时喂IWDG的极端情况

2. 简化心跳变量设计 #

不用给每个进程单独设全局变量，改用单变量位图或累加器的方式，节省内存且简化监控逻辑：

volatile uint32_t system_heartbeat_map = 0;

// UART接收中断服务函数
void USART1_IRQHandler(void) {
    // 业务逻辑处理
    system_heartbeat_map |= (1 << 0); // 置位第0位代表UART进程正常运行
}

// 外部中断服务函数
void EXTI0_IRQHandler(void) {
    // 业务逻辑处理
    system_heartbeat_map |= (1 << 1); // 置位第1位代表外部中断进程正常运行
}

// 高优先级定时器中断（监控模块）
void TIM1_UP_IRQHandler(void) {
    static uint32_t last_map = 0;
    // 检查所有需要监控的位是否都有更新
    if ((system_heartbeat_map & 0x03) != 0x03) { // 假设监控前2位
        // 触发复位：可以直接调用NVIC_SystemReset()，或停止喂IWDG让硬件复位
        NVIC_SystemReset();
    }
    last_map = system_heartbeat_map;
    system_heartbeat_map = 0; // 清零，等待下一轮更新
}

3. 增加故障溯源机制 #

在触发复位前，把挂死进程的标识（比如心跳位图的状态）写入STM32的**备份域寄存器（BKP）**或Flash的指定区域：

• 备份域寄存器由VBAT供电，掉电不丢失，适合存储临时故障信息
• Flash存储需注意擦写寿命，可采用循环存储的方式避免频繁擦写同一扇区
  系统复位后，启动代码可以读取这些信息，快速定位是哪个进程挂死，不用盲目排查

4. 关键代码段的专项监控 #

对于执行时间较长的关键代码（比如复杂算法、外设初始化），可以在代码段首尾设置标记，监控模块检查标记的变化，确保代码能正常执行完成：

volatile uint8_t algo_running_flag = 0;
volatile uint32_t algo_start_time = 0;

void complex_algorithm(void) {
    algo_start_time = HAL_GetTick();
    algo_running_flag = 1;
    // 复杂算法逻辑
    algo_running_flag = 0;
}

// 监控模块中增加检查
if (algo_running_flag == 1 && (HAL_GetTick() - algo_start_time) > ALGO_TIMEOUT) {
    // 算法执行超时，触发复位
    NVIC_SystemReset();
}

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