如何使用 volatile, synchronized, final 进行线程间通信

keithxiaoy 发布于2019-08-14 15:15 / 642人阅读

摘要：如线程执行后，线程执行，相当于线程向线程发送了消息。我们可以利用这种互斥性来进行线程间通信。

你是否真正理解并会用volatile, synchronized, final进行线程间通信呢，如果你不能回答下面的几个问题，那就说明你并没有真正的理解：

对volatile变量的操作一定具有原子性吗？

synchronized所谓的加锁，锁住的是什么？

final定义的变量不变的到底是什么？

java内存模型 内存模型

看java内存模型之前，我们先来看看什么是内存模型？

在多处理器系统中，处理器通常有多级缓存，因为这些缓存离处理器更近并且可以存储一部分数据，所以缓存可以改善处理器获取数据的速度和减少对共享内存数据总线的占用。缓存虽然能极大的提高性能，但是同时也带来了诸多挑战。例如，当两个处理器同时操作同一个内存地址的时候，该如何处理？这两个处理器在什么条件下才能看到相同的值？

对于处理器而言，一个内存模型就是定义一些充分必要的规范，这些规范使得其他处理器对内存的写操作对当前处理器可见，或者当前处理器的写操作对其他处理器可见。

其他处理器对内存的写一定发生在当前处理器对同一内存的读之前，称之为其他处理器对内存的写对当前处理器可见。

Java 内存模型

知道了内存模型，那么应该可以更好的理解java内存模型。

简单的讲，java内存模型指的就是一套规范，现在最新的规范为JSR-133。这套规范包含：

线程之间如何通过内存通信；

线程之间通过什么方式通信才合法，才能得到期望的结果。

Java 内存模型中的内存结构

我们已经知道 java 内存模型就是一套规范，那么在这套规范中，规定的内存结构是什么样的呢？

简单的讲，Java 内存模型将内存分为共享内存和本地内存。共享内存又称为堆内存，指的就是线程之间共享的内存，包含所有的实例域、静态域和数组元素。每个线程都有一个私有的，只对自己可见的内存，称之为本地内存。

java内存模型中的内存结构如下图所示：

共享内存中共享变量虽然由所有的线程共享，但是为了提高效率，线程并不直接使用这些变量，每个线程都会在自己的本地内存中存储一个共享内存的副本，使用这个副本参与运算。由于这个副本的参与，导致了线程之间对共享内存的读写存在可见性问题。

为了方便线程之间的通信，java 提供了 volatile, synchronized, final 三个关键字供我们使用，下面我们来看看如何使用它们进行线程间通信

volatile

volatile 定义的变量，特殊性在于：

一个线程对 volatile 变量的写一定对之后对这个变量的读的线程可见。

等价于

一个线程对 volatile 变量的读一定能看见在它之前最后一个线程对这个变量的写。

为了实现这些语义，Java 规定，（1）当一个线程要使用共享内存中的 volatile 变量时，如图中的变量a，它会直接从主内存中读取，而不使用自己本地内存中的副本。（2）当一个线程对一个 volatile 变量进行写时，它会将这个共享变量的值刷新到共享内存中。

我们可以看到，其实 volatile 变量保证的是一个线程对它的写会立即刷新到主内存中，并置其它线程的副本为无效，它并不保证对 volatile 变量的操作都是具有原子性的。

由于

 public void add(){
     a++;         #1
 }

等价于

 public void add() {
    temp = a;        
    temp = temp +1;  
    a = temp;         
 }

代码1并不是一个原子操作，所以类似于 a++ 这样的操作会导致并发数据问题。

volatile 变量的写可以被之后其他线程的读看到，因此我们可以利用它进行线程间的通信。如

volatile int a;

public void set(int b) {
    a = b; 
}

public void get() {
    int i = a; 
}

线程A执行set()后，线程B执行get()，相当于线程A向线程B发送了消息。

synchronized

如果我们非要使用 a++ 这种复合操作进行线程间通信呢？java 为我们提供了synchronized。

 public synchronized void add() {
    a++; 
 }

synchronized 使得

它作用范围内的代码对于不同线程是互斥的，并且线程在释放锁的时候会将共享变量的值刷新到共享内存中。

我们可以利用这种互斥性来进行线程间通信。看下面的代码，

public synchronized void add() {
    a++; 
}

public synchronized void get() {
    int i = a; 
}

当线程A执行 add()，线程B调用get()，由于互斥性，线程A执行完add()后，线程B才能开始执行get()，并且线程A执行完add()，释放锁的时候，会将a的值刷新到共享内存中。因此线程B拿到的a的值是线程A更新之后的。

volatile 和 synchronized比较

根据以上的分析，我们可以发现volatile和synchronized有些相似。

当线程对 volatile变量写时，java 会把值刷新到共享内存中；而对于synchronized，指的是当线程释放锁的时候，会将共享变量的值刷新到主内存中。

线程读取volatile变量时，会将本地内存中的共享变量置为无效；对于synchronized来说，当线程获取锁时，会将当前线程本地内存中的共享变量置为无效。

synchronized 扩大了可见影响的范围，扩大到了synchronized作用的代码块。

final 变量

final关键字可以作用于变量、方法和类，我们这里只看final 变量。

final变量的特殊之处在于，

final 变量一经初始化，就不能改变其值。

这里的值对于一个对象或者数组来说指的是这个对象或者数组的引用地址。因此，一个线程定义了一个final变量之后，其他任意线程都拿到这个变量。但有一点需要注意的是，当这个final变量为对象或者数组时，

虽然我们不能讲这个变量赋值为其他对象或者数组，但是我们可以改变对象的域或者数组中的元素。

线程对这个对象变量的域或者数据的元素的改变不具有线程可见性。

总结

有时候，我们在学习一门技术过程中，并不能仅仅局限于怎么用，知道怎么用之后，我们应该深入的探究一下，为什么这么用之后就能得到我们想要的结果呢？既要知其然，更要知其所以然。

GPU云服务器云服务器实现线程间通信线程间的通信多线程synchronized 如何使用云服务器进行分配

文章版权归作者所有，未经允许请勿转载,若此文章存在违规行为，您可以联系管理员删除。

转载请注明本文地址：https://www.ucloud.cn/yun/65519.html

Java内存模型

摘要：内存模型对内存模型的介绍对内存模型的结构图的线程之间的通信是通过共享内存的方式进行隐式通信，即线程把某状态写入主内存中的共享变量，线程读取的值，这样就完成了通信。 Java内存模型（JMM） 1.对内存模型的介绍 ①对Java内存模型的结构图 java的线程之间的通信是通过共享内存的方式进行隐式通信，即线程A把某状态写入主内存中的共享变量X，线程B读取X的值，这样就完成了通信。是一种...

sherlock221 2019-08-15 15:58 评论0 收藏0
并发编程基础知识二

摘要：进入方法线程停止关键字虽然拥有多个线程之间的可见性，但是却不具备原子性关键字用于针对多个线程可变的变量操作，但是不能替代关键字的同步功能。 volatile关键字的作用是变量在多个线程之间可见volatile的作用是强制线程到主内存（共享内存）里读取变量，而不是线程工作内存区里去读取变量，从而实现了多个线程之间的变量可见，也就是满足线程安全的可见性。 private volat...

CKJOKER 2019-08-16 10:45 评论0 收藏0
慕课网_《细说Java多线程之内存可见性》学习总结

时间：2017年07月09日星期日说明：本文部分内容均来自慕课网。@慕课网：http://www.imooc.com教学源码：无学习源码：https://github.com/zccodere/s... 第一章：课程简介 1-1 课程简介课程目标和学习内容共享变量在线程间的可见性 synchronized实现可见性 volatile实现可见性指令重排序 as-if-seria...

wupengyu 2019-08-15 10:45 评论0 收藏0
bat等大公司常考java多线程面试题

摘要：典型地，和被用在等待另一个线程产生的结果的情形测试发现结果还没有产生后，让线程阻塞，另一个线程产生了结果后，调用使其恢复。使当前线程放弃当前已经分得的时间，但不使当前线程阻塞，即线程仍处于可执行状态，随时可能再次分得时间。 1、说说进程,线程,协程之间的区别简而言之,进程是程序运行和资源分配的基本单位,一个程序至少有一个进程,一个进程至少有一个线程.进程在执行过程中拥有独立的内存单元...

Charlie_Jade 2019-08-19 10:49 评论0 收藏0