CAS操作的底层原理(总线锁定机制和缓存锁定机制 )

目录

处理器级别的实现

总线锁定机制

缓存锁定机制

MSEI表示缓存行的四种状态

MESI协议状态转换

CAS操作是不保证可见性的

CAS基本概念

ABA问题的处理

性能考虑


先总结一下,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:

  1. 发出监听请求

  2. 等待其他CPU响应

  3. 确认无冲突后执行

  4. 广播状态变更

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失败时通常采用自旋等待,需要考虑自旋次数和退避策略。

相关推荐
苹果酱05672 小时前
Golang的文件加密技术研究与应用
java·vue.js·spring boot·mysql·课程设计
Miraitowa_cheems4 小时前
[JavaEE] Spring IoC&DI
java·spring·java-ee
V+zmm101344 小时前
基于微信小程序的水果销售系统的设计与实现springboot+论文源码调试讲解
java·微信小程序·小程序·毕业设计·springboot
头发那是一根不剩了4 小时前
java.lang.NoClassDefFoundError: javax/xml/bind/DatatypeConverter
java
小白起 v5 小时前
三天学完微服务其二
java·微服务·架构
huiyunfei5 小时前
MinorGC FullGC
java·jvm·算法
XWM_Web5 小时前
JavaAPI.02.包装类与正则表达式
java·开发语言·学习·eclipse
PangPiLoLo6 小时前
架构学习——互联网常用架构模板
java·学习·微服务·云原生·架构·系统架构·nosql
!!!5256 小时前
SpringBoot-web入门程序剖析
java·spring boot·后端