【要約】はじめてな Elixir(39) Zenohex の put/get で「書いたはずの値が読めない」を潰す [Qiita_Trend] | Summary by TechDistill
> Source: Qiita_Trend
Execute Primary Source
// Problem
開発者がZenohexを用いてGenServerの状態保存を試みた際、書き込み直後の読み取りで整合性が取れない問題に直面した。具体的には以下の課題が確認された。
- ・put操作が送信完了のみを保証する「fire-and-forget」型である。
- ・get操作はリモートからの応答を待つ「リクエスト/レスポンス」型である。
- ・この非対称性により、書き込みがストレージに反映される前に読み取りが発生する。
- ・未定義のキーへのアクセス時に、内部チャネルエラーが発生する場合がある。
// Approach
開発者は、書き込みの成功だけでなく、読み取りによる整合性の確認までを一つの操作として扱うラッパーを実装した。以下の手順で整合性を担保している。
- ・「ZenohAckPut」モジュールを新規作成した。
- ・put実行後、指定したタイムアウト内でgetによる値の検証を行う。
- ・値が一致しない場合は、短いインターバルで再試行（ポーリング）を繰り返す。
- ・get時のエラーハンドリングを強化し、未定義キーによるクラッシュを防ぐ。
// Result
開発者が作成したラッパーを適用した結果、整合性に関する問題が完全に解消された。具体的な成果は以下の通りである。
- ・2000回の連続試行において、stale readおよび未確認タイムアウトが0件となった。
- ・実装された「ZenohAckPut」をGitHubで公開し、Git依存での利用を可能にした。
- ・アプリケーション層でのシンプルな実装により、プロトコルの欠陥を実用レベルで克服した。
Senior Engineer Insight
> 本件はプロトコル設計に起因する既知の課題である。アプリケーション層での解決は現実的だが、putの後にgetを挟むため、書き込みレイテンシは確実に増加する。高頻度な書き込みが発生する環境では、このポーリングによる負荷とスループットの低下を許容できるか慎重に判断すべきだ。整合性と性能のトレードオフを理解した上での導入が求められる。