WebAssembly线程安全性与C/C++局部变量共享内存风险问询

1. 共享内存场景下的线程安全风险说明 #

你担心的别名栈引发的新型高危数据竞争实际不存在，这一行为的风险模型和原生C/C++完全一致：

• 开启--shared-memory编译时，主流编译链（如Emscripten）会为每个线程分配独立的栈区域，每个线程的栈指针存储在线程局部存储中，不同线程的栈帧不会重叠。你给出的calculation函数案例中，哪怕参数被存入别名栈，两个线程执行该函数时操作的也是各自栈帧内的不同地址，不会出现跨线程竞争。
• 唯一的风险场景和原生C/C完全相同：你主动将栈变量的指针传递到其他线程，且当前函数在其他线程访问该指针前就已退出，导致栈帧被释放复用，出现悬垂指针或数据竞争。这不属于Wasm引入的新风险，属于C/C本身的内存安全规则范畴。

2. 局部变量存入别名栈的明确触发场景 #

以Clang/LLVM为核心的Wasm编译链中，只要满足以下任意一个条件，局部变量/参数就会被存入线性内存的别名栈：

• 代码中显式对该变量使用了取址运算符&
• 变量为无法用单个Wasm值类型承载的复杂类型：包括长度超过8字节的结构体/联合体、固定长度/动态长度数组
• 变量被volatile关键字修饰
• 变量地址被隐式逃逸：比如作为引用参数传递给其他函数、被lambda/闭包捕获
• 编译器优化等级低于O2时，部分编译器无法确认是否会被取址的复杂逻辑变量也会被放入别名栈

3. 测试结论验证 #

你的测试结果是正确的：只有被取址的变量才会被放入别名栈，未被取址的简单类型变量会直接存放在Wasm原生局部变量槽中，这部分空间位于线性内存之外，无法通过指针访问，完全不存在线程安全风险。

你提到的"对局部变量临时取址就会导致可重入函数线程不安全"的担心是多余的：只要你没有主动将栈变量的指针传递到当前线程之外，哪怕变量被存入别名栈，不同线程执行该函数时操作的也是各自独立的栈区域，不会出现互相干扰的情况。

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