并发编程--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保证了虚拟机执行字节码的时候指令不会重排序。

相关推荐
_WndProc7 分钟前
【Python】Flask网页
开发语言·python·flask
深栈解码10 分钟前
JMM深度解析(三) volatile实现机制详解
java·后端
liujing1023292922 分钟前
Day04_刷题niuke20250703
java·开发语言·算法
Brookty25 分钟前
【MySQL】JDBC编程
java·数据库·后端·学习·mysql·jdbc
能工智人小辰39 分钟前
二刷 苍穹外卖day10(含bug修改)
java·开发语言
DKPT40 分钟前
Java设计模式之结构型模式(外观模式)介绍与说明
java·开发语言·笔记·学习·设计模式
缘来是庄42 分钟前
设计模式之外观模式
java·设计模式·外观模式
LL.。1 小时前
同步回调和异步回调
开发语言·前端·javascript
好名字更能让你们记住我1 小时前
Linux多线程(十二)之【生产者消费者模型】
linux·运维·服务器·jvm·windows·centos
0wioiw01 小时前
Python基础(吃洋葱小游戏)
开发语言·python·pygame