[論文レビュー] OPTIMUM-DERAM: Highly Consistent, Scalable, and Secure Multi-Object Memory using RLNC

Nicolas Nicolaou, Kishori M. Konwar+4 more|arXiv (Cornell University)|Jan 19, 2026

Distributed systems and fault tolerance被引用数 0

ひとこと要約

Optimum-DeRAM は、RLNC を用いてスケーラビリティ、ストレージ効率、およびビザンチン耐性を向上させ、多数のオブジェクトをサポートする分散型、原子読み書きメモリを提供します。レジストリ・オラクルによるダイナミックな参加/退去機能を備えます。

ABSTRACT

This paper introduces OPTIMUM-DERAM, a highly consistent, scalable, secure, and decentralized shared memory solution. Traditional distributed shared memory implementations offer multi-object support by multi-threading a single object memory instance over the same set of data hosts. While theoretically sound, the amount of resources required made such solutions prohibitively expensive in practical systems. OPTIMUM-DERAM proposes a decentralized, reconfigurable, atomic read/write shared memory (DeRAM) that: (i) achieves improved performance and storage scalability by leveraging Random Linear Network Codes (RLNC); (ii) scales in the number of supported atomic objects by introducing a new object placement and discovery approach based on a consistent hashing ring; (iii) scales in the number of participants by allowing dynamic joins and departures leveraging a blockchain oracle to serve as a registry service; and (iv) is secure against malicious behavior by tolerating Byzantine failures. Experimental results over a globally distributed set of nodes, help us realize the performance and scalability gains of OPTIMUM-DERAM over previous distributed shared memory solutions (i.e., the ABD algorithm [3])

研究の動機と目的

• 複数オブジェクト（マルチオブジェクトメモリ）を構成して、スケーラブルで原子読み書き共有メモリを実現する。
• Random Linear Network Coding (RLNC) を活用して、フォールトトレランス、ストレージ効率、待ち時間を改善する。
• パフォーマンス劣化なく動的参加/退出とスケーラブルなオブジェクト配置を可能にする。
• quorum ベースのプロトコルと署名により Byzntine fault tolerance を達成する。
• オブジェクトサイズ、オブジェクト数、ノード数、操作同時実行度に応じて再利用可能なフレームワークを提供する。

提案手法

• RLNC を用いてオブジェクト値をコード要素にエンコードし、任意の k 個のコードでデコード可能にする。
• 一貫したハッシュリングを導入して、スケーラブルなオブジェクト配置のためにノードクラスター間でオブジェクトを分散する。
• ブロックチェーン/コンセンサス型オラクルをレジストリとして活用し、ノードの動的参加/退出をサポートする。
• 署名付きタグとコード要素を用いた quorum ベースのプロトコルを採用し、ビザンチン挙動を耐える。
• データアクセスプリミティブ（DAPs）を定義し、ビザンチン fault 下での安全性（原子性）と生存性を証明する。
• ABD ベースラインと比較して、オブジェクトサイズ、オブジェクト数、ノード数、同時実行度を焦点にプロトコルを評価する。

実験結果

リサーチクエスチョン

• RQ1 分散設定で RLNC を用いて複数オブジェクトの原子読み書きをどのように実現できるか。
• RQ2 一貫したハッシュリングを用いてクラスター間のオブジェクト配置と探索を如何にスケールさせるか。
• RQ3 動的な参加/退出を、同時実行操作を崩さずにサポートするにはどうするか。
• RQ4 RLNC ベースのストレージと署名付き要素で達成可能なビザンチン耐性はどの程度か。
• RQ5 Optimum-DeRAM はコア次元全体でのスケーラビリティの観点で従来の ABD と比較してどの程度性能を発揮するか。

主な発見

• Optimum-DeRAM は古典的 ABD に比べスケーラビリティの改善を実験で示した。
• アプローチは四つのスケーラビリティ次元、すなわちオブジェクトサイズ、オブジェクト数、ノード数、操作同時実行度に焦点を当てる。
• RLNC エンコードはストレージと通信のオーバーヘッドを削減し、コード要素の一部から回復を可能にする。
• 一貫したハッシュリングによりクラスター間でのスケーラブルなマルチオブジェクト分配を実現する。
• レジストリサービスを用いた参加/退出プロトコルにより、安全性を損なうことなく動的な参加を許容する。
• このプロトコルは quorum の交差と署名付きコード要素によってビザンチン耐性を提供する。