并发编程--volatile

1.什么是volatile

volatile是 轻 量 级 的 synchronized,它在多 处 理器开 发 中保 证 了共享 变 量的 " 可 见 性 " 。可 见 性的意思是当一个 线 程 修改一个共享变 量 时 ,另外一个 线 程能 读 到 这 个修改的 值 。如果 volatile 变 量修 饰 符使用恰当的话 ,它比 synchronized 的使用和 执 行成本更低,因 为 它不会引起 线 程上下文的切 换 和 调 度。

2. volatile的工作原理

java的内存模型

每个线程会有个相互独立的本地内存,本地内存中存放的是的主共享中变量的副本,线程操作这些副本,然后不定时的将他们返回给主内存中

使用volatile

如果被volatile修饰, 会通过嗅探立刻返回给主内存

当某个线程把volatile修饰的变量从本地内存返回给主内存时,其他的本地内存保存的该变量无效,当然不能保证写后读,因为如果两线程都在写入的过程中时,还是会产生覆盖的

3. volatile的作用

volatile只能用来修饰变量,在并发编程的三大特性------原子性、可见性、有序性中 volatile只能保证可见性和有序性(禁止指令重排[防止修饰的对象上一行下一行不重排序]),并不能保证原子性,而synchronized这三种特性都可以保证。

为什么没有保证原子性

++a的过程:

  1. 读取a的当前值。
  2. 将读取到的值增加1。(此时还没有写入到a)
  3. 将新值写回到a

例如a被volatile修饰了,代码中定义了++a 可以看做(int k = a+1; a=k)的过程;

这段代码中只能保证k读取的时候a是最新值,不能保证写回a的时候a是最新值(因为当前线程刚执行完1,2步,还没执行3,切换了时间片,此时并没有修改a的值所以不会写回到主内存),另一个线程执行了完整的1,2,3并放入主内存中,此时本地内存也会修改,接下来又切换回时间片,执行将新值写回到a,又回了主内存,此刻就产生了并发问题(如果还是想不通,可以想象3个线程下,第三个线程可能会读取到旧的值)

当然指使用volatile并不能保证线程安全,需要结合CAS失败重试策略,来保证线程安全的

4. 为什么使用了synchronized还需要volatile

用单例举例

java 复制代码
public class Singleton {  
    private volatile static Singleton singleton;  
    private Singleton (){}  
    public static Singleton getSingleton() {  
    if (singleton == null) {  
        synchronized (Singleton.class) {  
            if (singleton == null) {  
                singleton = new Singleton();  
            }  
        }  
    }  
    return singleton;  
    }  
}

singleton = new Singleton() 在我们看来就是一句话操作而已,但在虚拟机看来它一共分为了几个指令操作:

  1. 为对象分配内存空间
  2. 初始化对象
  3. 将引用指向对象的内存空间地址

虚拟机执行的时候不一定是按顺序123的执行,也有可能是132。这是虚拟机的重排序引起的,单线程情况下是没有什么bug的,最终都会创建出对象,只是先后顺序不同。

但是在上面例子中会出现这么一种情况:

假如线程A执行 single = new Single()虚拟机是按132排序执行,当执行到3的时候single 引用已经不为空。此时若线程B执行到第一次验校处(第一次验校不在同步代码中,因此所有线程随时都可以访问),它判断 single ==null 得到false,直接返回single对象。但是此时single对象还没初始化完成,因此很有可能就会发生bug。

在上诉单例模式中volatile保证了虚拟机执行字节码的时候指令不会重排序。

相关推荐
minDuck2 分钟前
ruoyi-vue集成tianai-captcha验证码
java·前端·vue.js
白子寰6 分钟前
【C++打怪之路Lv14】- “多态“篇
开发语言·c++
王俊山IT19 分钟前
C++学习笔记----10、模块、头文件及各种主题(一)---- 模块(5)
开发语言·c++·笔记·学习
为将者,自当识天晓地。21 分钟前
c++多线程
java·开发语言
小政爱学习!23 分钟前
封装axios、环境变量、api解耦、解决跨域、全局组件注入
开发语言·前端·javascript
daqinzl29 分钟前
java获取机器ip、mac
java·mac·ip
k093338 分钟前
sourceTree回滚版本到某次提交
开发语言·前端·javascript
激流丶44 分钟前
【Kafka 实战】如何解决Kafka Topic数量过多带来的性能问题?
java·大数据·kafka·topic
神奇夜光杯1 小时前
Python酷库之旅-第三方库Pandas(202)
开发语言·人工智能·python·excel·pandas·标准库及第三方库·学习与成长
Themberfue1 小时前
Java多线程详解⑤(全程干货!!!)线程安全问题 || 锁 || synchronized
java·开发语言·线程·多线程·synchronized·