目录
JMM
虚拟机规范,用于屏蔽掉各种硬件和操作系统的内存访问差异,以实现让Java程序在各种平台下都能达到并发编程的原子性、可见性及有序性
CAS(比较并交换)
过程
- V:要更新的变量地址(var)
- E:预期值(expected) //V变量该有的值
- N:新值(new)
比较并交换的过程如下:
存在的问题
- ABA:加上时间戳或版本号
- 循环时间长开销大,自旋
- 只能保证一个共享变量的原子操作
as-if-serial
- 保证单线程内程序的执行结果不被改变
happens-before规则
-
程序顺序规则:一个线程中的每个操作,happens-before于该线程中的任意后续操作。
-
监视器锁规则:对一个锁的解锁,happens-before于随后对这个锁的加锁。
-
volatile变量规则:对一个volatile域的写,happens-before于任意后续对这个volatile域的读。
-
传递性:如果A happens-before B,且B happens-before C,那么A happens-before C。
-
给程序员使用的规则
-
只要写代码的时候遵循happens-before规则
-
JVM就能保证指令在多线程之间的顺序性符合程序员的预期
volatile关键字
volatile作用
可见性
- 写:线程本地内存中共享变量的值写入到内存中
- 读:线程本地内存中共享变量的值置为无效,从内存中重新读取
有序性
对一个volatile域的写,happens-before于任意后续对这个volatile域的读
volatile内存语义的实现
原子性
不能保证原子性
必须借助于synchronized和Lock来保证整块代码的原子性
作用
- 状态标记量
- 单例模式