• CAS,乐观锁


    CAS,悲观锁,乐观锁

    不锁定资源,也能同步线程!

    用到的技术就是CAS!

    假如一个女神有一块牌子,0代表可以进行约会,1代表已经在进行约会,

    有舔狗一号,舔狗二号,舔狗一号率先冲到女神这,并且把牌子改为1,

    舔狗二号只能等等咯,就来回踱步进行自旋,不断通过CAS看看女神是否可以进行约会,

    达到一定的时间,耐心耗尽就会离开。

    但是这样也会有一些问题,如果有多个线程同时看到牌子为0,同时都更改为1,这样就尴尬了

    所以CAS必须保证原子性

    但是如何保证原子性呢?难不成使用synchronized?那不是还是用到了锁嘛!

    实际上CPU指令集提供了对CAS的支持,保证上层调用时是原子性的!

    悲观锁(互斥锁 即synchronized) ,上篇文章都是在将悲观锁。

    乐观锁,乐观锁并没有用到锁,它是一种无锁的同步机制。

    现在提出一个需求,三个线程将数字累加到1000

    加上synchronized(main.class)互斥锁可以保证同步

    但是不加锁如何保证线程的同步呢?

    使用AutomaticInteger类,其底层就是用的CAS机制,

    里面有一个循环,默认是10次,进行十次CAS还没有等到就不再进行自旋。

    自旋的次数其实可以通过启动参数来配置

    CAS是英文单词CompareAndSwap的缩写,中文意思是:比较并替换。CAS需要有3个操作数:内存地址V,旧的预期值A,即将要更新的目标值B。

    CAS指令执行时,当且仅当内存地址V的值与预期值A相等时,将内存地址V的值修改为B,否则就什么都不做。整个比较并替换的操作是一个原子操作。

    如果在这段期间它的值曾经被改成了B,后来又被改回为A,那CAS操作就会误认为它从来没有被改变过。这个漏洞称为CAS操作的“ABA”问题。Java并发包为了解决这个问题,提供了一个带有标记的原子引用类“AtomicStampedReference”,它可以通过控制变量值的版本来保证CAS的正确性。

    因此,在使用CAS前要考虑清楚“ABA”问题是否会影响程序并发的正确性,如果需要解决ABA问题,改用传统的互斥同步可能会比原子类更高效。

  • 相关阅读:
    U-boot下netconsole实现
    Jupyter的下载与安装
    10.VueCLI和Vite
    AI大模型使用(七)-模型微调与流式生成
    PTA 7-87 A±B
    @PropertySource配置的用法
    【uni-app】uni项目打包微信小程序中使用 ECharts (mpvue-echarts)
    【测开】Java快转Python 学习路径记录
    E20-3激光车检器在分离、触发、替代光栅线圈中的实际应用
    Ubuntu系统之管理文件权限一
  • 原文地址:https://blog.csdn.net/qq_45830289/article/details/126550867