我要评论一、cas 原理
1. 核心思想
cas 是一种无锁的原子操作机制。它的核心思想是：我认为值应该是a，如果是，那我就把它改成b；如果不是a（说明被别人改过了），那我就不修改，然后可以选择重试或放弃。
这个操作是作为一条cpu硬件指令实现的（在x86架构上是 cmpxchg 指令），因此它能保证原子性，不会被线程调度打断。
2. 操作模型
cas 操作涉及三个操作数：
- 内存位置（v）
- 预期的原值（a）
- 新值（b）
伪代码逻辑如下：
if (v == a) {
v = b;
return true;
} else {
return false;
}但关键是，整个比较和交换的过程是一个不可分割的原子操作。
3. 工作流程
当一个线程想要更新一个变量时，它会：
- 获取当前内存中的值，作为期望值
a。 - 计算出新值
b。 - 执行 cas 指令，判断当前内存中的值是否还是
a。- 如果是，说明没有其他线程修改过，成功将值更新为
b。 - 如果不是，说明值已被其他线程修改，本次更新失败。线程通常会重试整个操作（获取新的当前值，计算新值，再次执行cas），直到成功为止。这种重试行为就是常见的自旋。
- 如果是，说明没有其他线程修改过，成功将值更新为
4. 优点与缺点
- 优点：
- 高性能：避免了重量级锁（如
synchronized）带来的线程阻塞、唤醒和上下文切换的开销，在竞争不激烈的场景下性能极高。 - 避免死锁：由于是无锁操作，从根本上避免了死锁问题。
- 高性能：避免了重量级锁（如
- 缺点：
- aba 问题：cas 只检查值是否变化，但如果一个值从 a 变成 b，又被改回 a，cas 会误以为它没变。解决方案是使用版本号或标记（如
atomicstampedreference）。 - 自旋开销：在高竞争环境下，如果线程一直失败重试，会长时间占用 cpu，消耗资源。
- 只能保证一个共享变量的原子操作：对于多个共享变量，cas 无法保证原子性。但可以将它们合并成一个对象，使用
atomicreference来保证原子性。
- aba 问题：cas 只检查值是否变化，但如果一个值从 a 变成 b，又被改回 a，cas 会误以为它没变。解决方案是使用版本号或标记（如
二、java 中的 cas 用法
在 java 中，你不能直接使用 cpu 指令。cas 的能力是通过 sun.misc.unsafe 类中的本地（native）方法提供的。但通常，我们不会直接使用 unsafe，而是使用 jd 在 java.util.concurrent.atomic 包下为我们封装好的原子类。
1. 主要的原子类
- 基本类型：
atomicinteger：整型原子类atomiclong：长整型原子类atomicboolean：布尔型原子类
- 数组类型：
atomicintegerarray：整型数组原子类atomiclongarray：长整型数组原子类atomicreferencearray：引用类型数组原子类
- 引用类型：
atomicreference：引用类型原子类atomicmarkablereference：带标记位的引用类型原子类（解决aba问题的一种方式）atomicstampedreference：带版本号的引用类型原子类（解决aba问题的标准方案）
- 字段更新器：
atomicintegerfieldupdater：基于反射，原子性地更新某个类的 volatile int 字段。atomiclongfieldupdateratomicreferencefieldupdater
2. 核心方法
所有原子类都提供了基于 cas 的核心方法：
boolean compareandset(int expect, int update)- 这是最核心的方法！如果当前值等于期望值
expect，则原子地将值设置为update，成功返回true，失败返回false。
- 这是最核心的方法！如果当前值等于期望值
int getandset(int newvalue)- 原子地设置为新值，并返回旧值。底层通常通过循环 cas 实现。
int getandincrement()/int getanddecrement()- 原子地递增/递减 1，返回旧值。
i++的原子版本。
- 原子地递增/递减 1，返回旧值。
int getandadd(int delta)- 原子地加上 delta，返回旧值。
int incrementandget()/int decrementandget()- 原子地递增/递减 1，返回新值。
++i的原子版本。
- 原子地递增/递减 1，返回新值。
3. 代码示例
示例 1：使用 atomicinteger 实现线程安全的计数器
import java.util.concurrent.atomic.atomicinteger;
public class casdemo {
public static void main(string[] args) throws interruptedexception {
atomicinteger atomicint = new atomicinteger(0);
runnable task = () -> {
for (int i = 0; i < 1000; i++) {
// 内部通过循环cas操作实现原子递增
atomicint.incrementandget();
}
};
thread thread1 = new thread(task);
thread thread2 = new thread(task);
thread1.start();
thread2.start();
thread1.join();
thread2.join();
// 结果总是 2000，保证了原子性
system.out.println("final count: " + atomicint.get());
}
}示例 2：手动使用 compareandset 进行自旋
atomicinteger atomicint = new atomicinteger(0);
int oldvalue, newvalue;
do {
oldvalue = atomicint.get(); // 获取当前值作为预期值
newvalue = oldvalue + 1; // 计算新值
} while (!atomicint.compareandset(oldvalue, newvalue));
// 如果cas失败（oldvalue已不是当前值），则循环重试示例 3：使用 atomicstampedreference 解决 aba 问题
import java.util.concurrent.atomic.atomicstampedreference;
public class abademo {
// 初始值为 100，版本号（stamp）为 0
static atomicstampedreference<integer> atomicstampedref =
new atomicstampedreference<>(100, 0);
public static void main(string[] args) throws interruptedexception {
int initialstamp = atomicstampedref.getstamp(); // 获取初始版本号
// 线程1模拟aba操作
thread thread1 = new thread(() -> {
// 先改成 101，版本号+1
atomicstampedref.compareandset(100, 101, initialstamp, initialstamp + 1);
// 再改回 100，版本号再+1
atomicstampedref.compareandset(101, 100, initialstamp + 1, initialstamp + 2);
});
// 线程2尝试修改
thread thread2 = new thread(() -> {
// 先睡一会儿，确保线程1完成了aba操作
try { thread.sleep(1000); } catch (interruptedexception e) {}
// 尝试修改。虽然期望值还是100，但版本号已经从0变成了2，所以cas会失败！
boolean success = atomicstampedref.compareandset(
100,
202,
initialstamp, // 传入旧的版本号0
initialstamp + 1
);
system.out.println("cas successful? " + success); // 输出：false
});
thread1.start();
thread2.start();
thread1.join();
thread2.join();
}
}总结
| 特性 | 描述 |
|---|---|
| 本质 | 一条cpu原子指令，通过 unsafe 类提供给 java 开发者使用。 |
| 实现 | jdk 的 java.util.concurrent.atomic 包下的原子类对其进行了封装。 |
| 核心方法 | compareandset(expectedvalue, newvalue) |
| 优点 | 无锁、高性能（低竞争时）、避免死锁。 |
| 缺点 | aba问题（用版本号解决）、自旋cpu开销（高竞争时）。 |
| 应用场景 | 计数器、序列号生成器、concurrenthashmap 等高性能并发容器的实现。 |
cas 是现代并发包（juc）的基石，理解了它就能更好地理解 reentrantlock、线程池等高级并发工具的内部工作原理。
到此这篇关于java cas原理和用法的文章就介绍到这了,更多相关java cas原理内容请搜索代码网以前的文章或继续浏览下面的相关文章希望大家以后多多支持代码网！
发表评论