통일된 합의

Uniform consensus

컴퓨터 과학에서 통일된 합의란 분산 컴퓨팅의 문제로, 두 프로세스가 (장애 여부에 관계없이) 다르게 결정하지 않는다는 조건이 하나 더 있는 합의 문제와 유사합니다.

보다 구체적으로 이 문제를 고려해야 합니다.

  • 각 프로세스에는 입력이 있으므로 출력을 결정해야 합니다(원샷 문제).
  • 일률적인 계약: 두 가지 결정은 모두 동일합니다.
  • 유효성: 모든 결정은 프로세스 중 하나의 입력입니다.
  • 종료: 최종적으로는 모든 올바른 프로세스가 결정한다.

레퍼런스

  • Charron-Bost, Bernadette; Schiper, André (April 2004). "Uniform consensus is harder than consensus". Journal of Algorithms. 51 (1): 15–37. doi:10.1016/j.jalgor.2003.11.001.