CAS（Compare and Swap）：原子性的数据交换

最新推荐文章于 2024-03-31 22:43:44 发布

种棵二叉树

最新推荐文章于 2024-03-31 22:43:44 发布

阅读量231

点赞数 4

分类专栏：小知识文章标签： 1024程序员节 java

本文链接：https://blog.csdn.net/qq_57748030/article/details/134019693

版权

小知识专栏收录该内容

3 篇文章 0 订阅

订阅专栏

CAS（Compare and Swap）：原子性的数据交换

CAS，全称Compare and Swap，是多线程编程中的一种重要概念，用于实现对共享变量的原子性操作。

什么是CAS？

CAS是一种原子操作，可以在不使用锁的情况下实现多线程环境下的并发控制。CAS操作包含三个操作数：内存位置（通常是共享的变量）、预期值和新值。

CAS操作包括三个步骤：

比较（Compare）：首先，CAS会比较当前内存位置的值与旧的预期值是否相等。
设置（And）：如果比较结果为真，就会将内存位置的值设置为新的值。如果比较结果为假，CAS操作不执行任何操作。
交换（Swap）：CAS操作是原子的，这意味着在比较和设置期间，没有其他线程可以干扰。因此，它确保在多线程环境下更新一个共享变量的值是安全的。

这是一个简化的CAS操作示例，假设有两个线程（A和B）同时尝试增加一个共享计数器的值：

初始时，计数器的值为5。
线程A和线程B都希望将计数器的值增加1。
线程A执行CAS操作，比较计数器的值与预期值5，发现相等，于是设置新值为6。
线程B也执行CAS操作，但由于计数器的值已经被线程A修改为6，与预期值5不相等，CAS操作失败。线程B需要重试或执行其他操作。

CAS原理的关键在于比较时，如果当前内存位置的值与预期值相等，说明这个值没有被其他线程修改，此时才能安全地设置新值。如果当前内存位置的值与预期值不相等，CAS操作会失败，需要重试。

为什么需要CAS？

CAS操作主要用于解决多线程环境下的竞争条件（Race Condition）问题。在传统的锁定机制中，如果多个线程同时竞争一个资源，通常会导致其中一个线程获得锁，而其他线程需要等待。这会引发性能问题，因为等待线程不能执行任何操作，只能等待锁的释放。

CAS通过比较并交换的方式，可以让多个线程同时修改共享变量，而不需要等待锁的释放。这提高了并发性，减少了线程的竞争，从而提高了程序的性能。

CAS（Compare-And-Swap）：

无锁算法：是一种无锁算法，不需要等待其他线程释放锁，减少了线程切换的开销。
非阻塞操作：通常是非阻塞操作，它不会使线程进入阻塞状态。如果CAS失败，线程可以继续执行其他操作而不是被阻塞。
适用性：适用于一些高度竞争的情况，尤其是在读操作远多于写操作的情况下。
原子性：操作是原子的，即它要么成功，要么失败，不会被中断。
自旋等待：通常使用自旋等待来尝试更新共享变量，这意味着线程不会主动放弃CPU时间片，它会一直尝试CAS直到成功或达到最大尝试次数。

互斥锁：

阻塞操作：是一种阻塞操作，当一个线程获得锁时，其他线程会被阻塞，直到锁被释放。
适用性：适用于那些写操作较多的情况，但当有大量读操作时，会引起性能问题。
粒度：粒度较大，通常锁定整个临界区，这可能导致过多的线程争用。
操作系统资源：通常依赖于操作系统提供的锁机制，这可能导致较大的开销。

读写锁：

适用性：适用于那些读操作远多于写操作的情况。允许多个线程同时读取，但只有一个线程可以写。
性能优化：通过允许多个读操作来提高性能，但当有写操作时，会阻塞其他读写操作。
复杂性：实现相对复杂，可能引入更多的开销。
粒度：粒度较小，允许更多的并发读操作。

总的来说，CAS适用于高并发和低写入操作的场景，因为它减少了线程阻塞和减少了锁开销。

互斥锁适用于需要确保一致性的场景，但可能引入性能开销。

读写锁适用于读多写少的场景，以提高性能。

CAS的应用

CAS广泛用于多线程编程和并发控制，以及一些底层的数据结构和算法中。以下是一些CAS的常见应用：

无锁数据结构：CAS可以用于实现无锁数据结构，如非阻塞队列、无锁散列表等。这些数据结构允许多个线程同时进行读写操作，而不需要使用传统的锁定机制。
原子计数器：CAS可以用于实现原子递增和递减操作，这在计数器和统计数据的应用中非常有用。
并发容器：Java的并发包中的许多容器类（如ConcurrentHashMap、ConcurrentLinkedQueue）使用CAS操作来实现高并发性。
线程安全的单例模式：CAS可以用于创建线程安全的单例模式，保证只有一个实例被创建。

CAS的优点和注意事项

CAS操作具有以下优点：

性能：CAS是非阻塞的，因此在高并发环境下性能表现出色。它避免了等待锁的情况，提高了程序的响应性。
原子性：CAS操作是原子的，可以保证线程之间的操作互不干扰。

然而，CAS也有一些注意事项：

循环开销：CAS操作失败时，通常需要不断重试直到成功。这可能会引入一定的开销，尤其在竞争激烈的情况下。

ABA问题：CAS操作只关心内存位置的当前值是否等于预期值，而不关心这个值是否在中间被其他线程修改过。这可能引发ABA问题，需要通过版本号等机制来解决。

版本号或标记解决ABA问题：这是一种常见的方法，通过在共享变量中引入版本号或标记来跟踪变化。当线程读取共享变量时，除了比较值之外，还要比较版本号或标记。如果版本号或标记不匹配，说明共享变量已经被其他线程修改，从而避免了ABA问题。

使用带有引用计数的数据结构：在某些情况下，可以使用引用计数来检测ABA问题。例如，可以在CAS操作中检查引用计数是否匹配。这种方法通常用于管理内存的自动回收。
使用原子引用：一些编程语言和库提供了原子引用的支持，它们内部处理了ABA问题。在Java中，可以使用AtomicStampedReference和AtomicMarkableReference类，它们允许您在CAS操作中同时比较值和标记或版本号，从而避免ABA问题。

以下是一个简单示例，展示了如何使用AtomicStampedReference来解决ABA问题：
import java.util.concurrent.atomic.AtomicStampedReference;

public class AtomicABASolution {
    public static void main(String[] args) {
        AtomicStampedReference<Integer> atomicRef = new AtomicStampedReference<>(5, 0);

        // 线程1：模拟ABA问题
        new Thread(() -> {
            int stamp = atomicRef.getStamp();
            atomicRef.compareAndSet(5, 6, stamp, stamp + 1);  // 修改值为6
            atomicRef.compareAndSet(6, 5, atomicRef.getStamp(), atomicRef.getStamp() + 1);  // 修改值为5
        }).start();

        // 等待线程1完成
        try {
            Thread.sleep(1000);
        } catch (InterruptedException e) {
            e.printStackTrace();
        }

        // 线程2：解决ABA问题
        new Thread(() -> {
            int stamp = atomicRef.getStamp();
            atomicRef.compareAndSet(5, 7, stamp, stamp + 1);  // 修改值为7，此时版本号与线程1不匹配
        }).start();

        // 等待线程2完成
        try {
            Thread.sleep(1000);
        } catch (InterruptedException e) {
            e.printStackTrace();
        }

        System.out.println("Final value: " + atomicRef.getReference());  // 输出最终值
    }
}