标签: happens-before

与该标签相关的所有文章 "happens-before".

• Go 并发(三)：内存模型、happens-before 与同步语义

  2025年7月4日
  Go 并发

  Go 内存模型定义了 happens-before 偏序关系，它是 sequenced-before（单 goroutine 内语句顺序）和 synchronized-before（跨 goroutine 同步操作）的传递闭包。只有通过 happens-before 关联的写操作才保证对读操作可见。2022 年（Go 1.19）修订正式赋予 sync/atomic 顺序一致性语义，与 C++ seq_cst、Java volatile 对齐。任何存在 data race 的 Go 程序行为未定义——不存在"良性竞争"。