看到done=true后，之前所有写入内容是否都能一览无遗？

看到 done=true 后之前所有写入内容是否都能一览无遗？

咱就是说这个问题听起来简单，但你真正要回答的，可不是“加个锁就行了”。 咱就是说Go 的内存模型啊，那可就玄乎了。

你看， 咱们要处理配置加载这种场景，sync.Once 简直是神器。它内部已经处理好了同步和可见性问题，你不需要自己去发明一个 done 标志位。 sync/atomic 呢？它很容易被误用。很多人把它理解成“更快地普通读写”，这可就凶险了。 atomic 能参与建立同步， 但前提是你真的在用一套完整的原子访问协议，而不是只把某个布尔标志位换成了原子变量，然后默认其他普通字段也自动平安了。

既然不“运气”和“直觉”能靠上，我们该怎么搞？在 Go 里这个边界通常来自两类关系：同步原语，破防了...。

同步原语的可见性

所以 “至少用 atomic”这句话在面试里通常不算答案，只算提示。真正的答案是：你要解释清楚，你建立的同步边界到底覆盖了哪些状态。如果只是把 done 改成了 atomic.LoadBool 但 cfg 依然是普通变量，那么问题依然存在——你依然无法证明kan到 done 为 true 时cfg 一经准备好了，原来如此。。

缓存快照和全局 client 发布也是同理。你上线后最难排查的不是稳定复现的 bug，而是那种“偶发 nil”“偶发旧值”“偶发字段不一致”。 准确地说... 很多时候根因根本不在业务逻辑，而在发布协议没有建立起来。

如果没有同步关系， 那么另一个 goroutine 即使读到了 done == true ，也不能据此推出和它相关的其他写入已经对自己可见。换句话说读到一个值，不自动附赠一整组相关状态的可见性。你可能会惊恐地发现， 虽然 done 一经是 true 了但 cfg 要么还是 nil ，要么里面的字段全是零值。 这典型的“可见性错误”，PTSD了...。

解决可见性的难题

我怀疑... 答案是：不一定。除非你能证明存在一条 `happens-before` 链条连接了“写入 done”和“读取 done”这两个动作 ，并且这条链条一边也覆盖了你对 `cfg` 的读写。

很多人把这类错误写法称为“简单粗暴但一般能跑”。面试官真正关心的是：你是不是在拿“经常能跑”冒充“语义正确”。这种代码在单核 CPU 或者低并发场景下可能表现正常 ， 一旦上线到高并发的生产环境 ，因为负载增加 ，CPU 缓存一致性的延迟暴露无遗 ，程序就会崩溃。

你没事吧？ 所以资深面试官问这道题 ， 不是为了听一句“加锁就好” ，而是为了看你有没有一个稳定的判断标准 。从“你知道这个例子不平安” ， 一路追到“你能不难把 Go 并发里的可见性 、同步边界 、发布协议和工程取舍讲成一个完整故事”。

Go 并发编程的基石：happens before

单例和懒加载场景下很多人为了省一点锁 ， 会自己写“先判断是否初始化 ，再决定是否进入慢路径”的代码 。 我晕... 问题是只要第一次观察发生在没有同步保护的路径上 ，这个优化就可能先把正确性优化掉。

var cfg *Configvar done bool
func initConfig {
    cfg = &Config{Timeout: 30} //1.准备数据
    done = true                //2.设置标志
}
func useConfig int {
    if done {
        //3.检查标志
        return cfg.Timeout //4.使用数据
    }
    return 0
}

扎心了... 果一个候选人把这道题答成“Go调度不可预测 ， 所以最好加锁”，我会觉得他见过问题 ，但还没真正掌握判断标准 。如果他能主动把答案收敛到“平安发布”和“同步边界” ， 那我就会认为他已经从背概念 ，走到了会做并发设计。

双重检查锁的陷阱

for !done { //空转,等待 done变为 true}return cfg.Timeout 工程实际操作中的复杂场景 平安发布 var cfg *Configvar done boolfunc initConfig { cfg = &Config{Timeout: 30} // 1.准备数据 done = true // 2.设置标志}func useConfig int { if done { // 3.检查标志 return cfg.Timeout // 4.使用数据 } return 0} 形敢神聚 形 简单明了的代码逻辑清晰避免冗余 神 深入理解 Go 并发模型能够将抽象概念转化为实际应用能够识别潜在的平安风险，太顶了。