CAS操作ABA问题发生的场景
2017-09-18 00:28
176 查看
最开始看一些资料,提到了CAS操作存在问题,就是在CAS之前A变成B又变回A,CAS还是能够设置成功的,开始十分的费解,怎么可能呢,A变回了A就应该能够CAS成功啊,为什么会不成功呢?
于是去查了一些资料,其中提到了两种情况:
第一种,A最开始的内存地址是X,然后失效了,有分配了B,恰好内存地址是X,这时候通过CAS操作,却设置成功了。这种情况在带有GC的语言中,这种情况是不可能发生的,为什么呢?拿JAVA举例,在执行CAS操作时,A,B对象肯定生命周期内,GC不可能将其释放,那么A指向的内存是不会被释放的,B也就不可能分配到与A相同的内存地址,CAS失败。若在无GC的,A对象已经被释放了,那么B被分配了A的内存,CAS成功。
第二种,一个链表A-B-C,线程1准备将链表头结点换成B,执行CAS操作
解决方案:在CAS操作时,带上版本号,没修改一次,版本号+1,不但比较对象是否相等,还要比较版本号是否一致。
于是去查了一些资料,其中提到了两种情况:
第一种,A最开始的内存地址是X,然后失效了,有分配了B,恰好内存地址是X,这时候通过CAS操作,却设置成功了。这种情况在带有GC的语言中,这种情况是不可能发生的,为什么呢?拿JAVA举例,在执行CAS操作时,A,B对象肯定生命周期内,GC不可能将其释放,那么A指向的内存是不会被释放的,B也就不可能分配到与A相同的内存地址,CAS失败。若在无GC的,A对象已经被释放了,那么B被分配了A的内存,CAS成功。
第二种,一个链表A-B-C,线程1准备将链表头结点换成B,执行CAS操作
head.compareAndSet(A,B);在执行该语句之前,线程2介入,并通过CAS操作将
head.compareAndSet(B,C);此时链表为A-C,B节点被拿出了此时切回线程1,线程1发现,A没有发生改变还是A,则将A换成了B,此时B-next为null,节点C也被无辜删除了。总结来说就是:链表的改变没有在head上反映出来,head没有改变,但是链表却改变了。
解决方案:在CAS操作时,带上版本号,没修改一次,版本号+1,不但比较对象是否相等,还要比较版本号是否一致。
相关文章推荐
- CAS操作ABA问题发生的场景
- CAS操作实现并发的优势、以及实现一个无锁队列、怎样解决ABA 问题
- Java并发编程笔记 Native方法,CAS操作与ABA问题
- 聊聊高并发(十二)分析java.util.concurrent.atomic.AtomicStampedReference源码来看如何解决CAS的ABA问题
- java CAS 和ABA问题
- weka连接数据库的操作及发生的问题
- CAS下ABA问题及优化方案
- 解决CAS客户端验证ST票据时发生的TicketValidationException问题
- Java并发学习(十)-CAS中ABA问题解决方法
- redis多个线程操作单个key场景的并发问题
- 多线程(十二)CAS 和ABA问题
- CAS-什么是ABA问题
- 无锁编程:lock-free原理;CAS;ABA问题
- Java 并发与多线程规范(4) 自旋锁是可重入的吗?CAS与自旋锁的关系,CAS的ABA问题,以及乐观锁,悲观锁,互斥锁,读写锁的整理
- 针对C#操作Word时提示:外部组件发生异常问题
- 谈论高并发(十二)分析java.util.concurrent.atomic.AtomicStampedReference看看如何解决源代码CAS的ABA问题
- php 操作redis容易发生的问题
- Java CAS ABA问题发生的场景分析
- CAS中的ABA问题
- CAS和ABA问题