CAS算法(一)

CAS算法主要关心3个值:内存值V,预期值A,要更新的新值B。

这里写图片描述

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

因为t1和t2线程都同时去访问同一变量56,所以他们会把住内存的值完全拷贝一份到自己的工作内存空间,所以t1和t2线程值都为56

假设t1和t2在线程竞争中线程t1能去更新变量值改为57,而其他线程都失败。(失败的线程并不会被挂起,而是被告知这次竞争中失败,并可以再次发起尝试)。T1线程去更新变量值改为57,然后写到内存中。此时对于t2来说,内存值改为57,与预期值56不一致,就操作失败了(想改的值不再是原来的值)。

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

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

在 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 的内存模型支持某些程度的原子操作,但在更复杂的并发控制场景中,可能需要配合其他同步原语(如通道、信号量)来确保正确性。
评论 1
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值