[논문 리뷰] Spacetime-Entangled Networks (I) Relativity and Observability of Stepwise Consensus

Paul L. Borrill, Mark Burgess외 2명|arXiv (Cornell University)|2018. 07. 23.

Distributed systems and fault tolerance참고 문헌 18인용 수 3

한 줄 요약

이 논문은 통신 엔드포인트 간 상태의 상호의존적 진화(얽힘)를 강제함으로써 분산 시스템에서 결정론적이고 거래 기반의 메시지 전달을 달성하는 새로운 프레임워크인 시공간-얽힌 네트워크를 제안한다. 프라미스 이론을 사용하여 종단 간 순서 있게, 원자적으로, 상호 확인이 가능한 전달을 가능하게 하며, 신뢰할 수 없는 네트워크에서 공통 지식과 합의를 위한 확장 가능한 계층적 기반을 형성한다.

ABSTRACT

Consensus protocols can be an effective tool for synchronizing small amounts of data over small regions. We describe the concept and implementation of entangled links, applied to data transmission, using the framework of Promise Theory as a tool to help bring certainty to distributed consensus. Entanglement describes co-dependent evolution of state. Networks formed by entanglement of agents keep certain promises: they deliver sequential messages, end-to-end, in order, and with atomic confirmation of delivery to both ends of the link. These properties can be used recursively to assure a hierarchy of conditional promises at any scale. This is a useful property where a consensus of state or `common knowledge' is required. We intentionally straddle theory and implementation in this discussion.

연구 동기 및 목표

• 기존 네트워크 프로토콜의 저수준 관측 가능성과 신뢰성 부족 문제를 해결하기 위해, 신뢰성을 직접 링크 계층 통신에 통합한다.
• 인과적 통합성과 순서를 유지하는 불가분의 얽힌 통신 링크를 기반으로 하여 계층적이고 재귀적인 합의 모델을 구축한다.
• 특히 클라우드 및 임무 핵심 시스템에서 스케일링 가능한 거래 기반 통신 기반을 제공하기 위해 원자적이고 순서 정렬되며 관측 가능한 메시지 전달을 보장한다.
• 응용 계층 복구에 의존도를 줄이기 위해, 얽힘을 통해 피드백과 신뢰성 메커니즘을 네트워크 계층으로 내려보내다.
• 다중 홉에서의 확장성과 이질적 네트워크에서의 시간 불일치 및 잠재적 불안정성을 관리하면서도 얽힘 기반 통신이 어떻게 확장될 수 있는지 탐색한다.

제안 방법

• 프라미스 이론을 사용하여 통신 링크를 얽힌 에이전트로 모델링하며, 각 엔드포인트의 상태가 상호적으로 인과관계를 가지게 하여 공동 결정 행동을 강제한다.
• 메시지 전달을 프라미스 교환으로 정의: 송신자는 의도를 제안하고 수신자는 의도 수신을 확인함으로써, 이중 단계의 약속 구조를 형성하며, 이는 이중 단계 커밋 프로토콜과 유사하다.
• 각 계층이 하위 계층의 프라미스에 의존함으로써 원자성과 무결성을 보장하는 재귀적 프로토콜 스택을 통해 얽힘을 구현하며, '모든 곳에 거북이가 있다'는 신뢰성 모델을 형성한다.
• 다중 홉 네트워크에서의 간섭을 줄이고 중복된 인과 경로를 방지하기 위해 스패닝 트리를 사용하여 예측 가능하고 안정적인 메시지 전파를 보장한다.
• 네트워크 에이전트의 내부 비결정론적 행동을 동기화된 프라미스 이행을 통해 시스템 수준에서 준결정론적 행동으로 재정의한다.
• 얽힘의 고유 상태를 적용하여 상관 또는 반상관 행동을 강제함으로써 엔드포인트를 명확히 구분하고 메시지 전달 중 노이즈 간섭을 최소화한다.

실험 결과

연구 질문

• RQ1 엔드포인트 간 상태의 얽힘을 통해 메시지 전달이 순서 정렬, 원자적, 종단 간 보장될 수 있는가?
• RQ2 프라미스 얽힘을 어떻게 활용하여 다중 네트워크 홉을 넘어서도 확장 가능한 계층적이고 재귀적인 합의 메커니즘을 구축할 수 있는가?
• RQ3 얽힌 링크의 순차적 조합이 변동성이 큰 네트워크에서 시간 지연과 안정성에 어떤 영향을 미치는가?
• RQ4 얽힘 기반 통신은 응용 계층 장애 복구의 필요성을 얼마나 줄이고 분산 시스템의 관측 가능성은 어떻게 향상시킬 수 있는가?
• RQ5 다른 프라미스 이행 속도를 가진 얽힌 링크를 조합할 경우, 시간 폭풍이나 진동 불안정성을 어떻게 방지할 수 있는가?

주요 결과

• 얽힌 링크는 공유 시계 기반으로 원인과 결과가 동기화된 것처럼 보이게 하여 준결정론적 행동을 강제함으로써 메시지 전달 순서와 상태에 대한 신뢰할 수 있는 추론을 가능하게 한다.
• 이 방법은 링크 양단에서 전달 확인을 원자적으로 수행할 수 있게 하여 링크를 상호 일관성을 유지하는 불가분의 에이전트로 전환한다.
• 에이전트 간에 통일된 프라미스 세트를 유지함으로써 상태의 빠른 평형 도달을 보장하고 데이터 일관성 및 무결성에 대한 추론을 단순화한다.
• 이 접근법은 응용 계층 조율 없이도 데이터베이스 시스템 수준의 거래 보장을 네트워크 계층에서 실현할 수 있게 한다.
• 응용 계층에서의 크래시로 인한 세션 손실은 복구할 수 없지만, 이는 강력한 저수준 전달 보장을 통해 이러한 실패 빈도를 크게 감소시킨다.
• 다중 홉으로의 확장은 특히 지연 시간의 차이와 시간 불일치로 인한 불안정성을 방지하기 위한 주의 깊은 설계—특히 감쇠 메커니즘—가 필요하다.