如何用JavaScript终止WebAssembly中运行的C++模拟任务？

这个问题我之前在处理Wasm长时间运行模拟任务时也碰到过，你的初始方案无效其实是编译器优化在搞鬼——普通的bool stop变量会被编译器优化到寄存器里，循环中不会重新读取内存中的值，所以JS调用stopWebAssembly()修改内存后，Wasm循环根本看不到变化。下面给你几个更可靠的解决方案：

1. 使用原子变量修复初始方案（最简单高效） #

把stop改成原子类型，强制编译器每次都从内存读取最新值，避免优化问题。这是改动最小、性能影响最低的方案：

#include <atomic>

// 用原子变量存储终止信号，默认初始化为false
std::atomic<bool> g_stop_simulate{false};

void EMSCRIPTEN_KEEPALIVE stopWebAssembly() {
    // 存储终止信号，memory_order_relaxed足够满足需求
    g_stop_simulate.store(true, std::memory_order_relaxed);
}

void simulate() {
    State* state = new State();
    // 每次循环都从内存读取原子变量的最新值
    while (!state->isTerminated() && !g_stop_simulate.load(std::memory_order_relaxed)) {
        // 执行你的模拟操作
    }
    delete state; // 别忘了释放内存！
}

编译的时候不需要额外参数，原子变量的访问开销极小，几乎不会影响模拟性能。

2. 用Emscripten Asyncify实现异步中断（更优雅） #

如果不想在循环里手动检查终止信号，可以用Emscripten的Asyncify工具，把同步的模拟函数转换成可暂停的异步函数，让Wasm主动让出控制权给JS，这样JS可以随时发送终止指令。

步骤： #

1. 编译时添加参数：-s ASYNCIFY=1
2. 在模拟函数中合适的位置插入emscripten_yield()，让Wasm暂停并回到JS上下文
3. JS端可以在yield间隙检查终止请求，或者直接通过原子变量传递信号

示例代码：

#include <emscripten.h>
#include <atomic>

std::atomic<bool> g_stop_simulate{false};

void EMSCRIPTEN_KEEPALIVE stopWebAssembly() {
    g_stop_simulate.store(true, std::memory_order_relaxed);
}

void EMSCRIPTEN_KEEPALIVE simulate() {
    State* state = new State();
    while (!state->isTerminated()) {
        // 执行模拟操作
        // 每完成一个逻辑单元后让出控制权
        emscripten_yield();
        // 检查终止信号
        if (g_stop_simulate.load(std::memory_order_relaxed)) {
            break;
        }
    }
    delete state;
}

Asyncify会修改Wasm代码，让函数可以被暂停和恢复，这样即使模拟运行几小时，也能在yield的时候响应终止请求。你可以根据模拟的逻辑复杂度调整yield的频率，比如每处理1000次迭代yield一次，平衡性能和响应性。

3. 粗暴但直接：终止Web Worker #

如果不需要保留Worker的状态，直接调用worker.terminate()可以立刻终止整个Worker，包括正在运行的Wasm任务。但这个方法会销毁Worker的所有上下文，无法复用Worker，适合一次性任务的场景。

注意事项 #

WebAssembly运行在沙箱中，没有办法强制中断正在执行的Wasm代码——所有终止逻辑都需要Wasm代码主动配合检查信号。所以无论用哪种方案，核心都是让模拟代码有机会读取终止信号。

内容的提问来源于stack exchange，提问作者J. Douglas