SharedArrayBuffer与Atomics多线程操作解析
时间:2026-04-10 14:18:54 192浏览 收藏
本文深入解析了 SharedArrayBuffer 与 Atomics 在浏览器多线程环境中的正确使用之道:SharedArrayBuffer 并非开箱即用,必须在跨域隔离(COEP/COOP)策略下启用,且仅限 Worker 中安全使用;Atomics 操作远非简单的“睡眠唤醒”或“原子加减”,而是依赖精确的内存视图、严格的状态匹配与显式通知机制,稍有误用就会导致线程阻塞、静默失败或内存泄漏;文章不仅揭穿常见认知误区,更通过典型错误场景与规范示例,手把手教你构建可靠、高效、符合现代浏览器安全模型的共享内存协作模式。

SharedArrayBuffer 必须配合跨域策略启用
浏览器默认禁用 SharedArrayBuffer,直接 new 会抛出 TypeError: SharedArrayBuffer is not enabled。这不是代码写错了,而是安全策略限制——它可能被用于幽灵漏洞(Spectre)类攻击,所以现代浏览器要求页面运行在跨域隔离环境中。
实操上必须同时满足两个条件:
- 服务器响应头包含
Cross-Origin-Embedder-Policy: require-corp和Cross-Origin-Opener-Policy: same-origin - HTML 中的
、等资源需显式声明crossorigin属性(例如) - 本地开发时不能靠
file://协议打开,得用localhost或127.0.0.1启服务(比如npx serve)
Atomics.wait() 和 Atomics.notify() 不是 sleep/wake 的简单替代
很多人以为 Atomics.wait() 就是“让线程睡几毫秒”,其实它只在 SharedArrayBuffer 的某个整数位置值未变时才挂起,并且**必须配合 Atomics.notify() 才能唤醒**——它不是定时器,也不是轮询开关。
典型误用场景:
- 在主线程调用
Atomics.wait():不支持,会直接报TypeError: wait not allowed on main thread - 传入非
Int32Array视图(比如Float64Array):报错RangeError: view is not an Int32Array - 等待值与当前值不等:函数立即返回
"not-equal",不会挂起
正确用法示例(Worker 内):
const sab = new SharedArrayBuffer(4); const ia = new Int32Array(sab); Atomics.store(ia, 0, 0); // 初始化为 0 Atomics.wait(ia, 0, 0, 1000); // 等待位置 0 的值变为非 0,最长 1000ms
Atomics.add() / .sub() / .and() 等操作天然线程安全,但别滥用
这些函数对共享内存的读-改-写是原子的,不需要额外锁。但要注意它们只作用于 Int32Array 或 BigInt64Array,且目标索引必须在视图范围内。
常见陷阱:
- 用
Atomics.add(ia, 0, 1)模拟计数器没问题,但若想“先读再判断再写”,就不能拆成Atomics.load()+if+Atomics.store()——中间可能被其他线程插入修改,必须用Atomics.compareExchange() Atomics.or()对布尔标志位做“置位”可以,但Atomics.load()返回的是数值,不是布尔值,别直接if (Atomics.load(ia, 0))当真/假用(0 是 false,非 0 是 true,逻辑没错,但语义模糊)- 所有
Atomics操作都要求视图基于SharedArrayBuffer,传入普通ArrayBuffer会静默失败或报错
Worker 通信仍需 postMessage,SharedArrayBuffer 只共享数据不共享逻辑
SharedArrayBuffer 让多个 Worker(或主线程+Worker)看到同一块内存,但它不提供任何消息通知机制。你不能靠“改了共享内存就自动触发对方执行某函数”——这得自己用 Atomics.notify() + Atomics.wait() 配合轮询或事件循环来模拟信号。
实际协作模式通常是:
- 用一个固定位置(如
ia[0])作状态码:0=空闲,1=任务中,2=完成 - Worker 改完结果后,
Atomics.store(ia, 1, result)写入数据,再Atomics.store(ia, 0, 2)更新状态,最后Atomics.notify(ia, 0) - 主线程用
Atomics.wait(ia, 0, 2)等待完成态,醒来后读ia[1]
注意:Atomics.wait() 会阻塞 Worker 线程,所以务必确保有配套的 notify(),否则线程永久挂起。
最易被忽略的一点:SharedArrayBuffer 的生命周期由所有持有它的对象共同管理,只要还有一个 Int32Array 引用它,GC 就不会回收——忘了清理视图引用会导致内存泄漏,尤其在频繁创建/销毁 Worker 的场景里。
今天关于《SharedArrayBuffer与Atomics多线程操作解析》的内容介绍就到此结束,如果有什么疑问或者建议,可以在golang学习网公众号下多多回复交流;文中若有不正之处,也希望回复留言以告知!
-
502 收藏
-
501 收藏
-
501 收藏
-
501 收藏
-
501 收藏
-
419 收藏
-
267 收藏
-
233 收藏
-
416 收藏
-
380 收藏
-
210 收藏
-
106 收藏
-
457 收藏
-
353 收藏
-
469 收藏
-
388 收藏
-
374 收藏
-
- 前端进阶之JavaScript设计模式
- 设计模式是开发人员在软件开发过程中面临一般问题时的解决方案,代表了最佳的实践。本课程的主打内容包括JS常见设计模式以及具体应用场景,打造一站式知识长龙服务,适合有JS基础的同学学习。
- 立即学习 543次学习
-
- GO语言核心编程课程
- 本课程采用真实案例,全面具体可落地,从理论到实践,一步一步将GO核心编程技术、编程思想、底层实现融会贯通,使学习者贴近时代脉搏,做IT互联网时代的弄潮儿。
- 立即学习 516次学习
-
- 简单聊聊mysql8与网络通信
- 如有问题加微信:Le-studyg;在课程中,我们将首先介绍MySQL8的新特性,包括性能优化、安全增强、新数据类型等,帮助学生快速熟悉MySQL8的最新功能。接着,我们将深入解析MySQL的网络通信机制,包括协议、连接管理、数据传输等,让
- 立即学习 500次学习
-
- JavaScript正则表达式基础与实战
- 在任何一门编程语言中,正则表达式,都是一项重要的知识,它提供了高效的字符串匹配与捕获机制,可以极大的简化程序设计。
- 立即学习 487次学习
-
- 从零制作响应式网站—Grid布局
- 本系列教程将展示从零制作一个假想的网络科技公司官网,分为导航,轮播,关于我们,成功案例,服务流程,团队介绍,数据部分,公司动态,底部信息等内容区块。网站整体采用CSSGrid布局,支持响应式,有流畅过渡和展现动画。
- 立即学习 485次学习