Java并发编程的艺术(四)——JMM、重排序、happens-before
什么是JMM
JMM就是Java内存模型。目的是为了屏蔽系统和硬件的差异,让同一代码在不同平台下能够达到相同的访问结果。规定了线程和内存之间的关系。
内存划分
JMM规定了内存主要划分为主内存和工作内存。
如果Java线程都去操作主内存,对性能的影响就很大,如果每个线程都具有自己的工作内存,然后再将工作内存与主内存进行同步,就能提高性能。
这也会带来很多副作用,就是线程对内存的可见性问题,线程安全的问题。
JMM与JVM区别
不用Java虚拟机的内存区域划分,是两种逻辑的存在,是不同层次的划分结果。侧重点各有不同。主内存可以对应Java堆中的对象实例部分,工作内存可以对应栈中的部分。更低层次地来说,主内存对应硬件的物理内存,工作内存对应的是寄存器和高速缓存。
重排序
什么是重排序
重排序是编译器和处理器为了优化程序性能,对指令序列进行重新排序的行为。
重排序分类
- 编译器优化重排序:编译器在不改变单线程程序语义的前提下,对语句的执行顺序进行排序。
- 指令级并行重排序:采用指令级并行技术将多条指令重叠执行,如果不存在数据依赖性,则处理器可以改变指令的执行顺序。
- 内存系统的重排序:处理器使用缓存和读写缓冲器,为了提高内存的读写性能,指令数据进行排序。
1属于编译器重排序,2和3处于处理器重排序。
重排序的问题
- 重排序可能会导致多线程程序出现内存可见性问题。编译器排序规则需要禁止特定类型的编译器重排序。处理器排序规则需要插入特定得内存屏障来禁止特定得处理器重排序。
数据依赖性
如果两个操作同时访问一个变量,而且这两个操作中有写,那么这两个操作就存在数据依赖性。
广义的说,如果改变了两个操作的顺序,就会出现不同的执行结果,那么就存在数据依赖。
对于有数据依赖的执行,不会发生重排序。
as-if-serial
as-if-serial语义的意思是:不管怎么重排序,单线程程序执行的结果不能被改变。处理器和编译器不会对存在数据依赖的执行进行重排序。
happens-before
在JMM中,如果一个操作的执行结果需要对另一个线程可见,那么这两个操作需要存在happens-before关系。可以是一个线程内的,也可以多线程。
happens-before 规则
- 程序顺序规则:一个线程中的每一个操作,执行顺序与程序的的书写书顺序一致。
- 管程锁定规则:一个解锁操作一定发生于下一次加锁之前。所以,synchronized同步的时候,所内的执行代码对后续同步该锁的线程是完全可见的。
- volatile变量规则:对于一个volatile变量的写,先行发生在后续对这个变量的读。
- 传递性:如果A操作先于B,B操作先于C,则A先于C。
- 线程启动规则:Thread对象的start方法先行发生于这个线程的后续动作。
- 线程中止规则:Thread对象的中止检测(如:Thread.join(),Thread.isAlive()等)操作,必行晚于线程中所有操作。
- 线程中断规则:对线程的interruption()调用,先于被调用的线程检测中断事件(Thread.interrupted())的发生。
- 对象中止规则:一个对象的初始化方法先于一个方法执行Finalizer()方法
两个操作具有happens-before关系不是要求这个两个对象的执行顺序,而是仅仅要求前一个操作的执行结果对后一个操作可见。
Java并发编程的艺术(四)——JMM、重排序、happens-before的更多相关文章
- Java并发编程的艺术(四)——线程的状态
线程的状态 初始态:NEW 创建一个Thread对象,但还未调用start()启动线程时,线程处于初始态. 运行态:RUNNABLE 在Java中,运行态包括就绪态 和 运行态. 就绪态 该状态下的线 ...
- 读书笔记之《Java 并发编程的艺术》
一.多线程语义 即使是单核处理器也支持多线程执行代码,CPU 通过给每个线程分配 CPU 时间片来执行任务,当前任务执行一个时间片后会切换到下一个任务,所以 CPU 通过不停的切换线程执行. 并发执行 ...
- 读《Java并发编程的艺术》(一)
离开博客园很久了,自从找到工作,到现在基本没有再写过博客了.在大学培养起来的写博客的习惯在慢慢的消失殆尽,感觉汗颜.所以现在要开始重新培养起这个习惯,定期写博客不仅是对自己学习知识的一种沉淀,更是在督 ...
- 《Java并发编程的艺术》留给自己以后看的笔记
<Java并发编程的艺术>这本书特别好,和<深入了解JAVA虚拟机>有一拼,建议做java的都看看,下面全部都是复制书中的部分内容,主要目的是做个笔记,方便以后遇到问题能找到. ...
- 《Java并发编程的艺术》读书笔记:二、Java并发机制的底层实现原理
二.Java并发机制底层实现原理 这里是我的<Java并发编程的艺术>读书笔记的第二篇,对前文有兴趣的朋友可以去这里看第一篇:一.并发编程的目的与挑战 有兴趣讨论的朋友可以给我留言! 1. ...
- Java并发编程的艺术读书笔记(2)-并发编程模型
title: Java并发编程的艺术读书笔记(2)-并发编程模型 date: 2017-05-05 23:37:20 tags: ['多线程','并发'] categories: 读书笔记 --- 1 ...
- Java并发编程的艺术(三)——volatile
1. 并发编程的两个关键问题 并发是让多个线程同时执行,若线程之间是独立的,那并发实现起来很简单,各自执行各自的就行:但往往多条线程之间需要共享数据,此时在并发编程过程中就不可避免要考虑两个问题:通信 ...
- Java并发编程的艺术,解读并发编程的优缺点
并发编程的优缺点 使用并发的原因 多核的CPU的背景下,催生了并发编程的趋势,通过并发编程的形式可以将多核CPU的计算能力发挥到极致,性能得到提升. 在特殊的业务场景下先天的就适合于并发编程. 比如在 ...
- java并发编程笔记(四)——安全发布对象
java并发编程笔记(四)--安全发布对象 发布对象 使一个对象能够被当前范围之外的代码所使用 对象逸出 一种错误的发布.当一个对象还没构造完成时,就使它被其他线程所见 不安全的发布对象 某一个类的构 ...
- Java并发编程的艺术读书笔记(1)-并发编程的挑战
title: Java并发编程的艺术读书笔记(1)-并发编程的挑战 date: 2017-05-03 23:28:45 tags: ['多线程','并发'] categories: 读书笔记 --- ...
随机推荐
- 【java从入门到精通】day-07-逻辑运算符-位运算符-条件运算符-扩展赋值运算符
逻辑与(&&).或(||).非(!) 示例: package operator;public class Demo05 { public static void main(St ...
- 企业网络拓扑VRRP主备功能实例(一)
组网图形 VRRP主备备份简介 通常,同一网段内的所有主机上都存在一条相同的.以网关为下一跳的缺省路由.主机发往其他网段的报文将通过缺省路由发往网关,再由网关进行转发,从而实现主机与外部网络的通信. ...
- 结合实战和源码来聊聊Java中的SPI机制?
写在前面 SPI机制能够非常方便的为某个接口动态指定其实现类,在某种程度上,这也是某些框架具有高度可扩展性的基础.今天,我们就从源码级别深入探讨下Java中的SPI机制. 注:文章已收录到:https ...
- HDU100题简要题解(2020~2029)
HDU2020 绝对值排序 题目链接 Problem Description 输入n(n<=100)个整数,按照绝对值从大到小排序后输出.题目保证对于每一个测试实例,所有的数的绝对值都不相等. ...
- CTF-WEB-HCTF 2018 Warmup
题目链接 攻防世界-Warmup 解题思路 [原题复现]HCTF 2018 Warmup(文件包含)
- 百度ping工具
function postUrl($url, $postvar) { $ch = curl_init(); $headers = array( "POST".$url." ...
- Cypress系列(90)- Cypress.Cookies 命令详解以及如何跨测试用例共享 Cookies
如果想从头学起Cypress,可以看下面的系列文章哦 https://www.cnblogs.com/poloyy/category/1768839.html Cypress.Cookies 共有三个 ...
- Python相比其他计算机语言真的更有优势吗?
要了解Python相比其他计算机语言,首先要了解Python语言的特点 Python语言的特点 一.简单易学.明确优雅.开发速度快 ①简单易学:与 C 和 Java 比,Python的学习成本和难度曲 ...
- 关于CopyOnWriterArrayList的一些理解
学了cowarraylist之后,有些不明白的地方, 1.我们为什么要用写时复制的策略呢?,这样每次不是都要复制吗,性能不是很低吗?直接在元素组上扩容不好吗?而且读的时候数据一致性也保证不了,如果只是 ...
- Arduion学习(三)驱动温度传感器
一.实验目的: 1.将温度值打印显示在串口监视器 1.将温度值打印显示在串口,不同温度段显示不同的灯光,并在温度过高或过低时利用蜂鸣器报警. 二.实验准备: 1.查阅相关资料,了解本次实验所用到的引脚 ...