深入理解volatile关键字

最新推荐文章于 2022-09-01 00:17:43 发布

资深糖分大叔

最新推荐文章于 2022-09-01 00:17:43 发布

阅读量302

点赞数 1

分类专栏：高并发编程

本文链接：https://blog.csdn.net/hetengjiao523/article/details/103522941

版权

6 篇文章 0 订阅

订阅专栏

volatile关键字只能修饰类变量和实例变量，对于方法参数、局部变量以及实例常量、类常量都不能进行修饰。

三级缓存
CPU Cache又是由很多个Cache Line 构成，Cache Line 可以认为是 CPU Cache中的最小缓存单位，大小64字节
在这里插入图片描述

缓存不一致性问题的主流解决方法：

总线加锁
缓存一致性协议

MESI协议：
当CPU在操作Cache中的数据时，如果发现该变量是一个共享变量，也就是说在其他的CPU Cache中也存在一个副本，那么进行如下操作：
读取操作，不做任何处理，只是将Cache中的数据读取到寄存器
写入操作，发出信号通知其他CPU将该变量的Cache line置为无效状态，其他CPU在进行该变量读取的时候不得不到主内存中再次获取

Java的内存模型决定了一个线程对共享变量的写入何时对其他线程可见，Java内存模型定义了线程和主内存之间的抽象关系

在一次的操作或者多次操作中，要么所有的操作全部都得到了执行并且不会受到任何因素的干扰而中断，要么所有的操作都不执行

synchronized 和 JUC中的lock可以使代码具有原子性，volatile 不行
想要int等类型的自增操作具备原子性，可以使用JUC包下的原子封装类java.util.concurrent.atomic.*

当一个线程对共享变量进行了修改，那么另外的线程可以立即看到修改后的最新值
三种方式保证可见性：

synchronized 关键字
确保同一时间只有一个线程能获得锁然后执行同步方法，确保在锁释放之前，会将对变量的修改刷新到主内存中
JUC中的显式锁Lock
确保同一时间只有一个线程能获得锁然后执行同步方法，确保在锁释放之前，会将对变量的修改刷新到主内存中
volatile 关键字
当一个变量被volatile 关键字修饰时，对于共享资源的读操作会直接在主内存中进行（当然也会缓存到工作内存中，当其他线程对该共享资源进行了修改，则会导致当前线程在工作内存中的共享资源失效，所以必须从主内存中再次获取），对于共享资源的写操作当然要修改工作内存，但是修改结束后会立刻将其刷新到主内存中。

程序代码在执行过程中的先后顺序
指令重排序
Happens-before原则：

其实被volatile修饰的变量存在一个 lock;前缀，这个前缀实际上相当于是一个内存屏障，该内存屏障会为指令的执行提供如下几个保障：

使用上的区别
- volatile 只能用于修饰实例变量或者类变量，不能用于修饰方法以及方法参数和局部变量、常量等
- synchronized 关键字不能用于对变量的修饰，只能修饰方法或语句块
- volatile 修饰的变量可以为null，synchronized 关键字同步语句块的monitor对象不能为null
对原子性的保证
- volatile 无法保证原子性
- synchronized是一种排他的机制，因此被synchronized关键字修饰的同步代码使无法被中途打断的，因此能保证代码的原子性
对可见性的保证
- 两者都可以保证共享资源在多线程间的可见性，但是实现机制完全不同
- synchronized借助于JVM指令monitor enter 和 monitor exit 对通过排他的方式使得同步代码串行化，在monitor exit时所有共享资源都将会被刷新到主内存中
- volatile 使用机器指令（偏硬件）lock; 的方式迫使其他线程工作内存中的数据失效，不得不到主内存中进行再次加载
对有序性的保证
- synchronized 关键字所修饰的同步方法可以保证顺序性，但这种顺序性是以程序的串行化执行换来的，在synchronized修饰的代码块中代码指令也会发生指令重排序的情况
- volatile 关键字禁止JVM编译器以及处理器对其进行重排序，所以它能保证有序性
volatile不会使线程陷入阻塞
synchronized会使线程进入阻塞状态

关注