マッチングエンジン

価格・時間優先

新しい注文が届くと、エンジンは板の最良の反対注文とマッチングします。「最良」は最初に価格、次に時間で定義されます。

• より良い価格が先に約定します — 売り手にとってはより高いビッドがより低いビッドに勝ります。
• 価格が同じ場合は時間で約定します — 早い注文が優先されます。
• 約定価格は入ってきた注文ではなく待機注文から来ます。

停止トリガー

3つのイベントがマーケットのマッチングを停止させる可能性があります。停止中、エンジンは新規注文を拒否し待機注文を凍結します。

再起動中に起こること

エンジンの再起動はまれですが実際に起こります。SatoriExは板を決定論的に再生します。ユーザーは書き込みで短時間の停止を経験しますが、読み取りでは経験しません。

1. APIが一時的なエラーコードで新規注文を拒否します。
2. 既存の待機注文が永続ストアから読み込まれます。
3. 板の状態が最後にコミットされたシーケンス番号まで再生されます。
4. マッチングが再開されます。拒否されたクライアントは同じべき等キーでリトライしてください。

公平性の不変条件

エンジンは同じ価格で古い注文より先に新しい注文を取引させることはありません。プラットフォームのシード流動性を含め、いかなる注文も優先されません — 注文にファストレーンフラグはありません。