CAS(Compare and Swap)算法

CAS(Compare and Swap)算法:

	1)原理:
		1)CAS有3个操作数,内存值V,预期值(旧值)A,要写入的新值B。
		2)当且仅当 预期值A=内存值V 时,将内存值V修改为新值B,否则什么都不做。
		3)CAS可以看作是一种乐观锁。

		
	2)应用:用于管理对共享数据的并发访问。
	
	
	3)CAS存在的问题:
	
		1)ABA问题:如果一个变量的值原来是A,然后变成了B,最后又变成了A,那么使用CAS进行检查时会发现它的值没有发生变化,但实际上却变化了。
			解决方法:使用版本号。
			
		2)循环时间长,开销大
		
		3)只能保证一个共享变量的原子操作
		
			说明:对一个共享变量进行操作时,可以使用循环CAS的方式来保证原子性,但是对多个共享变量进行操作时,循环CAS就无法保证操作的原子性了。
			
			解决方法:
				1>使用锁。
				2>把多个共享变量合并成一个共享变量来操作,即将多个共享变量封装到一个对象中,然后使用循环CAS对这个对象进行操作。
					eg:JDK提供了 java.util.concurrent.atomic.AtomicReference类 来保证引用对象之间的原子性。
		
		
	4)java中原子操作的实现:
		1)使用锁
		2)循环CAS
		
		说明:
			除了偏向锁,JVM实现锁的方式都用了循环CAS,即:当一个线程想进入同步块的时候使用循环CAS的方式来获取锁,当它退出同步块的时候使用循环CAS来释放锁。
			偏向锁:获取锁的时候也是通过cas来获取锁,只不过当获取失败后,不会去循环获取,而是将偏向锁直接膨胀为轻量级锁。

 

  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
在 Go 语言中,CAS (Compare and Swap) 算法是一种用于原子操作的技术,通常应用于并发编程中,尤其是需要保证数据一致性和避免竞态条件的场景。CAS 操作的基本思想是比较并替换,它尝试将内存中的某个值与预期值进行比较,如果相等,则将新值存储到该位置,否则不做任何改动。这个过程不会中断其他线程的操作。 Go 语言虽然不像 Java 那样提供内置的 CAS 函数,但是你可以通过 `sync/atomic` 包来实现类似的功能。`sync/atomic` 提供了原子整数变量(如 `Int32`, `Int64`, `Pointer` 等),它们可以安全地进行读取、写入和基于 CAS 的自旋锁操作。 例如,如果你想使用 CAS 实现一个简单的无锁计数器,可能会这样做: ```go import "sync/atomic" type Counter struct { value int64 // 使用 atomic.Int64 来保证原子性 } func (c *Counter) Inc() bool { newValue := atomic.AddInt64(&c.value, 1) if newValue == c.value { // 如果旧值等于新值(cas 成功) return true } return false // cas 失败,表示有竞争者修改了 value } // 相关问题-- 1. 在 Go 中为什么不在标准库中直接提供 CAS 函数? 2. CAS 可能遇到哪些并发问题,如何避免? 3. 怎么在高并发下利用 CAS 实现数据一致性保护?> ``` 请注意,尽管 Go 的内存模型支持某些程度的原子操作,但在更复杂的并发控制场景中,可能需要配合其他同步原语(如通道、信号量)来确保正确性。
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值