volatile底层原理的再次理解

volatile

volatile作用于变量。能够保证多个线程对该变量修改的可见,一个线程修改了该变量后,另一个线程能够立即感知到。因为volatile修饰的变量存放在主内存中,没有在工作内存中存放副本,变量的读写都是直接操作主内存。什么是主内存和工作内存,看java内存模型(JMM)规定。

JMM java内存模型简述

java内存模型分为两部分:

  • 主内存: 多个线程共享的区域,也就是堆和方法区。主内存存放共享变量。
  • 工作内存:线程的工作内存是线程独有的区域,也就是程序计数器,虚拟机栈,和本地方法栈。工作内存方法共享变量的副本。
    JMM规定线程对变量的读写在工作内存中进行,工作内存中存放了主内存中的一个副本,线程在工作内存中修改了数据后会将数据数据同步到主内存中去,供其他线程读取。但是这过程有时间差,可能导致其他线程读取到的数据不是最新的,导致「可见性」问题。volatile修饰的变量存放在主内存中,不会在工作内存中存放副本。

可见性和有序性保证

变量的可见性: volatile修饰的变量保存在主内存中,不会存放副本在工作内存中,解决了可见性问题

有序性: volatile通过硬件层面的指令屏障,读写屏障来禁止指令排序。在读取数据之前加一个读屏障保证高速缓存中的数据能从主内存中获取最新的数据。在写数据之后,用一个写屏障保证高速缓存中的数据能够及时同步到工作内存中,让其他线程可见。通过读写屏障的配合来保证禁止局部指令的重排,从而保证有序性。

不能保证原子性

不能保证原子性,比如多个线程对一个volatile修饰的变量执行i++操作,最后执行的结果和预期不符合。

java 复制代码
import java.util.concurrent.CountDownLatch;

/**
 * volatile不具有原子性
 * 多个线程i++操作得到的结果和预期不符
 */
public class Volatile {
    private static int cnt;
    public static void add(){
        for (int i = 0; i < 10000; i++) {
            cnt++;
        }
    }

    public static void main(String[] args) {
        CountDownLatch countDownLatch = new CountDownLatch(2);// 将执行完的线程阻塞,当计数器为0,线程唤醒
        for (int i = 0; i < 2; i++) {
            new Thread(()->{
                add();
                countDownLatch.countDown();
            }, i+"").start();
        }

        try {
            countDownLatch.await(); // 等待所有线程执行完(计数器为0),线程才会唤醒,否则会一直阻塞
            System.out.println(cnt);// 预计结果是2000
        } catch (InterruptedException e) {
            e.printStackTrace();
        }
    }
}

参考

一篇文章彻底搞懂volatile关键字底层实现原理

相关推荐
smallyoung1 小时前
告别N+1:Spring Boot 一键数据翻译框架体系
java·后端·架构
Bazingga3 小时前
Java16 record 完整拆解——语法、语义、限制、反射
java·后端
SL_staff4 小时前
规则联动:给工厂装上‘自动化神经反射弧’——JVS·物联网平台规则引擎实战教程
java·人工智能·物联网
骑着蜗牛撵大象3275 小时前
Linux 进程间通信之管道:从 pipe() 的内核语义到 FIFO 落地排错
android·java·linux·系统编程·fifo·管道·进程间通信
WJ.Polar5 小时前
Java封装、继承、多态
java·开发语言
ly76895 小时前
PostgreSQL 备份恢复策略:pg_basebackup、WAL 归档与 PITR 在企业 Java 系统中的落地
java·数据库·postgresql·pitr·pg_basebackup·wal 归档
摇滚侠5 小时前
Java 中如何表示负数,有符号和无符号的区别,补码的计算规则,char byte short int long 的范围
java·开发语言
奇牙coding5 小时前
Codex CLI 升级后多文件编辑静默失效:config.yaml 枚举变更排查与修复指南
java·前端·javascript·ai
小羊没烦恼!6 小时前
Ajax与JSON的一些总结
android·java·前端·数据库·mysql·算法·okhttp
Lhappy嘻嘻6 小时前
读懂 JVM:内存模型、类加载机制、分代回收
java·开发语言·jvm