Java里面volatile关键字修饰引用变量的陷阱

2024-05-15 02:48

本文主要是介绍Java里面volatile关键字修饰引用变量的陷阱,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

Java里面volatile关键字修饰引用变量的陷阱

如果我现在问你volatile的关键字的作用,你可能会回答对于一个线程修改的变量对其他的线程立即可见。这种说法没多大问题,但是不够严谨。

严谨的回答应该是volatile关键字对于基本类型的修改可以在随后对多个线程的读保持一致,但是对于引用类型如数组,实体bean,仅仅保证引用的可见性,但并不保证引用内容的可见性。

下面这些数据结构都属于引用类型,即使使用volatile关键字修饰,也不能保证修改后的数据会立即对其他的多个线程保持一致:

volatile int [] data;
valatile boolean [] flags;
volatile Person  person;

如何证明?看下面的一段代码:

   private static volatile Data data;public static void setData(int a, int b) {data = new Data(a, b);}private static class Data {private int a;private int b;public Data(int a, int b) {this.a = a;this.b = b;}public int getA() {return a;}public int getB() {return b;}}public static void main(String[] args) throws InterruptedException {for (int i = 0; i < 10000; i++) {int a = i;int b = i;//writerThread writerThread = new Thread(() -> {setData(a, b);});//readerThread readerThread = new Thread(() -> {while (data == null) {}int x = data.getA();int y = data.getB();if (x != y) {System.out.printf("a = %s, b = %s%n", x, y);}});writerThread.start();readerThread.start();writerThread.join();readerThread.join();}System.out.println("finished");}

上面的代码,有个实体类Data,它有两个字段,分别是a和b,然后在我们的main方法中,我们声明了 一个for循环1万次,在循环体里面我们先声明了一个写入线程,每次给实体类赋值,接着又声明了一个读取线程,当实体不为null的时候,打印如果有不一致的时候,其字段的值。接着同时启动两个线程,并在主线程中分别等待其结束。

在我的mac系统上,运行了第三次的时候出现了不一致:

a = 2760, b = 2761
a = 3586, b = 3587
finished

原因是对于属性a和b我们都是分别的读取,所以缺乏了happens-before关系的约束。

如何解决这种情况?

(1)去掉独立的getA和getB方法,使用int数组,一次返回两个属性

    public int[] getValues() {return new int[]{a, b};}

(2)使用java并发包下面的基于CAS的原子结构: AtomicReference

//修改1private static AtomicReference<Data> data = new AtomicReference<>();//修改2public static void setData(int a, int b) {data.compareAndSet(null, new Data(a, b));}//修改3Thread readerThread = new Thread(() -> {while (data.get() == null) {}int x = data.get().getA();int y = data.get().getB();if (x != y) {System.out.printf("a = %s, b = %s%n", x, y);}});

总结:

本篇文章主要讲述了关于volatile修饰引用变量的问题即它只能保证引用本身的可见性,并不能保证内部字段的可见性,如果想要保证内部字段的可见性最好使用CAS的数据结构,这里还需要说明的的一点是volatile有时候修饰引用类型如boolean数组可能结果是没问题的,大家可以看我在Stack Overflow上提问的一个问题:

https://stackoverflow.com/questions/50967448/about-java-volatile-array

在编程的世界里面,对于不确定的事情,我们始终都要以最坏的打算来看待,所以请记住:尽量避免使用volatile关键字修饰引用变量。

这篇关于Java里面volatile关键字修饰引用变量的陷阱的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/990595

相关文章

Java编译生成多个.class文件的原理和作用

《Java编译生成多个.class文件的原理和作用》作为一名经验丰富的开发者,在Java项目中执行编译后,可能会发现一个.java源文件有时会产生多个.class文件,从技术实现层面详细剖析这一现象... 目录一、内部类机制与.class文件生成成员内部类(常规内部类)局部内部类(方法内部类)匿名内部类二、

SpringBoot实现数据库读写分离的3种方法小结

《SpringBoot实现数据库读写分离的3种方法小结》为了提高系统的读写性能和可用性,读写分离是一种经典的数据库架构模式,在SpringBoot应用中,有多种方式可以实现数据库读写分离,本文将介绍三... 目录一、数据库读写分离概述二、方案一:基于AbstractRoutingDataSource实现动态

Springboot @Autowired和@Resource的区别解析

《Springboot@Autowired和@Resource的区别解析》@Resource是JDK提供的注解,只是Spring在实现上提供了这个注解的功能支持,本文给大家介绍Springboot@... 目录【一】定义【1】@Autowired【2】@Resource【二】区别【1】包含的属性不同【2】@

springboot循环依赖问题案例代码及解决办法

《springboot循环依赖问题案例代码及解决办法》在SpringBoot中,如果两个或多个Bean之间存在循环依赖(即BeanA依赖BeanB,而BeanB又依赖BeanA),会导致Spring的... 目录1. 什么是循环依赖?2. 循环依赖的场景案例3. 解决循环依赖的常见方法方法 1:使用 @La

Java枚举类实现Key-Value映射的多种实现方式

《Java枚举类实现Key-Value映射的多种实现方式》在Java开发中,枚举(Enum)是一种特殊的类,本文将详细介绍Java枚举类实现key-value映射的多种方式,有需要的小伙伴可以根据需要... 目录前言一、基础实现方式1.1 为枚举添加属性和构造方法二、http://www.cppcns.co

Elasticsearch 在 Java 中的使用教程

《Elasticsearch在Java中的使用教程》Elasticsearch是一个分布式搜索和分析引擎,基于ApacheLucene构建,能够实现实时数据的存储、搜索、和分析,它广泛应用于全文... 目录1. Elasticsearch 简介2. 环境准备2.1 安装 Elasticsearch2.2 J

Java中的String.valueOf()和toString()方法区别小结

《Java中的String.valueOf()和toString()方法区别小结》字符串操作是开发者日常编程任务中不可或缺的一部分,转换为字符串是一种常见需求,其中最常见的就是String.value... 目录String.valueOf()方法方法定义方法实现使用示例使用场景toString()方法方法

Java中List的contains()方法的使用小结

《Java中List的contains()方法的使用小结》List的contains()方法用于检查列表中是否包含指定的元素,借助equals()方法进行判断,下面就来介绍Java中List的c... 目录详细展开1. 方法签名2. 工作原理3. 使用示例4. 注意事项总结结论:List 的 contain

Java实现文件图片的预览和下载功能

《Java实现文件图片的预览和下载功能》这篇文章主要为大家详细介绍了如何使用Java实现文件图片的预览和下载功能,文中的示例代码讲解详细,感兴趣的小伙伴可以跟随小编一起学习一下... Java实现文件(图片)的预览和下载 @ApiOperation("访问文件") @GetMapping("

Spring Boot + MyBatis Plus 高效开发实战从入门到进阶优化(推荐)

《SpringBoot+MyBatisPlus高效开发实战从入门到进阶优化(推荐)》本文将详细介绍SpringBoot+MyBatisPlus的完整开发流程,并深入剖析分页查询、批量操作、动... 目录Spring Boot + MyBATis Plus 高效开发实战:从入门到进阶优化1. MyBatis