java内存模型（jmm）是抽象规范，不描述物理内存，核心解决原子性、可见性、有序性三大问题：原子性指操作不可分割；可见性指修改对其他线程即时可见；有序性指禁止破坏逻辑的指令重排序。
Java 内存模型（JMM）不描述物理内存结构，而是定义线程如何读写共享变量的抽象规则。它围绕三个核心性质展开：原子性、可见性、有序性——这三者共同构成判断并发代码是否线程安全的基础。
原子性：操作不可分割
一个操作或一组操作，要么全部执行完成，要么完全不执行，中间不会被线程切换打断，对外也不呈现“半完成”状态。
Alibabacloud Sdk Client Initialization For Java
下载
在 Java 中初始化和管理阿里云 SDK客户端。包括单例模式、线程安全、endpoint 与 region 配置、VPC 终端节点、同步与异步等。
- 基本类型中，int、boolean、float、char 等 32 位及以下类型的单次读或写是原子的；引用类型赋值也是原子的（因为只操作指针）
- long 和 double 的读写在某些 JVM 实现中可能非原子（被拆成两个 32 位操作，存在“撕裂”风险），但现代 JDK（如 JDK 8+）通常已默认保证其原子性
- i++、i += 1、new 对象等都不是原子操作——它们由读取、计算、写入多个步骤组成，可能被其他线程穿插执行
- volatile 不能增强原子性；要保障复合操作原子性，得用 synchronized、Lock 或 AtomicInteger 等原子类
可见性：修改对其他线程及时可见
当一个线程修改了共享变量的值，其他线程能立即看到这个最新值，而不是读到过期缓存副本。
- 问题根源在于：每个线程有自己工作内存（对应 CPU 缓存），变量更新可能滞留在本地，未及时刷回主内存
- volatile 是最轻量的可见性保障手段：写 volatile 变量会强制刷新到主内存；读 volatile 变量会强制从主内存重新加载
- synchronized 和 Lock 在加锁/解锁时，也会强制清空和同步工作内存与主内存的数据
- final 字段在构造器结束前完成初始化后，对其他线程天然可见
有序性：禁止指令重排序影响语义
程序执行顺序可能与代码书写顺序不一致（编译器优化、CPU 指令重排），JMM 规定了哪些重排是允许的、哪些必须禁止，以保证多线程下逻辑正确。
- volatile 写之前的所有操作，不能被重排到写之后；volatile 读之后的所有操作，不能被重排到读之前
- synchronized 块内语句也具有天然的有序性约束（进入和退出监视器构成内存屏障）
- 普通变量无此保障：比如 flag = true; 和 data = 42; 可能被重排，导致其他线程看到 flag == true 却读到未初始化的 data
- happens-before 规则是 JMM 定义有序性的核心原则，它提供了一套可推理的偏序关系，比如“对 volatile 变量的写 happens-before 后续对它的读”
Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南
