认识传说中的CAS

最新推荐文章于 2021-06-24 03:47:40 发布

MR~许先生

最新推荐文章于 2021-06-24 03:47:40 发布

阅读量228

点赞数

分类专栏：多线程文章标签： java

本文链接：https://blog.csdn.net/qq_35576976/article/details/106426567

版权

多线程专栏收录该内容

21 篇文章 0 订阅

订阅专栏

一、什么是CAS

CAS的称是Conmpare And Swap，从名称可以看出，意思就是比较和交换，它是基于乐观锁的机制实现的，是用于实现多线程同步的原子指令
引出下面两个概念：
乐观锁： 乐观锁是相对悲观锁而言的，乐观锁假设数据一般情况下不会造成冲突，所以在数据进行提交更新的时候，才会正式对数据的冲突与否进行检测，如果发现冲突了，则返回给用户错误的信息，让用户决定如何去做。
悲观锁： 是一种对数据的修改抱有悲观态度的并发控制方式。我们一般认为数据被并发修改的概率比较大，所以对数据进行“先取锁再访问”的保守策略，为数据处理的安全提供了保证。

二、CAS的实现原理

如果看过J.U.C包下的源码实现，你会发现里面大量的使用CAS方法，例如AbstractQueuedSynchronizer类中添加队列节点的代码：

 private Node enq(final Node node) {
        for (;;) {
            Node t = tail;
            if (t == null) { 
            	// CAS设置头结点
                if (compareAndSetHead(new Node()))
                    tail = head;
            } else {
                node.prev = t;
                // CAS设置尾结点
                if (compareAndSetTail(t, node)) {
                    t.next = node;
                    return t;
                }
            }
        }
    }

又比如：

final boolean transferAfterCancelledWait(Node node) {
		// CAS更改状态
        if (compareAndSetWaitStatus(node, Node.CONDITION, 0)) {
            enq(node);
            return true;
        }
        while (!isOnSyncQueue(node))
            Thread.yield();
        return false;
    }

我们追下源码，会发现最终都是Unsafe类中的native方法，是用C++实现的，我们会发现类似的方法，入参非常相似


private static final boolean compareAndSetWaitStatus(Node node,
                                                         int expect,
                                                         int update) {
        return unsafe.compareAndSwapInt(node, waitStatusOffset,
                                        expect, update);
    }

其实CAS参数有三个

参数一：内存值（origin）
参数二：旧的预期值(expect)
参数三：要更改的新的值(update)

当且仅当内存值（origin）和旧的预期值(expect)相同时，将内存值修改为要更改的新的值(update)。这是作为单个原子操作完成的。原子性保证新值基于最新信息计算; 如果该值在同一时间被另一个线程更新，则写入将失败。操作结果必须说明是否进行替换; 这返回一个简单的布尔变量。

三、CAS存在问题和缺陷

ABA问题

假如存在这样一个场景：线程M从内存中取出A，线程N也从内存中取出A，然后线程N进行了一些操作将内存中的值变成了B，再然后线程N又将内存中的数据变成A，这时候线程M进行CAS操作发现内存中仍然是A，然后线程M操作成功。虽然线程M的CAS操作成功，但是整个过程就是有问题的。比如链表的头在变化了两次后恢复了原值，但是不代表链表就没有变化。

所以JAVA中提供了AtomicStampedReference/AtomicMarkableReference来处理会发生ABA问题的场景，主要是通过在对象中额外再增加一个标记来标识对象是否有过变更。

循环时间长开销大

你会发现源码中，CAS操作很多都是用在一个for(;;)的循环代码块中，自旋CAS如果长时间不成功，会给CPU带来非常大的执行开销。

只能保证一个共享变量的原子操作

当对一个共享变量执行操作时，我们可以使用循环CAS的方式来保证原子操作，但是对多个共享变量操作时，循环CAS就无法保证操作的原子性
怎么实现多个共享变量的原子性呢？
1.可以使用锁保证多个共享变量的原子性
2.JDK提供了AtomicReference类来保证引用对象之间的原子性，你可以把多个变量放在一个对象里来进行CAS操作

本文是综合自己的认识和参考各类资料（书本及网上资料）编写，若有侵权请联系作者，所有内容仅代表个人认知观点，如有错误，欢迎校正；邮箱：1354518382@qq.com 博客地址：https://blog.csdn.net/qq_35576976/