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

相关文章

JVM 的类初始化机制

前言 当你在 Java 程序中new对象时,有没有考虑过 JVM 是如何把静态的字节码(byte code)转化为运行时对象的呢,这个问题看似简单,但清楚的同学相信也不会太多,这篇文章首先介绍 JVM 类初始化的机制,然后给出几个易出错的实例来分析,帮助大家更好理解这个知识点。 JVM 将字节码转化为运行时对象分为三个阶段,分别是:loading 、Linking、initialization

Spring Security 基于表达式的权限控制

前言 spring security 3.0已经可以使用spring el表达式来控制授权,允许在表达式中使用复杂的布尔逻辑来控制访问的权限。 常见的表达式 Spring Security可用表达式对象的基类是SecurityExpressionRoot。 表达式描述hasRole([role])用户拥有制定的角色时返回true (Spring security默认会带有ROLE_前缀),去

浅析Spring Security认证过程

类图 为了方便理解Spring Security认证流程,特意画了如下的类图,包含相关的核心认证类 概述 核心验证器 AuthenticationManager 该对象提供了认证方法的入口,接收一个Authentiaton对象作为参数; public interface AuthenticationManager {Authentication authenticate(Authenti

Spring Security--Architecture Overview

1 核心组件 这一节主要介绍一些在Spring Security中常见且核心的Java类,它们之间的依赖,构建起了整个框架。想要理解整个架构,最起码得对这些类眼熟。 1.1 SecurityContextHolder SecurityContextHolder用于存储安全上下文(security context)的信息。当前操作的用户是谁,该用户是否已经被认证,他拥有哪些角色权限…这些都被保

Spring Security基于数据库验证流程详解

Spring Security 校验流程图 相关解释说明(认真看哦) AbstractAuthenticationProcessingFilter 抽象类 /*** 调用 #requiresAuthentication(HttpServletRequest, HttpServletResponse) 决定是否需要进行验证操作。* 如果需要验证,则会调用 #attemptAuthentica

Spring Security 从入门到进阶系列教程

Spring Security 入门系列 《保护 Web 应用的安全》 《Spring-Security-入门(一):登录与退出》 《Spring-Security-入门(二):基于数据库验证》 《Spring-Security-入门(三):密码加密》 《Spring-Security-入门(四):自定义-Filter》 《Spring-Security-入门(五):在 Sprin

Java架构师知识体认识

源码分析 常用设计模式 Proxy代理模式Factory工厂模式Singleton单例模式Delegate委派模式Strategy策略模式Prototype原型模式Template模板模式 Spring5 beans 接口实例化代理Bean操作 Context Ioc容器设计原理及高级特性Aop设计原理Factorybean与Beanfactory Transaction 声明式事物

Java进阶13讲__第12讲_1/2

多线程、线程池 1.  线程概念 1.1  什么是线程 1.2  线程的好处 2.   创建线程的三种方式 注意事项 2.1  继承Thread类 2.1.1 认识  2.1.2  编码实现  package cn.hdc.oop10.Thread;import org.slf4j.Logger;import org.slf4j.LoggerFactory

变量与命名

引言         在前两个课时中,我们已经了解了 Python 程序的基本结构,学习了如何正确地使用缩进来组织代码,并且知道了注释的重要性。现在我们将进一步深入到 Python 编程的核心——变量与命名。变量是我们存储数据的主要方式,而合理的命名则有助于提高代码的可读性和可维护性。 变量的概念与使用         在 Python 中,变量是一种用来存储数据值的标识符。创建变量很简单,

JAVA智听未来一站式有声阅读平台听书系统小程序源码

智听未来,一站式有声阅读平台听书系统 🌟&nbsp;开篇:遇见未来,从“智听”开始 在这个快节奏的时代,你是否渴望在忙碌的间隙,找到一片属于自己的宁静角落?是否梦想着能随时随地,沉浸在知识的海洋,或是故事的奇幻世界里?今天,就让我带你一起探索“智听未来”——这一站式有声阅读平台听书系统,它正悄悄改变着我们的阅读方式,让未来触手可及! 📚&nbsp;第一站:海量资源,应有尽有 走进“智听