go语言不会隐式保护共享变量，上述代码存在数据竞争，看似输出100只是侥幸；需显式使用互斥锁、原子操作或通道等同步机制保障并发安全。
go语言不会隐式保护共享变量，上述代码存在数据竞争，看似输出100只是侥幸；需显式使用互斥锁、原子操作或通道等同步机制保障并发安全。
在Go中，并发（goroutine）不等于并行（parallelism），更不等于线程安全。你提供的示例代码：
var m int
func add(i int) {
m++
}
func main() {
m = 0
for i := 0; i < 100; i++ {
go add(i)
}
time.Sleep(time.Millisecond * 1000)
fmt.Println(m)
}表面上每次输出 100，容易误以为 Go “自动处理了竞态”。但这是未定义行为（undefined behavior）下的偶然结果——取决于调度时机、CPU缓存一致性、编译器优化及运行环境，绝非线程安全保证。
✅ 验证竞态的最可靠方式是启用 Go 内置竞态检测器（Race Detector）：
go run -race main.go
如答案所示，它会明确报告 DATA RACE：多个 goroutine 对变量 m 的读/写未同步，存在竞态条件（race condition）。该检测器基于动态二进制插桩，能高精度捕获真实并发冲突，是开发阶段必须启用的调试工具。
立即学习“go语言免费学习笔记（深入）”；
? 正确做法：显式同步共享状态。以下是三种推荐方案：
1. 使用 sync.Mutex（适合复杂逻辑或多次读写）
import "sync"
var (
m int
mutex sync.Mutex
)
func add(i int) {
mutex.Lock()
m++
mutex.Unlock()
}2. 使用 sync/atomic（轻量、高性能，适用于基础类型）
import "sync/atomic"
var m int64 // 注意：atomic 操作需匹配类型
func add(i int) {
atomic.AddInt64(&m, 1)
}
// 输出时转换：fmt.Println(atomic.LoadInt64(&m))3. 使用 channel（符合 Go 的 CSP 哲学，适合协调与通信）
func main() {
ch := make(chan int, 100)
var m int
for i := 0; i < 100; i++ {
go func() { ch <- 1 }()
}
for i := 0; i < 100; i++ {
<-ch
m++
}
fmt.Println(m)
}⚠️ 注意事项：
-
time.Sleep不是同步手段，仅是粗略等待，无法保证所有 goroutine 执行完毕；应使用sync.WaitGroup等显式同步原语； - 全局变量 + goroutine 是高风险组合，优先考虑无状态函数、局部变量或通过 channel 传递数据；
-
-race应纳入 CI 流程，禁止在未检测竞态的情况下上线并发代码。
总结：Go 的设计哲学是“不要通过共享内存来通信，而应通过通信来共享内存”。它不隐藏并发复杂性，而是提供简洁、可靠的工具（mutex, atomic, channel, WaitGroup）让你显式、可控地管理并发——这正是其健壮性的根基。
