每日一面——什么是CAS算法？

最新推荐文章于 2020-08-23 01:11:30 发布

有理想的菜鸡

最新推荐文章于 2020-08-23 01:11:30 发布

阅读量399

点赞数

分类专栏：面试经验

本文链接：https://blog.csdn.net/W_J_G_/article/details/106233774

版权

面试经验专栏收录该内容

41 篇文章 11 订阅

订阅专栏

菜鸡每日一面系列打卡17天

每天一道面试题目

助力小伙伴轻松拿offer

坚持就是胜利，我们一起努力！

题目描述

什么是CAS算法？

题目分析

前两篇文章中提到的synchronized关键字和ReentrantLock都属于悲观锁，属于互斥同步的两种实现，本篇文章要提到的CAS算法是一种乐观锁，属于非阻塞同步的范畴。这种神奇的算法可以在不加锁的前提下保证线程安全，也是面试过程中考查的热点，了解这一算法的思想，将更有助于加深对并发编程的认识。

接下来，随菜鸡一起去看看吧。

题目解答

概述

CAS全称compare and swap，顾名思义，即比较与交换。该算法是一种无锁算法，可以在不加锁的前提下保证线程安全，即在没有线程被阻塞的情况下实现变量同步，因此属于非阻塞同步的范畴。

既然是无锁算法，为什么又说其属于乐观锁呢？其实无论是悲观锁还是乐观锁，都传达的是一种态度。悲观锁，悲观，为了防止出现线程安全问题提前加锁同步；乐观锁，乐观，先假设不会出现线程安全问题，真出现问题之后再作处理。CAS算法是乐观的态度，因此属于乐观锁。

CAS算法涉及到三个操作数：内存值V、比较值A、交换值B。其具体的操作步骤是，当且仅当V等于A时，CAS算法通过原子方式用B将V替换，否则不执行任何操作。一般情况下，CAS算法是一个自旋操作，即不断的重试直到成功为止。

特点

CAS算法有如下特点：ABA问题，存在自旋开销，只保证一个共享变量的原子操作。

ABA问题。若变量V初次读取时为A，在准备赋值时检查其仍为A，但这不能说明它没有被其他线程修改过，因为在这段时间它可能被改为其他值，然后又改为A，此时CAS算法就会误认为它从未修改过。该问题被称为CAS算法的ABA问题。在实际使用场景中需判断，若ABA问题对该使用场景的影响不大，可以不作处理。否则，可以采取对每次修改添加版本号标识的方式解决ABA问题，或直接采用悲观锁。