[논문 리뷰] OPTIMUM-DERAM: Highly Consistent, Scalable, and Secure Multi-Object Memory using RLNC

Nicolas Nicolaou, Kishori M. Konwar외 4명|arXiv (Cornell University)|2026. 01. 19.

Distributed systems and fault tolerance인용 수 0

한 줄 요약

Optimum-DeRAM은 분산적, 원자 읽기/쓰기 메모리를 제공하여 여러 객체를 지원하며, RLNC를 사용하여 확장성, 저장 효율성, 그리고 Byzantine 내성을 향상시키고 레지스트리 오라클을 통한 동적 참가/탈퇴를 제공합니다.

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)를 활용하여 내결함성, 저장 효율성, 지연을 향상시킨다.
• 성능 저하 없이 동적 참가/탈퇴와 확장 가능한 객체 배치를 가능하게 한다.
• 쿼럼 기반 프로토콜과 서명을 통해 Byzantine(비잔틴) 내결함성을 달성한다.
• 객체 크기, 객체 수, 노드 수, 및 연산 동시성과 함께 확장 가능한 재사용 가능한 프레임워크를 제공한다.

제안 방법

• RLNC를 사용하여 객체 값을 부호화된 원소들로 인코딩하고, 임의의 k개의 코드로 복호화가 가능하도록 한다.
• 일관 해싱 링을 도입하여 객체를 노드 클러스터에 걸쳐 분산시키고 확장 가능한 배치를 가능하게 한다.
• 노드의 동적 참가/탈퇴를 지원하기 위해 레지스트리로서 블록체인/합의 기반 오라클을 이용한다.
• 서명된 태그와 부호화 원소를 갖는 쿼럼 기반 프로토콜을 채택하여 Byzantine 동작을 허용한다.
• 데이터 접근 기본 원칙(DAPs)을 정의하고 Byzantine 오류 하에서 안전성(원자성)과 생존성을 증명한다.
• 객체 크기, 객체 수, 노드 수, 그리고 동시성에 초점을 맞추어 ABD 기준선에 대한 프로토콜을 평가한다.

실험 결과

연구 질문

• RQ1 탈중앙화 환경에서 RLNC를 사용하여 다중 객체에 대해 원자 읽기/쓰기 메모리를 어떻게 구현할 수 있는가?
• RQ2 일관 해싱 링으로 다클러스터 간 객체 배치 및 탐색을 어떻게 확장할 수 있는가?
• RQ3 동시 작업을 방해하지 않으면서 동적 참가/탈퇴를 어떻게 지원할 수 있는가?
• RQ4 RLNC 기반 저장 및 서명된 원소로 달성 가능한 Byzantine 내결함성 수준은 어느 정도인가?
• RQ5 핵심 차원에서 확장성 측면에서 전통적인 ABD와 비교하여 Optimum-DeRAM의 성능은 어떠한가?

주요 결과

• Optimum-DeRAM은 실험에서 고전적인 ABD에 비해 확장성 향상을 보여준다.
• 이 접근법은 확장성의 네 가지 차원에 초점을 맞춘다: 객체 크기, 객체 수, 노드 수, 그리고 연산 동시성.
• RLNC 인코딩은 저장 및 통신 오버헤드를 감소시키면서 부호화된 원소의 일부로부터 복구를 가능하게 한다.
• 일관 해싱 링은 클러스터 간 확장 가능한 다중 객체 분배를 가능하게 한다.
• 레지스트리 서비스가 있는 참가/탈퇴 프로토콜은 안전성을 해치지 않고 동적 참여를 가능하게 한다.
• 쿼럼 교차점과 서명된 부호화 원소를 통해 Byzantine 내성을 제공한다.