JavaScript通过SharedArrayBuffer和Atomics实现共享内存与线程同步，支持Web Workers间高效数据共享。SharedArrayBuffer提供跨线程的共享二进制内存，避免复制开销；Atomics提供原子操作如load、store、add、compareExchange及wait/wake，确保多线程下数据一致与线程安全。典型用于音视频处理等高性能场景，但需启用跨源隔离策略，且Atomics.wait仅限Worker使用，需谨慎设计同步逻辑防死锁，调试复杂。
JavaScript中的共享内存机制主要通过 SharedArrayBuffer 和 Atomics 模块实现，它们为多线程环境下的数据共享与同步提供了底层支持。这一能力在引入Web Workers的场景中尤为重要，使得主线程与工作线程之间可以高效地共享数据，避免频繁的复制和通信开销。
SharedArrayBuffer：共享内存的基础
SharedArrayBuffer 是一种允许在多个 JavaScript 线程（如主线程和 Web Workers）之间共享同一块原始二进制内存的类型。与普通的 ArrayBuffer 不同，SharedArrayBuffer 的内容不被复制，而是被多个上下文直接访问，从而实现真正的内存共享。
创建一个 SharedArrayBuffer 并将其传递给 Worker 的示例如下：
// 主线程
const sharedBuffer = new SharedArrayBuffer(1024); // 1KB 共享内存
const int32Array = new Int32Array(sharedBuffer);
const worker = new Worker('worker.js');
worker.postMessage({ buffer: sharedBuffer });
// worker.js
self.onmessage = function(event) {
const sharedBuffer = event.data.buffer;
const int32Array = new Int32Array(sharedBuffer);
// 可以读写共享内存
};
由于多个线程可同时访问同一内存区域，若无同步机制，极易引发竞态条件。这就引出了 Atomics 模块的作用。
立即学习“Java免费学习笔记（深入）”；
Atomics：原子操作保障线程安全
Atomics 是 JavaScript 提供的一个静态类，包含一系列用于在共享数组上执行原子操作的方法。这些方法确保对 SharedArrayBuffer 视图（如 Int32Array）的读写操作不会被中断，从而避免数据不一致。
常用 Atomics 方法包括：
- Atomics.store()：原子地写入值
- Atomics.load()：原子地读取值
- Atomics.add() / Atomics.sub()：原子地加减
- Atomics.compareExchange()：比较并交换，常用于实现锁
- Atomics.wait() / Atomics.wake()：实现线程阻塞与唤醒（仅适用于主线程以外的上下文）
示例：使用 compareExchange 实现简单的计数器递增：
function safeIncrement(typedArray, index) {
let oldValue, newValue;
do {
oldValue = Atomics.load(typedArray, index);
newValue = oldValue + 1;
} while (Atomics.compareExchange(typedArray, index, oldValue, newValue) !== oldValue);
}
这段代码保证了即使多个线程同时调用，计数器也能正确递增。
实际应用场景与注意事项
共享内存适合高频率、低延迟的数据交互场景，比如音视频处理、游戏引擎、科学计算等。通过将大块数据放入 SharedArrayBuffer，Worker 可直接处理，显著提升性能。
但使用时需注意以下几点：
- SharedArrayBuffer 在某些浏览器或上下文中受限，需启用跨源隔离（Cross-Origin-Opener-Policy 和 Cross-Origin-Embedder-Policy）才能使用
- 不能在非 worker 环境中使用 Atomics.wait()，因为它会阻塞主线程
- 开发者需自行设计同步逻辑，避免死锁或活锁
- 调试多线程问题较困难，建议配合清晰的状态管理和日志
基本上就这些。SharedArrayBuffer 与 Atomics 提供了 JavaScript 中接近系统级的并发控制能力，虽然使用门槛较高，但在特定高性能场景下不可替代。理解其原理和限制，有助于更好地发挥多核设备的潜力。
