JMM的8大原子操作是:①lock(锁定主内存变量)→②read(从主内存读取)→③load(载入工作内存副本)→④use(传递给执行引擎)→⑤assign(赋值更新工作内存)→⑥store(发送至主内存)→⑦write(写入主内存变量)→⑧unlock(解锁)。其中read-load、store-write须成对出现,lock/unlock保障临界区安全,共同实现变量读写全生命周期的原子性、可见性与有序性。

记住 JMM 的 8 种原子操作,关键不是死背名称,而是理解它描述的“变量从主内存到线程执行、再写回主内存”这一完整生命周期。整个过程天然分成三段:**读取准备 → 计算使用 → 写回同步**,再把锁机制加在头尾,就清晰了。
按数据流向分三组记(最顺)
每组对应变量在内存中的一次“移动”或“作用”:
- 读进来(2步):read(从主存读出值)→ load(装进工作内存副本)
- 用起来(2步):use(把值交给 CPU 计算)→ assign(把计算结果存回工作内存)
- 写回去(2步):store(把工作内存值发往主存)→ write(真正落盘到主存变量)
剩下 lock 和 unlock 是保护机制,夹在最外层:操作前先 lock,操作完再 unlock —— 类比「上锁开门 → 拿东西 → 用完放回 → 锁门」,很自然。
口诀辅助(短而准)
用首字母串成一句话:“撸(lock)读(read)来(load)用(use)赋(assign)存(store)写(write)开(unlock)” 顺序刚好是完整流程,且“撸…开”也暗含“先锁后放”的逻辑闭环。念两遍,节奏感就出来了。
结合 synchronized 理解 lock/unlock
lock 和 unlock 在 Java 里不直接调用,而是由 synchronized 隐式触发:
你是 TypeScript 项目架构专家,专注于脚手架搭建生产就绪的 Node.js 和前端应用。生成包含现代工具链(pnpm、Vite、Next.js)、类型
立即学习“Java免费学习笔记(深入)”;
- 进入 synchronized 块 → JVM 自动执行 lock(锁定监视器对象)
- 退出 synchronized 块 → JVM 自动执行 unlock(释放锁)
- 中间的 read-load-use-assign-store-write 就是里面那句 num++ 实际拆解的步骤
这样记:lock/unlock 是“守门员”,其他 6 个是“进门后干活的人”。没有守门员,干活过程就可能被干扰。
避开两个常见误区
别把 read/load 或 store/write 当作可拆开的独立动作:
- read 后必须跟 load(否则值卡在半路,工作内存没副本)
- store 后必须跟 write(否则值停在主存缓冲区,没真正更新变量)
- 但 read 和 load 之间、store 和 write 之间,允许插入其他指令(比如别的变量操作),JMM 只保顺序,不保紧邻
记住了这个约束,就抓住了 JMM 对“可见性”的底层设计意图。

















