1.概念
CAS
是比较并交换,在java并发包中很多都使用到了这种算法,比如currentHashMap
、AtomicInteger
原子类操作。CAS操作涉及三个值,第一个是预期值、第二个是主存中的值、第三个是新值,当预期值等于内存中的值,会将新值修改到主存中,否则会自旋并不做修改。
2.举例
- cout++他不是原子操作 通过字节码(javap -c)可以看出,count++是通过将两个值依次压入栈顶,然后相加再压入栈顶,然后再赋值给count,所以有三个步骤,在多线程的情况下,就会造成count++的值不符合预期。
- 可以使用AtomicInteger解决这个问题,AtomicInteger其实是通过
unsafe类直接
操作内存
中的值,并且AtomicInteger的成员变量value是通过volatice修饰
的,保证了可见性和避免指令重排。并且通过do
while循环去判断内存中的值是否是预估值,如果是预估值就会跳出循环更新数据,这个就是用到了CAS方法
- CAS是靠硬件实现的
3.优点:
没有锁竞争带来的系统开销,也没有线程频繁调度带来的开销
4.ABA问题解决方法
使用AtomicStampedReference类可以解决ABA问题。这个类维护了一个“版本号”Stamp,其实有点类似乐观锁的意思。
在进行CAS操作的时候,不仅要比较当前值,还要比较版本号。只有两者都相等,才执行更新操作。
AtomicStampedReference.compareAndSet(expectedReference,newReference,oldStamp,newStamp);
5.缺点:
- 长时间循环会造成系统开销大的问题
解决方法:循环一定次数的时候,return出去 - ABA问题
解决方法:1.添加版本号 2.添加时间戳