volatile与JMM

volatile关键字与JMM

JMM

JMM：Java Memory Model Java内存模型，本身是一种抽象概念！！！它所定义的是规范，通过所定义的规范定义了程序中各个变量的访问方式。

JMM规定的特性：
· 可见性
· 原子性
· 有序性

JMM关于同步的规定：

1. 线程解锁前，必须把共享变量的值刷新回主内存。
2. 线程加锁前，必须读取主内存的最新值到自己的工作内存。
3. 加锁解锁是同一把锁。

由于Java虚拟机运行程序的实体是线程，每个线程创建时，Java虚拟机为每个线程创建一个独立、私有的工作内存（栈空间）。而在JMM中，规定：所有变量都存储在主内存中，主内存是共享内存区域，所有线程都可以访问！但线程对变量的操作必须要在私有的工作内存中进行，首先将变量从主内存拷贝进自己的工作内存中，然后进行操作，最后将操作完成的变量写回主内存中。

因此，线程间的通信，无法直接访问私有的工作内存，而是由主内存完成。

volatile释义

volatile:易变的;无定性的;无常性的;

在Java中，它是Java虚拟机提供的轻量级的同步机制。与此相似的是大家所熟悉的synchronized，它是Java虚拟机提供的重量级的同步机制。

特性

volatile具有如下三大特性：

• 保证可见性
• 不保证原子性
• 禁止指令重排

1. 可见性

由JMM模型可知，每个线程对变量的操作，都是先从主内存拷贝到私有工作内存中进行操作，然后再写回主内存中。因此共享变量的修改，在单个线程中是可知的，在多线程中，其他线程是不可知的。

对于可见性，Java提供了volatile关键字来保证可见性。

当一个共享变量被volatile修饰时，它会保证修改的值会立即被更新到主存，当有其他线程需要读取时，它会去内存中读取新值。

2. 原子性

保证数据的完整、一致性。

在多线程环境下，某个线程操作某个变量时，其他线程无法对同一个变量进行操作，需等待线程处理完，才能对同一个变量进行读取>操作。

volatile不保证原子性！所以在进行多线程开发时，注意volatile该特性！

保证原子性：

1. 使用synchronized修饰变量。
2. 使用java.util.concurrent.atomic的方法。

3.禁止指令重排

众所周知，计算机执行程序，实质上是执行一条条指令！所以编译器以及处理器会对指令做重排，以提高性能！（重排遵循：数据依赖性）

如下步骤：

源代码 > 编译器优化后的重排 > 指令并行的重排 > 内存系统的重排 > 最终执行的指令

这里引入 内存屏障(Memory Barrier) 概念。

内存屏障(Memory Barrier)又称内存栅栏，是一个CPU指令，作用如下：

1. 保证特定操作的执行顺序
2. 保证指定变量的内存可见性

通过插入内存屏障，禁止在相应操作前后的指令执行重排序优化！

对volatile变量写操作

在对带有volatile修饰的变量写操作完成后，加入store屏障指令(CPU指令)，将该工作内存中的变量写回主内存。（volatile的可见性）

对volatile变量读操作

在对带有volatile修饰的变量读操作前，加入load屏障指令(CPU指令)，从主内存中读取变量。(volatile的可见性)

---

我的公众号