CAS
概念
CAS(Compare and Swap)是一种用于实现多线程同步的原子操作。它主要用于解决多线程环境下的并发问题,保证共享变量的原子性操作。
在Java中,CAS操作是由java.util.concurrent.atomic
包提供的。CAS操作包含三个参数:需要修改的内存位置、原始值和新值。CAS操作会比较内存位置的值和原始值是否相等,如果相等,则将内存位置的值更新为新值;否则,不进行任何操作。
原理
CAS(Compare and Swap)的原理是基于CPU提供的原子指令集。它通过比较内存位置的当前值和期望值是否相等来判断共享变量是否被修改,然后根据比较结果进行相应的操作。
CAS操作通常涉及三个参数:内存位置(或称为变量的地址)、期望值和新值。
- 首先,CAS从内存位置中读取当前的值。
- 然后,CAS将读取到的值与期望值进行比较。
- 如果两者相等,说明共享变量的值没有被其他线程修改,可以进行更新操作。
- 如果不相等,说明共享变量的值已经被其他线程修改,CAS操作失败,需要重新尝试。
如果CAS操作成功,则将内存位置的值更新为新值;否则,不进行任何操作,并重新尝试整个CAS操作。
CAS操作的关键在于原子性。在执行CAS操作期间,CPU会对内存位置加锁,防止其他线程同时修改该位置的值。这样可以确保在一段时间内只有一个线程能够执行CAS操作。如果多个线程同时执行CAS操作,只有其中一个线程的CAS操作会成功,其他线程的CAS操作都会失败。
需要注意的是,CAS操作可能存在ABA问题。ABA问题指的是一个值在经过多次修改后,最终又回到了原始值,但是在这个过程中可能发生了其他的变化。为了解决ABA问题,可以使用版本号或时间戳等机制来辅助CAS操作,确保在比较和更新之间没有发生其他的修改。
总结起来,CAS的原理是通过比较内存位置的当前值和期望值来判断共享变量是否被修改,并根据比较结果进行相应的操作。CAS操作具有原子性,能够确保在一段时间内只有一个线程能够执行CAS操作。然而,CAS操作可能存在ABA问题,可以通过引入版本号或时间戳等机制来解决。
示例
import java.util.concurrent.atomic.AtomicInteger;
public class CASExample {
private static AtomicInteger count = new AtomicInteger(0);//使用AtomicInteger保证其原子性
public static void main(String[] args) {
Runnable task = () -> {
for (int i = 0; i < 10000; i++) {
int oldValue, newValue;
do {
oldValue = count.get();
newValue = oldValue + 1;
} while (!count.compareAndSet(oldValue, newValue));
}
};
Thread threadA = new Thread(task);
Thread threadB = new Thread(task);
threadA.start();
threadB.start();
try {
threadA.join();
threadB.join();
} catch (InterruptedException e) {
e.printStackTrace();
}
System.out.println("Final count value: " + count.get());
}
}