CAS理解和说明

2024-09-05 00:52
文章标签 理解 说明 cas

本文主要是介绍CAS理解和说明,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

目录

1.CAS是什么?

2.CAS的应用场景

2.1 实现原子类

2.2 实现自旋锁

3.CAS的典型问题:ABA问题 


1.CAS是什么?

CAS:全称compare and swap(比较并交换)

我们假设内存中的原始数据V,旧的预期值A,需要修改的新值B

1.比较A与V是否相等(比较)

2.如果比较相等,将B写入V(交换)

3.返回操作是否成功

 在这里最特别的是,上述这个CAS的过程,并非是通过一段代码实现的,而是通过一条CPU指令完成的,所以CAS操作是原子的,就可以在一定程度上回避线程安全问题,所以我们在解决线程安全问题除了加锁之外,又有了一个新思路。

 但是我们可以通改CAS伪代码来帮助我们理解这个特殊指令:

    boolean CAS(address, expectValue, swapValue) {if (&address == expectedValue){&address = swapValue;return true;}return false;}

2.CAS的应用场景

2.1 实现原子类

Java标准库里面提供的类

AtomicInteger count = new AtomicInteger(0);
count.getAndDecrement();

count.getAndDecrement();相当于i++

伪代码实现

class AtomicInteger {private int value;public int getAndIncrement() {int oldValue = value;while (CAS(value, oldValue, oldValue + 1) != true) {oldValue = value;}return oldValue;}
}

现在假设有两个线程同时调用上面的getAndDecrement(),

1) 两个线程都读取 value 的值到 oldValue . (oldValue 是一个局部变量, 在栈上。   每个线程有自己的栈 )

 2)线程1先执行CAS操作,由于oldValue和value的值相同,直接进行对value的赋值。

 此时的value值变成1,但是CAS的返回值为true,所以oldValue的值仍然为0。

3) 线程 2 再执行 CAS 操作的时候 发现 oldValue value 不相等 不能进行赋值。 因此需要进入循环。

循环里重新读取 value 的值赋给 oldValue。

4) 线程 2 接下来第二次执行 CAS, 此时 oldValue value 相同 , 于是直接执行赋值操作。

此时的value值变成2,但是CAS的返回值为true,所以oldValue的值仍然为1.

5) 线程 1 和 线程 2 返回各自的 oldValue 的值即可。通过形如上述代码就可以实现一个原子类 不需要使用重量级锁 ,  就可以高效的完成多线程的自增操作。

2.2 实现自旋锁

实现自旋锁伪代码

public class SpinLock {private Thread owner = null;public void lock() {while (!CAS(this.owner, null, Thread.currentThread())) {}}public void unlock() {this.owner = null;}
}

private Thread owner = null;

这个代码的含义是当前锁是谁加的。

    public void lock() {
        while (!CAS(this.owner, null, Thread.currentThread())) {
        }
    }

检测当前的owner是否为null,如果为空,就将当前线程赋值给owner。如果赋值成功,则加锁完成,循环结束。如果当前锁已经被其他线程占用,CAS操作会失败,因为this.owner不是null。此时返回false,继续循环进行下一次判定。

3.CAS的典型问题:ABA问题 

它的核心思想是检查当前值与预期值是否相等,如果相等则进行交换操作。然而,ABA问题是一个潜在的问题,即在CAS操作过程中,一个变量的值被修改两次后又恢复到了原来的值,导致CAS误判为没有发生变化,这个问题就叫ABA问题。

虽然这个ABA情况,大部分情况下,其实不会对代码/逻辑产生太大影响,但是不排除一些极端情况,也有可能造成影响。举一个极端的例子:

在考虑使用CAS方式扣款的情况下,假设我现在需要取款500元,我的账户余额为1000元。当我按下取款按钮时,机器可能会卡住,如果我不小心多次按下按钮,可能会导致重复扣款的情况发生,如下图

在执行第二次CAS操作时,如果此时有人转账500元进来,账户余额仍然为1000元,CAS操作会继续扣款。

为了解决这个问题,我们可以引入一个版本号或时间戳的概念。每次对变量进行修改时,同时更新版本号或时间戳。在进行CAS操作时,除了比较当前值和预期值之外,还需要比较版本号或时间戳。只有当两者都匹配时,才认为变量没有被中途修改过,可以进行交换操作

例如,假设我们有一个变量value和一个对应的版本号version,初始值为1。当我们想要更新value时,首先获取当前的version,然后执行更新操作,并将version加1。在进行CAS操作时,我们需要同时比较valueversion。只有当valueversion都与预期值匹配时,才执行交换操作。

通过引入版本号或时间戳,我们可以解决ABA问题,确保在并发环境下的正确性。

这篇关于CAS理解和说明的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/1137510

相关文章

Redis中哨兵机制和集群的区别及说明

《Redis中哨兵机制和集群的区别及说明》Redis哨兵通过主从复制实现高可用,适用于中小规模数据;集群采用分布式分片,支持动态扩展,适合大规模数据,哨兵管理简单但扩展性弱,集群性能更强但架构复杂,根... 目录一、架构设计与节点角色1. 哨兵机制(Sentinel)2. 集群(Cluster)二、数据分片

Springboot项目构建时各种依赖详细介绍与依赖关系说明详解

《Springboot项目构建时各种依赖详细介绍与依赖关系说明详解》SpringBoot通过spring-boot-dependencies统一依赖版本管理,spring-boot-starter-w... 目录一、spring-boot-dependencies1.简介2. 内容概览3.核心内容结构4.

redis和redission分布式锁原理及区别说明

《redis和redission分布式锁原理及区别说明》文章对比了synchronized、乐观锁、Redis分布式锁及Redission锁的原理与区别,指出在集群环境下synchronized失效,... 目录Redis和redission分布式锁原理及区别1、有的同伴想到了synchronized关键字

MySQL 临时表创建与使用详细说明

《MySQL临时表创建与使用详细说明》MySQL临时表是存储在内存或磁盘的临时数据表,会话结束时自动销毁,适合存储中间计算结果或临时数据集,其名称以#开头(如#TempTable),本文给大家介绍M... 目录mysql 临时表详细说明1.定义2.核心特性3.创建与使用4.典型应用场景5.生命周期管理6.注

深入理解go中interface机制

《深入理解go中interface机制》本文主要介绍了深入理解go中interface机制,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着小编来一起学... 目录前言interface使用类型判断总结前言go的interface是一组method的集合,不

Java中数组与栈和堆之间的关系说明

《Java中数组与栈和堆之间的关系说明》文章讲解了Java数组的初始化方式、内存存储机制、引用传递特性及遍历、排序、拷贝技巧,强调引用数据类型方法调用时形参可能修改实参,但需注意引用指向单一对象的特性... 目录Java中数组与栈和堆的关系遍历数组接下来是一些编程小技巧总结Java中数组与栈和堆的关系关于

Java Spring的依赖注入理解及@Autowired用法示例详解

《JavaSpring的依赖注入理解及@Autowired用法示例详解》文章介绍了Spring依赖注入(DI)的概念、三种实现方式(构造器、Setter、字段注入),区分了@Autowired(注入... 目录一、什么是依赖注入(DI)?1. 定义2. 举个例子二、依赖注入的几种方式1. 构造器注入(Con

mybatis-plus QueryWrapper中or,and的使用及说明

《mybatis-plusQueryWrapper中or,and的使用及说明》使用MyBatisPlusQueryWrapper时,因同时添加角色权限固定条件和多字段模糊查询导致数据异常展示,排查发... 目录QueryWrapper中or,and使用列表中还要同时模糊查询多个字段经过排查这就导致只要whe

SpringBoot改造MCP服务器的详细说明(StreamableHTTP 类型)

《SpringBoot改造MCP服务器的详细说明(StreamableHTTP类型)》本文介绍了SpringBoot如何实现MCPStreamableHTTP服务器,并且使用CherryStudio... 目录SpringBoot改造MCP服务器(StreamableHTTP)1 项目说明2 使用说明2.1

JAVA覆盖和重写的区别及说明

《JAVA覆盖和重写的区别及说明》非静态方法的覆盖即重写,具有多态性;静态方法无法被覆盖,但可被重写(仅通过类名调用),二者区别在于绑定时机与引用类型关联性... 目录Java覆盖和重写的区别经常听到两种话认真读完上面两份代码JAVA覆盖和重写的区别经常听到两种话1.覆盖=重写。2.静态方法可andro