上篇文章我们讲了synchronized的用法和实现原理，我们总爱说synchronized是重量级锁，volatile是轻量级锁 。为什么volatile是轻量级锁，体现在哪些方面？以及volatile的作用和实现原理是怎样的？本篇带你一块学习一下 。
1. volatile是什么？volatile是Java提供的一种轻量级的同步机制 。与synchronized修饰方法、代码块不同，volatile只用来修饰变量 。并且与synchronized、ReentrantLock等重量级锁不同的是，volatile更轻量级，因为它不会引起线程上下文的切换和调度 。
2. volatile的作用说volatile作用之前，先说一下并发编程的三大特性：原子性、可见性和有序性 。
- 原子性
即一个或者多个操作作为一个整体，要么全部执行，要么都不执行，并且操作在执行过程中不会被线程调度机制打断；而且这种操作一旦开始，就一直运行到结束，中间不会有任何上下文切换 。
- 可见性
可见性是指当多个线程访问同一个变量时，一个线程修改了这个变量的值，其他线程能够立即看得到修改的值 。
- 有序性
为了提高程序的执行效率，编译器会对编译后的指令进行重排序，即代码的编写顺序不一定就是代码的执行顺序 。
volatile的作用只有两个：
- 保证内存的可见性
- 禁止JVM内存重排序（保证有序性）
3. JMM是什么JMM（Java内存模型，Java Memory Model）定义程序访问变量的规范，为了屏蔽不同操作系统之间的差异 。
由于Java共享变量是存储在主内存中，而Java线程无法直接访问主内存中数据，只能把主内存中的数据读到本地内存（相当于拷贝一份副本），修改完本地内存的数据，再写回主内存 。而此时另一个线程也把主内存的数据拷贝到自己私有的本地内存中，虽然线程1已经修改了主内存从数据，线程2却无法感知到，所以就出现了内存可见性问题 。
文章插图
4. 可见性问题JMM定义的这套模型，会有可见性问题 。当线程1修改了本地内存的数据，并刷会主内存中，其他线程中本地内存的数据并没有变化 。也就是一个线程修改了共享变量的值，其他线程无法立即感知到 。
文章插图
像上图的流程，两个线程都把count=0的变量拷贝到自己私有的本地内存中，线程1把count的值修改为1，并写回主内存，而线程2本地内存的count值还是0 。
那么volatile是怎么解决可见性问题呢？
volatile主要通过汇编lock前缀指令，它会锁定当前内存区域的缓存（缓存行），并且立即将当前缓存行数据写入主内存（耗时非常短），回写主内存的时候会通过MESI协议使其他线程缓存了该变量的地址失效，从而导致其他线程需要重新去主内存中重新读取数据到其工作线程中 。
什么是MESI协议？
【深度剖析Java的volatile实现原理，再也不怕面试官问了】MESI协议（Modified Exclusive Shared Or Invalid）是各处理器访问缓存时都遵循一致性协议 。核心思想是：
当CPU写数据时，如果发现操作的变量是共享变量，即在其他CPU中也存在该变量的副本，会发出信号通知其他CPU将该变量的缓存行置为无效状态，因此当其他CPU需要读取这个变量时，发现自己缓存中缓存该变量的缓存行是无效的，那么它就会从内存重新读取 。经验总结扩展阅读
- pytorch、paddlepaddle等环境搭建 深度学习环境搭建常用网址、conda/pip命令行整理
- 6 Java多线程：锁与AQS（下）
- 三十九 Java开发学习----SpringBoot整合mybatis
- JavaSPI详解
- day04-JavaScript01
- Java安全之Tomcat6 Filter内存马
- JavaScript的异步编程之Promise
- 5 Java多线程：CAS
- java中HashMap的设计精妙在哪？
- JAVA系列之JVM内存调优
