多线程（Volatile）

前序 JMM（JavaMemoryModel）

JMM ：Java内存模型，是java虚拟机规范中所定义的⼀种内存模型，Java内存模型是标准化的，屏蔽掉了底层不同计算机的区别（ 注意这个跟JVM完全不是⼀个东⻄ ）

现代计算机的内存模型

其实早期计算机中cpu和内存的速度是差不多的，但在现代计算机中， cpu的指令速度远超内存的存取速度 ，由于计算机的存储设备与处理器的运算速度有⼏个数量级的差距，所以现代计算机系统都不得不加⼊⼀层读写速度尽可能接近处理器运算速度的 ⾼速缓存（Cache） 来作为内存与处理器之间的缓冲。

将运算需要使⽤到的数据复制到缓存中，让运算能快速进⾏，当运算结束后再从缓存同步回内存之中，这样处理器就⽆须等待缓慢的内存读写了。

基于⾼速缓存的存储交互很好地解决了处理器与内存的速度⽭盾，但是也为计算机系统带来更⾼的复杂度，因为它引⼊了⼀个新的问题： 缓存⼀致性（CacheCoherence） 。

在多处理器系统中，每个处理器都有⾃⼰的⾼速缓存，⽽它们⼜共享同⼀主内存（MainMemory）。

Java内存模型(JavaMemoryModel) 描述了Java程序中各种变量(线程共享变量)的访问规则，以及在JVM
中将变量，存储到内存和从内存中读取变量这样的底层细节

JMM有以下规定

所有的共享变量都存储于主内存，这⾥所说的变量指的是实例变量和类变量，不包含局部变量，因为局部变量是线程私有的，因此不存在竞争问题。

每⼀个线程还存在⾃⼰的⼯作内存，线程的⼯作内存，保留了被线程使⽤的变量的⼯作副本。

线程对变量的所有的操作(读，取)都必须在⼯作内存中完成，⽽不能直接读写主内存中的变量 。

不同线程之间也不能直接访问对⽅⼯作内存中的变量，线程间变量的值的传递需要通过主内存中转来完
成。

本地内存和主内存的关系：

1）多线程间的可见性的解决方案？（可见性）

1、加锁

1.1 为啥加锁可以解决可见性问题呢？

因为某⼀个线程进⼊synchronized代码块前后，线程会获得锁，清空⼯作内存，从主内存拷⻉共享变量最新的值到⼯作内存成为副本，执⾏代码，将修改后的副本的值刷新回主内存中，线程释放锁。⽽获取不到锁的线程会阻塞等待，所以变量的值肯定⼀直都是最新的。

2、Volatile修饰共享变量

1.2 Volatile做了什么？

每个线程操作数据的时候会把数据从主内存读取到⾃⼰的⼯作内存，如果他操作了数据并且写回了，其他已经读取的线程的变量副本就会失效了，需要进⾏数据操作⼜要再次去主内存中读取了。

volatile保证不同线程对共享变量操作的可⻅性，也就是说⼀个线程修改了volatile修饰的变量，当修改写回主内存时，另外⼀个线程⽴即看到最新的值。

2）当多个处理器的运算任务都涉及同一块主内存区域时，将可能导致各自的缓存数据不一致，那同步回到主内存时以谁的缓存数据为准呢？（一致性）

为了解决⼀致性的问题，需要各个处理器访问缓存时都遵循⼀些协议，在读写时要根据协议来进⾏操作，这类协议有MSI、 MESI（IllinoisProtocol） 、MOSI、Synapse、Firefly及DragonProtocol等。

MESI（缓存⼀致性协议）

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

2.1 至于是怎么发现数据是否失效呢？

嗅探

每个处理器通过嗅探在总线上传播的数据来检查⾃⼰缓存的值是不是过期了，当处理器发现⾃⼰缓存⾏对应的内存地址被修改，就会将当前处理器的缓存⾏设置成⽆效状态，当处理器对这个数据进⾏修改操作的时候，会重新从系统内存中把数据读到处理器缓存⾥。

2.2 嗅探的缺点？

总线⻛暴

由于Volatile的MESI缓存⼀致性协议，需要不断的从主内存嗅探和cas不断循环，⽆效交互会导致总线带宽达到峰值。
所以不要⼤量使⽤Volatile，⾄于什么时候去使⽤Volatile什么时候使⽤锁，根据场景区分。

3）Volatile禁止指令重排序

为了提⾼性能，编译器和处理器常常会对既定的代码执⾏顺序进⾏指令重排序。

重排序的类型有哪些呢？源码到最终执⾏会经过哪些重排序呢？

⼀般重排序可以分为如下三种：

1. 编译器优化的重排序。编译器在不改变单线程程序语义的前提下，可以重新安排语句的执⾏顺序;
2. 指令级并⾏的重排序。现代处理器采⽤了指令级并⾏技术来将多条指令重叠执⾏。如果不存在数据依赖性，处理器可以改变语句对应机器指令的执⾏顺序;
3. 内存系统的重排序。由于处理器使⽤缓存和读/写缓冲区，这使得加载和存储操作看上去可能是在乱
   序执⾏的。

4）Volatile无法保证原子性，该怎么处理？

假设现在有N个线程对同⼀个变量进⾏累加也是没办法保证结果是对的，因为读写这个过程并不是原⼦性的。
要解决也简单，要么⽤原⼦类，⽐如AtomicInteger，要么加锁( 记得关注Atomic的底层 )。

5）volatile与synchronized的区别

volatile只能修饰实例变量和类变量，⽽synchronized可以修饰⽅法，以及代码块。

volatile保证数据的可⻅性，但是不保证原⼦性(多线程进⾏写操作，不保证线程安全);⽽synchronized是⼀种排他(互斥)的机制。 volatile⽤于禁⽌指令重排序：可以解决单例双重检查对象初始化代码执⾏乱序问题。

volatile可以看做是轻量版的synchronized，volatile不保证原⼦性，但是如果是对⼀个共享变量进⾏多个
线程的赋值，⽽没有其他的操作，那么就可以⽤volatile来代替synchronized，因为赋值本身是有原⼦性
的，⽽volatile⼜保证了可⻅性，所以就可以保证线程安全了。

6）总结

1. volatile修饰符适⽤于以下场景：某个属性被多个线程共享，其中有⼀个线程修改了此属性，其他线程可以⽴即得到修改后的值，⽐如booleanflag;或者作为触发器，实现轻量级同步。
2. volatile属性的读写操作都是⽆锁的，它不能替代synchronized，因为它没有提供原⼦性和互斥性。因为⽆锁，不需要花费时间在获取锁和释放锁_上，所以说它是低成本的。
3. volatile只能作⽤于属性，我们⽤volatile修饰属性，这样compilers就不会对这个属性做指令重排序。
4. volatile提供了可⻅性，任何⼀个线程对其的修改将⽴⻢对其他线程可⻅，volatile属性不会被线程缓存，始终从主 存中读取。
5. volatile提供了happens-before保证，对volatile变量v的写⼊happens-before所有其他线程后续对v的读操作。
6. volatile可以使得long和double的赋值是原⼦的。
7. volatile可以在单例双重检查中实现可⻅性和禁⽌指令重排序，从⽽保证安全性