CAS 是怎么实现的
以 Atomic 类中的 incrementAndGet() 方法为例，其内部就调用了Unsafe中的 native 方法（CompareAndSet）以实现递增数值：
private volatile int value;
public final int get() {
return value;
}
/**
* Atomically increments by one the current value.
*
* @return the updated value
*/
public final int incrementAndGet() {
for (;;) {
int current = get();
int next = current + 1;
if (compareAndSet(current, next))
return next;
}
}
public final boolean compareAndSet(int expect, int update) {
return unsafe.compareAndSwapInt(this, valueOffset, expect, update);
}
我们来分析下 incrementAndGet 的逻辑：
- 先获取当前的value值
- 对value加一
- 第三步是关键步骤，调用
compareAndSet方法来进行一个原子更新操作，这个方法的语义是：先检查当前value是否等于current，如果相等，则意味着value没被其他线程修改过，更新并返回true。如果不相等，compareAndSet则会返回false，然后循环继续尝试更新。
...
