基于ucontext实现setjmp/longjmp时的段错误问题排查

核心错误点 #

1. 段错误根源：非法内存访问 #

你遇到的Segmentation fault发生在uc_jmp_buf->is_set = 0;，说明uc_jmp_buf指针指向的内存无效——要么是未初始化的野指针，要么是指向了未分配/已释放的内存区域。自定义的跳转缓冲区结构体（包含is_set标记和ucontext_t）必须保证是可写且有效的内存：

• 若用栈上变量：需直接声明结构体实例（如jmp_buf_t buf;）而非指针；
• 若用堆内存：必须先通过malloc分配内存并初始化，避免野指针访问。

2. 两次返回逻辑失效：状态标记错误 #

注释is_set = 0;后输出不符合预期，是因为没正确区分set_jumping_point的两种执行场景：

• 首次调用：保存上下文后应返回0，执行后续代码；
• 从jump_back恢复：应返回指定值，进入跳转后的逻辑。
  缺少正确的状态标记切换，会导致首次调用后直接进入恢复分支，跳过初始输出。

正确实现示例 #

以下是基于ucontext实现自定义setjmp/longjmp的可行代码，完全匹配你的预期输出：

#include <ucontext.h>
#include <stdio.h>

// 自定义跳转缓冲区：整合上下文、状态标记和返回值
typedef struct {
    ucontext_t uc;
    int is_set;    // 标记是否已保存上下文/是否从跳转恢复
    int ret_val;   // longjmp指定的返回值
} jmp_buf_t;

int set_jumping_point(jmp_buf_t *buf) {
    // 若已标记为恢复状态，返回指定值并重置标记
    if (buf->is_set) {
        int val = buf->ret_val;
        buf->is_set = 0;
        return val;
    }

    // 首次调用：保存当前上下文
    buf->is_set = 1;
    getcontext(&buf->uc);

    // 从getcontext返回后，判断是首次保存还是跳转恢复
    if (buf->is_set) {
        // 首次保存完成，返回0
        buf->is_set = 0;
        return 0;
    }

    // 从jump_back恢复，返回指定值
    return buf->ret_val;
}

void jump_back(jmp_buf_t *buf, int val) {
    buf->ret_val = val;
    buf->is_set = 1; // 标记为恢复状态，让set_jumping_point返回指定值
    setcontext(&buf->uc); // 跳回保存的上下文
}

int main() {
    jmp_buf_t buf;
    buf.is_set = 0; // 初始化状态标记

    int ret = set_jumping_point(&buf);
    if (ret == 0) {
        printf("This should be executed because setjmp returned 0\n");
        printf("about to jump back\n");
        jump_back(&buf, 1);
    } else {
        printf("This should be executed because longjmp returned %d\n", ret);
    }
    return 0;
}

逻辑说明 #

1. 首次调用set_jumping_point：

   • buf->is_set为0，执行getcontext保存当前上下文；
   • 保存完成后，buf->is_set被设为0，返回0，进入ret==0分支打印初始内容。

2. 调用jump_back：

   • 设置返回值ret_val=1，标记is_set=1；
   • 调用setcontext恢复之前保存的上下文，回到getcontext之后的代码位置。

3. 从跳转恢复set_jumping_point：

   • 此时buf->is_set为1，直接返回ret_val=1，进入else分支打印跳转后的内容。

关键注意事项 #

• 确保跳转缓冲区的内存有效性：尽量用栈上变量（避免堆内存泄漏和野指针）；
• 状态标记is_set的切换是实现两次返回的核心，必须严格在首次保存和恢复时正确更新；
• ucontext的getcontext/setcontext会完整恢复寄存器和程序计数器，必须保证保存的上下文对应的栈未被释放（如示例中buf在main栈上，全程有效）。

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