6.终于了解volatile的原理和使用方法了
创始人
2024-03-07 06:54:45
0

1.volatile能保证可见性

先说个案例:

  • 有两个线程A和B,有一个公共的 boolean flag 标记位,最开始赋值为 true;
  • B线程循环,根据这个flag来进行执行或者退出;
  • 这时线程A把flag改成false这个时候希望线程B看到变化,而停止执行;
  • 但是线程B可能并不能立刻停下来,也有可能过一段时间才会停止,甚至在最极端的情况下可能永远都不会停止。
  • 因为最开始它们都可以读取到 flag 为 true ,不过当线程 A 这个值改为 false 之后,线程B 并不能及时看到这次修改,因为线程B 不能直接访问线程A 的本地内存。

可以看一下CPU的内存结构:
在这里插入图片描述
可以看出,线程A和线程B 分别在不同的 CPU 核心上运行,每一个核心都有自己的本地内存,并且在下方也有它们共享的内存。

这样的问题就是一个可见性问题。

volatile 关键字:

要想解决这个问题,我们只需要在变量的前面加上 volatile 关键字修饰,只要我们加上这个关键字,那么每一次变量被修改的时候,其他线程对此都可见,这样一旦线程A改变了这个值,那么线程B 就可以立刻看到,因此就可以退出 while 循环了。

所以volatile关键字可以让它拥有可见性。

原因在于有了这个关键字之后,线程 A 的更改会被 flush 到共享内存中,然后又会被 refresh 到线程B 的本地内存中,这样线程B 就能感受到这个变化了,所以 volatile 这个关键字最主要是用来解决可见性问题的,可以一定程度上保证线程安全。

2.volatile 不能保证原子性

  • 比如我们线程A和B 同时进行 value++ ;
  • 每个线程都加 1000 次,最终的结果很可能不是 2000;
  • 所以在多线程的情况下,会出现线程安全问题(不信可以自己试一下);
  • 因为这里的问题不单单是可见性问题,还包含原子性问题。

如果我们想保证原子性也有很多办法比如:

  • 使用 synchronized 关键字
  • 使用我们的原子类 AtomicInteger ,调用它的 incrementAndGet 方法
    • 在利用了原子变量之后就无需加锁,我们可以使用它的 incrementAndGet 方法,这个操作底层由 CPU 指令保证原子性,所以即便是多个线程同时运行,也不会发生线程安全问题。

3.volatile 使用场景

通常情况下,volatile 可以用来修饰 boolean 类型的标记位,因为对于标记位来讲,直接的赋值操作本身就是具备原子性的,再加上 volatile 保证了可见性,那么就是线程安全的了。

也就是说我们有一个可见性问题,那么可以使用 volatile 关键字。

如果我们要保证原子性可以使用 原子类 来保证。可以自己探索下,后面我也会总结的,

OK完活。

相关内容

热门资讯

前端-session、jwt 目录:   (1)session (2&#x...
linux入门---制作进度条 了解缓冲区 我们首先来看看下面的操作: 我们首先创建了一个文件并在这个文件里面添加了...
关于测试,我发现了哪些新大陆 关于测试 平常也只是听说过一些关于测试的术语,但并没有使用过测试工具。偶然看到编程老师...
前缀和与对数器与二分法 1. 前缀和 假设有一个数组,我们想大量频繁的去访问L到R这个区间的和,...
nodejs:本地安装nvm实... 一、背景-使用不同版本node的原因 vue3+ts、nuxt3版本,node...
JAVA集合知识整理 Java集合知识整理 HashMap相关 HashMap的底层数据结构:jdk1.8之...
无刷直流电机介绍及单片机控制实... 无刷直流电机介绍及单片机控制实例前言基本概念优势与劣势使用寿命基本结构使用单片机控制实例电子调速器&...
fwdiary(2) dp2 1.传纸条  AcWing 275. 传纸条 - AcWing 走两条路,走一条最大的...
常用的DOS命令 常用的DOS命令 DOS(Disk Operating System,磁...
<C++> 类和对象(下) 1.const成员函数将const修饰的“成员函数”称之为const成员函数,cons...