libv8：SIGINT信号处理器中运行JS代码偶发段错误问题

问题背景 #

我开发了一款终端运行的libv8 C++程序，需要捕获Ctrl+C（SIGINT）并执行退出前的检查与清理。用signal(SIGINT, intHandler)实现信号捕获后，程序偶发段错误，持续按Ctrl+C约100次必现，复杂场景崩溃频率更高。地址 sanitizer 显示错误发生在信号处理函数内的v8::Script::Compile调用。

环境信息：

• Ubuntu 22.04.4
• libv8/libnode 7.8.279.23-node.56
• g++ 11.4.0

问题根源 #

信号处理函数的执行是异步的，而V8的API并非信号安全（signal-safe）。当主线程正在执行V8的JS逻辑（比如示例中的无限循环）时，信号处理函数直接调用V8编译/运行脚本的API，会导致V8内部的数据结构被并发访问，引发竞争条件，最终导致段错误。多次触发信号会大幅增加这种竞争的概率，加速崩溃。

解决方案 #

核心思路是不在信号处理函数中直接执行任何V8操作，而是通过一个原子标志通知主线程，由主线程在安全的上下文里执行清理逻辑。

修改后的完整代码 #

#include <stdio.h>
#include <signal.h>
#include <node/v8.h>
#include <v8/libplatform/libplatform.h>
#include <atomic>

// 原子退出标志，保证线程安全的读写
std::atomic<bool> should_exit(false);

const char* ToCString(const v8::String::Utf8Value& value) {
    return *value ? *value : "<string conversion failed>";
}

void echo(const v8::FunctionCallbackInfo<v8::Value>& args) {
    v8::HandleScope handle_scope(args.GetIsolate());
    v8::String::Utf8Value str(args.GetIsolate(), args[0]);
    const char* cstr = ToCString(str);
    printf("%s\n", cstr);
    fflush(stdout);
};

// 信号处理函数仅设置退出标志，不做任何V8相关操作
void intHandler(int dummy) {
    should_exit = true;
    printf("Received SIGINT, preparing to exit...\n");
    fflush(stdout);
}

int main(int argc, char* argv[]) {
    signal(SIGINT, intHandler);

    // 初始化V8环境
    v8::V8::InitializeICUDefaultLocation(argv[0]);
    v8::V8::InitializeExternalStartupData(argv[0]);
    std::unique_ptr<v8::Platform> platform = v8::platform::NewDefaultPlatform();
    v8::V8::InitializePlatform(platform.get());
    v8::V8::Initialize();

    v8::Isolate::CreateParams create_params;
    create_params.array_buffer_allocator = v8::ArrayBuffer::Allocator::NewDefaultAllocator();
    v8::Isolate* isolate = v8::Isolate::New(create_params);
    {
        v8::Isolate::Scope isolate_scope(isolate);
        v8::HandleScope handle_scope(isolate);
        v8::Local<v8::ObjectTemplate> global = v8::ObjectTemplate::New(isolate);
        global->Set(isolate, "echo", v8::FunctionTemplate::New(isolate, echo));
        // 把退出标志检查函数暴露给JS
        global->Set(isolate, "shouldExit", v8::FunctionTemplate::New(isolate, [](const v8::FunctionCallbackInfo<v8::Value>& args) {
            args.GetReturnValue().Set(should_exit.load());
        }));

        v8::Local<v8::Context> context = v8::Context::New(isolate, NULL, global);
        v8::Context::Scope context_scope(context);

        // 编译带有退出检查逻辑的脚本
        v8::TryCatch try_catch(isolate);
        v8::Local<v8::String> source = v8::String::NewFromUtf8(isolate, 
            "var x = 1; while (true) { "
            "  x++; "
            "  if (x % 10000000 === 0) echo(x); "
            "  // 定期检查退出标志，触发后退出循环 "
            "  if (shouldExit()) break; "
            "};");
        v8::Local<v8::Script> script;
        if (!v8::Script::Compile(context, source).ToLocal(&script)) {
            fprintf(stderr, "error 3: compiled failed!\n");
            return 1;
        }

        printf("Running script, press Ctrl+C to exit...\n");
        fflush(stdout);
        // 运行主脚本
        v8::Local<v8::Value> result;
        if (!script->Run(context).ToLocal(&result)) {
            fprintf(stderr, "error 4: run failed!\n");
            return 2;
        }

        // 在主线程的V8安全上下文执行退出清理逻辑
        printf("Executing cleanup...\n");
        v8::Local<v8::String> cleanup_source = v8::String::NewFromUtf8(isolate, "echo('Cleanup completed, exiting...')");
        v8::Local<v8::Script> cleanup_script;
        if (v8::Script::Compile(context, cleanup_source).ToLocal(&cleanup_script)) {
            cleanup_script->Run(context);
        }
    }

    // 正确销毁V8资源，避免内存泄漏
    isolate->Dispose();
    v8::V8::Dispose();
    v8::V8::DisposePlatform();
    delete create_params.array_buffer_allocator;

    printf("Program finished\n");
    return 0;
}

关键修改说明 #

1. 原子退出标志：使用std::atomic<bool>保证主线程和信号处理函数对标志的读写线程安全
2. 简化信号处理函数：仅设置退出标志，完全移除V8 API调用
3. JS循环添加退出检查：在主脚本中定期调用shouldExit()检查标志，触发后退出循环
4. 安全执行清理逻辑：清理操作移到主线程的V8上下文执行，避免并发冲突
5. 完善资源销毁：恢复原代码中注释掉的V8资源销毁步骤，避免内存泄漏

编译与运行 #

使用原编译命令即可：

g++ -o demo demo.cpp -lv8 -lpthread -lssl -lcrypto -Wall -ggdb -I/usr/include/v8

运行后按下Ctrl+C，程序会优雅退出，不会出现段错误。

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