3java内存模型
Java并发编程艺术----读书笔记(三)_java并发

 

java线程利用共享内存进行通信
Java并发编程艺术----读书笔记(三)_java并发_02

 

 
Java并发编程艺术----读书笔记(三)_java并发_03

 

 
实例、静态内容、数组、类都存在堆内存,在线程间共享。
而局部变量和方法参数等不共享。
a线程将共享变量写入主内存再被b读取到。
Java并发编程艺术----读书笔记(三)_jvm_04

 

java的源代码编译和处理会经过指令重排。
Java并发编程艺术----读书笔记(三)_java_05

 

缓冲区可以提高效率,但可能导致指令重排。
Java并发编程艺术----读书笔记(三)_java并发_06

 

读脏数据:
Java并发编程艺术----读书笔记(三)_java内存管理_07

 

内存屏障可以组织特定重排序
Java并发编程艺术----读书笔记(三)_java并发_08

 

一个模型用来保证先后顺序
Java并发编程艺术----读书笔记(三)_JUC_09

 

 
Java并发编程艺术----读书笔记(三)_java并发_10

 

 
Java并发编程艺术----读书笔记(三)_JUC_11

 

保证重排序不影响单线程的的执行结果。即不会对存在数据依赖的操作做重排序
Java并发编程艺术----读书笔记(三)_java内存管理_12

 

单线程按顺序执行指令只是一个幻觉!
Java并发编程艺术----读书笔记(三)_jvm_13

 

指令重排可能导致多线程结果出错。
Java并发编程艺术----读书笔记(三)_java并发_14

 

 
Java并发编程艺术----读书笔记(三)_java并发_15

 

 
Java并发编程艺术----读书笔记(三)_java内存管理_16

 

 
Java并发编程艺术----读书笔记(三)_JUC_17

 

 
Java并发编程艺术----读书笔记(三)_java_18

 

 
Java并发编程艺术----读书笔记(三)_java并发_19

 

volatile变量的读写过程。volatile变量改写时,其他线程的内存中改变量会置为无效
Java并发编程艺术----读书笔记(三)_java内存管理_20

 

 
Java并发编程艺术----读书笔记(三)_java内存管理_21

 

volatile通过内存屏障实现增强语义
Java并发编程艺术----读书笔记(三)_jvm_22

 


 

 
Java并发编程艺术----读书笔记(三)_java并发_23

 

锁的语义与volatile几乎一致。
Java并发编程艺术----读书笔记(三)_java并发_24

 

 
Java并发编程艺术----读书笔记(三)_java内存管理_25

 

公平锁:读volatile变量,如果可以则获取锁,执行操作,再写volatile变量。
非公平:不论是否可以获取锁,先用cas操作读volatile变量并修改。
于是这两个锁都有volatile的读写语义。
Java并发编程艺术----读书笔记(三)_JUC_26

 

什么是cas?
Java并发编程艺术----读书笔记(三)_JUC_27

 

cas操作就是比较并交换,可以用这个原理实现原子操作,但是本身存在一些不足。
Java并发编程艺术----读书笔记(三)_JUC_28

 

新版jdk解决了cas操作所存在的一些问题,可以赋予cas读写volatile变量的语义,从而使多线程的指令不会产生错误重排序,并且可以较好地实现原子操作,使多线程的通信成为可能,这也是并发包concurrent的基础
Java并发编程艺术----读书笔记(三)_JUC_29

 

并发包实现原理
Java并发编程艺术----读书笔记(三)_JUC_30

 

final:略
 
单例模式中使用的双重检查锁定
Java并发编程艺术----读书笔记(三)_java_31

 

 
Java并发编程艺术----读书笔记(三)_jvm_32

 

 
Java并发编程艺术----读书笔记(三)_jvm_33

 

 
Java并发编程艺术----读书笔记(三)_jvm_34

 

 
Java并发编程艺术----读书笔记(三)_java内存管理_35

 

 
Java并发编程艺术----读书笔记(三)_JUC_36

 

比较两个可行方案
Java并发编程艺术----读书笔记(三)_java_37