CAS:利用处理器原子性来保证juc.atomic原子性

什么是CAS:
CAS,Compare and Swap即比较并交换。juc包借助CAS实现了区别与synchronized同步锁的一种乐观锁。乐观锁就是每次去修改数据的时候都乐观的认为数据不会被修改,所以不会上锁,但是在更新的时候会判断一下此期间数据有没有更新。CAS有3个操作数:内存值V,旧的预期值A,要修改的新值B。当且仅当预期值A与内存值V相同时,将内存值V修改为B,否则什么也不做。CAS的关键点在于,系统在硬件层面保证了比较并交换操作的原子性,处理器使用基于对缓存或总线加锁的方式实现多处理器之间的原子操作。
CAS的优缺点:
优点:CAS由于在硬件层面保证的原子性,不会锁住当前线程,效率很高。
缺点:
(1)ABA问题:如果一个值原来是A,变成B,又变成A,那么CAS在进行检查时会认为这个值没有变化,但实际上却变化了。ABA问题的解决方法是使用版本号,在变量前面追加版本号,每次变更时版本号加1。juc里提供了一个类AtomicStampedReference来解决ABA问题。
(2)并发越高,失败次数会越多,CAS如果长时间不成功,会极大的增加CPU的开销,因此CAS不适合竞争十分频繁的场景。
(3)只能保证一个共享变量的原子操作。当对多个共享变量操作时,CAS就无法保证原子性,这时就可以使用锁,或者把多个共享变量合并成一个共享变量来操作,比如有两个共享变量i=2,j=a,合并一下ij=2a,然后用CAS来操作ij。从jdk1.5提供了AtomicReference类来保证引用对象的原子性,可以把多个变量放在一个对象里来进行CAS操作。

猜你喜欢

转载自blog.csdn.net/u011305680/article/details/80187623