1. CAS
可以使用无锁来实现实现同步问题
class AccountSafe implements Account {
private AtomicInteger balance;
public void withdraw(Integer amount) {
// 需要不断尝试,直到成功为止
while (true) {
// 比如拿到了旧值 1000
int prev = balance.get();//AtomicInteger的方法
// 在这个基础上 1000-10 = 990
int next = prev - amount;
/*
compareAndSet 正是做这个检查,在 set 前,先比较 prev 与当前值
不一致了,next 作废,返回 false 表示失败
比如,别的线程已经做了减法,当前值已经被减成了 990
那么本线程的这次 990 就作废了,进入 while 下次循环重试
一致,以 next 设置为新值,返回 true 表示成功
*/
//
if (balance.compareAndSet(prev, next)) {//AtomicInteger的方法
break;
}
}
}
}
CAS
说的就是compare and set
比较并设值,在上面的例子就是把Account
和之前get
到的旧值进行对比,这是个原子操作
CAS有三个操作数:内存值V,预期值A,要修改的值B,当且仅当预期值A和内存值V相同时,才将内存值修改为B否则什么都不做
其实 CAS
的底层是 lock cmpxchg
指令(X86 架构),在单核 CPU 和多核 CPU 下都能够保证【比较-交换】的原子性。
在多核状态下,某个核执行到带 lock 的指令时,CPU 会让总线锁住,当这个核把此指令执行完毕,再 开启总线。这个过程中不会被线程的调度机制所打断,保证了多个线程对内存操作的准确性,是原子的。
CAS等价代码
/**
* 描述: 模拟CAS操作,等价代码
*/
public class SimulatedCAS {
private volatile int value;
public synchronized int compareAndSwap(int expectedValue, int newValue) {
int oldValue = value;
if (oldValue == expectedValue) {
value = newValue;
}
return oldValue;
}
}
2. CAS与volatile
获取共享变量时,为了保证该变量的可见性,需要使用 volatile 修饰。
它可以用来修饰成员变量和静态成员变量,他可以避免线程从自己的工作缓存中查找变量的值,必须到主存中获取 它的值,线程操作 volatile 变量都是直接操作主存。即一个线程对 volatile 变量的修改,对另一个线程可见。
CAS 必须借助 volatile 才能读取到共享变量的新值来实现【比较并交换】的效果
3. 通过原子类看CAS
在原子类中使用了很多CAS操作,比如AtomicInteger.updateAndGet(IntUnaryOperator updateFunction)
public final int updateAndGet(IntUnaryOperator updateFunction) {
int prev, next;
do {
prev = get();
next = updateFunction.applyAsInt(prev);
} while (!compareAndSet(prev, next));
return next;
}
4. CAS与ABA问题
主线程仅能判断出共享变量的值与初值 A 是否相同,不能感知到这种从 A 改为 B 又 改回 A 的情况,如果主线程 希望:只要有其它线程【动过了】共享变量,那么自己的 cas 就算失败,这时,仅比较值是不够的,需要再加一个版本号
5. 为什么无锁的效率高
-
无锁情况下,即使重试失败,线程始终在高速运行,没有停歇,而
synchronized
会让线程在没有获得锁的时候,发生上下文切换,进入阻塞。 -
打个比喻 线程就好像高速跑道上的赛车,高速运行时,速度超快,一旦发生上下文切换,就好比赛车要减速、熄火, 等被唤醒又得重新打火、启动、加速… 恢复到高速运行,代价比较大
-
但无锁情况下,因为线程要保持运行,需要额外 CPU 的支持,CPU 在这里就好比高速跑道,没有额外的跑 道,线程想高速运行也无从谈起,虽然不会进入阻塞,但由于没有分到时间片,仍然会进入可运行状态,还 是会导致上下文切换
这也是针对多核CPU且线程数小于CPU数的情况,不然也是会发生阻塞
6. CAS
优点与缺点
**特点:**结合 CAS
和 volatile
可以实现无锁并发,适用于线程数少、多核 CPU
的场景下
① CAS
是基于乐观锁的思想:乐观的含义,不怕别的线程来修改共享变量,就算改了也没关系,我吃亏点再重试呗。
② synchronized
是基于悲观锁的思想:悲观的估计,得防着其它线程来修改共享变量,我上了锁你们都别想改,我改完了解开锁,你们才有机会。
③ CAS
体现的是无锁并发、无阻塞并发
- 因为没有使用
synchronized
,所以线程不会陷入阻塞,这是效率提升的因素之一 - 但如果竞争激烈,可以想到重试必然频繁发生,反而效率会受影响
缺点:
① ABA问题
②自旋所带来的资源消耗问题