Java内存模型（jmm）是多线程编程的基础，其核心在于主内存与工作内存的划分及三大特性（原子性、可见性、有序性）。1.主内存存储变量，线程通过工作内存操作变量副本，通信需同步机制避免可见性问题；2.线程安全依赖原子性（如synchronized或atomicinteger保障）、可见性（volatile确保读写主内存）、有序性（volatile和synchronized禁止重排序）；3.happens-before规则定义操作间可见关系，包括程序顺序、锁、volatile变量、线程启动与终止等规则；4.开发中需注意非原子操作、volatile合理使用、减少共享变量等细节，以写出可靠的并发程序。
Java内存模型（JMM）是理解多线程编程、实现线程安全的基础。很多人写并发程序的时候，可能只关心synchronized或volatile这些关键字，但如果不了解JMM背后的机制，就容易写出看似正确实则有问题的代码。
下面我们就从几个关键点来聊聊JMM的核心概念和线程安全的一些细节。
主内存与工作内存：线程之间如何通信
在JMM中，所有变量都存储在主内存中，每个线程有自己的“工作内存”，里面保存了该线程使用到变量的副本。线程对变量的所有操作（读取、赋值等）都是在自己的工作内存中进行的，不能直接读写主内存中的变量。
立即学习“Java免费学习笔记（深入）”；
举个例子，假设两个线程同时操作一个int变量count：
- 线程A修改了count的值，这个修改一开始只是存在它自己的工作内存里。
- 如果线程B想看到这个变化，必须通过某些机制把线程A的更新同步回主内存，然后线程B再从主内存读取。
这种机制如果不处理好，就会出现“可见性”问题，比如线程B看不到线程A改过的值。
原子性、可见性、有序性：线程安全的三大基础
要保障线程安全，通常需要考虑三个方面：原子性、可见性和有序性。
原子性
简单来说就是某个操作要么全部执行成功，要么完全不执行。例如i++看起来是一条语句，实际上包含三个步骤：
- 读取i的值
- 加1
- 写回新值
这三个步骤不是原子操作，多个线程同时执行的话可能会导致结果错误。解决办法可以用synchronized或者AtomicInteger等原子类。
可见性
前面提到过，线程之间的变量修改不一定能及时被其他线程看到。volatile关键字可以保证变量的可见性，每次读取都会去主内存拿最新值，每次写完也会立即刷新回主内存。
有序性
编译器或处理器为了优化性能，可能会重排指令顺序。虽然重排不会影响单线程的结果，但在多线程环境下可能导致问题。volatile和synchronized都能禁止某些重排序，从而保证程序的有序性。
happens-before规则：理解JMM的关键
happens-before是JMM中最核心的概念之一，它定义了两个操作之间的可见关系。如果操作A happens-before 操作B，那么A的结果对B是可见的。
常见的happens-before规则包括：
- 程序顺序规则：同一个线程中的每个操作，都按代码顺序发生。
- 监视器锁规则：对同一个锁的解锁操作 happens-before 后续对这个锁的加锁操作。
- volatile变量规则：对volatile变量的写操作 happens-before 后续对该变量的读操作。
- 线程启动规则：Thread.start() happens-before 线程中的任何操作。
- 线程终止规则：线程中的所有操作 happens-before 其他线程检测到该线程已经结束。
掌握这些规则有助于我们判断哪些操作之间有可见性保证，从而避免错误的并发逻辑。
实际开发中需要注意的几个细节
- 不要依赖“看似正确”的代码：比如用双重检查创建单例时，如果没有给实例加上volatile，可能会因为指令重排导致返回未构造完成的对象。
- 注意long和double的非原子性：在32位jvm上，对64位的long和double变量的读写可能不是原子的，需要用volatile修饰来保证原子性。
- 合理使用volatile：volatile适用于状态标志、一次初始化等场景，但如果涉及复合操作，还是得用锁或原子类。
- 尽量减少共享变量：最安全的并发方式是没有共享数据，比如使用ThreadLocal来隔离线程间的数据访问。
基本上就这些内容。Java内存模型虽然抽象，但它决定了我们在多线程环境中看到的行为是否符合预期。掌握这些基本概念，才能写出真正可靠的并发程序。
