一、CAS是什么?
CAS的全称是Compare and Swap,即比较并交换。比较的是当前内存中存储的值与预期原值,交换的是新值与内存中的值。这个操作是硬件层面的指令,因此能够保证原子性。Java通过JNI(本地方法调用)来使用这个原子操作,也是乐观锁最常用的机制。
CAS操作包含三个操作数——内存位置、预期原值和新值。在执行CAS操作时,先进行Compare操作,即比较内存位置的值与预期原值是否相等,若相等,则执行Swap操作将新值放入该内存位置。若不相等,则不进行Swap操作。
这时你一定会想,为什么要这样做,预期值和原值究竟从哪来?
我将通过一个例子讲解,下面先考虑一下并发情况下的自增操作即如何实现。
如果把自增直接写成i++,那一定会出现并发问题,因为这不是原子操作,就不多说了。但是有了CAS操作之后,并发环境下的自增操作就可以很安全的实现了。下面来看一下如何借助CAS原子操作实现自增操作,先看一段伪代码。
//自旋直到CAS操作成功
do{
oldValue = getCurrent(addr);//在执行CAS之前获取预期原值
newValue = oldValue + 1;//根据预期原值做增加操作的到新值
}while (!compareAndSwap(addr, oldValue, newValue));//执行CAS操作
(1)首先获得预期原值,因为在自增情况下,新值是依赖于旧值的。
(2)通过计算得到新值。在这个过程中&#x