sync.Once中的原子内存排序

在探索sync.Once的源代码时，我们偶然发现了使用atomic背后的原因。 StoreUint32 而不是像 o.done = 1 这样的标准赋值。

Go 中的内存排序

并发编程中的一个基本概念是内存排序，它确保共享内存在所有处理器上一致地观察到访问。然而，不同的架构以不同的方式实现内存排序，这给程序员带来了挑战。

Go 通过提供统一的内存模型来解决这个问题，强制执行宽松但一致的内存排序。假定所有内存访问都是异步的，不保证原子性或顺序。

同步原子操作。Once

尽管宽松的内存模型，Go 仍强制要求使用共享内存访问的原子操作来保证所有支持的体系结构的正确性。在sync.Once中，使用atomic.StoreUint32来安全地更新done标志，确保其他goroutine在标志设置为1之前可以观察到f()的效果。

快速路径优化

atomic.StoreUint32用于sync.Once的快速路径中，以在保持安全性的同时优化性能。首先使用atomic.LoadUint32检查done标志，然后使用atomic.StoreUint32写入，因为在写入的同时读取该标志是一种数据竞争。

互斥保护

The doSlow 中使用的互斥体用于保护完成标志免受并发写入的影响。在没有互斥体的情况下仍然可以读取该标志，因为它是读取操作，但并发写入必须同步以防止数据损坏。

总而言之，在sync.Once中使用atomic.StoreUint32是以下结果Go 的宽松内存模型以及在所有支持的架构上保证线程安全的必要性。通过采用原子操作，sync.Once 可以安全地协调对共享内存的并发访问，同时优化快速路径中的性能。