《JAVA多线程编程的艺术》-volatile重排序规则理解
来源:互联网 发布:logitech g502 mac 编辑:程序博客网 时间:2024/05/16 14:20
1.volatile写的内存语义如下:
- 当写一个volatile变量时,JMM会把该线程对应的本地内存中的共享变量刷新到主内存。
2.volatile读的内存语义如下:
- 当读一个volatile变量时,JMM会把该线程对应的本地内存置为无效。线程接下来将从主内存中读取共享变量。
3.volatile重排序规则表如下:
是否能重排序第二个操作第一个操作普通读/写volatile读volatile写普通读/写 NOvolatile读NONONOvolatile写 NONO- 当第二个操作是volatile写时,不管第一个操作是什么,都不能重排序。这个规则确保volatile写之前的操作不会被编译器重排序到volatile写之后。
- 当第一个操作是volatile读时,不管第二个操作是什么,都不能重排序。这个规则确保volatile读之后的操作不会被编译器重排序到volatile读之前。
- 当第一个操作是volatile写,第二个操作是volatile读时,不能重排序。
以上内容从原书摘录,原书并没有解释volatile重排序规则为什么这样,大概是这个规则很易理解,但对于我这个新手来说还是有些难度的,后来无意中将volatile的内存语义放在一块思考,终于理解了这个规则,在此记下,方便日后观看。
其实当这几点放在一块时,这个规则就很容易理解了,写一个volatile时,会把线程对应的本地内存中共享变量刷新到主内存(voaltile写内存语义),这就对应着第二个操作是写操作的规则,这里为什么不能重排序,因为重排序会导致volatile写之前的操作排在后面,如果这时进行volatile写操作就不能保证volatile写之前的共享变量数据的一致,如此就违背了内存语义。
读一个volatile,需要将本地内存置为无效,从主内存读取共享变量(volatile读内存语义),这条内存语义对应着第一个操作是volatile读的规则,如果在这里允许重排序,就会导致之前volatile读后面的操作不能够获取到主内存中的共享数据,这样也违背了内存语义。
第一个volatile写,第二个volatile读不能重排序,这个就不解释了,可见性嘛。阅读全文
0 0
- 《JAVA多线程编程的艺术》-volatile重排序规则理解
- Java并发编程的艺术(二)——重排序
- Java并发编程的艺术(二)——重排序
- Java的多线程机制系列:不得不提的volatile及指令重排序
- Java的多线程机制系列:(四)不得不提的volatile及指令重排序(happen-before)
- java并发编程的艺术【三】-【二】重排序与顺序一致性
- Java并发编程的艺术(三)——volatile
- Java并发编程的艺术(三)——volatile
- java并发编程的艺术(二)-----volatile、synchronized、final
- java多线程编程的volatile应用
- Java并发编程之volatile的理解
- 深入理解Java虚拟机笔记---volatile变量的特殊规则
- Java多线程编程-volatile关键字
- Java重排序对多线程的影响
- java重排序理解
- Java 多线程编程之二 volatile 关键字的使用
- Java 多线程编程之二 volatile 关键字的使用
- java多线程编程-volatile与synchronized之前的比较
- UVA10601 & Caioj1241【Polya计数法】Cubes
- 300.30 response实现文件下载
- 18、Date对象、常用方法、对象、标签、事件
- codeforces 555C
- 自定义抛出异常
- 《JAVA多线程编程的艺术》-volatile重排序规则理解
- java BufferedReader和PrintWriter
- Codeforces Round #438 B Race Against Time(模拟)
- window系统安装杂笔
- 前端之路随笔小记——属性:lang VS charset
- PAT 甲级 1091. Acute Stroke (30)
- 一点 · 线性表
- PAT 甲级 1093. Count PAT's (25)
- 前端的window.location