Java并发:线程共享变量可见性原理

0、线程安全性:线程安全性包括两个方面,①可见性。②原子性。

0.1、线程之间的通信:线程的通信是指线程之间以何种机制来交换信息。在命令式编程中,线程之间的通信机制有两种共享内存和消息传递。
(1)在共享内存的并发模型里,线程之间共享程序的公共状态,线程之间通过写-读内存中的公共状态来隐式进行通信,典型的共享内存通信方式就是通过共享对象进行通信。
(2)在消息传递的并发模型里,线程之间没有公共状态,线程之间必须通过明确的发送消息来显式进行通信,在java中典型的消息传递方式就是wait()和notify()。

                             Java内存模型


1、可见性:一个线程对共享变量值得修改,能够及时地被其他线程看到。

2、共享变量:如果一个变量在多个线程的工作内存都存在副本,那么这个变量就是这几个线程的共享变量。

3、线程的工作内存:JMM抽象出的一种内存模型。
   首先,所有的变量都是储存在主内存中的,每个线程都有自己的独立的工作内存,里面保存的是该线程使用到的变量的副本(它们是内存这些变量的一份拷贝,而变量的原件是保存在主内存的)。
   线程修改的变量的值是修改的该线程的工作内存中的变量的副本,然后再将修改后的值刷新到主内存中。
   此时,其他线程能否及时地看到主内存中该变量的更新的值,这时就涉及到了“可见性”问题。
   
4、JMM中有两条规定:
   (1)线程对共享变量的所有操作都必须在自己的工作内存中进行,不能直接在主内存中读写;
   (2)不同的线程之间不能直接访问其他线程工作内存的变量,线程之间变量值得传递只能通过主内存来传递。
   
5、实现共享变量的可见性,必须保证两点:
   (1)线程修改后的共享变量值能够及时从线程工作内存中刷新到主内存中;
   (2)其他线程能够及时把共享变量的在、最新值从主内存更新到自己的工作内存中。
   
6、java支持的可见性实现的两种方式:synchronized、volatile。
(1)synchronized能够保证同步方法或同步代码块中变量的复合操作的原子性;也能保证变量的可见性。
(2)volatile不能保证变量的复合操作的原子性;只能保证变量的可见性。


7、JMM关于synchronized的两条规定(synchronized如何实现内存可见性):
(1)线程加锁时,将清空工作内存中共享变量的值,从而使用共享变量时需要从主内存中重新读取最新的值。
(2)线程解锁时,必须把共享变量的最新值刷新到主内存中。

8、synchronized线程执行互斥代码的六个过程:
(1)获得互斥锁;
(2)清空工作内存;
(3)从主内存中拷贝变量的最新值到工作内存;
(4)执行代码;
(5)将更改后的共享变量的值刷新到主内存;
(6)释放互斥锁。


9、指令重排序:重排序不会对单线程带来内存可见性问题。但是多线程交互时,指令重排序可能会造成内存可见性问题。


10、volatile如何实现内存可见性:通过加入内存屏障和禁止重排序来优化实现的。
(1)对volatile变量执行写操作时,会在写操作后加入一条store屏障指令;
(2)对volatile变量执行读操作时,会在读操作前加入一条load屏障指令。

11、volatile如何实现内存可见性:
(1)线程写volatile变量的过程:
    1.改变线程工作内存中volatile变量副本的值
    2.将改变后的副本的值从工作内存刷新的主内存


(2)线程读volatile变量的过程:
   1.从主内存中读取volatile变量的最新值到线程的工作内存中
   2.从工作内存中读取volatile变量的副本
   
12、volatile不能保证变量复合操作的原子性:
private int number = 0;                              
number++; //不是原子操作 

number++的步骤                                      
1.读取number的值  
2.将number的值加1  
3.写入最新的number的值                             

    synchronized(this){  //加入synchronized,变为原子操作
       number++;
    }

private volatile int number = 0;//变为volatile变量,无法保证原子性    
 
 13、volatile和synchronized的区别
(1)volatile本质是在告诉jvm当前变量在寄存器(工作内存)中的值是不确定的,需要从主存中读取; synchronized则是锁定当前变量,只有当前线程可以访问该变量,其他线程被阻塞住。
(2)volatile仅能使用在变量级别;synchronized则可以使用在变量、方法、和类级别的。
(3)volatile仅能实现变量的修改可见性,不能保证原子性;而synchronized则可以保证变量的修改可见性和原子性。
(4)volatile不会造成线程的阻塞;synchronized可能会造成线程的阻塞。
(5)volatile标记的变量不会被编译器优化;synchronized标记的变量可以被编译器优化。
 

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/news/439656.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

Coursera自动驾驶课程第7讲:Vehicle Lateral Control

在上一讲《Coursera自动驾驶课程第6讲:Vehicle Longitudinal Control》中我们了解了如何使用PID算法进行汽车纵向控制。 本讲我们继续学习新的模块:汽车横向控制。具体地,我们将学习三种控制算法:Pure pursuit,Stanle…

【CodeForces - 697C】Lorenzo Von Matterhorn(二叉树,思维)

题干: 巴尼住在NYC。NYC具有从1开始的正整数编号的无数个交叉点。在交叉点 i 和 2i 之间以及 i和 2i  1 之间存在双向道路,对任意整数 i 都满足。在任意两点之间都有且只有一条最短路。 最初任何人都可以通过任何道路免费。 但是后来发生了 q 个事件。…

Coursera自动驾驶课程第8讲:Basics of 3D Computer Vision

在上一讲《Coursera自动驾驶课程第7讲:Vehicle Lateral Control》中我们了解了如何对汽车进行横向控制。 本课程第一个篇章就暂时告一段落了,接下来我们开始学习新的篇章。 课程第二个篇章是状态估计和定位模块。不过在这里我做了一下调整,我…

volatile和synchronized的区别与联系

这个可能是最好的对比volatile和synchronized作用的文章了。volatile是一个变量修饰符,而synchronized是一个方法或块的修饰符。所以我们使用这两种关键字来指定三种简单的存取变量的方式。 int i1; int geti1() { return i1; } volati…

【CodeForces - 628C】Bear and String Distance(贪心,构造)

Description 定义两个小写字母之间的距离为这两个字母在字母表中的距离,如dis(a,z)25,dis(a,c)2,两个长度相同串的距离为这两个串对应位置字母距离之和。现给出一个长度为n的串s和一个距离k,问是否存在一个长度为n的串ss,使得dis…

Coursera自动驾驶课程第9讲:Visual Features Detection Description and Matching

在上一讲《Coursera自动驾驶课程第8讲:Basics of 3D Computer Vision》中我们学习了计算机视觉基本知识。 本讲我们将学习计算机视觉中的视觉特征模块。 B站视频链接:https://www.bilibili.com/video/BV1PE411D72p 文章目录1. Introduction to Image f…

【CodeForces - 514C】Watto and Mechanism(字符串哈希)

题干: 输入n个字符串,然后进行m次询问,每次询问输入一个字符串,问n个字符串中是否存在与当前输入的字符串长度相等,并且刚好有且仅有一个位置的字符不同。存在则输出YES,不存在输出NO。 Examples Input …

并发编程(原子性、可见性、一致性)

1、原子性(Atomicity) 原子性是指在一个操作中就是cpu不可以在中途暂停然后再调度,既不被中断操作,要不执行完成,要不就不执行。 如果一个操作时原子性的,那么多线程并发的情况下,就不会出现变…

Coursera自动驾驶课程第10讲:Feedforward Neural Networks

在上一讲《Coursera自动驾驶课程第9讲:Visual Features Detection Description and Matching》中我们学习了如何进行图像特征检测,特征匹配以及如何构建视觉里程计来估计相机的运动。 本讲我们将学习神经网络模块,关于神经网络或深度学习网上…

【CodeForces - 514D】R2D2 and Droid Army(二分+滑动窗口ST表,或 尺取+单调队列或STLmultiset)

题干: An army of n droids is lined up in one row. Each droid is described by m integers a1, a2, ..., am, where ai is the number of details of the i-th type in this droids mechanism. R2-D2 wants to destroy the sequence of consecutive droids o…

守护进程和守护线程

对于JAVA而言,一般一个应用程序只有一个进程——JVM。除非在代码里面另外派生或者开启了新进程。 而线程,当然是由进程开启的。当开启该线程的进程离开时,线程也就不复存在了。 所以,对于JAVA而言,线程是完全可以由自…

Coursera自动驾驶课程第11讲:2D Object Detection

在上一讲《Coursera自动驾驶课程第10讲:Feedforward Neural Networks》中我们学习了神经网络的基础知识,包括损失函数,梯度下降,正则化,卷积网络等。 本讲我们将学习深度学习的一个重要应用:图像目标检测。…

【CodeForces - 460C】Present(二分+树状数组)

题干: 给定N朵花的原先的高度,从左到右排列,最多浇水m天,每天只能浇一次,每次使得连续的w朵花的高度增长1,问最后最矮的花的高度最高是多少。 Examples Input 6 2 3 2 2 2 2 1 1Output 2Input 2 5 1 …

多线程知识梳理(1) - 并发编程的艺术笔记

第三章 Java内存模型 3.1 Java内存模型的基础 通信 在共享内存的模型里,通过写-读内存中的公共状态进行隐式通信;在消息传递的并发模型里,线程之间必须通过发送消息来进行显示的通信。同步 在共享内存并发模型里,同步是显示进行…

Coursera自动驾驶课程第12讲:Semantic Segmentation

在上一讲《Coursera自动驾驶课程第11讲:2D Object Detection》我们学习了深度学习的一个重要应用:目标检测。 本讲我们将学习深度学习的另一个重要应用:语义分割。这是图片像素级的一个重要应用。 B站视频链接:https://www.bili…

【CodeForces - 697D】Puzzles(树形dp,期望dp)

题目大意: 给定一棵树,从1开始,按DFS的方式访问这棵树 每次从父亲节点随机访问儿子,问每个节点被访问到的时间的期望 输入:第一行一个数n,代表n个节点。第二行n-1个数p2,p3,p4,p5...,pn-1,其…

多线程知识梳理(2) - 并发编程的艺术笔记

layout: post title: 《Java并发编程的艺术》笔记 categories: Java excerpt: The Art of Java Concurrency Programming. <img src"http://upload-images.jianshu.io/upload_images/658453-a94405da52987372.jpg?imageMogr2/auto-orient/strip%7CimageView2/2/w/1240…

Coursera自动驾驶课程第13讲:Least Squares

在上一讲《Coursera自动驾驶课程第12讲&#xff1a;Semantic Segmentation》我们学习了深度学习的另一个重要应用&#xff1a;语义分割。至此&#xff0c;本课程的视觉感知模块就介绍完了。 从本讲开始&#xff0c;我们将学习一个新的模块&#xff0c;也是本课程的第三个模块&…

【POJ - 3211】Washing Clothes (dp,0-1背包中点问题)

题干&#xff1a; Dearboy was so busy recently that now he has piles of clothes to wash. Luckily, he has a beautiful and hard-working girlfriend to help him. The clothes are in varieties of colors but each piece of them can be seen as of only one color. In…

java多线程同步synchronized——对象监视器

1、synchronized关键字的作用域有二种&#xff1a; 1&#xff09;是某个对象实例内&#xff0c;synchronized aMethod(){}可以防止多个线程同时访问这个对象的synchronized方法&#xff08;如果一个对象有多个synchronized方法&#xff0c;只要一个线程访问了其中的一个synchro…