タグ: #deterministic-simulation-testing
GPU・LLM・MLOps・Kubernetes、そしてマインドセット · 1 件
決定論的シミュレーションテストが見つけたバグ — KAFKA-19880、そして「バグ0件」の読み方 ♪ 聞けます
決定論的シミュレーションテスト(DST)は、クロック、スレッドのインターリーブ、乱数のように非決定性が入り込む出所をシミュレータの中に閉じ込め、再現できなかったheisenbugを一つのシードで呼び戻せるようにする技法です。2026年3月、AivenはKafkaのDiskless Topics実装をAntithesisにかけて約2,200論理時間動かし、結果はバグ0件でした。ところが実際のバグは対照群から出てきました — 検証のために動
2026-07-16 · 32 分で読めます #testing#deterministic-simulation-testing#distributed-systems#kafka#antithesis