Go语言并发控制：sync.Once的潜在风险
Go语言的sync.Once机制旨在确保一段代码仅执行一次，这在初始化全局变量或共享资源时非常实用。然而，在高并发环境下，看似简单的sync.Once也可能引发意想不到的问题。本文将通过分析一段示例代码，揭示其潜在的错误原因。
以下代码意图利用sync.Once初始化全局变量a，并允许多个goroutine并发访问和打印：
<code class="go">var a string
var done bool
var once sync.Once
func setup() {
a = "hello, world"
done = true
}
func doprint() {
once.Do(setup)
print(a)
}
func twoprint() {
go doprint()
go doprint()
}</code>
这段代码的问题在于，它依赖于done变量来判断setup函数是否已执行。setup函数将a赋值为"hello, world"，并将done设置为true。doprint函数在done为false时调用once.Do(setup)，以确保setup只执行一次。然而，关键在于done和a的修改并非原子操作。
立即学习“go语言免费学习笔记（深入）”；
在高并发场景下，可能出现以下情况：一个goroutine发现done为false，进入once.Do(setup)，执行setup函数。此时a被赋值，done被设置为true。但在此之前，其他goroutine可能已读取到done为false，并跳过once.Do(setup)，直接执行print(a)。由于a尚未被初始化，因此打印结果为空字符串。
根本原因在于，done和a的读写操作缺乏必要的同步机制。多个goroutine对这两个变量的并发访问造成了数据竞争，导致程序状态不一致，最终输出错误结果。 这并非sync.Once本身的缺陷，而是由于错误地依赖未同步的变量来控制并发访问所致。Go语言的并发模型强调避免数据竞争，这需要开发者在编写并发程序时，谨慎处理共享变量的访问和修改。
