Java 多线程 --- 线程同步 CAS机制与Java原子类
CAS机制
为什么使用CAS机制
public void incremnt() {
sychronized(this) {
count++;
}
}
- 实际上,这里使用锁来保障原子性显得有点杀鸡用牛刀的样子.
- 锁固然是功能最强大适用范围也很广泛的同步机制,但是毕竟它的开销也是最大的。另外,volatile 虽然开销小一点,但是它无法保障“count++”这种自增操作的原子性.
- 事实上,保障像自增这种比较简单的操作的原子性我们有更好的选择-CAS.
CAS机制原理
- CAS的全称是Compare-and-Swap,也就是比较并交换,它包含了三个参数:V,A,B.
- V表示要读写的内存位置,A表示旧的预期值,B表示新值
- 具体的机制是,当执行CAS指令的时候,只有当V的值等于预期值A时,才会把V的值改为B,如果V和A不同,有可能是其他的线程修改了,这个时候,执行CAS的线程就会不断的循环重试,直到能成功更新为止
- CAS可以保证
共享变量更新
这个操作的原子性, 但是不保证可见性
CAS机制的实现
//伪代码
//V为维护的共享变量
//A为old value
//B为new value
boolean compareAndSwap(Variable V, Object A, Object B) {
if (A == v.get()) ( // check:检查变量值是否被其他线程修改过
v.set(B);// act:更新变量值
return true;//更新成功
}
return false;//变量值已被其他线程修改,更新失败
}
使用CAS改写Increment
public class CASBasedCounter {
//需要注意的是,CAS 只是保障了共享变量更新这个操作的原子性,它并不保障可见, 因此,在上述代码中我们仍然采用 volatile 修饰共享变量 count。
private volatile long count;
public long vaule() (
return count;
}
public void increment() {
long oldValue;
long newValue;
do {
oldValue = count;// 读取共享变量的当前值
newValue = oldvalue + 1;// 计算共享变量的新值
} while (compareAndSwap(oldValue,newValue)); //调用CAS
优缺点
- CAS算是比较高效的并发控制手段,不会阻塞其他线程, 避免了线程上下文切换带来的开销.
- 但是,这样的更新方式是存在问题的,看流程就知道了,如果C的结果一直跟预期的结果不一样的话,线程A就会一直不断的循环重试,重试次数太多的话对CPU也是一笔不小的开销.
- CAS的ABA问题
- CAS还有个问题就是ABA问题,比如第一次拿到内存里的值时是A,然后被其他线程修改为B, 然后又修改为A, 而此时去比较内存里的值会发现没有变,但是实际上还是有改动.
- 举个通俗点的例子,你倒了一杯水放桌子上,干了点别的事,然后同事把你水喝了又给你重新倒了一杯水,你回来看水还在,拿起来就喝,如果你不管水中间被人喝过,只关心水还在,还好; 但是假若你是一个比较讲卫生的人,那你肯定就不高兴了.
- ABA问题的解决思路: 使用版本号。在变量前面追加上版本号, 每次变量更新的时候把版本号加1,那么A→B→A就会变成1A→2B→3A了
Java 原子变量类
- 原子变量类(Atomics)是基于CAS 实现的能够保障对共享变量进行 read-modify-write更新操作, 例如自增操作“count++”
- 原子变量类可以保证
原子性
和可见性
.
- 原子变量类的内部实现通常借助一个 volatile变量保证可见性, 并通过CAS保证原子性
- 原子变量类一共有 12 个,可以被分为4组,如下:
分组 | 类 |
---|---|
基础数据型 | AtomicInteger, AtomicLong, AtomicBoolean |
数组型 | AtomicIntegerArray , AtomicLongArray, AtomicReferenceArray |
字段更新器 | AtomicIntegerFieldUpdater, AtomicLongFieldUpdater, AtomicReferenceFieldUpdater |
引用型 | AtomicReference, AtomicStampedReference, AtomicMarkableReference |
Example:
//记录请求总数
private final AtomicLong requestCount = new AtomicLong(0);
// 记录处理成功总数
private final AtomicLong successCount = new AtomicLonq(0);
// 记录处理失败总数
private final AtomicLong failureCount = new AtomicLong(0);
public void newRequestReceived() {
//使总请求数增加1。 这里无须加锁
requestCount.incrementAndGet();
}
public void newRequestProcessed() {
//使总请求数增加 1。 这里无须加锁
successCount.incrementAndGet();
}
public void requestProcessedFailed() {
//使总请求数增加 1。 这里无须加锁
failureCount.incrementAndGet();
}