《volatile使用与学习总结:2023-12-17》多层面分析学习java关键字--volatile

2023-12-18 17:36

本文主要是介绍《volatile使用与学习总结:2023-12-17》多层面分析学习java关键字--volatile,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

一、简介

volatile是java中提供的一种轻量级的同步机制,相比于synchronized更加轻量,因为volatile避免了线程频繁的上下文切换和调度,但是也有缺点,同步性差并且使用起来易出错。

二、并发编程的三个概念

  1. 原子性
    原子性即一个操作或者多个操作要不全部执行完(执行过程不被干扰),要不都不执行。
  2. 可见性
    可见性指的是,当一个线程操作一个变量的值时,在其他线程是可以及时看到这个变量修改后的值,并能获取来操作。对比与synchronized和lock,这两者也都能保证可见性,因为它们在每次释放锁之前都会将修改好的变量值更新到主内存中,保证了可见性。
  3. 有序性
    即程序执行的顺序是按照代码的先后顺序来执行的。
    java内存模型中所说的有序性总结为,在本线程中看都是有序执行的,在一个线程看另外一个线程都是无序的,也就是说前半句表示“线程内表现为串型语义”,后面句表示“指令重排序”现象和“主内存与工作内存同步延迟”现象。
    Java的内存模型

三、锁的互斥和可见性

  1. 互斥:即一次只允许一个线程持有某个特定的锁,而且一次只允许一个线程访问共享数据
  2. 锁的可见性:在前一个线程释放锁之前对变量进行更改后,将更改后的变量由工作内存更新到主内存中,保证下一个获得该锁的线程对这个变量具有可见性,如果没有及时更新到主内存中后果很严重,会导致数据不一致问题。
    要让volatile线程安全,必须保证两点
    (1)对变量的写操作不依赖于当前值
    (2)该变量没有包含在具有其他变量的变式中
    事实上就是保证该变量操作的原子性。

四、volatile变量的特性

  1. 保证可见性,不保证原子性
    (1)当写一个变量是,当前线程会将该变量从工作内存强制更新到主内存,保证其他线程实时获取的变量是最新的,保证了可见性。
    (2)这个写操作会导致其他线程中这个变量缓存无效。
  2. 禁止指令重排序
    重排序是程序为了更好地性能调度,对指令进行新的排序的一种手段,需要遵守以下规则
    (1)重排序不会对存在数据依赖关系的程序重排序
    (2)重排序是为了优化性能,但无论怎么排序,在单线程下,从排序后的运算结果都不会改变,但是在多线程下重排序则可能会影响结果
    (3)使用volatile能够禁止指令重排序,但要遵守一些规则。
    1)当执行到volatile修饰的变量进行读或者写时,该操作前面的指令都执行完毕,且该操作结果对后面指令可见,而且该操作后面的指令都未执行
    2)当指令优化时,不能将指令放到volatile后面执行,也不能把把volatile后面的语句放到前面执行。

五、volatile不适合的场景

  1. volatile不适合复合操作,下面模拟十个线程对num自增,每个线程自增1000,
    比如 num++,不是一个原子性操作,分为读取,加,赋值三个操作,所以结果达不到10000
public class VolatileTest1 {private static volatile int num = 0;public static void main(String[] args) throws InterruptedException {for (int i = 0; i < 10; i++) {Thread thread = new Thread(() -> {for (int j = 0; j < 1000; j++) {num++;}});thread.start();}System.out.println("num=" + num);}
}

结果
num=5657
num=4414
num=7491
…(完全随机)

  1. 解决办法
    (1)使用synchornized锁住变量所在的类
public class VolatileTest1 {public static volatile int num = 0;public static void main(String[] args) throws InterruptedException {for (int i = 0; i < 10; i++) {new Thread(new Runnable() {@Overridepublic void run() {for (int j = 0; j < 10000; j++) {synchronized (VolatileTest1.class) {num++;}}}}).start();}// 保证线程执行完毕while (Thread.activeCount() > 1) {Thread.yield();}System.out.println("num=" + num);}
}

结果:
num=100000

(2)使用lock锁住该方法

public class VolatileTest3 {public static volatile int num = 0;public static Lock lock = new ReentrantLock();public static void main(String[] args) throws InterruptedException {for (int i = 0; i < 10; i++) {new Thread(new Runnable() {@Overridepublic void run() {for (int j = 0; j < 10000; j++) {lock.lock();try {num++;}finally {lock.unlock();}}}}).start();}// 保证线程执行完毕while (Thread.activeCount() > 1) {Thread.yield();}System.out.println("num=" + num);}
}

结果:
num=100000

(3)使用并发原子操作类AtomicInteger ,其原理是通过CAS循环的方式来保证原子性

public class VolatileTest5 {public static volatile AtomicInteger num = new AtomicInteger(0);public static void main(String[] args) throws InterruptedException {for (int i = 0; i < 10; i++) {new Thread(new Runnable() {@Overridepublic void run() {for (int j = 0; j < 10000; j++) {num.getAndIncrement();}}}).start();}// 保证线程执行完毕while (Thread.activeCount() > 1) {Thread.yield();}System.out.println("num=" + num);}
}

结果:
num=100000

六、单例模式的双重检验锁为什么要加volatile

public class InstanceTest{private volatile static InstanceTest instance;public static InstanceTest getInstance(){   //1if(instance == null){   //2synchronized(InstanceTest.class){   //3if(instance == null){   //4instance = new InstanceTest(); //5}}}return instance;   //6}
}

在并发情况下,如果没有volatile修饰的话,代码中5处会出现问题instance = new InstanceTest();
这个可以分为三步,

a. memory = allocate() //分配内存
b. ctorInstanc(memory) //初始化对象
c. instance = memory   //设置instance指向刚分配的地址

在编译时,指令重排序,不一定按照a->b->c的顺序来执行,可能会是a->c->b,多线程下一个线程在执行完a,马上执行c,设置instance指向刚分配的地址,这个时候另外一个线程刚好到第2步判断,则会出现不为空,直接跳到第6步,而此时并没有初始化,会返回一个未初始化的对象。

七、volatile原理

volatile可以保证线程的可见性并提供一定的有序性,底层采用的是“内存屏障”来实现的,但是不能保证原子性,需要结合lock,synchornized,AtomicInteger 等来实现线程并发安全。
内存屏障会提供三个功能:

  1. 他不会把volatile修饰的变量执行的操作的前面的指令方放到后面,当然相反也不会将后面的指令放到前面。(禁止指令重排序)
  2. 他会强制将当前修改的变量立即写入主缓存
  3. 如果是写操作,他会将其他线程的缓存置为无效

借鉴学习-侵删

这篇关于《volatile使用与学习总结:2023-12-17》多层面分析学习java关键字--volatile的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



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

相关文章

Spring IOC的三种实现方式详解

《SpringIOC的三种实现方式详解》:本文主要介绍SpringIOC的三种实现方式,在Spring框架中,IOC通过依赖注入来实现,而依赖注入主要有三种实现方式,构造器注入、Setter注入... 目录1. 构造器注入(Cons编程tructor Injection)2. Setter注入(Setter

Java function函数式接口的使用方法与实例

《Javafunction函数式接口的使用方法与实例》:本文主要介绍Javafunction函数式接口的使用方法与实例,函数式接口如一支未完成的诗篇,用Lambda表达式作韵脚,将代码的机械美感... 目录引言-当代码遇见诗性一、函数式接口的生物学解构1.1 函数式接口的基因密码1.2 六大核心接口的形态学

Spring IOC控制反转的实现解析

《SpringIOC控制反转的实现解析》:本文主要介绍SpringIOC控制反转的实现,IOC是Spring的核心思想之一,它通过将对象的创建、依赖注入和生命周期管理交给容器来实现解耦,使开发者... 目录1. IOC的基本概念1.1 什么是IOC1.2 IOC与DI的关系2. IOC的设计目标3. IOC

Spring Boot统一异常拦截实践指南(最新推荐)

《SpringBoot统一异常拦截实践指南(最新推荐)》本文介绍了SpringBoot中统一异常处理的重要性及实现方案,包括使用`@ControllerAdvice`和`@ExceptionHand... 目录Spring Boot统一异常拦截实践指南一、为什么需要统一异常处理二、核心实现方案1. 基础组件

java中的HashSet与 == 和 equals的区别示例解析

《java中的HashSet与==和equals的区别示例解析》HashSet是Java中基于哈希表实现的集合类,特点包括:元素唯一、无序和可包含null,本文给大家介绍java中的HashSe... 目录什么是HashSetHashSet 的主要特点是HashSet 的常用方法hasSet存储为啥是无序的

使用DeepSeek API 结合VSCode提升开发效率

《使用DeepSeekAPI结合VSCode提升开发效率》:本文主要介绍DeepSeekAPI与VisualStudioCode(VSCode)结合使用,以提升软件开发效率,具有一定的参考价值... 目录引言准备工作安装必要的 VSCode 扩展配置 DeepSeek API1. 创建 API 请求文件2.

使用TomCat,service输出台出现乱码的解决

《使用TomCat,service输出台出现乱码的解决》本文介绍了解决Tomcat服务输出台中文乱码问题的两种方法,第一种方法是修改`logging.properties`文件中的`prefix`和`... 目录使用TomCat,service输出台出现乱码问题1解决方案问题2解决方案总结使用TomCat,

IDEA运行spring项目时,控制台未出现的解决方案

《IDEA运行spring项目时,控制台未出现的解决方案》文章总结了在使用IDEA运行代码时,控制台未出现的问题和解决方案,问题可能是由于点击图标或重启IDEA后控制台仍未显示,解决方案提供了解决方法... 目录问题分析解决方案总结问题js使用IDEA,点击运行按钮,运行结束,但控制台未出现http://

解决Spring运行时报错:Consider defining a bean of type ‘xxx.xxx.xxx.Xxx‘ in your configuration

《解决Spring运行时报错:Considerdefiningabeanoftype‘xxx.xxx.xxx.Xxx‘inyourconfiguration》该文章主要讲述了在使用S... 目录问题分析解决方案总结问题Description:Parameter 0 of constructor in x

解决IDEA使用springBoot创建项目,lombok标注实体类后编译无报错,但是运行时报错问题

《解决IDEA使用springBoot创建项目,lombok标注实体类后编译无报错,但是运行时报错问题》文章详细描述了在使用lombok的@Data注解标注实体类时遇到编译无误但运行时报错的问题,分析... 目录问题分析问题解决方案步骤一步骤二步骤三总结问题使用lombok注解@Data标注实体类,编译时