1.CAS
CAS比较并交换,没啥好说的,下面来说一下具体实现底层
- CAS底层是由native修饰的,native是调用的本地C++代码Safe.app类中的 lock _IF_MP方法,什么意思呢?就是说如果(IF)计算机是多核状态下(MP)加锁(lock),在什么时候加锁呢,在比较并交换的时候
- 相比于synchronized,CAS是基于cpu实现的数据一致性,而synchronized是基于jvm层操作的,锁的粒度可以更大。CAS的性能将会更高
-
Doug Lea在CAS的基础上帮助我们实现了一些原子类,其中就包括现在看到的AtomicInteger,还有其他很多原子类……
CAS的缺点:CAS只能保证对一个变量的操作是原子性的,无法实现对多行代码实现原子性。
-
CAS的问题:
-
ABA问题:问题如下,可以引入版本号的方式,来解决ABA的问题。Java中提供了一个类在CAS时,针对各个版本追加版本号的操作。 AtomicStampeReference
-
AtomicStampedReference在CAS时,不但会判断原值,还会比较版本信息。
-
public static void main(String[] args) {
AtomicStampedReference<String> reference = new AtomicStampedReference<>("AAA",1);
String oldValue = reference.getReference();
int oldVersion = reference.getStamp();
boolean b = reference.compareAndSet(oldValue, "B", oldVersion, oldVersion + 1);
System.out.println("修改1版本的:" + b);
boolean c = reference.compareAndSet("B", "C", 1, 1 + 1);
System.out.println("修改2版本的:" + c);
}
-
自旋时间过长问题:
- 可以指定CAS一共循环多少次,如果超过这个次数,直接失败/或者挂起线程。(自旋锁、自适应自旋锁)
- 可以在CAS一次失败后,将这个操作暂存起来,后面需要获取结果时,将暂存的操作全部执行,再返回最后的结果。
2.AQS
AQS的数据结构是一个volatile的state和一个双向队列,ReentrantLock底层是基于AQS实现的,有一个基于CAS维护的state变量来实现锁的操作,而ReentrantLock是Lock接口的一个实现
3.Volatile
- Volatile 是怎么保证线程之间的可见性的呢?首先我们先了解一下X86硬件的内存屏障?
sfence: store| 在sfence指令前的写操作当必须在sfence指令后的写操作前完成。 lfence:load | 在lfence指令前的读操作当必须在lfence指令后的读操作前完成。 mfence:modify/mix | 在mfence指令前的读写操作当必须在mfence指令后的读写操作前完成。
原子指令,如x86上的”lock …” 指令是一个Full Barrier,执行时会锁住内存子系统来确保执行顺序,甚至跨多个CPU。Software Locks通常使用了内存屏障或原子指令来实现变量可见性和保持程序顺序
-
字节码层面 ACC_VOLATILE
-
JVM层面 volatile内存区的读写 都加屏障
StoreStoreBarrier
volatile 写操作
StoreLoadBarrier
LoadLoadBarrier
volatile 读操作
LoadStoreBarrier
-
OS和硬件层面 volatile与lock前缀指令_volatile class lock指令前缀_zhifeng687的博客-CSDN博客 hsdis -VoHotSpot Dis Assembler windows lock 指令实现 | MESI实现
下面简单说一下MESI协议(硬件层数据一致性):
缓存一致性协议:现代CPU的数据一致性实现 = 缓存锁(MESI ...) + 总线锁(据说是拉高北桥芯片上的一根电容,把通往资源的通道堵死,达到资源独占的目的)
读取缓存以cache line为基本单位,目前64bytes
位于同一缓存行的两个不同数据,被两个不同CPU锁定,产生互相影响的伪共享问题
可以使用缓存行的对齐能够提高效率(定义7个Long 类型数据作为缓存行对齐)
经典面试题之(单列模式DDL双重检测为什么要加Volatile)?
半初始化:初始化时成员变量赋默认值,此刻INSTANCE=new T();instance已经不为空了
astore_1,指令重排乱序,先执行了m=0默认值,然后赋值给Instance(astore_1这个操作),然后才赋的初始值m=8