Java并发编程的艺术(三)——volatile

1. 并发编程的两个关键问题

并发是让多个线程同时执行,若线程之间是独立的,那并发实现起来很简单,各自执行各自的就行;但往往多条线程之间需要共享数据,此时在并发编程过程中就不可避免要考虑两个问题:通信 与 同步。

  • 通信 通信是指消息在两条线程之间传递。 既然要传递消息,那接收线程 和 发送线程之间必须要有个先后关系,此时就需要用到同步。通信和同步是相辅相成的。
  • 同步 同步是指,控制多条线程之间的执行次序。

2. 通信的方式

2.1 通信方式的种类

线程之间的通信一共有两种方式:共享内存 和 消息传递。

  • 共享内存 共享内存指的是多条线程共享同一片内存,发送者将消息写入内存,接收者从内存中读取消息,从而实现了消息的传递。 但这种方式有个弊端,即需要程序员来控制线程的同步,即线程的执行次序。

这种方式并没有真正地实现消息传递,只是从结果上来看就像是将消息从一条线程传递到了另一条线程。

  • 消息传递 顾名思义,消息传递指的是发送线程直接将消息传递给接收线程。 由于执行次序由并发机制完成,因此不需要程序员添加额外的同步机制,但需要声明消息发送和接收的代码。

综上所述:对于共享内存的通信方式,需要进行显示的同步,隐式的通信; 而对于消息传递的通信方式,需要隐式的同步,显示的通信。

2.2 Java使用的通信方式

Java使用共享内存的方式实现多线程之间的消息传递。因此,程序员需要写额外的代码用于线程之间的同步。

PS:其实共享内存的方式从实现过程来看,跟消息传递一点关系都没有:一条线程将消息存入共享内存,另一条线程从共享内存中读这条消息。 但从结果来看,整个过程就好像是一条消息被从线程A传递到了线程B。 这种方式之所以能实现消息传递,依托于两点:

  • 必须有一片共享的内存
  • 必须要实现多线程的同步

3. Java多线程的内存模型(简化版)

所有线程都共享一片内存,用于存储共享变量; 此外,每条线程都有各自的存储空间,存储各自的局部变量、方法参数、异常对象。

4. volatile是什么?

Java采用共享内存的方式实现消息传递,而共享内存需要依托于同步。Java提供了synchronized、volatile关键字实现同步。此外volatile关键字还拥有一些额外的功能。

5. volatile的使用

在成员变量前加上该关键字即可。

public volatile boolean flag;

6. volatile的特性

6.1 重排序

重排序是计算机为了提高程序执行效率而对代码的执行顺序进行调整。你以为代码是一行行顺序执行的,但实际并非如此,重排序详解请移步至:Java并发编程的艺术(二)——重排序

若两行指令之间没有依赖关系,那么计算机可以对他们的顺序进行重排序,但若两行之间的某个变量被volatile修饰后,重排序规则会发生变化。

在以下情况下,即使两行代码之间没有依赖关系,也不会发生重排序:

  • volatile读
    • 若volatile读操作的前一行为volatile读/写,则这两行不会发生重排序
    • volatile读操作和它后一行代码都不会发生重排序
  • volatile写
    • volatile写操作和它前一行代码都不会发生重排序;
    • 若volatile写操作的后一行代码为volatile读/写,则这两行不会发生重排序。

6.2 可见性

什么是内存可见性?

“内存可见性”指的是一条线程修改完一个共享变量后,另一个线程若访问这个变量将会访问到修改后的值。即:一条线程对共享变量的修改,对其他线程立即可见。

但如果未对共享变量采用同步机制,那么共享变量的修改不会对其他线程立即可见。

为什么会出现内存不可见的情况?

通过上文可知,在Java中每条线程都有各自独立的存储空间,此外还有一个所有线程共享的内存空间。 当开启线程时,系统会将共享内存中的所有共享变量拷贝一份到线程专属的存储空间中。接下来该线程在结束前的所有操作都是基于自己的存储空间进行的。因此,若一条线程改变了一个共享变量,仅仅改变的是这条线程专属存储空间中的变量值;此时若其他线程访问这个变量,访问的仍然是先前从共享存储空间读出来的值。 然而我们希望一条线程将某个共享变量修改后,其他线程能立即访问到这个最新的值,而不是失效值。 这时就需要同步机制来解决这个问题。

如何确保共享变量的可见性?

要确保所有共享变量对所有线程是可见的,就需要给所有共享变量使用同步。在Java中你可以选择将共享变量用同步代码块包裹或用volatile修饰共享变量。

为什么volatile能保证共享变量的内存可见性?

volatile修饰了一个成员变量后,这个变量的读写就会比普通变量多一些步骤。

  • volatile变量写 当被volatile修饰的变量进行写操作时,这个变量将会被直接写入共享内存,而非线程的专属存储空间。
  • volatile变量读 当读取一个被volatile修饰的变量时,会直接从共享内存中读,而非线程专属的存储空间中读。

通过对volatile变量读写的限制,就能保证线程每次读到的都是最新的值,从而确保了该变量的内存可见性。

volatile变量赠送的附加功能

进行volatile写操作时,不仅会将volatile变量写入共享内存,系统还会将当前线程专属空间中的所有共享变量写入共享内存。 进行volatile读操作时,系统也会一次性将共享内存中所有共享变量读入线程专属空间。 这就意味着,如果普通变量在volatile写操作之前被修改,那么在volatile读操作之后就能正确读到他们。 但是,在volatile写操作之后被修改的普通变量 和 在volatile读操作之前被访问的普通变量 都不具有内存可见性。

6.3 原子性

什么是原子性?

原子性指的是一组操作必须一起完成,中途不能被中断。

volatile能确保long、double读写的原子性

在Java中的所有类型中,有long、double类型比较特殊,他们占据8字节(64比特),其余类型都小于64比特。在32位操作系统中,CPU一次只能读取/写入32位的数据,因此对于64位的long、double变量的读写会进行两步。在多线程中,若一条线程只写入了long型变量的前32位,紧接着另一条线程读取了这个只有“一半”的变量,从而就读到了一个错误的数据。 为了避免这种情况,需要在用volatile修饰long、double型变量。

在内存可见性与原子性上,volatile就相当于是同步的setter和getter函数。但并不具有volatile的重排序规则,同步块只确保同步块内部的指令不发生重排序,并不确保同步块以外的指令的重排序。

PS1:Java中的byte竟然是字节,bit才是比特(位)。 PS2:char和short-2字节、int和float-4字节、long和double-8字节、byte-1字节

QA:在同步块中调用wait函数是否会破坏原子性?

本文参与腾讯云自媒体分享计划,欢迎正在阅读的你也加入,一起分享。

发表于

我来说两句

0 条评论
登录 后参与评论

相关文章

来自专栏Java编程技术

伪共享

计算机系统中为了解决主内存与CPU运行速度的差距,在CPU与主内存之间添加了一级或者多级高速缓冲存储器(Cache),这个Cache一般是集成到CPU内部的,所...

623
来自专栏开发 & 算法杂谈

Python多进程、多线程、协程

在Unix/Linux中系统内核提供了fork系统调用来创建进程,根据不同的返回值来判断当前进程是子进程还是父进程,C语言代码示例如下:

2755
来自专栏Spark学习技巧

Java面试官最爱的volatile关键字

在Java相关的岗位面试中,很多面试官都喜欢考察面试者对Java并发的了解程度,而以volatile关键字作为一个小的切入点,往往可以一问到底,把Java内存模...

3606
来自专栏orientlu

FreeRTOS 任务调度 系统节拍

文章 < FreeRTOS 任务调度 任务切换 > 记录了 FreeRTOS 中任务切换的过程, 提到触发任务切换的两种情况 : 高优先级任务就绪抢占和同优先...

683
来自专栏Java Edge

AQS原理浅析关于Lock及AQS的一些补充:羊群效应

3496
来自专栏微信公众号:Java团长

Java面试官最爱的volatile关键字

在Java相关的岗位面试中,很多面试官都喜欢考察面试者对Java并发的了解程度,而以volatile关键字作为一个小的切入点,往往可以一问到底,把Java内存模...

651
来自专栏博岩Java大讲堂

Java集合--Queue队列介绍

2948
来自专栏java学习

面试题63(链表,哈希表)

关于链表,哈希表 1·以下关于链式存储结构的叙述中哪一个是正确的? A.链式存储结构不是顺序存取结构 B.逻辑上相邻的节点物理上必须邻接 C.可以通过计算直接确...

3016
来自专栏屈定‘s Blog

(转)Java--栈与队列

Java中栈与队列相比集合来说不是很常用的数据结构,因此经常被忽略.个人觉得还是有必要掌握下,以备不时之需. Java中实际上提供了java.util.Stac...

803
来自专栏Java架构

面试官最爱的volatile关键字

1173

扫码关注云+社区