분산 시스템의 핵심 과제는 여러 노드가 독립적으로 움직이면서도 하나의 일관된 상태를 향해 나아가는 것입니다. 이 해설에서는 조정의 기본 원리와 자주 등장하는 절충안을 살펴봅니다.
조정이 풀어야 할 문제
노드는 언제든 느려지거나 잠시 응답하지 않을 수 있고, 네트워크는 메시지를 잃거나 지연시킬 수 있습니다. 이 불확실성 위에서 “모두가 동의하는 하나의 값”을 정하는 것이 합의의 문제입니다.
합의의 기본 형태
합의 알고리즘은 대체로 다음 흐름을 따릅니다.
- 한 노드가 값을 제안합니다.
- 다른 노드들이 제안을 검토하고 응답합니다.
- 충분한 수의 응답이 모이면 값을 확정합니다.
- 확정된 값은 모든 노드에게 전파됩니다.
그림 1. 제안자가 노드들에게 제안을 보내고 정족수를 모으는 흐름
절충안
합의는 무상태가 아닙니다. 정족수를 높이면 신뢰가 올라가지만 지연이 커지고, 낮추면 빠르지만 일부 장애에 취약해집니다. 일관성 모델 역시 강도와 비용 사이의 선택입니다.
참고
“완벽한 합의”는 존재하지 않습니다. 각 알고리즘은 특정 장애 모델과 네트워크 가정 아래에서 정해진 보장을 제공합니다. 보장의 범위를 아는 것이 이해의 핵심입니다.
부하 분산
합의가 값을 정하면, 그 뒤에는 부하를 여러 노드에 나누는 문제가 남습니다. 균등 분배는 단순하지만 노드의 능력 차이를 무시하고, 가중 분배는 정확하지만 상태 추적 비용이 듭니다. 선택은 작업의 형태에 따라 달라집니다.
실용적 한계
- 네트워크 분할 동안 일시적으로 의견이 갈릴 수 있습니다.
- 노드 수가 늘어날수록 조정 비용이 비선형적으로 커질 수 있습니다.
- 일관성 모델이 약할수록 추론은 사용자에게 더 많은 부담을 줍니다.
이 영역은 여전히 활발한 연구 대상이며, 어떤 단일 정답으로 요약되지 않습니다.