一、JUC简介
Java 5.0 提供了java.util.concurrent(简称JUC)包,在此包中增加了在并发编程中很常见的实用工具类,用于定义类似于编程的自定义子系统,包括线程池、异步IO和轻量级任务框架。提供可调的、灵活的线程池。还提供了设计用于多线程上下文的Collection实现等。
二、CAS算法
- CAS(Compare-And-Swap)是一种硬件对并发的支持,针对多处理器操作而设计的处理器中的一种特殊指令,用于管理对共享数据的并发访问。
- CAS 是一种无锁的非阻塞算法的实现。
- CAS 包含了3个操作数:
》 需要读写的内存值 V
》 进行比较的值 A(预估值)
》 拟写入的新值 B(更新值) - 当且仅当V的值等于A时,CAS算法通过原子方式用新值B来更新V的值,否则不会执行任何操作。
三、模拟CAS算法Demo
package com.yuxx.juc;
public class TestCompareAndSwap {
public static void main(String[] args) {
CompareAndSwap cas = new CompareAndSwap();
for(int i=0;i<10;i++) {
new Thread(new Runnable() {
@Override
public void run() {
int expectValue = cas.get();
boolean b = cas.compareAndSet(expectValue, (int)(Math.random() * 101));
System.out.println(b);
}
}).start();
}
}
}
class CompareAndSwap {
private int value;
//获取内存值
public synchronized int get() {
return value;
}
//比较
public synchronized int compareAndSwap(int expectValue,int newValue) {
int oldValue = value;
if(oldValue == expectValue) {
this.value = newValue;
}
return oldValue;
}
//设置
public synchronized boolean compareAndSet(int expectValue,int newValue) {
return expectValue == compareAndSwap(expectValue, newValue);
}
}
四、CAS算法的缺点
ABA问题:变量V初次读取到的时候是A,期间被改成了B,又被改成了A,CAS会误认为V从来没被修改过。
针对这种情况,Java并发包里提供了一个带有标记的原子引用类AtomicStampedReference。它可以通过控制变量值的版本来保证CAS的正确性。AtomicStampedReference通过包装[E, Integer]的元组来对对象标记版本戳stamp,从而避免ABA问题。