ITPE * JackerLab

개요EPaxos(Egalitarian Paxos)는 리더(Leader) 없이 고가용성과 낮은 지연시간을 제공하는 합의(Consensus) 알고리즘으로, Google의 Spanner나 Microsoft의 Azure Storage와 같이 글로벌 분산 시스템에 적합합니다. Paxos의 확장 형태로, 명령 간 의존성을 기반으로 병렬 처리를 극대화하고, 리더 장애에 대한 복원력을 제공합니다.1. 개념 및 정의 항목 설명 정의Paxos 기반의 리더리스(leaderless) 분산 합의 알고리즘목적고가용성, 낮은 지연, 리더 병목 해소필요성리더 중심 구조의 단일 장애점(SPOF) 및 처리 병목 해결각 노드가 동등하게 작동하면서도 정합성을 유지할 수 있는 구조2. 특징특징설명비교리더 없음모든 노드가 병렬로 제안 가능M..

개요Viewstamped Replication(VSR)은 분산 시스템에서 고가용성과 데이터 일관성을 보장하기 위한 복제 프로토콜로, 장애 허용(fault-tolerant) 환경에서의 리더 기반 합의를 통해 시스템 무결성을 유지합니다. Paxos 및 Raft와 유사한 계열의 프로토콜로, 주로 로그 복제, 상태머신 복제(State Machine Replication)에 사용되며, 복잡한 장애 상황에서도 데이터 정합성을 보장합니다.1. 개념 및 정의 항목 내용 비고 정의장애 상황에서도 데이터 일관성을 유지하기 위한 리더 기반 복제 합의 프로토콜MIT, 1988년 최초 발표목적서버 장애 발생 시에도 일관된 요청 처리 보장Primary-backup 모델 기반필요성클러스터 환경에서 복제본 간 데이터 동기화 및 ..

개요ZAB(Zookeeper Atomic Broadcast)는 Apache Zookeeper에서 분산 시스템의 데이터 일관성과 합의를 보장하기 위해 설계된 원자적 브로드캐스트(Atomic Broadcast) 프로토콜이다. Paxos와 유사한 구조를 가지지만, Zookeeper의 리더-팔로워(Leader-Follower) 아키텍처에 특화되어 고가용성과 일관성(consistency)을 모두 달성한다.ZAB는 데이터 복제, 리더 선출, 장애 복구 과정에서 핵심적인 역할을 하며, 모든 노드가 동일한 순서로 동일한 상태 변경(Log)을 적용하도록 보장한다.1. 개념 및 정의ZAB는 ‘원자적 브로드캐스트(Atomic Broadcast)’를 기반으로, 분산된 노드 간에 동일한 순서의 상태 업데이트를 보장하는 프로토콜..

개요Paxos Consensus는 분산 시스템 환경에서 여러 노드가 하나의 값에 대해 합의를 이루는 과정을 정의하는 알고리즘입니다. 네트워크 지연, 메시지 손실, 노드 장애 등의 비동기 환경에서도 일관성과 신뢰성을 확보하기 위해 설계되었으며, 많은 현대 분산 시스템의 기반이 되는 이론적 표준으로 자리잡고 있습니다.1. 개념 및 정의 항목 설명 비고 정의분산 환경에서 하나의 정합된 값을 합의하기 위한 프로토콜비동기 네트워크 환경 가정목적하나의 정답에 대해 여러 노드가 동일한 결정을 내리도록 보장리더 선출, 상태 동기화 등 활용주요 조건Safety(안전성), Liveness(생존성)FLP 이론의 실용적 해석Paxos는 “무결성을 해치지 않으면서 시스템이 합의에 도달할 수 있는 최소 조건”을 제공함2. 특..

개요Paxos 기반 Control-Plane DB는 분산 시스템의 핵심 구성 요소인 Control Plane에서 상태 동기화 및 변경을 안전하게 처리하기 위해 Paxos 합의 알고리즘을 적용한 데이터베이스입니다. 네트워크 구성, 정책 분배, 마이크로서비스 오케스트레이션 등에서 안정성과 일관성을 보장하는 데 효과적인 구조입니다.1. 개념 및 정의 항목 설명 비고 정의Paxos 합의 알고리즘을 적용해 다중 노드 간 상태 변경을 동기화하는 제어용 분산 데이터베이스일관성과 가용성 동시 확보목적Control Plane에서의 구성 변경을 안정적으로 반영Split-Brain 방지주요 영역Kubernetes, SDN, Service Mesh, Distributed Systems 등상태 중심 구성 제어분산 환경에서 ..

개요Paxos는 분산 시스템에서 하나의 값에 대한 일관된 합의를 달성하기 위해 제안된 합의 알고리즘입니다. 1998년 Leslie Lamport가 논문을 통해 소개한 Paxos는 장애 발생 시에도 데이터의 정합성을 보장하며, 고신뢰 시스템의 기초가 되는 기술로 평가받습니다. 본 글에서는 Paxos의 작동 원리, 구성 요소, 특징, 장단점, RAFT와의 비교 및 주요 활용 사례를 중심으로 소개합니다.1. 개념 및 정의Paxos는 분산된 환경에서 하나의 값에 대해 과반수 노드가 합의에 도달하도록 설계된 프로토콜입니다.시스템이 일시적으로 분리되거나 노드가 실패하더라도, 전체 시스템의 일관성(consistency)을 유지할 수 있는 구조를 가집니다.핵심 아이디어는 다수결 기반의 합의 메커니즘을 세 단계로 나누어..