compareAndSet / Compare and Swap
三个参数(内存值V,旧的预期值A,要修改的新值B){}
CAS有3个操作数,内存值V(当前值),旧的预期值A,要修改的新值B。当且仅当预期值A和内存值V相同时,将内存值V修改为B,否则什么都不做。
两个好处
1.无锁的方式没有锁竞争带来的系统开销,也没有不同线程间频繁调度的开销,所以性能比锁更优越
2.对死锁免疫
ABA问题:当你获得对象当前数据后,在准备修改为新值前,对象的值被其他线程连续修改了两次,而经过两次修改后,对象的值又恢复为旧值,这样当前线程无法正确判断这个对象是否修改过
AtomicStampedReference
版本控制 AtomicStampedReference 解决
compareAndSet(V expectedReference, V newReference, int expectedStamp, int newStamp)
循环时间长开销大。自旋CAS如果长时间不成功,会给CPU带来非常大的执行开销。
只能保证一个共享变量的原子操作。当对一个共享变量执行操作时,我们可以使用循环CAS的方式来保证原子操作,但是对多个共享变量操作时,循环CAS就无法保证操作的原子性
如何保证操作的原子性
lock cmpxchg 函数加lock前缀, 单核不需要加lock , 由cpu顺序执行保证
longadder
分段式增加