JAVA并发编程volatile核心原理

简介: volatile是轻量级的并发解决方案,volatile修饰的变量,在多线程并发读写场景下,可以保证变量的可见性和有序性,具体是如何实现可见性和有序性。以及volatile缺点是什么?

      上文说到synchronized,《JAVA并发编程synchronized全能王的原理》,虽然被评为并发全能王,不过用起来也是格外注意,不能搞大力出奇迹那一套,容易出现性能问题。比如synchronized是无法控制阻塞时长,阻塞不可中断问题;以及锁范围,修饰方法或代码块,要精细,仅修饰需要并发控制部分,降低锁粒度。文末再总结一下,synchronized和volatile的区别,先进入正题,聊聊正主:volatile。

     volatile是轻量级的并发解决方案,不会阻塞线程,是一种简单的同步机制。JAVA对volatile的定义是:volatile修饰的变量,在多线程并发读写场景下,可以保证变量的可见性和有序性。

1.如何保证有序性

     有序性:禁止指令重排优化。具体就是要求volatile修饰的变量操作(读写该变量的语句)后面的语句放到前面执行,也不能让将volatile变量操作之前的的语句延迟到后面执行。要求volatile变量前后语句按序执行,不许指令重排优化。比如如图,count是volatile修饰的int变量。在多线程并发到这一段代码语句123,CPU处理器就是按顺序执行。不好出现132顺序。

2.如何保证可见性

      保证此变量的修改,能被所有线程及时看到。具体是,线程改volatile修饰变量时,先改本地缓存变量副本,然后将本地变量副本值刷到主内存中。其他线程都volatile变量时,强制从主存也就是JVM堆内存读取变量最新值到线程本地缓存。

3.volatile实现可见性源码分析

     volatile实现可见性原理,其实就是:内存屏障(memory barrier)。内存屏障是一条CPU指令,用来控制在特定条件下的重排序和可见性问题。java编译器会根据内存屏障的规则禁止重排序。

     在对volatile变量写操作前,编译器会在写操作之后-》增加一个store屏障指令,让线程本地内存变量值能刷新到主内存中。

     在对volatile变量读操作前,编译器会在读操作之前《--增加一个load屏障指令,保证及时读到主内存的最新值。

    总结起来,通俗的讲,就是CPU指令在对volatile修饰的变量修改后,会马上写入刷新到主内存中。CPU指令读volatile变量之前,强行要求cpu执行先读主内存该变量的最新值过来。这样就能读到其他线程修改后的最新值。

     看volatile的源码些微有点麻烦(需要对java代码进行javac编译,然后对.class文件进行javap处理),最后发现代码是hpp,汇编语言写的。不同操作系统实现不一样,比如jdk 8 linux x86是这个

        往细的讲,volatile为了保证变量的可见性,在java编译器编译代码指令时,对volatile修饰变量的读和写操作,都会在这个操作的前后插入屏障指令。

修改前,插入storestore屏障指令。

修改后,再次插入一个storeload屏障指令。

读前,插入一个loadStore屏障指令。

读后,插入一个loadload屏障指令。

4.volatile的缺点-原子性问题

     比如两个线程对一个volatile修饰的count字段,进行2w次++,由于原子性问题,导致结果并不是20000.


package lading.java.mutithread;
/**
 * volatile关键字存在原子性问题
 * 对volatile修饰的count进行20000次并发+1,预期结果是20000,但由于原子性问题,与预期不符
 */
public class Demo003VolatileBug {
    public static volatile int count = 0;
    public static void main(String[] args) throws InterruptedException {
        Thread thread1 = new Thread(() -> {
            //线程1对count进行10000次+1
            for (int i = 0; i < 10000; i++) {
                count++;
            }
            System.out.println(Thread.currentThread().getName()+"完成了对count10000次+1");
        });
        Thread thread2 = new Thread(() -> {
            //线程2,也对count进行100次+1
            for (int i = 0; i < 10000; i++) {
                count++;
            }
            System.out.println(Thread.currentThread().getName()+"完成了对count10000次+1");
        });
        thread1.start();
        thread2.start();
        Thread.sleep(1000);
        System.out.println("两个子线程执行完毕后,count的值是:"+count);
    }
}

结果,果然不是2w,只有12977。

5.volatile怎么用更科学

     像4的示例,volatile修饰的count并发++2w次,结果出现原子性问题。可以通过使用CAS类来解决,比如两个都是轻量级方案,无锁,效率很高。

public static volatile AtomicInteger count = new AtomicInteger(0);
   //使用getAndIncrement 替换++
   count.getAndIncrement();

以及搭配ReentrantLock可重入锁进行加锁处理,确保解决原子性问题。


相关文章
|
4月前
|
Java
如何在Java中进行多线程编程
Java多线程编程常用方式包括:继承Thread类、实现Runnable接口、Callable接口(可返回结果)及使用线程池。推荐线程池以提升性能,避免频繁创建线程。结合同步与通信机制,可有效管理并发任务。
218 6
|
4月前
|
IDE Java 编译器
java编程最基础学习
Java入门需掌握:环境搭建、基础语法、面向对象、数组集合与异常处理。通过实践编写简单程序,逐步深入学习,打牢编程基础。
279 1
|
5月前
|
SQL Java 数据库
2025 年 Java 从零基础小白到编程高手的详细学习路线攻略
2025年Java学习路线涵盖基础语法、面向对象、数据库、JavaWeb、Spring全家桶、分布式、云原生与高并发技术,结合实战项目与源码分析,助力零基础学员系统掌握Java开发技能,从入门到精通,全面提升竞争力,顺利进阶编程高手。
990 1
|
4月前
|
安全 前端开发 Java
从反射到方法句柄:深入探索Java动态编程的终极解决方案
从反射到方法句柄,Java 动态编程不断演进。方法句柄以强类型、低开销、易优化的特性,解决反射性能差、类型弱、安全性低等问题,结合 `invokedynamic` 成为支撑 Lambda 与动态语言的终极方案。
207 0
|
5月前
|
Java 开发者
Java并发编程:CountDownLatch实战解析
Java并发编程:CountDownLatch实战解析
508 100
|
存储 安全 Java
Java面试题:深入探索Java内存模型,Java内存模型中的主内存与工作内存的概念,Java内存模型中的happens-before关系,volatile关键字在Java内存模型中的作用
Java面试题:深入探索Java内存模型,Java内存模型中的主内存与工作内存的概念,Java内存模型中的happens-before关系,volatile关键字在Java内存模型中的作用
121 1
|
存储 SQL 缓存
揭秘Java并发核心:深度剖析Java内存模型(JMM)与Volatile关键字的魔法底层,让你的多线程应用无懈可击
【8月更文挑战第4天】Java内存模型(JMM)是Java并发的核心,定义了多线程环境中变量的访问规则,确保原子性、可见性和有序性。JMM区分了主内存与工作内存,以提高性能但可能引入可见性问题。Volatile关键字确保变量的可见性和有序性,其作用于读写操作中插入内存屏障,避免缓存一致性问题。例如,在DCL单例模式中使用Volatile确保实例化过程的可见性。Volatile依赖内存屏障和缓存一致性协议,但不保证原子性,需与其他同步机制配合使用以构建安全的并发程序。
288 0
|
缓存 安全 算法
Java面试题:如何通过JVM参数调整GC行为以优化应用性能?如何使用synchronized和volatile关键字解决并发问题?如何使用ConcurrentHashMap实现线程安全的缓存?
Java面试题:如何通过JVM参数调整GC行为以优化应用性能?如何使用synchronized和volatile关键字解决并发问题?如何使用ConcurrentHashMap实现线程安全的缓存?
209 0
|
存储 缓存 Java
Java 并发编程——volatile 关键字解析
本文介绍了Java线程中的`volatile`关键字及其与`synchronized`锁的区别。`volatile`保证了变量的可见性和一定的有序性,但不能保证原子性。它通过内存屏障实现,避免指令重排序,确保线程间数据一致。相比`synchronized`,`volatile`性能更优,适用于简单状态标记和某些特定场景,如单例模式中的双重检查锁定。文中还解释了Java内存模型的基本概念,包括主内存、工作内存及并发编程中的原子性、可见性和有序性。
372 5
Java 并发编程——volatile 关键字解析
|
缓存 安全 Java
Java volatile关键字:你真的懂了吗?
`volatile` 是 Java 中的轻量级同步机制,主要用于保证多线程环境下共享变量的可见性和防止指令重排。它确保一个线程对 `volatile` 变量的修改能立即被其他线程看到,但不能保证原子性。典型应用场景包括状态标记、双重检查锁定和安全发布对象等。`volatile` 适用于布尔型、字节型等简单类型及引用类型,不适用于 `long` 和 `double` 类型。与 `synchronized` 不同,`volatile` 不提供互斥性,因此在需要互斥的场景下不能替代 `synchronized`。
3535 3