2.比较并交换
最后更新于：2022-04-02 04:47:09
Compare And Swap 简称CAS （比较并交换）
先比较变量的值是否等于给定旧值，等于旧值的情况下才赋予新值，最后返回新值是否设置成功。
使用锁的做法趋于悲观
我们总假设会有并发的操作要修改被操作的值，并使用锁将相关操作放入临界区中加以保护。
使用CAS操作的做法趋于乐观
总是假设被操作值未曾被改变（即与旧值相等），并一旦确认这个假设的真实性就立即进行值替换。
~~~
package main
import(
"fmt"
"sync"
"sync/atomic"
)
func main(){
var sum uint32 = 100
var wg sync.WaitGroup
for i := uint32(0); i < 100; i++ {
wg.Add(1)
go func(t uint32) {
defer wg.Done()
atomic.CompareAndSwapUint32(&sum, 100, sum+1)
}(i)
}
wg.Wait()
fmt.Println(sum)
}
~~~
输出结果：
~~~
101
~~~
可以看到sum的值只改变了一次，只有当sum值为100的时候，CAS才将sum的值修改为了sum+1。
函数原型：
~~~
atomic.CompareAndSwapUint32(addr *uint32, old, new uint32) bool
atomic.CompareAndSwapUint64(addr *uint64, old, new uint64) bool
atomic.CompareAndSwapInt32(addr *int32, old, new int32) bool
atomic.CompareAndSwapInt64(addr *int64, old, new int64) bool
atomic.CompareAndSwapUintptr(addr *uintptr, old, new uintptr) bool
atomic.CompareAndSwapPointer(addr *unsafe.Pointer, old, new unsafe.Pointer) bool
~~~
';