非并发硬件ISR调用的函数中静态局部变量需加volatile吗？

我有一个操作静态局部变量的私有函数，该函数被多个非并发的硬件ISR调用。我知道静态变量的值会在函数调用间保留，但想确认：编译器优化会不会导致读取值错误（类似非volatile全局变量在后台循环读取但在ISR中修改的情况）。

对应的代码如下：

/** @brief Raise the event flag and feed the watchdog if all required event flags are set.
 *
 *  @param[in] event_flag  Bitmask corresponding to the triggering event.
 */
static void watchdog_feed_if_all_events_set(watchdog_event_t event_flag)
{
    static watchdog_event_t watchdog_feed_events;

    watchdog_feed_events |= event_flag;

    if ((watchdog_feed_events & watchdog_required_events) == watchdog_required_events) {
        bsp_watchdog_feed();
        watchdog_feed_events = 0;
    }
}

请问watchdog_feed_events是否需要声明为volatile？若需要，请说明原因。

回答 #

必须给watchdog_feed_events加上volatile修饰，原因很明确：

• 虽然你提到这些ISR不会并发执行，但ISR的触发是异步于主程序流的——主程序运行到任意位置都可能被ISR打断，转而执行这个函数。编译器无法预知这种外部异步调用的场景，会默认假设变量的修改只会在当前执行流内发生。
• 不加volatile的话，编译器会做优化：比如把watchdog_feed_events的值缓存到寄存器中，而非每次都从内存读取。这样一来，当某个ISR修改了内存中的变量值后，后续的函数调用（无论来自另一个ISR还是主程序）可能读取到寄存器里的旧值，直接导致逻辑错误——要么漏喂看门狗，要么错误地重置标志位。
• volatile的核心作用就是告诉编译器：这个变量的值可能被当前执行流之外的因素（比如ISR、硬件）修改，因此每次读写都必须直接操作内存，不能使用寄存器缓存优化。

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