## Memo [Minimizing Faulty Executions of Distributed Systems | the morning paper](https://blog.acolyer.org/2015/11/18/minimizing-faulty-executions-of-distributed-systems/) ## Abstract 分散システムのバグのトラブルシューティングを行う場合、開発者は通常、バグのトリガーとなるイベント（シグナル）と無関係なイベント（ノイズ）を手作業で分離することから始める。本稿では、この最小化を自動的に実行するツールであるDEMiを紹介する。DEMiをRaftとSparkという全く異なる2つの分散システムのバグのある実行に適用し、最適な実行の1倍から4.6倍のサイズの最小化された実行を生成することを発見した。