CAS原理

CAS

1 为什么要写CAS

有时操作者不希望让操作系统那么“悲观”，每次都使用同步原语对共享资源进行资源锁定，而是希望让线程反复“乐观”的尝试获取共享资源，如果空闲那么是用，如果被占用，则继续尝试。CAS就这样应运而生了。

2 实现原理

2.1 实现

资源Z设置了一个值假设叫Zp，Zp为0代表资源空闲，1代表资源被占用。A，B两个线程发现Zp为0，则都去争抢这个资源，A运气好抢到了这个资源，将Zp改为1，B也不会放弃，会不断回来看看Zp变为0了没。在A获得时间片时，它将oldValue（读到的资源对象的状态值）的状态值进行compare，发现如果一致，将状态值swap为newValue（将资源对象更改后的值）。B在compare阶段发现不一致则放弃swap操作。但在实际中B会自旋等待。不断尝试cas操作。

2.2 注意点

CAS操作必须是原子的，不然会出现A，B同时改Zp，都以为对方没有抢到锁的情况。对此，不同架构的CPU都提供了指令级别的CAS操作。如x86下通过cmpxchg支持CAS，ARM下通过LL/SC支持CAS。至此我们得到了出了mutex（悲观）外，另外一种无锁的同步机制（乐观）。