JavaSE学习53:细说多线程之内存可见性
Posted life is wonderful
tags:
篇首语:本文由小常识网(cha138.com)小编为大家整理,主要介绍了JavaSE学习53:细说多线程之内存可见性相关的知识,希望对你有一定的参考价值。
一共享变量在线程间的可见性
(1)有关可见性的一些概念介绍
可见性:一个线程对共享变量值的修改,能够及实地被其他线程看到。
共享变量:如果一个变量在多个线程的工作内存中都存在副本,那么这个变量就是这几个线程的共享变量。所
有的变量都存储在主内存中。
线程的工作内存:每个线程都有自己独立的工作内存,里面保存该线程使用到的变量的副本(主内存中该变量的
一份拷贝)。
(2)数据争用问题
多个线程对同一资源操作时,通常会产生进程,比如一个线程往消息队列插入数据,而另一个线程从消息队列取
出数据 当消息队列满时,插入消息的队列需要Sleep几个毫秒,把时间片让出给取消息的线程,当消息队列为空
时,取消息队列的线程需要Sleep几个毫秒,把时间片让给插入消息的线程。如果不这样做,则会出现某个线程独占
资源,最终导致另一个线程死等状态,会引发一些我问题。这其中就涉及到了数据争用问题。
(3)Java内存模型(JMM)
Java内存模型(Java Memory Model)描述了Java程序中各种变量(线程共享变量)的大访问规则,以及在JVM中将
变量存储到内存和从内存中读取变量这样的底层细节。
JMM模型的工作流程:
其中有两条规定:
1)线程对共享变量的所有操作都必须在自己的工作内存中进行,不能直接从主存中读写。
2)不同线程之间无法直接访问其他线程工作内存中的变量,线程间变量值的传递需要通过主存来完成。
(4)共享变量可见性实现的原理
线程1对共享变量的修改要想被线程2及时看到,必须要经过如下两个步骤:
1)把工作内存1中更新过的共享变量刷新到主内存中。2)将主内存中最新的共享变量的值更新到工作内存2中。
我们来看一下这个流程:
要实现共享变量的的可见性,必须保证两点:
1)线程修改后的共享变量值能够及时从工作内存刷新到主内存中。
2)其他线程能够及时把共享变量的最新值从主内存更新到自己的工作内存中。
(5)可见性的实现方式
语言层面支持的可见性实现方式:
1)使用关键字synchronized
2)使用关键字volatile
二synchronized实现可见性
(1)Synchronized实现可见性
Synchronized能够实现多线程的原子性(同步)和可见性。
JVM关于Synchronized的两条规定:
1)线程解锁前,必须把共享变量的最新值刷新到主内存中。
2)线程加锁时,将清空工作内存中共享变量的值,从而使用共享变量时需要从主内存中重新读取最新的值(注
意:加锁和解锁需要同一把锁)。
(2)线程执行互斥代码的过程:
1)获得互斥锁
2)清空工作内存
3)从主内存拷贝变量的最新副本到工作内存
4)执行代码
5)将更改后的共享变量的值刷新到主内存
6)释放互斥锁
(3)指令重排序
重排序:代码书写的顺序与实际执行的顺序不同,指令重排序是编译器或处理器为了提高程序性能而做的优化。
包括三种:
1)编译器优化的重排序(编译器优化)
2)指令级并行的重排序(处理器优化)
3)内存系统的重排序(处理器优化)
重排序的可能:
(4)as-if-serial语义
as-if-serial含义指的是无论如何重排序,程序执行的结果应该与代码顺序执行的结果一致(Java编译器、运行时和
处理器都会保证Java在单线程下遵循as-if-serial语义)。重排序不会给单线程带来内存可见性的问题。
我们来看一段程序的例子:
以上是关于JavaSE学习53:细说多线程之内存可见性的主要内容,如果未能解决你的问题,请参考以下文章