本文配置文章 java锁相关 食用效果更佳。
一、compareAndSwap
我们再来理解下,compareAndSwap指令,理解了这个指令也就理解Atomic* 系列类的核心实现原理
compareAndSwap的实现是由于它是cpu的一条指令:
我们都知道cpu执行的最小单位是一条指令,如果一个操作能在一条指令内完成,那么它肯定是具有原子性的,单条指令自然也就不具有有序性的争议,至于内存可见性,我们可以通过 volatile关键字来实现,这也是 Atomic*类中用volatile的原因。
其实基于compareAndSwap实现的锁,其核心是cpu提供的原子性指令compareAndSwap
我们再来细细探究下该原子性操作的流程:
1.从主内存读取addr的数据到缓存,在这里,读取内存中的值后是可以被打断的,因为相指令间并未通过其它机制来保证原子性
这中间是可以有其它操作的
2.比较缓存中的数据与主内存的addr地址中的数据,若相等就执行 set操作并返回true,否则,不执行操作并返回false
由于1和2指令间不具有整体原子性,这也就会导致所谓的ABA问题,即当一个线程T在执行1后被打断,其它线程虽然改变了addr内的值,但在线程T执行2前又被改回成原来的值,这就会导致ABA问题,其实,这种问题主要还是要根据对具体场景来思考是否真的会产生实际影响。
3.至于失败后,是重试还是其它,由上层决定。