• 看完就明白的CAS机制


    CAS全称是Compare And Swap,比较并交换。
    原理: CAS机制当中使用了3个基本操作数:内存地址V,预期值A,要修改的新值B。
    在更新一个变量的时候,只有当内存地址当中的值等于预期值才会去修改为新值B。否则就会不断地重试,再次拿到预期值,然后再去与内存地址之中的数据进行判断,以此往复,会占用很大的CPU资源。

    CAS有一个经典的问题:ABA问题

    比如现在有三个线程:1,2,3 有一个数据数值为A

    线程1要将A修改为B。

    线程2要将A修改为B。

    线程3要修改为A。

    此时线程1先一步启动成功,将A修改为B。此时线程2被阻塞了。线程3在线程1更新完之后获得了此时的B,线程3顺利的将B又改为A。此时线程2被唤醒了,发现内存地址当中的值与预期值相同,然后也就顺利的将A改为B。

    这么看起来似乎是没有什么问题。

    来看这个例子:

    现在有个取款机,它有点小程序问题,我在取钱的时候正常应该是一个线程来处理,但是现在取款机直接出两个线程来处理,他们分别为A,B。我现在银行卡里边有10000块钱,这两个线程都拿到初始值10000了,我要取出来5000。

    理想状态下肯定是线程A更新成功,线程B执行失败。

    线程A此时拿到了CPU的执行权,线程B被阻塞了,然后线程A经过CAS之后正常将扣款了,此时银行卡剩余5000元。

    这个时候我对象又给我打过来5000块钱,然后此时的余额是10000。

    在这个时候线程B苏醒了,然后发现内存地址当中的值跟预期值一样,那么操作,扣款5000元,此时银行卡还剩下5000。

    一来二去,俩人凭空少了5000块钱。

    这都是ABA问题害的呀。。。可见它的后果很严重。

    解决方法:ABA问题,给数值加上一个标识,数据更新一次就进行自增,判断内存地址中的值同时在将标识判断一下,都一致那么更新操作。

  • 相关阅读:
    【电源专题】什么是电源的负载效应和源效应?
    计算机网络第二章习题_物理层
    MIT6824 Lab2要求
    从上升边和带宽关系的两种公式说起
    Web中的Bias(更新中)
    【学习笔记】AGC028/AGC007
    MySQL表操作—存储
    Vue事件处理器:事件绑定基础、事件修饰符:stop、prevent、capture、self、once;
    linux系统,确认账户密码正确
    抽象轻松的java-mybatis简单入门
  • 原文地址:https://blog.csdn.net/qq_45881167/article/details/128103659