[논문 리뷰] It's not a lie if you don't get caught: simplifying reconfiguration in SMR through dirty logs

Allen Clement, Natacha Crooks외 2명|arXiv (Cornell University)|2026. 02. 10.

Distributed systems and fault tolerance인용 수 0

한 줄 요약

Gauss는 내부 로그와 외부 로그를 분리하여 상태 머신 복제(SMR) 모듈식 재구성 엔진을 도입하여 임의의 멤버십 변경 및 프로토콜 업그레이드를 다운타임 최소화로 가능하게 한다.

ABSTRACT

Production state-machine replication (SMR) implementations are complex, multi-layered architectures comprising data dissemination, ordering, execution, and reconfiguration components. Existing research consensus protocols rarely discuss reconfiguration. Those that do tightly couple membership changes to a specific algorithm. This prevents the independent upgrade of individual building blocks and forces expensive downtime when transitioning to new protocol implementations. Instead, modularity is essential for maintainability and system evolution in production deployments. We present Gauss, a reconfiguration engine designed to treat consensus protocols as interchangeable modules. By introducing a distinction between a consensus protocol's inner log and a sanitized outer log exposed to the RSM node, Gauss allows engineers to upgrade membership, failure thresholds, and the consensus protocol itself independently and with minimal global downtime. Our initial evaluation on the Rialo blockchain shows that this separation of concerns enables a seamless evolution of the SMR stack across a sequence of diverse protocol implementations.

연구 동기 및 목표

• 생산 배포에서 모듈형, 업그레이드 가능한 SMR 구성 요소의 필요성을 동기 부여한다.
• 기본 합의 프로토콜에서 재구성을 분리하는 재구성 아키텍처를 제안한다.
• 에포크 간에 evolve하는 SMR 배포에 대한 형식적 안전성과 생존성(safety and liveness) 속성을 정의한다.
• 내부/외부 로그 분리가 합의 구현 간 seamless 전환을 가능하게 하는 방법을 시연한다.

제안 방법

• 다음의 Gauss 제시: 서로 다른 멤버십과 합의 프로토콜 간에 에포크를 전환하는 3단계 재구성 프로토콜(prepare, handover, shutdown).
• 로그 정화기(log sanitizer)를 도입하여 내부 로그(합의 특정) 를 외부 로그(SMR에서 보이는)로 변환해 SMR 속성을 보존한다.
• 멤버십과 합의 프로토콜이 진화하는 에포크를 모델링하고 formal safety(outer log의 일관성 보장) 및 liveness(progress) 보장을 제공한다.
• 작동 예제와 가능한 증명의 개요를 제공하여 임의의 에포크 전환에서 안전성을 입증한다.
• Rialo에서 Gauss를 구현하고 로컬 테스트베드에서 다양한 검증자 세트에 걸친 에포크-변경 대기시간을 평가한다.

Figure 1 . RSM Node SubComponents

실험 결과

연구 질문

• RQ1 SMR 재구성을 모듈식으로 만들어 멤버십 변경과 프로토콜 업그레이드를 합의 엔진과 독립적으로 수행할 수 있는가?
• RQ2 에포크 간 서로 다른 멤버십과 합의 프로토콜로 전환할 때 재구성 엔진이 안전성과 생존성을 보장할 수 있는가?
• RQ3 내부/외부 로그 분리가 프로토콜 진화 전반에 걸친 원활한 재구성을 가능하게 하는 데 어떤 역할을 하는가?
• RQ4 검증자 수가 증가할 때 에포크 변화의 실질적 성능 영향(지연)은 어느 정도인가?
• RQ5 전이 간의 올바름을 보존하면서 재구성 다운타임을 어떻게 최소화할 수 있는가?

주요 결과

• Gauss는 내부 로그와 외부 로그를 분리하여 임의의 멤버십 변경 및 프로토콜 업그레이드를 다운타임 최소화로 가능하게 한다.
• 로그 정화기는 선택된 합의 프로토콜의 내부 로그를 다른 SMR 구성요소에서 사용하는 정화된 외부 로그로 번역하여 프로토콜에 구애받지 않는 재구성을 가능하게 한다.
• 3단계 준비–인도(hand over)–종료 프로토콜이 에포크 간 전환을 조정하며 안전성과 생존성을 보존한다.
• Rialo 구현에서 Ready-to-Handover 단계가 재구성 대기 시간의 지배적 부분으로, 주요 병목은 합의 계층에서 Ready 메시지 커밋이다.
• 작동 예제와 증명 개요는 서로 다른 에포크가 서로 다른 합의 프로토콜과 멤버십을 사용할 때도 외부 로그 안전성이 보존됨을 보여준다.

Figure 2 . Epoch Transition Example