标签: #deterministic-simulation-testing
关于 GPU、LLM、MLOps、Kubernetes 以及心态的文章 · 1 篇
确定性模拟测试找到的那个 bug — KAFKA-19880，以及该怎么读「零 bug」
确定性模拟测试(DST)把时钟、线程交错、随机数这些非确定性会渗入的来源，全部关进模拟器里，让那些原本无法复现的 heisenbug 可以靠一个种子重新召唤出来。2026 年 3 月，Aiven 把 Kafka 的 Diskless Topics 实现放进 Antithesis 里，跑了大约 2,200 个逻辑小时，结果是零 bug。真正的 bug 却出自对照组 — 他们为了验证而跑的上游 Apache Kafka 原版代码，跑出了 K
2026-07-16 · 26 分钟阅读 #testing#deterministic-simulation-testing#distributed-systems#kafka#antithesis