3java内存模型

 

java线程利用共享内存进行通信

 

 

 

 
实例、静态内容、数组、类都存在堆内存，在线程间共享。
而局部变量和方法参数等不共享。
a线程将共享变量写入主内存再被b读取到。

 

java的源代码编译和处理会经过指令重排。

 

缓冲区可以提高效率，但可能导致指令重排。

 

读脏数据：

 

内存屏障可以组织特定重排序

 

一个模型用来保证先后顺序

 

 

 

 

 

保证重排序不影响单线程的的执行结果。即不会对存在数据依赖的操作做重排序

 

单线程按顺序执行指令只是一个幻觉！

 

指令重排可能导致多线程结果出错。

 

 

 

 

 

 

 

 

 

 

 

volatile变量的读写过程。volatile变量改写时，其他线程的内存中改变量会置为无效

 

 

 

volatile通过内存屏障实现增强语义

 


 

 

 

锁的语义与volatile几乎一致。

 

 

 

公平锁：读volatile变量，如果可以则获取锁，执行操作，再写volatile变量。
非公平：不论是否可以获取锁，先用cas操作读volatile变量并修改。
于是这两个锁都有volatile的读写语义。

 

什么是cas？

 

cas操作就是比较并交换，可以用这个原理实现原子操作，但是本身存在一些不足。

 

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

 

并发包实现原理

 

final：略
 
单例模式中使用的双重检查锁定

 

 

 

 

 

 

 

 

 

 

 

比较两个可行方案