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 条评论
登录 后参与评论

相关文章

来自专栏小二的折腾日记

多线程

进程:是一个正在执行中的程序。 每一个进程执行都有一个执行顺序。该顺序是一个执行路径,或者叫一个控制单元。 线程:就是进程中的一个独立的控制单元。 线程在控制...

281
来自专栏禅林阆苑

mysql学习总结04 — SQL数据操作

mysql 中 SELECT 命令类似于其他编程语言的 print 或 write,可用来显示字符串、数字、数学表达式的结果等

1603
来自专栏数据之美

MySQL Tips【Updating】

1、MySQL中varchar最大长度问题 ? 问题:为啥大字段可以建,小字段却失败?  单个varchar(20000)用utf8没有超过64K,不会转成...

1857
来自专栏Java编程技术

一个有关定时生产与消费的问题

按照上面的逻辑看的话,每个队列里面最多有一个元素。其实不然,因为在多线程模型中每个线程占用cpu执行的时间是按照时间片来划分的,每个线程执行完自己的时间片后会被...

491
来自专栏java一日一条

理解MySQL——索引与优化

写在前面:索引对查询的速度有着至关重要的影响,理解索引也是进行数据库性能调优的起点。考虑如下情况,假设数据库中一个表有10^6条记 录,DBMS的页面大小为4K...

432
来自专栏一英里广度一英寸深度的学习

SQL 内连接,外连接(左外连接、右外连接)

语句:select * from a_table a inner join b_table bon a.a_id = b.b_id;

972
来自专栏Kevin-ZhangCG

SQL优化总结之一

1845
来自专栏Linux驱动

29.使用register_chrdev_region()系列来注册字符设备

1.之前注册字符设备用的如下函数注册字符设备驱动: register_chrdev(unsigned int major, const char *name,c...

1925
来自专栏精讲JAVA

Java面试之数据库面试题

触发器是一中特殊的存储过程,主要是通过事件来触发而被执行的。它可以强化约束,来维护数据的完整性和一致性,可以跟踪数据库内的操作从而不允许未经许可的更新和变化。可...

992
来自专栏java一日一条

浅谈SQL语句的执行过程

写在前面的话:有时不理解SQL语句各个部分执行顺序,导致理解上出现偏差,或者是书写SQL语句时随心所欲,所以有必要了解一下sql语句的执行顺序。可以有时间自己写...

402

扫描关注云+社区