Rustにおける決定論的シミュレーションテスト：ステートマシンアプローチ
2025-08-05
Polar Signalsチームは、決定論的シミュレーションテスト（DST）を最優先事項としたステートマシンアーキテクチャを用いた新しいRustデータベースの構築経験を共有します。以前のGoデータベースであるFrostDBとは異なり、新しいデータベースは既存のスケジューラの制御を避け、代わりに、すべての主要コンポーネントがメッセージバスを介して通信するシングルスレッドのステートマシンとして記述されるステートマシンモデルを使用します。このアプローチは、並行処理、時間、ランダム性、障害注入に対する完全な制御を提供し、DSTの実装を大幅に簡素化し、2つの重大なバグを発見しました。このアプローチは追加の認知的オーバーヘッドを必要としますが、システムの動作に関するより正確な推論と、より信頼性の高いコードをもたらします。