并发编程系列之深入理解volatile关键字

浅浅的花香味﹌ 2022-05-07 23:52 303阅读 0赞

### 并发编程系列之深入理解volatile关键字 ###

*  Java内存模型
 *   *  内存模型的特性
     *   *  原子性
         *  可见性
         *  有序性
 *  happens-before原则
 *   *  单一线程原则
     *  管程锁定规则
     *  volatile变量规则
     *  线程启动规则
     *  线程加入规则
     *  线程中断规则
     *  对象终结规则
     *  传递性
 *  volatile关键字
 *   *  volatile关键字的特性
     *   *  volatile关键字的可见性
         *  volatile关键字的有序性
         *   *  volatile的happens-before关系
             *  volatile禁止指令重排

在学习volatile关键字之前先了解一下Java内存模型和happen-before原则。

# Java内存模型 #

## 内存模型的特性 ##

![jmm内存模型][jmm]  
  线程1写：先写入本地内存，在同步到主内存。  
  线程2读：先读本地内存，不能存在或失效在读主内存。  
  这种内存结构是基于操作系统的逻辑虚拟出来的结构，并不是真实存在的，可以屏蔽各种硬件和操作系统的差异性，实现平台一致性。而且和jvm的运行时结构也没关联。主内存存储的是实例字段，静态字段和数据对象线程共享的数据。本地内存可以理解为主内存数据的拷贝。所有的线程只能操作本地内存，线程间的通信需要通过主内存。

### 原子性 ###

Java内存模型保证了read、load、use、assign、store、write、lock和unlock操作具有原子性，例如对一个int类型的变量执行assign赋值操作，这个操作就是原子性的。但是Java内存模型允许虚拟机将没有被volatile修饰的64位数据（long、double）的读写操作划分为两次32位的操作来进行，即load、store、read和write操作可以不具备原子性。

### 可见性 ###

可见性是指当一个线程修改了共享变量的值，其他线程能够立即得知这个修改。Java内存模型是通过在变量修改后将新值同步回主内存，在变量读取前从主内存刷新变量值来实现可见性的。  
![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2xpdXppdGVuZzAyMjg_size_16_color_FFFFFF_t_70]

### 有序性 ###

在本线程内观察，所有操作都是有序的。在一个线程观察另一个线程，所有操作都是无序的，无序是因为发生了指令重排序。在Java内存模型中，允许编译器和处理器对指令进行重排序，重排序过程不会影响到单线程程序的执行，但是会影响到多线程并发执行的正确性。

# happens-before原则 #

## 单一线程原则 ##

在一个线程内，在程序前面的操作先行发生于后面的操作。  
  单线程内按代码顺序执行。但是，在不影响单线程环境执行结果的前提下，编译器和处理器可以进行重排序，这个是合法的。话句话说，这一规则无法保证编译重排和指令重排。  
![在这里插入图片描述][20191026111200849.png]

## 管程锁定规则 ##

一个unlock操作先行发生于后面对同一个锁的lock操作。  
![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2xpdXppdGVuZzAyMjg_size_16_color_FFFFFF_t_70 1]

## volatile变量规则 ##

对一个volatile变量的写操作先行发生于后面对这个变量的读操作。  
![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2xpdXppdGVuZzAyMjg_size_16_color_FFFFFF_t_70 2]

## 线程启动规则 ##

Thread对象的start()方法调用先行发生于此线程的每一个动作。  
![在这里插入图片描述][20191026111249262.png]

## 线程加入规则 ##

Thread对象的结束先行发生于join()方法返回。  
![在这里插入图片描述][20191026111304168.png]

## 线程中断规则 ##

对线程interrupt()方法的调用先行发生于被中断线程的代码检测到中断时间的发生，可以通过interrupted()方法检测到是否有中断发生。

## 对象终结规则 ##

一个对象的初始化完成（构造函数执行结束）先行发生于它的finalize()方法的开始。

## 传递性 ##

如果操作A先行发生于操作B，操作B先行发生于操作C，那么操作A先行发生于操作C。

# volatile关键字 #

volatile是一个类型修饰符。volatile的作用是作为指令关键字

## volatile关键字的特性 ##

*  保证了不同线程对这个变量进行操作时的可见性，即一个线程修改了某个变量的值，这新值对其他线程来说是立即可见的。
 *  禁止指令重排序。
 *  volatile只能保证对单次读/写的原子性。

### volatile关键字的可见性 ###

volatile的内存可见性是基于内存屏障实现的。  
  在程序运行时，为了提高执行性能，编译器和处理器会对指令进行重排序，JMM为了保证在不同的编译器和CPU上有相同的结果，通过插入特定类型的内存屏障来禁止特定类型的编译器重排序和处理器重排序，插入一条内存屏障告诉编译器和CPU：不管什么指令都不能和这条Memory Barrier指令重排序。

*  1.lock前缀指令在多核处理器下会引发两件事情：  
     1）将当前处理器缓存行的数据写回到系统内存  
     2）写回内存的操作会使在其他CPU里缓存了该内存地址的数据无效
 *  2.为了提高处理速度，处理器不直接和内存进行通信，而是先将系统内存的数据读到内部缓存（L1，L2或其他）后再进行操作，但操作完不知何时会写到内存。
 *  3.为了保证各个处理器的缓存是一致的，实现了缓存一致性协议（MESI），每个处理器通过嗅探在总线上传播的数据来检查自己缓存的值是不是过期了，当处理器发现自己缓存行对应的内存地址被修改，就会将当前处理器的缓存行设置成无效状态，当处理器对这个数据进行修改操作时，会重新从系统内存中把数据读到处理器缓存中。
 *  4.volatile变量通过这样的机制就使得每个线程都能获得该变量的最新值。

### volatile关键字的有序性 ###

#### volatile的happens-before关系 ####

对一个volatile域的写，happens-before于任意后续对这个volatile域的读。  
![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2xpdXppdGVuZzAyMjg_size_16_color_FFFFFF_t_70 3]

#### volatile禁止指令重排 ####

为了性能优化，JMM在不改变正确语义的前提下，会允许编译器和处理器对指令序列进行重排序。JMM提供了内存屏障阻止这种重排序。

*  1.在每个volatile写操作的前面插入一个StoreStore屏障。
 *  2.在每个volatile写操作的后面插入一个StoreLoad屏障。
 *  3.在每个volatile读操作的后面插入一个LoadLoad屏障。
 *  4.在每个volatile读操作的后面插入一个LoadStore屏障。  
      volatile写是在前面和后面分别插入内存屏障，而volatile读操作是在后面插入两个内存屏障。

[jmm]: /images/20220508/26c13e6c178a4014bf75be45be084ff1.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2xpdXppdGVuZzAyMjg_size_16_color_FFFFFF_t_70]: /images/20220508/2c410c6390454732b767ed89f0232f84.png
[20191026111200849.png]: /images/20220508/907d813287124a3c8cc0d6d596295366.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2xpdXppdGVuZzAyMjg_size_16_color_FFFFFF_t_70 1]: /images/20220508/cb8afd6e33e744f4854c2c2df8478770.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2xpdXppdGVuZzAyMjg_size_16_color_FFFFFF_t_70 2]: /images/20220508/080fa8300c7447cb82feb7fdda2b96ef.png
[20191026111249262.png]: /images/20220508/94e97eda7f914b42bd14918d8679a109.png
[20191026111304168.png]: /images/20220508/a63b66fe08ef4e9c8c11200315676d97.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2xpdXppdGVuZzAyMjg_size_16_color_FFFFFF_t_70 3]: /images/20220508/8d2e61b852444d5d9153d4fd388e3392.png