[논문 리뷰] Expressive Power of Broadcast Consensus Protocols

Michael Blondin, Javier Esparza외 1명|arXiv (Cornell University)|2019. 01. 01.

Distributed systems and fault tolerance참고 문헌 27인용 수 5

한 줄 요약

이 논문은 인구 프로토콜에 신뢰할 수 있는 브로드캐스트 통신을 추가함으로써 NL 복잡도 클래스의 전체 표현 능력을 달성할 수 있음을 보여준다. 이는 시계나 부재 감지기와 같은 더 복잡한 확장과 동일한 표현 능력을 갖는다. 단일 에이전트가 신호를 브로드캐스트하여 모든 다른 에이전트가 신뢰성 있게 수신하고 반응할 수 있도록 하면, 모델은 비결정적 로그 공간에서 결정 가능한 모든 술어를 계산할 수 있게 되며, 이는 고비용의 전역 동기화 메커니즘 대신 간단하고 구현 가능한 통신 원리를 사용한다.

ABSTRACT

Population protocols are a formal model of computation by identical, anonymous mobile agents interacting in pairs. Their computational power is rather limited: Angluin et al. have shown that they can only compute the predicates over $\mathbb{N}^k$ expressible in Presburger arithmetic. For this reason, several extensions of the model have been proposed, including the addition of devices called cover-time services, absence detectors, and clocks. All these extensions increase the expressive power to the class of predicates over $\mathbb{N}^k$ lying in the complexity class NL when the input is given in unary. However, these devices are difficult to implement, since they require that an agent atomically receives messages from all other agents in a population of unknown size; moreover, the agent must know that they have all been received. Inspired by the work of the verification community on Emerson and Namjoshi's broadcast protocols, we show that NL-power is also achieved by extending population protocols with reliable broadcasts, a simpler, standard communication primitive.

연구 동기 및 목표

• 신뢰할 수 있는 브로드캐스트 통신이 인구 프로토콜에서 시계나 부재 감지기와 같은 복잡한 전역 원리와 동일한 표현 능력을 달성할 수 있는지 조사하기.
• 메모리가 제한되고 인구 규모를 알지 못하는 익명의 이동 에이전트에서 전역 정보를 어떻게 구현할 수 있는지 도전 과제를 해결하기.
• 브로드캐스트 프로토콜이 NL에 속하는 모든 술어를 계산할 수 있음을 보여주어 더 복잡한 확장과 동일한 표현 능력을 갖춘다는 것을 입증하기.
• 표현 능력을 잃지 않으면서도 최소한의 브로드캐스트 요구 조건(예: 단일 에이전트의 브로드캐스트 또는 단일 신호 브로드캐스트)을 규명하기.
• 리셋 메커니즘이 표현 능력을 증가시키는지 분석하고, 이를 브로드캐스트 기반 계산과 대조하기.

제안 방법

• 신뢰할 수 있는 브로드캐스트를 통해 모든 다른 에이전트에게 신호를 전송할 수 있고, 보장된 응답을 받을 수 있는 새로운 모델인 브로드캐스트 공감 프로토콜을 도입하기.
• 오류를 감지할 경우 재시작이 가능한 '침묵적인 반-계산'을 정의하여, 비결정적 환경에서의 강건성을 확보하기.
• 브로드캐스트 프로토콜이 재시작 메커니즘을 사용하여 예기치 않은 상태를 처리함으로써, 모든 NL 술어를 침묵적인 반-계산으로 수행할 수 있음을 증명하기.
• 침묵적인 반-계산 가능성은 NL에서 전체 계산 가능성으로 이어지며, 이 맥락에서 두 개념이 동치임을 입증하기.
• 심지어 제한된 브로드캐스트 모델(예: 한 명의 브로드캐스팅 에이전트 또는 단일 신호 브로드캐스트)이라도 전체 NL 표현 능력을 유지함을 보여주는 시뮬레이션을 구성하기.
• 리셋 기반 프로토콜의 계산 능력을 분석하여, 그것이 프레스버거 정의 가능(즉, 표준 인구 프로토콜에 해당하는) 표현 능력 내에 머무르며 리셋이 표현 능력을 증가시키지 않음을 증명하기.

실험 결과

연구 질문

• RQ1 신뢰할 수 있는 브로드캐스트 통신이 인구 프로토콜에서 시계나 부재 감지기와 같은 복잡한 전역 원리와 동일한 표현 능력을 달성할 수 있는가?
• RQ2 단일 브로드캐스팅 에이전트나 단일 브로드캐스트 신호와 같은 최소한의 브로드캐스트 복잡도를 갖는 브로드캐스트 프로토콜로 모든 NL 술어를 시뮬레이션할 수 있는가?
• RQ3 모든 에이전트를 재초기화하는 리셋 메커니즘의 추가가 브로드캐스트 공감 프로토콜의 계산 능력을 증가시키는가?
• RQ4 침묵적인 반-계산이 브로드캐스트 프로토콜에서 전체 계산의 기초로 사용될 수 있으며, NL에 대해서는 두 개념이 동치인가?
• RQ5 전체 NL 표현 능력을 유지하기 위해 필요한 최소한의 통신 요구 조건(예: 브로드캐스터 수, 신호 다양성 등)은 무엇인가?

주요 결과

• 브로드캐스트 공감 프로토콜은 복잡도 클래스 NL에 속하는 술어를 정확히 계산할 수 있으며, 시계나 부재 감지기와 같은 더 복잡한 확장과 동일한 표현 능력을 갖춘다.
• 브로드캐스트가 더 단순하고 실현 가능한 원리임에도 불구하고, 브로드캐스트 프로토콜의 표현 능력은 표준 인구 프로토콜에 커버 타임 서비스나 시계를 추가한 경우와 동일하다.
• 단일 브로드캐스팅 에이전트만으로도 모든 브로드캐스트 프로토콜을 시뮬레이션할 수 있으며, 이는 전역 조율이 필요하지 않음을 보여준다.
• 수신자가 신호 내용에 관계없이 동일하게 반응하는 단일 신호 브로드캐스트 프로토콜이라도 모든 NL 술어를 계산할 수 있으며, 이는 신호 내용이 필수적이지 않음을 시사한다.
• 리셋 기반 프로토콜은 표준 인구 프로토콜의 표현 능력 내에 머무르며, 프레스버거 정의 가능 조건에 속하므로 표현 능력이 증가하지 않는다.
• 이 논문은 브로드캐스트 공감 프로토콜 맥락에서 NL에 대해 침묵적인 반-계산 가능성과 전체 계산 가능성의 두 개념이 일치함을 입증하여, 재시작 기반 계산의 사용을 정당화한다.