并发系列—CAS之ABA问题

朴灿烈づ我的快乐病毒、 2023-07-17 14:17 11阅读 0赞

上篇文章通过自旋锁保证了数据的准确性，现在我们讨论一个问题。

【**PS：看这个问题前需要确保已经明白自旋锁的执行原理**】

业务：获取对象名称，根据名称对数据进行相关处理。

如图：

![watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2RlbmdkYWkxMjM2NTQ_size_16_color_FFFFFF_t_70][]

【上图我们发现并发时使用CAS处理业务可能会**因多条线程同时操作**导致某些业务被**重复操作**，出现**ABA**问题】

**QA**：如何解决CAS的ABA问题？

**思路**：使用**版本号**控制(例：mysql的乐观锁)

定义一个字段用于存放版本号version，获取name的时候同时获取version，每个线程成功操作都给version执行＋1操作。

基于上图：

**获取信息**：  
    threadA：version = 1,name=A  
    threadC：version = 1,name=A  
**threadA操作**：  
    校验：  
        version是否等于1，name是否等于A  
        满足条件：  
            设置version=2，name等于B  
**threadB**：  
    **获取信息**：  
        version = 2,name=B  
    校验：  
        version是否等于2，name是否等于B  
        满足条件：  
            设置version=3，name等于A  
**threadC操作**：  
    **校验**：  
        version是否等于1，name是否等于A  
    **不满足**：  
        name等于A但是version=3  ==》***被其他线程操作过***  
             获取对象最新的version与name继续进行业务预处理  
        校验：  
            当前获取的version、name与对象中持有的是否一致  
            一致：  
                将业务处理结果赋值给对象  
            不一致：  
                继续获取对象当前version、name对业务做预处理然后校验原始信息是否一致(此时***进入一个循环状态***【自旋的概念因此而来】，直到能够给对象赋值为止)  
    满足条件：  
        将业务处理结果赋值给对象

[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2RlbmdkYWkxMjM2NTQ_size_16_color_FFFFFF_t_70]: /images/20230528/b94a9d7a4d1145bebe0e0bb7c5c11015.png