省略exit(0)导致Fiber/上下文切换时出现段错误的原因排查

我用C++实现了一个基于Fiber的上下文切换示例，但移除foo函数里的exit(0)调用后，程序就出现段错误。foo运行在特定的上下文环境中，显然没了exit(0)就会出问题。

对应的代码如下：

#include "context.hpp"
#include <iostream>
#include <cstdlib>

using namespace std;

void foo()
{
    cout << "You called foo" << endl;
    //exit(0);
}

int main()
{
    // Allocate space for stack
    char data_foo[4096];

    // Align the stacks to 16 bytes
    char *sp_foo = data_foo + sizeof(data_foo);
    sp_foo = reinterpret_cast<char*>(reinterpret_cast<uintptr_t>(sp_foo) & -16L);
    sp_foo -= 128;

    // Create contexts for foo
    Context c_foo;

    // Set RIP (Register Instruction Pointer) and RSP (Register Stack Pointer) for foo
    c_foo.rip = (void*)foo;
    c_foo.rsp = sp_foo;

    // Call set_context with c_foo
    set_context(&c_foo);

    cout << "Back in main after calling foo" << endl;

    return 0;
}

我知道exit(0)会终止整个进程，但想明白为什么移除它会导致段错误。不使用exit(0)的情况下，哪些关键因素会引发上下文切换或Fiber相关问题？Fiber/上下文终止会如何影响程序状态，不使用exit时需要采取哪些预防措施？

为什么移除exit(0)会触发段错误？ #

当你调用set_context(&c_foo)切换到foo的上下文后，foo执行完输出语句就会执行函数末尾的ret指令。但你手动构造的上下文只设置了rip（foo的入口地址）和rsp（自定义栈的栈顶），栈上根本没有合法的返回地址。

CPU执行ret时，会从当前栈顶取出一个地址作为跳转目标，但你的data_foo栈里存的都是未初始化的垃圾值，这个地址要么是无效内存，要么指向完全随机的位置，直接触发段错误。而exit(0)会直接终止进程，跳过了foo的返回步骤，自然不会暴露这个问题。

不使用exit(0)时，引发Fiber问题的关键因素 #

• 栈帧不完整：手动构造Fiber上下文时，只设置rip和rsp远远不够——函数调用需要合法的栈帧，尤其是返回地址。没有正确设置返回地址，函数返回时必然崩溃。
• 单向切换无回退：你现在是从main单向切到foo，但没准备好切回main的机制。Fiber的上下文切换应该是双向的，需要保存原上下文（main的状态），确保foo执行完能切回去。
• 栈的合法性问题：自定义栈的对齐、大小、生命周期都要符合系统调用约定，比如x86_64要求栈16字节对齐，栈大小要足够容纳函数调用的栈帧，否则会出现栈溢出或对齐错误。

Fiber终止对程序状态的影响 #

如果Fiber函数直接返回而没有正确处理上下文切换：

• 会破坏进程的调用栈结构，原main的上下文被覆盖或丢失，程序无法回到正常执行流程；
• 若Fiber使用动态分配的栈，还可能导致栈内存泄漏；
• 多Fiber场景下，可能会干扰其他Fiber的上下文，引发更复杂的崩溃或资源竞争问题。

不使用exit(0)的预防措施 #

• 设置合法的返回地址：在构造Fiber栈时，提前把返回地址压入栈中——这个地址应该是能切换回原上下文的函数（比如调用set_context恢复main的上下文）。比如在sp_foo的位置先压入main上下文的恢复入口，再设置rsp。
• 使用双向切换函数：不要用set_context这种单向切换的函数，改用swap_context（如果你的context.hpp支持）。swap_context会先保存当前main的上下文，再切换到foo，当foo返回时，自动切回main的上下文继续执行。
• 模拟符合调用约定的栈帧：不同CPU架构的调用约定不同，比如x86_64下，函数调用需要栈对齐，还要预留参数、返回地址的空间。手动构造栈时必须严格遵循这些规则。
• 用成熟库替代手动实现：如果不是为了学习原理，直接用Boost.Context、libfiber这类成熟的Fiber库，它们已经封装好了所有上下文切换的细节，避免手动踩坑。

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