裸机固件while(1)循环喂看门狗的非最优场景及优化方案

现有方案不符合看门狗设计目标的场景 #

• 主循环空转但核心功能失效：如果主循环里的关键任务（比如中断数据处理）因逻辑错误、外设故障进入无限重试或等待状态，但主循环本身仍在循环执行，喂狗动作会正常触发。此时系统已无法完成预期业务，但看门狗不会复位，违背了“监测系统可用性”的核心目标。
• ISR卡死导致主循环彻底停摆：若中断服务程序（ISR）出现死循环（比如断言触发、硬件异常导致的死循环），CPU会一直卡在ISR中，主循环完全没机会执行喂狗操作。虽然最终看门狗会复位，但这种主循环喂狗的机制无法覆盖ISR层面的故障，属于监测盲区。
• 核心任务超时但循环未终止：主循环里的某个任务执行时间过长（比如意外进入复杂分支、外设响应超时），导致其他关键任务被挤占，系统整体服务能力下降，但主循环仍能完成一轮循环并喂狗。此时系统已处于异常状态，但看门狗无法识别。
• 数据处理逻辑异常但循环正常：中断生成的数据在主上下文处理时出现逻辑错误（比如数据溢出、状态机走偏），但主循环依旧正常循环喂狗。此时业务功能已失效，但看门狗无法感知这种“软故障”。

优化方案 #

1. 多模块心跳校验机制 #

给每个关键任务/模块（比如中断数据处理、外设状态巡检、核心业务逻辑）设置独立的心跳标志位。主循环执行到喂狗步骤前，必须先检查所有关键模块的心跳是否在周期内更新：

// 示例代码
bool data_process_heartbeat = false;
bool peripheral_check_heartbeat = false;

void process_interrupt_data() {
    // 中断数据处理逻辑
    data_process_heartbeat = true;
}

void check_peripheral_status() {
    // 外设状态巡检逻辑
    peripheral_check_heartbeat = true;
}

int main() {
    // 初始化操作...
    while(1) {
        process_interrupt_data();
        check_peripheral_status();
        
        // 喂狗前校验所有心跳
        if (data_process_heartbeat && peripheral_check_heartbeat) {
            feed_watchdog();
            // 重置心跳标志
            data_process_heartbeat = false;
            peripheral_check_heartbeat = false;
        }
        // 心跳不全则不喂狗，等待看门狗复位
    }
}

这种方式能确保只有所有核心模块正常运转时才喂狗，避免空转或部分模块失效的情况。

2. 限制主循环单次执行时长 #

在主循环开始时记录当前系统tick，喂狗前检查本次循环的执行时间是否超过预设阈值：

uint32_t loop_start_tick;

int main() {
    // 初始化操作...
    while(1) {
        loop_start_tick = get_system_tick();
        
        // 执行主循环所有任务
        run_all_main_tasks();
        
        // 检查循环时长是否超限
        if (get_system_tick() - loop_start_tick < MAX_LOOP_DURATION) {
            feed_watchdog();
        }
    }
}

如果某个任务执行超时，循环时长超过阈值，就不喂狗，让看门狗触发复位，覆盖任务执行超时的场景。

3. 优化断言与异常处理 #

自定义断言函数，触发断言时主动阻断喂狗路径，确保看门狗能及时复位：

#define ASSERT(expr) \
    if (!(expr)) { \
        // 禁用喂狗逻辑，避免后续误操作
        watchdog_feed_disable(); \
        // 进入死循环，等待看门狗复位
        while(1); \
    }

这样即使断言触发导致死循环，也能确保看门狗及时触发复位，避免系统长时间卡死。

4. 补充ISR健康监测 #

对于关键ISR，设置“ISR执行完成”标志，主循环喂狗前检查该标志是否在合理周期内更新：

bool uart_isr_finished = false;

void UART_RX_ISR() {
    // UART接收中断处理逻辑
    uart_isr_finished = true;
}

int main() {
    while(1) {
        // 处理UART接收数据
        handle_uart_data();
        
        // 检查周期性触发的ISR是否正常执行
        if (uart_isr_finished) {
            uart_isr_finished = false;
        } else {
            // ISR未正常执行，跳过喂狗
            continue;
        }
        
        feed_watchdog();
    }
}

这种方式能监测ISR是否卡死或丢失，避免主循环正常但ISR故障的情况。

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