プログラムサービス

取引所がアカウントについて知っておく必要のあることの一部は、ブロックの実行中には計算できません。出来高ティアは30日分の取引に依存します。報酬はまだ締まっていない期間に依存します。リファラルの帰属は、数か月前に成立した関係に依存します。 この処理をブロック実行の中に置くのは、二重に誤りです。ほとんどのブロックが必要としない計算のコストを、すべてのブロックが負担することになります。そのうえ、カーネルは他に保持する理由のない履歴を抱え込むことになります。 プログラムサービスは、向きを逆転させることでこれを解決します。計算はブロックの外側で、コミット済みの記録に対して実行されます。その結果だけがプロトコル状態としてチェーンへ書き戻され、実行時には他の設定と同じく定数時間で読み出せます。 権威はあくまでチェーンにあります。サービスはネットワークが依存する状態を保持しません。値を提案するだけであり、実在するのはチェーンが受け入れたものだけです。

​

現在稼働しているもの

出来高ベースの手数料ティア。このサービスはノードからストリーミングされる取引履歴を取り込み、アカウントごとの出来高を積み上げ、スケジュールに従ってスナップショットを取ります。期間が締まると、各アカウントのローリングウィンドウ出来高を計算し、チェーンからライブで読み取った手数料設定に照らしてティアを決め、変化したアカウントをバッチで書き戻します。 この説明の細部には、それぞれ役割があります。

• ティア表はチェーンから読み取るものであり、ハードコードしません。自前のコピーを抱えるサービスは、ネットワークが表を変えたあとも昨日の内容を適用し続けます。
• 差分は料率に対して取り、ティアの位置に対しては取りません。ティアのインデックスを比べると、現実に起きる2つのケースを取りこぼします。しきい値が動いた結果、何も変わっていないアカウントが別のティアに入る場合と、インデックスは同じままティアの料率が付け替えられる場合です。どちらもアカウントの支払額を変えますが、インデックスは変えません。
• 最終的な料率を解決するのはチェーンです。トランザクションが運ぶのはティアのインデックスであり、実行時にライブの手数料設定に照らして解決されます。有効範囲外のティアインデックスは、一部だけ適用されるのではなくバッチ全体を失敗させます。
• ある期間が適用済みとして記録されるのは、すべてのバッチがコミットされたあとだけです。期間の途中でクラッシュすると期間全体をやり直すことになりますが、計算は冪等なので安全です。同じウィンドウは同じ結果を返します。

​

障害モデル

これらのサービスは、それぞれ時折利用できなくなる2つのシステムの間に位置します。設計はそれを例外として扱うのではなく、前提として組み込んでいます。 依存先の障害（データベース、ノードのストリーム、ノードのAPI）はバックオフ付きでリトライします。プロセスは終了させません。再起動しても到達できない依存先は直らず、障害時間にコールドスタートが上乗せされるだけだからです。致命的なままにしてあるのは、再起動で直るもの、または運用者が必ず気づくべきものです。起動時の不正な設定、ヘルスエンドポイントをバインドできないこと、パニックです。 障害の間、プロセスは動き続け、自らをnot-readyと報告し、エラーを数えます。したがって運用上のシグナルは「プロセスが生きているか」ではなく「N分間not-readyのままか」になります。有用なのはこちらの問いです。1時間にわたって取り込みに失敗している生きたプロセスこそが、実際のインシデントだからです。 オーケストレータが送るシグナルに対しては、グレースフルにシャットダウンします。処理を止め、チェックポイントをフラッシュし、クリーンに終了します。これがなければ、通常のデプロイのたびに未フラッシュのウィンドウと再計算の代償を払うことになります。

​

このパターンが一般化する理由

書き戻しの経路は汎用です。アカウント単位の設定を書き込むプロトコルトランザクションと、グローバル設定を書き込むプロトコルトランザクションが用意されており、プログラムサービスとは、そのいずれかに入れる値をコミット済みの履歴から計算するプロセスの総称です。 稼働しているのは手数料ティアだけです。インセンティブプログラム、リファラルの帰属、キャンペーンの参加資格も同じ形になります。取引履歴に対する期間区切りの計算、現在適用されている値との差分、バッチでの書き戻しです。これらがカーネルではなくここに属する理由も手数料ティアと同じで、計算は周期的かつ履歴的である一方、実行側は答えが定数時間の参照であることを必要とするからです。いずれもまだ実装されていません。一般化するのはパターンであって、これらが実際にそれを使うという約束ではありません。 これらのプログラムの商業的な条件は手数料とプログラムにあります。このページが扱うのは、その結果がどうやってオンチェーンに載るかです。

​

次に読む