Java中多线程与并发_volatile关键字的深入理解

时间:2021-05-20

一、volatile关键字

volatile是JVM提供的一种轻量级的同步机制,特性:

1.保证内存可见性

2.不保证原子性

3.防止指令重排序

二、JMM(Java Memory Model)

Java内存模型中规定了所有的变量都存储在主内存中(如虚拟机物理内存中的一部分),每条线程还有自己的工作内存(如CPU中的高速缓存),线程的工作内存中保存了该线程使用到的变量到主内存的副本拷贝,线程对变量的所有操作(读取、赋值)都必须在工作内存中进行,而不能直接读写主内存中的变量。不同线程之间无法直接访问对方工作内存中的变量,线程间变量值的传递均需要通过主内存来完成,线程、主内存和工作内存的交互关系如下图所示:

三、验证

1.验证volatile的可见性

1.1 假如 int num = 0; num变量之前根本没有添加volatile关键字修饰,没有可见性

1.2 添加了volatile,可以解决可见性问题

MyData类

class MyData { volatile int num = 0; public void addT060() { this.num = 60; }}

内存可见性验证,其中两个线程分别为AAA线程和main线程

//volatile可以保证可见性,及时通知其它线程,主内存的值已经被修改 @Test public void seeOkByVolatile() { MyData myData = new MyData();//资源类 new Thread(() -> { System.out.println(Thread.currentThread().getName() + "\t come in"); //暂停一会线程 try{ TimeUnit.SECONDS.sleep(3); }catch (InterruptedException e) { e.printStackTrace(); } myData.addT060(); System.out.println(Thread.currentThread().getName() + "\t update num value: " + myData.num); },"AAA").start(); //第2个线程是我们的main线程 while (myData.num == 0) { //main线程就一直在这里等待循环,直到num值不再等于0. } System.out.println(Thread.currentThread().getName() + "\t mission is over,main get num value: " + myData.num ); }

对num变量加volatile修饰后结果

AAA come in
AAA update num value: 60
main 我能见到AAA线程对num修改的结果啦,main get num value: 60

Process finished with exit code 0

2.验证volatile不保证原子性

2.1 原子性指的是什么意思?

不可分割,完整性,也即某个线程正在做某个具体任务时,中间不可以被加塞或者被分割。需要整体完整。要么同时成功,要么同时失败。

2.2 volatile不保证原子性的案例演示

2.3 为什么不保证原子性?

2.4 如何保证原子性

加sync

使用我们juc下的AtomicInteger (底层实现CAS)

给MyData类加addPlusPlus()方法

class MyData {//MyData.java ===> MyData.class ===> JVM字节码 int num = 0; public void addT060() { this.num = 60; } //请注意,此时num前面是加了关键字修饰的,volatile不保证原子性 public void addPlusPlus() { num++; }}

2.2 volatile不保证原子性的案例演示

num++在多线程操作的情况下不保证原子性的

创建20个线程并行执行num++操作2000次,多次测试,结果不为40000

public static void main(String[] args) { MyData myData = new MyData(); for (int i = 1; i <= 20; i++ ) { new Thread(() -> { for (int j = 1; j <= 2000; j++) { myData.addPlusPlus(); } },String.valueOf(i)).start(); } //需要等待上面20个线程都全部计算完成后,再用main线程取得最终的结果值看是多少? while(Thread.activeCount() > 2) { Thread.yield(); } System.out.println(Thread.currentThread().getName() + "\t finally num value:" + myData.num); }

结果:数值小于40000,出现写值丢失的情况

main finally num value:38480

Process finished with exit code 0

2.3 为什么不保证原子性?

因为当线程A对num++操作从自己的工作内存刷新到主内存时,还未通知到其他线程主内存变量有更新的瞬间,其他线程对num变量的操作结果也对主内存进行了刷新,从而导致了写值丢失的情况

num++通过汇编指令分析,通过javap反编译得到如下汇编指令

class com.slx.juc.MyData { volatile int num; com.slx.juc.MyData(); Code: 0: aload_0 1: invokespecial #1 // Method java/lang/Object."<init>":()V 4: aload_0 5: iconst_0 6: putfield #2 // Field num:I 9: return public void addT060(); Code: 0: aload_0 1: bipush 60 3: putfield #2 // Field num:I 6: return public void addPlusPlus(); Code: 0: aload_0 1: dup 2: getfield #2 // Field num:I 5: iconst_1 6: iadd 7: putfield #2 // Field num:I 10: return}

可见num++被拆分成了3个步骤,简称:读-改-写

  • 执行getfield拿到原始num;
  • 执行iadd进行加1操作;
  • 执行putfield写把累加后的值写回

2.4 如何保证原子性

加sync

使用我们juc下的AtomicInteger (底层实现CAS)

MyData类中添加原子类操作方法

AtomicInteger atomicInteger = new AtomicInteger(); public void addMyAtomic() { atomicInteger.getAndIncrement(); }

调用该方法打印结果

public static void main(String[] args) { MyData myData = new MyData(); for (int i = 1; i <= 20; i++ ) { new Thread(() -> { for (int j = 1; j <= 2000; j++) { myData.addMyAtomic(); } },String.valueOf(i)).start(); } //需要等待上面20个线程都全部计算完成后,再用main线程取得最终的结果值看是多少? while(Thread.activeCount() > 2) { Thread.yield(); } System.out.println(Thread.currentThread().getName() + "\t AtomicInteger type ,finally num value:" + myData.atomicInteger); }

测试结果为40000,不会出现之前int类型的丢失值的情况

main AtomicInteger type ,finally num value:40000

Process finished with exit code 0

总结

到此这篇关于Java中多线程与并发_volatile关键字的文章就介绍到这了,更多相关Java多线程与并发_volatile关键字内容请搜索以前的文章或继续浏览下面的相关文章希望大家以后多多支持!

声明:本页内容来源网络,仅供用户参考;我单位不保证亦不表示资料全面及准确无误,也不保证亦不表示这些资料为最新信息,如因任何原因,本网内容或者用户因倚赖本网内容造成任何损失或损害,我单位将不会负任何法律责任。如涉及版权问题,请提交至online#300.cn邮箱联系删除。

相关文章