目录
先总结一下,CAS(Compare And Swap)是一种原子操作,它比较当前内存值与期望值,如果相等则更新为新值,CAS是一种硬件级的原子操作,通过总线锁或缓存锁实现原子性,在使用缓存锁的时候缓存一致性协议保证数据一致性。
而Java通过native方法调用底层CAS指令,需要考虑ABA问题和性能优化,而cas这种机制保证了在多处理器系统中的原子操作,是实现无锁并发的基础。
处理器级别的实现
x86汇编中的CMPXCHG指令示例
lock cmpxchg [内存地址], 新值
处理器通过特殊的指令(如x86的CMPXCHG)来实现CAS操作,并使用LOCK前缀保证操作的原子性。
总线锁定机制
CPU1 ----┐
CPU2 ----├── 总线 -----> 内存
CPU3 ----┘
↑
LOCK信号
当一个CPU发出LOCK信号时,其他CPU无法通过总线访问内存,保证了操作的原子性。但这种方式开销较大。
缓存锁定机制
CPU1 Cache [数据A: M] ─┐
CPU2 Cache [数据A: I] ─┼── 总线 ──> 内存[数据A]
CPU3 Cache [数据A: I] ─┘
使用缓存一致性协议(MESI),通过缓存状态控制来保证原子性,效率更高。
MSEI表示缓存行的四种状态
M(Modify)表示共享数据只缓存在当前 CPU 缓存中, 并且是被修改状态,也就是缓存的数据和主内存中的数据不一致
E(Exclusive)表示缓存的独占状态,数据只缓存在当前 CPU 缓存中,并且没有被修改
S(Shared)表示数据可能被多个 CPU 缓存,并且各个缓存中的数据和主内存数据一致
I(Invalid)表示缓存已经失效
MESI协议状态转换
CPU1执行CAS:
-
发出监听请求
-
等待其他CPU响应
-
确认无冲突后执行
-
广播状态变更
CPU在读取一个数据时会先发起监听,去监听其他CPU的对这个数据缓存行的状态。
如果本CPU缓存行状态是I,则需要从内存中读取,并把缓存行状态置为S。
如果本CPU缓存行的状态不是I,则可以直接读取缓存中的值,如果其他CPU也有该数据的缓存且状态是M,则需要等待其把缓存更新到内存后再读取。
CPU更新了缓存行的状态了之后会发广播来更新其他CPU的缓存行状态。
CAS操作是不保证可见性的
这一点要特别注意,CAS的操作是不保证可见性的,可见性是实现CAS操作的前提,如果连可见性都保证不了,这又怎么实现CAS操作?
CAS操作通常与volatile配合使用,通过内存屏障保证可见性。
CAS基本概念
java
// CAS操作的伪代码
public boolean compareAndSet(int expectedValue, int newValue) {
// 原子操作,比较并交换
// V是要更新的变量,E是期望值,N是新值
if (V == expectedValue) {
V = newValue;
return true;
}
return false;
}
CAS(Compare And Swap)是一种原子操作,它比较当前内存值与期望值,如果相等则更新为新值。
ABA问题的处理
java
public class AtomicStampedReference<V> {
private static class Pair<T> {
final T reference;
final int stamp;
private Pair(T reference, int stamp) {
this.reference = reference;
this.stamp = stamp;
}
}
}
ABA是CAS操作的经典问题了,可以通过版本号或时间戳解决ABA问题。
性能考虑
java
// 自旋等待示例
public void spinLock() {
while (!cas.compareAndSet(false, true)) {
// 自旋等待
Thread.onSpinWait(); // Java 9+
}
}
CAS失败时通常采用自旋等待,需要考虑自旋次数和退避策略。