Posted in

Go数组修改的“量子态”难题:同一地址,不同goroutine看到不同值?——Go内存模型happens-before链完整推演

第一章:Go数组修改的“量子态” … Go数组修改的“量子态”难题:同一地址,不同goroutine看到不同值?——Go内存模型happens-before链完整推演Read more

Posted in

Go语言goto设计的“时间之墙”:向前跳转为何违反Go的单向控制流时序模型?基于Go memory model v1.22的happens-before图谱推演

第一章:Go语言goto设计的“ … Go语言goto设计的“时间之墙”:向前跳转为何违反Go的单向控制流时序模型?基于Go memory model v1.22的happens-before图谱推演Read more

Posted in

为什么Go test -race不能发现所有竞态?幼麟混沌工程团队构造的4类Happens-Before断裂场景与data race检测增强方案

第一章:为什么Go test – … 为什么Go test -race不能发现所有竞态?幼麟混沌工程团队构造的4类Happens-Before断裂场景与data race检测增强方案Read more