GCC 11.3在-O2及以上优化下协程帧被覆盖？求分析与解决

问题确认 #

你的代码实现了自定义task协程类型，创建两个分别输出"a"和"b"的协程，通过事件循环交替恢复协程句柄。测试结果显示：

• GCC 11.3 -O1：正常输出ab
• GCC 11.3 -O2及以上：异常输出bb
• GCC 12.1 -O3：正常输出ab
  排查后定位为协程帧被其他协程覆盖，且该问题在GCC 12.1中已被修复，但你无法升级编译器。

触发原因 #

这是GCC 11.x系列的官方协程实现bug。在-O2及以上优化等级下，编译器对协程帧的生命周期管理逻辑存在错误：当多个协程的栈布局或调度逻辑相似时，编译器错误地复用了已创建的协程帧内存空间，导致后创建的协程覆盖了先创建协程的帧数据（比如打印字符串的指针被覆盖），最终引发执行异常。这个bug在GCC 12.1对协程实现的重构中被官方修复。

适配方案（无需升级编译器） #

1. 针对性禁用优化选项 #

对包含协程实现或调度逻辑的代码文件，单独添加编译参数，关闭触发bug的优化：

• 推荐使用-fno-optimize-sibling-calls，该选项会关闭兄弟函数调用的优化，而正是这类优化错误影响了协程帧的独立性。
• 也可以直接对目标文件降优化等级至-O1。

示例（CMake中配置）：

set_source_files_properties(your_coroutine_code.cpp PROPERTIES COMPILE_FLAGS "-fno-optimize-sibling-calls")

2. 强制协程帧在堆上分配 #

修改自定义task的promise_type，重载内存分配操作符，确保每个协程帧使用独立的堆内存，避免编译器隐式复用内存：

struct task_promise {
    task get_return_object() {
        return task{coroutine_handle<task_promise>::from_promise(*this)};
    }

    // 自定义堆内存分配
    static void* operator new(size_t size) {
        return std::malloc(size);
    }

    static void operator delete(void* ptr) {
        std::free(ptr);
    }

    std::suspend_always initial_suspend() { return {}; }
    std::suspend_always final_suspend() noexcept { return {}; }
    void return_void() {}
    void unhandled_exception() { std::terminate(); }
};

3. 添加内存屏障阻止操作重排序 #

在创建协程的调度点之间添加内存屏障，确保前一个协程帧完全初始化后再创建下一个协程，避免编译器错误重排序：

auto ta = print_a();
std::atomic_thread_fence(std::memory_order_acq_rel);
auto tb = print_b();

该方案效果依赖代码结构，可作为辅助手段配合其他方案使用。

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