Java内存模型详解

定义：java内存模型简称jmm，定义了一个线程对另一个线程可见。共享变量存放在主内存中，每个线程都有自己的本地内存，当多个线程同时访问一个数据的时候，可能本地内存没有及时刷新到主内存，所以就会发生线程安全问题。

在了解Java内存模型之前，我们先来了解一下Java多线程的三大特性：原子性，可见性、有序性。

原子性：在执行一个或多个操作时，被当做一个完整的整体，要么全部成功，要么全部失败。

可见性：多个线程访问同一个变量时，一个线程修改了这个变量的值，其他线程能够立即看到修改后的值。

有序性：程序执行的顺序按照代码的先后顺序执行。

共享内存模型指的就是Java内存模型（JMM），JMM决定一个线程对共享变量的写入时，能对另一个变量可见。从抽象角度看，JMM定义了线程域主内存之间的抽象关系：线程之间的共享变量存储在主内存中，每个线程都有一个私有的本地内存。本地内存中存储了该线程以读/写共享变量的副本。本地内存是JMM的一个抽象概念，并不真实存在。它涵盖了缓存，写缓冲区，寄存器以及其他的硬件和编译器优化

 

以上图为例，我们举一个例子，假设主内存中存在一个共享变量count=0;

线程A和线程B同时执行count=count+1操作，因为他们从主内存中读取到的count值都为0，所以最后刷新到主内存中的count=1.这时就发生了线程安全问题。

 

要实现线程A和线程B之间不发生线程安全问题，需要执行以下步骤。

1. 线程A需要把本地内存A中更新过的共享变量副本刷新到主内存当中。
2. 线程B到主内存中去读取线程A之前已更新过的共享变量。