大家好,又见面了,我是你们的朋友全栈君。
锁会导致性能降低,在特定情况可用硬件同步原语替代锁,保证和锁一样数据安全,同时提供更好性能。
硬件同步原语(Atomic Hardware Primitives)
由计算机硬件提供的一组原子操作,较常用的原语主要是CAS和FAA两种。
CAS(Compare and Swap)比较交换
FAA原语(Fetch and Add)语义是,先获取变量p当前的值value,然后给变量p增加inc,最后返回变量p之前的值value。
原语有什么特殊的呢?
用编程语言来实现,肯定是无法保证原子性的。而原语是由计算机CPU提供实现,可保证操作的原子性。
原子操作具有不可分割性,不存在并发问题。所以在某些情况下,原语可以用来替代锁,实现一些即安全又高效的并发操作。
CAS和FAA在各种编程语言中,都有相应的实现,可直接使用,各种语言底层实现一样的。
注意并不是通过系统调用实现的,系统调用的开销不小,cas本来就是为了提升性能,不会走系统调用。事实上是在用户态直接使用汇编指令就可以实现。
账户服务示例
有个共享变量balance,保存当前账户余额,然后模拟多线程并发转账,看如何使用CAS原语来保证数据的安全性。
锁实现:
package main
import (
“fmt”
“sync”
)
func main() {
// 账户初始值为0元
var balance int32
balance = int32(0)
done := make(chan bool)
// 执行10000次转账,每次转入1元
count := 10000
var lock sync.Mutex
for i := 0; i < count; i++ {
// 这里模拟异步并发转账
go transfer(&balance, 1, done, &lock)
}
// 等待所有转账都完成
for i := 0; i < count; i++ {
}
// 打印账户余额
fmt.Printf(“balance = %d \n”, balance)
}
// 转账服务
func transfer(balance *int32, amount int, done chan bool, lock *sync.Mutex) {
lock.Lock()
*balance = *balance + int32(amount)
lock.Unlock()
done
}
然后启动多协程并发执行10000次转账,每次往账户中转入1元,全部转账执行完成后,账户中的余额应该正好10000。
反复多次执行,每次balance的结果都正好是10000,那安全性没问题。
CAS实现
func transferCas(balance *int32, amount int, done chan bool) {
for {
old := atomic.LoadInt32(balance)
new := old + int32(amount)
if atomic.CompareAndSwapInt32(balance, old, new) {
break
}
}
done
}
首先,for做个没有退出条件的循环。在这个循环内,反复调用CAS尝试给账户余额+1。
CAS前置条件:只有变量balance的值等于old,才会将balance赋为new。
在for循环中执行3条语句,在并发的环境中执行,会有两种可能:
执行到第3条CAS时,没有其他线程同时改变账户余额,那可安全变更账户余额。这时CAS返回值一定true,转账成功,即可退出循环。并且CAS语句,是个原子操作,赋值安全性也可保证。
在这过程,有其他线程改变账户余额,这时是无法保证数据安全的,不能再赋值。执行CAS时,由于无法通过比较步骤,所以不会执行赋值。本次尝试转账失败,当前线程并没有对账户余额做任何变更。由于返回值为false,不会退出循环,所以会继续重试,直到转账成功退循环。
这样每次转账操作,都可通过若干次重试,在保证安全性前提下,完成并发转账。
其实该例还有更简单性能更好方案:
FAA
func transferFaa(balance *int32, amount int, done chan bool) {
atomic.AddInt32(balance, int32(amount))
done
}
java.util.concurrent.atomic.AtomicLong#getAndAdd
FAA原语
获取变量当前值,然后把它做个加法,且保证该操作的原子性,一行代码即可。你开始好奇了,那CAS还有何意义?
该案例肯定FAA更合适,但CAS适用范围更广。
类似逻辑:先读数据,做计算,然后更新数据,无论这个计算啥样,都可用CAS保护数据安全。
但FAA逻辑局限于简单加减法。所以并非说CAS没有意义。
使用CAS反复重试赋值比较耗费CPU,因为for循环如果赋值不成,会立即进入下一次循环,没有等待的。如果线程间碰撞频繁,经常反复重试,这重试的线程会占用大量CPU时间,系统性能就会下降。
缓解这问题的一个方法是使用Yield(), 大部分编程语言都支持Yield()系统调用。
Yield()作用
告诉os,让出当前线程占用的CPU给其他线程。每次循环结束前调用下Yield(),可在一定程度上降低CPU使用率,缓解该问题。也可在每次循环结束后,Sleep()小段时间,但这样性能会严重下降。
所以,这种方法它只适于线程碰撞不太频繁,即执行CAS不需要重试这样的场景。
用锁、CAS和FAA完整实现账户服务
https://github.com/shenyachen/JKSJ/blob/master/study/src/main/java/com/jksj/study/casAndFaa/CASThread.java
https://github.com/xqq1994/algorithm/blob/master/src/main/java/com/test/concurrency/MutxLock.java
https://github.com/xqq1994/algorithm/blob/master/src/main/java/com/test/concurrency/CAS.java
参考
https://time.geekbang.org/column/article/130743
发布者:全栈程序员-用户IM,转载请注明出处:https://javaforall.cn/136694.html原文链接:https://javaforall.cn
【正版授权,激活自己账号】: Jetbrains全家桶Ide使用,1年售后保障,每天仅需1毛
【官方授权 正版激活】: 官方授权 正版激活 支持Jetbrains家族下所有IDE 使用个人JB账号...