- 当前位置：首页 >数据库 >Uber工程师对真实世界并发问题的研究
Uber工程师对真实世界并发问题的研究
发布时间：2025-11-05 15:22:25 来源：码上建站 作者：系统运维
今天Uber工程师放出一篇论文(A Study of Real-World Data Races in Golang](https://arxiv.org/abs/2204.00764))，工程作者是师对世界Uber的工程师MilindChabbi和Murali Krishna Ramanathan，他们负责使用Go内建的真实data race detector在Uber内的落地，经过6个多月的问题研究分析，他们将data race detector成功落地，工程并基于对多个项目的师对世界分析，得出了一些有趣的真实结论。
我们知道，问题Go是工程Uber公司的主打编程语言。他们对Uber的师对世界2100个不同的微服务，4600万行Go代码的真实分析，发现了超过2000个的问题有数据竞争的bug, 修复了其中的1000多个，剩余的工程正在分析修复中。
谈起真实世界中的师对世界Go并发Bug,其实2019年我们华人学者的Understanding Real-World Concurrency Bugs in Go论文可以说是开山之作，首次全面系统地分析了几个流行的免费源码下载真实大型Go项目的并发bug。今天谈的这一篇呢，是Uber工程师针对Uber的众多的Go代码做的分析。我猜他们可能是类似国内工程效能部的同学，所以这篇论文有一半的篇幅介绍Go data race detector是怎么落地的，这个我们就不详细讲了，这篇论文的另一半是基于对data race的分析，罗列出了常见的出现data race的场景，对我们Gopher同学来说，很有学习的意义，所以我晚上好好拜读了一下这篇论文，做一总结和摘要。
作为一个大厂，肯定不止一种开发语言，作者对Uber线上个编程语言(go、java、站群服务器nodejs、python)进行分析，可以看到：
相比较Java， 在Go语言中会更多的使用并发处理同一个进程中，nodejs平均会启动16个线程，python会启动16-32个线程，java进程一般启动128-1024个线程，10%的Java程序启动4096个线程，7%的java程序启动8192个线程。Go程序一般启动1024-4096个goroutine,6%的Go程序启动8192个goroutine(原文是8102，我认为是一个笔误)，最大13万个。可以看到Go程序会比其它语言有更多的并发单元，更多的并发单元意味着存在着更多的并发bug。Uber代码库中都有哪些类的并发bug呢？
下面的介绍会很多的使用数据竞争概念(data race)，它是并发编程中常见的概念，有数据竞争，意味着有多个并发单元对同一个数据资源有并发的读写，亿华云计算至少有一个写，有可能会导致并发问题。
透明地引用捕获 (Transparent Capture-by-Reference)
直接翻译过来你可能觉得不知所云。Transparent是指没有显示的声明或者定义，就直接引用某些变量，很容易导致数据竞争。通过例子更容易理解。这是一大类，我们分成小类逐一介绍。
循环变量的捕获不得不说，这也是我最常犯的错误。虽然明明知道会有这样的问题，但是在开发的过程中，总是无意的犯这样的错误。
复制for _ , job := range jobs{
go func() {
ProcessJob ( job)
}()
} // end for1.2.3.4.5.比如这个简单的例子,job是索引变量，循环中启动了一个goroutine处理这个job。job变量就透明地被这个goroutine引用。
循环变量是唯一的，意味着启动的这个goroutine,有可能处理的都是同一个job,而并不是期望的没有一个job。
这个例子还很明显，有时候循环体内特别复杂，可能并不像这个例子那么容易发现。
err变量被捕获Go允许返回值赋值给多个变量，通常其中一个变量是error。x, err := m, n意味着声明和定义left hand side(LHS)变量，如果变量还没有声明过的话，那就是定义了一个新的变量，但是如果变量已声明过得话，那就是对已有变量的重新赋值。
下面这个例子，y,z的赋值时，会对同一个err进行写操作，也可能会导致数据竞争，产生并发问题。
复制x , err := Foo()
if err != nil{
...}
go func() {
y , err := Bar()
if err != nil{
...}
}()
z , err := Baz()
if err != nil{
...}
1.2.3.4.5.6.7.8.9.10.11.12.13.14.15.16. 捕获命名的返回值下面这个例子定义了一个命名的返回值result。可以看到... = result（读操作）和return 20(写操作)有数据竞争的问题，虽然return 20你并没有看到对result的赋值。
复制func NamedReturnCallee () ( result int) {
result =10 if ...{
return // this has the effect of " return 10"}
go func() {
... = result // read result}()
return20 // this is equivalent to result =20}
func Caller() {
retVal := NamedReturnCallee()
}
1.2.3.4.5.6.7.8.9.10.11.12.13.14.defer也会有类似的效果,下面这段代码对err有数据竞争问题。
复制func Redeem ( request Entity ) ( resp Response , err error)
{
defer func() {
resp , err = c . Foo ( request , err)
}()
err = CheckRequest ( request)
... // err check but no return go func() {
ProcessRequest ( request , err != nil)
}()
return // the defer function runs after here}
1.2.3.4.5.6.7.8.9.10.11.12.Slice相关的数据竞争
下面这个例子，safeAppend使用锁对myResults进行了保护，但是在每次循环调用(uuid, myResults)并没有读保护，也会有竞争问题，而且不容易发现。
复制func ProcessAll ( uuids [] string) {
var myResults [] string var mutex sync . Mutex safeAppend := func ( res string) {
mutex.Lock()
myResults = append ( myResults , res)
mutex.Unlock()
}
for _ , uuid := range uuids{
go func ( id string , results [] string) {
res := Foo ( id)
safeAppend ( res)
}( uuid , myResults ) // slice read without holding lock}
...}
1.2.3.4.5.6.7.8.9.10.11.12.13.14.15.16.17.非线程安全的map
这个很常见了，几乎每个Gopher都曾犯过，犯过才意识到Go内建的map对象并不是线程安全的，需要加锁或者使用sync.Map等其它并发原语。
复制func processOrders ( uuids [] string ) error{
var errMap = make ( map [ string ] error)
for _ , uuid := range uuids{
go func ( uuid string) {
orderHandle , err := GetOrder ( uuid)
if err != nil{
▶ errMap [ uuid ] = errreturn}
...}( uuid)
return combineErrors ( errMap)
}
1.2.3.4.5.6.7.8.9.10.11.12.13.传值和传引用的误用
Go标准库常见并发原语不允许在使用后Copy, go vet也能检查出来。比如下面的代码，两个goroutine想共享mutex,需要传递&mutex,而不是mutex。
复制var a int// CriticalSection receives a copy of mutex .func CriticalSection ( m sync . Mutex) {
m.Lock()
a ++m.Unlock()
}
func main() {
mutex := sync . Mutex{}
// passes a copy of m to A .go CriticalSection ( mutex)
go CriticalSection ( mutex)
}
1.2.3.4.5.6.7.8.9.10.11.12.13.混用消息传递和共享内存两种并发方式
消息传递常用channel。下面的例子中，如果context因为超时或者主动cancel被取消的话，Start中的goroutine中的f.ch <- 1可能会被永远阻塞，导致goroutine泄露。
复制func ( f * Future ) Start() {
go func() {
resp , err := f.f () // invoke a registered function f.response = resp f.err = err f.ch <-1 // may block forever !}()
}
func ( f * Future ) Wait ( ctx context . Context ) error{
select{
case <-f.ch:
return nilcase <- ctx.Done() :
f.err = ErrCancelledreturn ErrCancelled}
1.2.3.4.5.6.7.8.9.10.11.12.13.14.15.16.并发测试
Go的testing.T.Parallel()为单元测试提供了并发能力，或者开发者自己写一些并发的测试程序测试代码逻辑，在这些并发测试中，也是有可能导致数据竞争的。不要以为测试不会有数据竞争问题。
不正确的锁调用
为写操作申请读锁下面这个例子中，g.ready是写操作，可是这个函数调用的是读锁。
复制func ( g * HealthGate ) updateGate() {
g.mutex.RLock()
defer g.mutex.RUnlock()
// ... several read - only operations ...if ...{
g.ready = true // Concurrent writes . g.gate.Accept () // More than one Accept () .}
1.2.3.4.5.6.7.8. 其它锁的问题你会发现，大家经常犯的一个“弱智”的问题，就是Mutex只有Lock或者只有Unlock,或者两个Lock,这类问题本来你认为绝不会出现的，在现实中却经常能看到。
还有使用atomic进行原子写，但是却没有原子读。
我认为这里Uber工程师并没有全面详细的介绍使用锁常见的一些陷阱，推荐你学习极客时间中的Go 并发编程实战课课程，此课程详细介绍了每个并发原语的陷阱和死锁情况。
总结
总结一下，下表列出了基于语言类型统计的数据竞争bug数：
整体来看，锁的误用是最大的数据竞争的原因。并发访问slice和map也是很常见的数据竞争的原因。
- 华为中央研究院（科技巨头的研究实力和未来发展）
- 五分钟上手 Vim 运维老鸟的必备编辑技巧
- 什么是工业物联网？
- 5G如何帮助实现大规模物联网
- 问题复制代码代码如下:原因可选方案：在终端中安装 7Zip复制代码代码如下:sudo apt-get install p7zip-full注意：在Ubuntu中，你会发现有3个7zip包：p7zip，p7zip-full 和 p7zip-rar。p7zip和p7zip-full的区别在于，p7zip是一个更轻量化的版本，仅仅提供了对 .7z 和 .7za 文件的支持，而完整版则提供了对更多（用于音频文件等的） 7z 压缩算法的支持。对于 p7zip-rar，它除了对 7z 文件的支持外，也提供了对 .rar 文件的支持。事实上，相同的错误也会发生在Ubuntu中的RAR文件身上。解决方案也一样，安装正确的程序即可。
- 数据隐私在智慧城市中的重要性
- 气候与能源危机双重压力之下的建筑能效
- vivo Trace 监控追求极致的建设历程
- 魅族5s安卓系统的优势与特点（探索魅族5s安卓系统的功能与性能）
- 美控发布KONG NZ“零境”为建筑数字化打造坚实底座
随便看看
- Copyright © 2025 Powered by Uber工程师对真实世界并发问题的研究,码上建站 滇ICP备2023006006号-47sitemap