必须了解！JMM，Java内存模型

说一下你对 Java 内存模型的理解

Java 内存模型（Java Memory Model）是一种抽象的模型，简称 JMM，主要用来定义多线程中变量的访问规则，用来解决变量的可见性、有序性和原子性问题，确保在并发环境中安全地访问共享变量。

三分恶面渣逆袭：Java内存模型

JMM 定义了线程内存和主内存之间的抽象关系：线程之间的共享变量存储在主内存（Main Memory）中，每个线程都有一个私有的本地内存（Local Memory）（也有叫工作内存），本地内存中存储了共享变量的副本，用来进行线程内部的读写操作。

• 当一个线程更改了本地内存中共享变量的副本后，它需要将这些更改刷新到主内存中，以确保其他线程可以看到这些更改。

• 当一个线程需要读取共享变量时，它可能首先从本地内存中读取。如果本地内存中的副本是过时的，线程将从主内存中重新加载共享变量的最新值到本地内存中。

本地内存是 JMM 中的一个抽象概念，并不真实存在。实际上，本地内存可能对应于 CPU 缓存、寄存器或者其他硬件和编译器优化。

为什么线程要用自己的内存？

第一，在多线程环境中，如果所有线程都直接操作主内存中的共享变量，会引发更多的内存访问竞争，这不仅影响性能，还增加了线程安全问题的复杂度。通过让每个线程使用本地内存，可以减少对主内存的直接访问和竞争，从而提高程序的并发性能。

第二，现代 CPU 为了优化执行效率，可能会对指令进行乱序执行（指令重排序）。使用本地内存（CPU 缓存和寄存器）可以在不影响最终执行结果的前提下，使得 CPU 有更大的自由度来乱序执行指令，从而提高执行效率

同步与异步操作

一、Java 内存模型的同步操作和规则

1. happens-before 规则：

   • 程序顺序规则：一个线程中的每个操作，happens-before 于该线程中的任意后续操作。

   • 监视器锁规则：对一个锁的解锁，happens-before 于随后对这个锁的加锁。

   • volatile 变量规则：对一个 volatile 域的写，happens-before 于任意后续对这个 volatile 域的读。

   • 传递性：如果 A happens-before B，且 B happens-before C，那么 A happens-before C。

2. synchronized 和 Lock 的同步机制：

   • 使用synchronized关键字或者ReentrantLock等锁机制可以确保在同一时刻只有一个线程访问被保护的代码块。当一个线程获取到锁并进入同步代码块时，它可以看到之前所有对共享变量的修改，并且在释放锁之前对共享变量的修改会对其他获取该锁的线程可见。

3. volatile 的同步作用：

   • volatile关键字确保对一个变量的写操作立即刷新到主内存，并且对这个变量的读操作会从主内存中读取最新的值。这保证了不同线程对volatile变量的可见性，并且禁止了特定的指令重排序。

二、Java 内存模型中的异步操作

在 Java 中是存在异步操作的。

1. 多线程异步执行：当启动多个线程时，这些线程可以并发地执行不同的任务，它们的执行顺序是不确定的，这可以看作一种异步操作。例如，使用Thread类或者线程池来启动多个线程执行不同的任务，各个线程之间的执行是相互独立的，不会相互等待。

2. 异步 I/O 操作：Java 的 NIO（New Input/Output）库提供了异步 I/O 操作的支持。例如，使用AsynchronousSocketChannel进行异步网络通信，或者使用AsynchronousFileChannel进行异步文件读取和写入。这些操作在发起后不会阻塞当前线程，而是在后台进行，当操作完成时会通过回调或者 Future 对象来通知调用者。

3. Future 和 CompletableFuture：java.util.concurrent.Future和java.util.concurrent.CompletableFuture代表异步计算的结果。可以使用它们来启动一个异步任务，然后在需要结果的时候获取结果，而不需要一直等待任务完成。