Java并发编程学习02—彻底理解volatile关键字

volatile关键字与java内存模型有关（JMM），所以再了解volatile关键字之前，先来了解一下这部分的知识，然后分析volatile关键字的实现原理，最后给出了实现volatile关键字的场景

一、内存模型基本概念

首先是缓存一致性问题，在多线程编程中，一个变量在多个cpu中存在缓存不一致的情况，一般有以下两种解决办法：

• 在总线加#LOCK锁

  在早期cpu时是通过在总线上加LOCK#锁的形式来解决缓存不一致的问题，从而使得同时只有一个CPU能使用这个变量的内存，但是由于锁住总线的时间段，其他CPU无法访问内存，导致效率低下

• 通过缓存一致性协议

缓存一致性协议的核心思想是：

当CPU写数据时，如果发现操作的变量是共享变量，即在其他CPU中也存在该变量的副本，会发出信号通知其他CPU将该变量的缓存行置为无效状态，因此当其他CPU需要读取这个变量时，发现自己缓存中缓存该变量的缓存行是无效的，那么它就会从内存重新读取。

二、并发编程三个概念

• 原子性

即一个操作或者多个操作 要么全部执行并且执行的过程不会被任何因素打断，要么就都不执行。

• 可见性

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

• 有序性

即一个操作或者多个操作 要么全部执行并且执行的过程不会被任何因素打断，要么就都不执行。

在Java里面，可以通过volatile关键字来保证一定的“有序性”（具体原理在下一节讲述）。另外可以通过synchronized和Lock来保证有序性，很显然，synchronized和Lock保证每个时刻是有一个线程执行同步代码，相当于是让线程顺序执行同步代码，自然就保证了有序性。

Java内存模型具备一些先天的“有序性”，即不需要通过任何手段就能够得到保证的有序性，这个通常也称为 happens-before 原则。如果两个操作的执行次序无法从happens-before原则推导出来，那么它们就不能保证它们的有序性，虚拟机可以随意地对它们进行重排序。

• 程序次序规则：一个线程内，按照代码顺序，书写在前面的操作先行发生于书写在后面的操作
• 锁定规则：一个unLock操作先行发生于后面对同一个锁额lock操作
• volatile变量规则：对一个变量的写操作先行发生于后面对这个变量的读操作
• 传递规则：如果操作A先行发生于操作B，而操作B又先行发生于操作C，则可以得出操作A先行发生于操作C
• 线程启动规则：Thread对象的start()方法先行发生于此线程的每个一个动作
• 线程中断规则：对线程interrupt()方法的调用先行发生于被中断线程的代码检测到中断事件的发生
• 线程终结规则：线程中所有的操作都先行发生于线程的终止检测，我们可以通过Thread.join()方法结束、Thread.isAlive()的返回值手段检测到线程已经终止执行
• 对象终结规则：一个对象的初始化完成先行发生于他的finalize()方法的开始

三、volatile关键字作用及原理

volatile关键字具有两层语义：

• 保证了不同线程对这个变量进行操作时的可见性，即一个线程修改了某个变量的值，这新值对其他线程来说是立即可见的（可见性）
• 禁止进行指令重排序（有序性）

但是注意volatile不保证原子性❌

可见性

先看一段代码，线程1先执行，线程2后执行

//线程1
boolean stop