对cas算法的理解

cas算法主要关心3个值:内存值V,预期值A,要更新的新值B
如下图所示:

这里写图片描述

注:t1,t2线程是同时更新同一变量56的值

因为t1和t2线程都同时去访问同一变量56,所以他们会把主内存的值完全拷贝一份到自己的工作内存空间,所以t1和t2线程的预期值都为56。
假设t1在与t2线程竞争中线程t1能去更新变量的值,而其他线程都失败。(失败的线程并不会被挂起,而是被告知这次竞争中失败,并可以再次发起尝试)。t1线程去更新变量值改为57,然后写到内存中。此时对于t2来说,内存值变为了57,与预期值56不一致,就操作失败了(想改的值不再是原来的值)。

(上图通俗的解释是:CPU去更新一个值,但如果想改的值不再是原来的值,操作就失败,因为很明显,有其它操作先改变了这个值。)

就是指当两者进行比较时,如果相等,则证明共享数据没有被修改,替换成新值,然后继续往下运行;如果不相等,说明共享数据已经被修改,放弃已经所做的操作,然后重新执行刚才的操作。容易看出 CAS 操作是基于共享数据不会被修改的假设,采用了类似于数据库的 commit-retry 的模式。当同步冲突出现的机会很少时,这种假设能带来较大的性能提升。

原文链接:非阻塞同步算法与CAS(Compare and Swap)无锁算法

什么是内存屏障:为什么volatile不能保证原子性而Atomic可以?

  • 3
    点赞
  • 8
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
并发CAS是指在高并发环境下的一种无锁算法,它可以实现多个线程之间的变量同步,而不需要使用锁来进行线程阻塞。这种机制在处理高并发访问时非常常见和常用,它可以有效地提高并发性能。 简单来说,并发CAS的工作原理是通过比较内存中的值与期望值是否相等来确定是否需要更新这个值。如果相等,则使用新的值来更新内存中的值;如果不相等,则说明其他线程已经修改了这个值,当前线程需要重新读取内存中的值并重新比较,直到成功为止。 举个例子来说明,并发CAS的过程:假设有两个线程同时执行incrementAndGet()操作,他们都希望将某个变量的值增加1。首先,线程1读取内存中的值,并将期望值设为读取到的值。接着,线程1使用CAS操作来比较内存中的值与期望值是否相等,如果相等,则将新的值更新到内存中。与此同时,线程2也在执行相同的操作。如果线程1和线程2同时执行CAS操作,那么只有一个线程能够成功更新内存中的值,而另一个线程需要重新读取内存中的值并重新比较。这样就避免了锁机制下的线程阻塞,提高了并发性能。 总的来说,并发CAS是一种非常有效的并发优化手段,它可以在高并发环境下提供更好的性能和可伸缩性。然而,需要注意的是,并发CAS并不是适用于所有并发场景,它对于一些复杂的并发问题可能无法提供完全准确的结果。这需要开发者在使用并发CAS时对多线程并发问题有一定的了解和处理经验。<span class="em">1</span><span class="em">2</span><span class="em">3</span><span class="em">4</span>
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值