비동기 환경에서 충돌 결함을 견디는 볼록 합의 알고리즘

초록

본 논문은 각 프로세스가 d 차원 실수 벡터를 입력으로 갖는 새로운 합의 문제인 볼록 합의(convex consensus) 를 정의하고, 크래시 결함과 잘못된 입력을 동시에 허용하는 비동기 시스템에서 최적의 결함 허용 한계 (n \ge (d+2)f+1) 을 만족하는 근사 알고리즘을 제시한다. 알고리즘은 모든 정상 프로세스가 동일한 볼록 다각형(또는 다면체) 내에 ǫ‑근접하게 수렴하도록 보장하며, 결정된 다각형은 가능한 가장 큰 볼록 껍질을 포함하도록 최적화된다. 또한 이 합의 결과를 이용해 다차원 벡터 합의와 볼록 함수 최적화 문제를 해결할 수 있음을 보인다.

상세 분석

논문은 먼저 기존의 벡터 합의 개념을 확장하여, 출력이 단일 점이 아니라 입력들의 볼록 껍질(convex hull) 안에 존재하는 볼록 다각형(polytope) 으로 정의되는 새로운 합의 모델을 제시한다. 이 모델은 특히 입력이 다차원이며, 결함 프로세스가 잘못된 입력을 제공할 수 있는 상황을 고려한다는 점에서 기존 연구와 차별화된다.

결함 모델은 “크래시 결함과 잘못된 입력(crash faults with incorrect inputs)”을 가정한다. 즉, 결함 프로세스는 알고리즘을 정확히 실행하되, 입력값이 임의로 변조될 수 있고, 언제든지 중단될 수 있다. 이러한 모델 하에서 FLP 불가능성 결과가 그대로 적용되므로, 근사 합의(approximate consensus) 를 목표로 설정한다. 근사 합의는 두 정상 프로세스가 출력한 다각형 사이의 Hausdorff 거리 ≤ ǫ 를 만족하도록 정의된다.

알고리즘의 핵심은 두 단계로 구성된다.

1. 라운드 0에서는 모든 프로세스가 자신의 입력 벡터를 브로드캐스트하고, stable‑vector 프리미티브를 이용해 최소 (n-f) 개의 입력을 수집한다. 이후 각 프로세스는 수집된 입력 집합에서 (f)개의 최악(가능한 악의적) 입력을 제외한 볼록 껍질들의 교집합을 자신의 초기 상태 (h_i