并发一:Java内存模型和Volatile
并发一:Java内存模型和Volatile
一、Java内存模型(JMM)
Java内存模型的主要目标是定义程序中各个变量的访问规则,即在虚拟机中将变量存储到内存和在内存中取出变量的底层细节,是围绕着在并发过程中如何处理原子性,可见性和有序性这3个特性建立的
JMM规则
- 变量包含实例字段,静态字段,构成数组对象的元素,不包含局部变量和方法参数。
- 变量都存储在主内存上
- 每个线程都有自己的工作内存,工作内存保存了被该线程使用到的变量的主内存副本拷贝
- 线程对变量的所有操作都只能在工作内存,不能直接读写主内存的变量
- 不同线程之间无法之间访问对方工作内存中的变量
定义一个静态变量:static int a = 1;
线程A工作内存 | 指向 | 主内存 | 操作 |
---|---|---|---|
-- | -- | a = 1 | -- |
a = 1 | <-- | a = 1 | 线程A拷贝主内存变量副本 |
a = 3 | -- | a = 1 | 线程A修改工作内存变量值 |
a = 3 | --> | a = 3 | 线程A工作内存变量存储到主内存变量 |
上面的一系列内存操作,在JMM中定义了8种操作来完成
JMM交互
主内存和工作内存之间的交互,JMM定义了8种操作来完成,每个操作都是原子性的
- lock(锁定):作用于主内存变量,把一个变量标识为一条内存独占的状态
- unlock(解锁):作用于主内存变量,把lock状态的变量释放出来,释放出来后才能被其他线程锁定
- read(读取):作用于主内存变量,把一个变量的值从主内存传输到工作内存中
- load(载入):作用于工作内存变量,把read操作的变量放入到工作内存副本中
- use(使用):作用于工作内存变量,把工作内存中的变量的值传递给执行引擎,每当虚拟机遇到需要这个变量的值的字节码指令时都执行这个操作
- assgin(赋值):作用于工作内存变量,把从执行引擎收到的值赋值给工作内存变量,每当虚拟机遇到需要赋值变量的值的字节码指令时都执行这个操作
- store(存储):作用于工作内存变量,把工作内存中的一个变量值,传送到主内存
- write(写入):作用于主内存变量,把store操作的从工作内存取到的变量写入主内存变量中
二、volatile
当引入线程B的时候
定义一个静态变量:static int a = 1;
操作顺序 | 线程A工作内存 | 线程B工作内存 | 指向 | 主内存 | 操作 |
---|---|---|---|---|---|
-- | -- | -- | -- | a = 1 | -- |
1 | a = 1 | -- | <-- | a = 1 | 线程A拷贝主内存变量副本 |
2 | a = 3 | -- | -- | a = 1 | 线程A修改工作内存变量值 |
3 | a = 3 | -- | --> | a = 1 | 线程A工作内存变量存储到主内存变量,主内存变量还未更新 |
4.1 | a = 3 | a = 1 | <-- | a = 3 | 线程B拷贝主内存变量副本随后主内存变量更新线程A工作内存变量 |
4.2 | a = 3 | a = 1 | <-- | a = 3 | 线程A工作内存变量存储到主内存变量随后线程B获取主内存变量副本 |
操作4的时候可能出现:1.线程A变量值还未保存到主内存变量,2.线程A变量值保存到主内存变量。使用volatile关键字解决这个问题
public static volatile int a = 1;
特性
- 保证此变量对所有线程可见,一条线程修改的值,其他线程对新值可以立即得知
- 禁止指令重排序
可见性
修改内存变量后立刻同步到主内存中,其他的线程立刻得知得益于Java的先行发生原则
先行发生原则中的volatile原则:一个volatile变量的写操作先行于后面发生的这个变量的读操作,时间顺序
定义一个静态变量:static int a = 1;
线程A工作内存 | 线程B工作内存 | 指向 | 主内存 | 操作 |
---|---|---|---|---|
-- | -- | -- | a = 1 | -- |
a = 1 | -- | <-- | a = 1 | 线程A拷贝主内存变量副本 |
a = 3 | -- | -- | a = 1 | 线程A修改工作内存变量值 |
a = 3 | -- | --> | a = 1 | 线程A工作内存变量存储到主内存变量 |
a = 3 | a = 3 | <-- | a = 3 | volatile原则:主内存变量保存线程A工作内存变量操作在线程B工作内存读取主内存变量操作之前 |
指令重排序和内存屏障
指令重排序:JVM在编译Java代码的时候或者CPU在执行JVM字节码的时候,对现有的指令进行重新排序,目的是为了再不影响最终结果的前提下,优化程序的执行效率
内存屏障:一种屏障指令,让CPU或比编译器对屏蔽指令之前和之后发出的内存操作执行一个排序约束。
编译器在生成字节码时,会在指令序列中插入内存屏障来禁止特定类型的处理器重排序。
非线程安全
public class VolatileTest implements Runnable {
public static volatile int num;
@Override
public void run() {
for (int i = 0; i < 1000; i++) {
num++;
}
}
public static void main(String[] args) {
for(int i = 0; i < 100; i++) {
VolatileTest t = new VolatileTest();
Thread t0 = new Thread(t);
t0.start();
}
System.out.println(num);
}
}
这段代码的结果有可能不是100000,有可能小于100000。
因为num++不是原子操作
使用原则
- 运行结果并不依赖变量的当前值,或者能够确保只有单一的线程修改变量的值
- 变量不需要与其他的状态变量共同参与不变约束
三、原子性、可见性、有序性
原子性
一个操作是不可中断的。即使是在多个线程一起执行的时候,一个操作一旦开始,就不会被其它线程干扰
原子性保障
- synchronized:monitorenter和monitorexit指令
- atomic类型:底层为native方法
- 基本数据类型(long,double非原子协定除外)
可见性
当一个线程修改了共享变量的值,其他线程立即可知
可见性保障
- volatile:先行发生(happens-before)原则
- synchronized:对一个同步块unlock之前必须把工作内存变量同步到主内存中
- final:final修饰的字段在构造器中初始化完成后,并且构造器没有把this引用传递出去,其他线程中就能看见final字段值
有序性
程序执行的顺序按照代码的先后顺序执行,在Java内存模型中,允许编译器和处理器对指令进行重排序,但是重排序过程不会影响到单线程程序的执行,却会影响到多线程并发执行的正确性
有序性保障
- volatile:先行发生(happens-before)原则
- synchronized:同一个时间只能有一个线程获得锁
先行发生(happens-before)原则
JMM中两项操作之间的偏序关系,如果操作A发生于操作B之前,操作A发生的影响可以被操作B观察到
单线程和正确同步的多线程的执行结果不会被改变
规则
如果两个操作不在下列规则中,虚拟机可以对其重排序
- 程序次序规则:在一个线程内按控制流顺序
- 管程锁定规则:锁的unlock操作先发生于后面同一个锁的lock操作
- volatile变量规则:一个volatile变量的写操作先行于后面发生的这个变量的读操作
- 线程启动规则:start()先发生于此线程的每一个操作
- 线程终止规则:线程的所有操作都先发生于线程终止操作
- 线程中断规则:对线程interrupt()方法先行于被中断线程的代码检查到中断事件的发生
- 对象终结规则:一个对象初始化完成先发生于它的finalize()方法的开始
- 传递性:操作A在操作B前,操作B在操作C前,操作A一定在操作C前
并发一:Java内存模型和Volatile的更多相关文章
- 黑马-----内存模型和volatile详解
黑马程序员:Java培训.Android培训.iOS培训..Net培训 JAVA线程-内存模型和volatile详解 一.单核内存模型 1.程序运行时,将临时数据存放到Cache中 2.将CPU计算所 ...
- Java内存模型和JVM内存管理
Java内存模型和JVM内存管理 一.Java内存模型: 1.主内存和工作内存(即是本地内存): Java内存模型的主要目标是定义程序中各个变量的访问规则,即在JVM中将变量存储到内存和从内存中取 ...
- Java 内存模型和 JVM 内存结构真不是一回事
这两个概念估计有不少人会混淆,它们都可以说是 JVM 规范的一部分,但真不是一回事!它们描述和解决的是不同问题,简单来说, Java 内存模型,描述的是多线程允许的行为 JVM 内存结构,描述的是线程 ...
- JVM内存结构、Java内存模型和Java对象模型
Java作为一种面向对象的,跨平台语言,其对象.内存等一直是比较难的知识点.而且很多概念的名称看起来又那么相似,很多人会傻傻分不清楚.比如本文要讨论的JVM内存结构.Java内存模型和Java对象模型 ...
- JAVA内存模型和Happens-Before规则
前言 上一篇文章王子给大家介绍了并发编程中比较关心的三个核心问题,可见性.有序性和原子性. 今天我们继续来探索并发编程的内容,聊一聊JAVA的内存模型和Happens-Before规则. JAVA内存 ...
- Java线程角度的内存模型和volatile型变量
内存模型的目标是定义程序中各个变量的访问 规则,即在虚拟机中将变量(包括实例字段,静态字段和构成数组对象的元素,不包括局部变量与方法参数,因为后者是线程私有的)存储到内存和从内存中取出变量这样的底层细 ...
- Java内存模型和ConcurrentHashMap 1.7源码分析
简介 ConcurrentHashMap 是 util.concurrent 包的重要成员.本文将结合 Java 内存模型,分析 JDK 源代码,探索 ConcurrentHashMap 高并发的具体 ...
- Java虚拟机内存模型和volatile型变量
Java虚拟机内存模型 了解Java虚拟机的内存模型,有助于我们明白为什么会发生线程安全问题. 上面这幅图是<深入理解Java虚拟机-JVM高级特性与最佳实践>的书中截图. 线程共享的变量 ...
- 【Java】JMM内存模型和JVM内存结构
JMM内存模型和JVM内存结构 JAVA内存模型(Java Memory Model) Java内存模型,一般指的是JDK 5 开始使用的新的内存模型,主要由JSR-133: JavaTM Memor ...
随机推荐
- [Luogu] 四子连棋
https://www.luogu.org/problemnew/show/P2346 广搜 #include<iostream> #include<cstring> #inc ...
- LibreOJ #6000. 「网络流 24 题」搭配飞行员
二次联通门 : LibreOJ #6000. 「网络流 24 题」搭配飞行员 /* LibreOJ #6000. 「网络流 24 题」搭配飞行员 二分图最大匹配 Dinic最大流 + 当前弧优化 */ ...
- idea 启动 Error running 'XxGatewayApplication': Command line is too long. Shorten command line for XxGatewayApplication or also for Spring Boot default
在idea workspace里 <component name="PropertiesComponent">标签下加入 <property name=" ...
- c实现队列
使用链表实现队列的入队和出队 #include <iostream> #include <stdio.h> #include <string.h> #include ...
- Print工具类
这篇文章已经废弃. 实际开发中,打印信息只会用日志框架(Log4j2). 受到Thinking in Java中静态引入(import static)的启发, Deolin也打算写一个方便自己的工具类 ...
- c语言 指针数组
指针数组指针数组是数组,指针数组每个元素是一个指针指针数组的定义:type* parray[n]; type* 是数组中每个元素的类型parray 为数组名n为大小 例子:float* a[3] // ...
- Liunx之nginx配置
一.nginx安装 卸载yum安装的ngjnx yum remove nginx -y 编译安装nginx步骤 编译安装nginx的步骤 1.解决软件依赖 yum install gcc patch ...
- Centos 查看CPU个数、核心数等信息
总核数 = 物理CPU个数 X 每颗物理CPU的核数 总逻辑CPU数 = 物理CPU个数 X 每颗物理CPU的核数 X 超线程数 查看物理CPU个数 cat /proc/cpuinfo| grep & ...
- richtextbox Ctrl+V只粘贴纯文本格式
只能粘贴剪切板中的TXT内容 并且 不能改变 剪切板的内容1 当用户按下Ctrl+V屏蔽系统的粘贴功能,然后添加自己的功能2019年12月19日 19:34:38 private void richT ...
- 中国萌兔-月饼工厂流水线 -万圣节萌宠-月饼售罄后续-B站东予薏米
B站(Blibli)up主,东予薏米.下面画的五只兔兔,两只狗狗,一只猫猫都是她家的 啊!有个会画画的主人真是幸福- 蹦迪的那个兔兔头昏脑胀,敷了冰袋和膏药哈哈哈哈,好可爱! 下班了下班了~今天真是太 ...