問題タブ [paxos]
For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.
algorithm - 分散共有ログの CORFU が削除を検証しないのはなぜですか?
ペーパーCORFU: A Distributed Shared Logは、削除メッセージを検証しない疑似コードでプロトコルを提示します。論文を引用するには：
これは、まだ書き込まれていないページを削除できることを意味します。また、クライアントが古いクラスター構成を使用してページを削除できることも意味します。これは、論文で提示されているプロトコルが削除を失う可能性があることを意味しませんか?
論文によると、CORFU はメモリ空間の最適化として、削除されたアドレスの最高水準点を維持します。削除を失う可能性がある場合、そのハイ ウォーターマークは移動せず、メモリが出血します。
ステート マシンのレプリケーションに CORFU を使用すると、ステート マシンのスナップショットを作成し、スナップショットまでのログを削除できます。削除を失う可能性がある場合、ログは実際には永遠に大きくなります。
検証なしで単に削除を適用するのではなく、実装で単純に削除を冪等にするだけでなく、次のように検証します。
それとも、何らかの形で安全性やパフォーマンスを損なうでしょうか?