当前位置：首页 > 文章列表 > Golang > Go教程 > Golang Compare And Swap算法详细介绍

Golang Compare And Swap算法详细介绍

来源：脚本之家 2022-12-22 21:40:04 0浏览收藏

怎么入门Golang编程？需要学习哪些知识点？这是新手们刚接触编程时常见的问题；下面golang学习网就来给大家整理分享一些知识点，希望能够给初学者一些帮助。本篇文章就来介绍《Golang Compare And Swap算法详细介绍》，涉及到CAS、Compare、And、Swap，有需要的可以收藏一下

CAS算法（compare and swap）

CAS算法涉及到三个操作数

需要读写的内存值V
进行比较的值A
拟写入的新值B

当且仅当 V 的值等于 A时，CAS通过原子方式用新值B来更新V的值，否则不会执行任何操作（比较和替换是一个原子操作）。一般情况下是一个自旋操作，即不断的重试。

CAS算法（Compare And Swap）,是原子操作的一种, CAS算法是一种有名的无锁算法。无锁编程，即不使用锁的情况下实现多线程之间的变量同步，也就是在没有线程被阻塞的情况下实现变量的同步，所以也叫非阻塞同步（Non-blocking Synchronization）。可用于在多线程编程中实现不被打断的数据交换操作，从而避免多线程同时改写某一数据时由于执行顺序不确定性以及中断的不可预知性产生的数据不一致问题。

该操作通过将内存中的值与指定数据进行比较，当数值一样时将内存中的数据替换为新的值。

Go中的CAS操作是借用了CPU提供的原子性指令来实现。CAS操作修改共享变量时候不需要对共享变量加锁，而是通过类似乐观锁的方式进行检查，本质还是不断的占用CPU 资源换取加锁带来的开销（比如上下文切换开销）。

package main
import (
	"fmt"
	"sync"
	"sync/atomic"
)
var (
	counter int32          //计数器
	wg      sync.WaitGroup //信号量
)
func main() {
	threadNum := 5
	wg.Add(threadNum)
	for i := 0; i 
<p>当主函数main首先创建了5个信号量，然后开启五个线程执行incCounter方法,incCounter内部执行, 使用cas操作递增counter的值，<code>atomic.CompareAndSwapInt32</code>具有三个参数，第一个是变量的地址，第二个是变量当前值，第三个是要修改变量为多少，该函数如果发现传递的old值等于当前变量的值，则使用第三个变量替换变量的值并返回true，否则返回false。</p>
<p>这里之所以使用无限循环是因为在高并发下每个线程执行CAS并不是每次都成功，失败了的线程需要重写获取变量当前的值，然后重新执行CAS操作。读者可以把线程数改为10000或者更多就会发现输出<code>thread,5329,spinnum,1</code>其中这个1就说明该线程尝试了两个CAS操作，第二次才成功。</p>
<p>因此呢, go中CAS操作可以有效的减少使用锁所带来的开销，但是需要注意在高并发下这是使用cpu资源做交换的。</p>
<h2>CAS是如何运行的</h2>
<p>我们有两个goroutineA和goroutineB，接下来我们简称 A 和 B， 共享资源称为C</p>

A 和 B 均保存 C 当前的值
A 尝试使用CAS（56，53）更新C的值
C目前为56，可以更新，然后更新成功
B尝试使用CAS（56，53）更新C的值
C已经为53，更新失败

Go中的CAS源码

// CompareAndSwapUint32 executes the compare-and-swap operation for a uint32 value.
func CompareAndSwapUint32(addr *uint32, old, new uint32) (swapped bool)

实际代码文件在

Go / src / runtime / internal / atomic / asm_amd.s文件中

TEXT runtime∕internal∕atomic·Cas64(SB), NOSPLIT, $0-25
 MOVQ ptr+0(FP), BX
 MOVQ old+8(FP), AX
 MOVQ new+16(FP), CX
 LOCK
 CMPXCHGQ CX, 0(BX)
 SETEQ ret+24(FP)
 RET

其中我们可以看作

lock(一个命令前缀，在这里用于CMPXCHGQ)可以锁住总线保证多次内存操作的原子性。

然后执行CMPXCHGQ