1. 概述
CAS ,Compare And Swap ,即比较并交换。整个 AQS 同步组件、Atomic 原子类操作等等都是基 CAS 实现的,甚至 ConcurrentHashMap 在 JDK 1.8 的版本中,也调整为 CAS + synchronized 。
2. CAS分析
在 CAS 中有三个参数:内存值 V、旧的预期值 A、要更新的值 B ,当且仅当内存值 V 的值等于旧的预期值 A 时,才会将内存值V的值修改为 B ,否则什么都不干
- Unsafe 是 CAS 的核心类,Java 无法直接访问底层操作系统,而是通过本地
native方法来访问。不过尽管如此,JVM还是开了一个后门:Unsafe ,它提供了硬件级别的原子操作。 valueOffset为变量值在内存中的偏移地址,Unsafe 就是通过偏移地址来得到数据的原值的。value当前值,使用volatile修饰,保证多线程环境下看见的是同一个。
2.1.CPU 原子操作
CAS 可以保证一次的读-改-写操作是原子操作,在单处理器上该操作容易实现,但是在多处理器上实现就有点儿复杂了。CPU 提供了两种方法来实现多处理器的原子操作:总线加锁或者缓存加锁。
- 总线加锁:总线加锁就是就是使用处理器提供的一个 LOCK# 信号,当一个处理器在总线上输出此信号时,其他处理器的请求将被阻塞住,那么该处理器可以独占使用共享内存。但是这种处理方式显得有点儿霸道,不厚道,他把CPU和内存之间的通信锁住了,在锁定期间,其他处理器都不能其他内存地址的数据,其开销有点儿大。所以就有了缓存加锁。
- 缓存加锁:其实针对于上面那种情况,我们只需要保证在同一时刻,对某个内存地址的操作是原子性的即可。缓存加锁,就是缓存在内存区域的数据如果在加锁期间,当它执行锁操作写回内存时,处理器不再输 出LOCK# 信号,而是修改内部的内存地址,利用缓存一致性协议来保证原子性。缓存一致性机制可以保证同一个内存区域的数据仅能被一个处理器修改,也就是说当 CPU1 修改缓存行中的
i时使用缓存锁定,那么 CPU2 就不能同时缓存了i的缓存行

本文介绍了Java并发中的CAS(Compare And Swap)机制,它用于AQS同步组件和Atomic类操作。CAS操作包含三个参数,只有当内存值与预期值相等时,才会更新值。Unsafe类是实现CAS的核心,通过内存偏移地址访问数据。在多处理器系统中,CAS通过CPU的总线加锁或缓存加锁来保证原子性。缓存加锁利用缓存一致性协议,避免了总线加锁的高开销。


被折叠的 条评论
为什么被折叠?



