09. 일관성과 합의
일관성보장
선형성
시스템에 선형성을 부여하는 것은 무엇인가?
선형성에 기대기
선형성 시스템 구현하기
선형성의 비용
순서화 보장
순서화와 일관성
일련번호 순서화
전체 순서 브로드캐스트
분산 트랜잭션과 합의
원자적 커밋과 2단계 커밋
현실의 분산 트랜잭션
내결함성을 지닌 합의
멤버십과 코디네이션 서비스
정리
- 선형성 - 인기있는 일관성 모델로, 복제된 데이터가 오직 하나의 복사본만 있는 것 처럼 보이게 하고 데이터에 대한 모든 연산을 원자적으로 만든다. 인기 있지만 느리다
- 인과성 - 이벤트에 순서 부여, 더 약한 일관성 모델을 제공, 오버헤드가 없고 네트워크 문제에 덜민감
- 합의 - 결정된 것에 모든 노드가 동의 선형성 레지스터, 원자적 트랜잭션 커밋, 전체 순서 브로드캐스트, 잠금과 임차권, 멤버십/코디네이션 서비스, 유일성 제약 조건 결정하는 능력을 한 노드에만 준다고 하면 간단함
- 리더가 장애난경우: 복구될때까지 기다림 / 사람이 새 노드 선택 / 알고리즘 사용하여 새 리더 선택