데이터 중심 애플리케이션 설계 9장(~336)

[epicblues]

일관성

• 강도에 따른 구분
  • 최종적 일관성
    • (=수렴)
    • 대부분의 분산 시스템에서 보장
    • 가장 약함
      • 언제 데이터들이 일관성을 갖출 지 모름
  • 선형성
    • 데이터 복제본이 하나만 있는 것처럼 동작시키자!
    • 최신성 보장

선형성

• 읽기와 쓰기에 대한 최신성 보장

  • 하나의 복제본이 있는 것처럼 모든 연산들을 시간 순으로 진행
  • 연산 ≠ 연산 요청
    • 동시에 들어온 요청들의 연산 시점은 요청 시점과 불일치 할 수 있음

• 직렬성과 비교

    | 직렬성 | 선형성 -- | -- | -- 객체에 대한 연산 | 여러 객체에 대한 연산 | 단일 객체 연산 트랜잭션 순서 보장 | 보장됨 | 트랜잭션이 없음 최신성 보장 | X | O

• 사용 예시

  • 리더 선출
    • 하나의 리더에 대한 잠금을 여러 노드가 획득 시도
    • 모든 노드가 어떤 노드가 리더가 됐는지 인정해야 함.
  • 분산 잠금
    • RAC의 디스크 페이지 단위 잠금
      • 전용 클러스터 네트워크를 사용
  • UNIQUE
    • compare-and-set
  • 비즈니스 제약 조건
    • 모든 노드가 동의하는 최신 컬럼 값의 제약 조건
      • 돈, 좌석
  • 채널 간 타이밍 의존성
    • 여러 채널이 경쟁 조건에 있을 때 별도의 선형성 채널을 공유하도록 함

• 선형성과 정족수

  • 엄격한 정족수도 선형성을 만족시키지 못할 수 있음
    • 예시
      • 클라이언트가 쓰기 동기화과 되지 않은 복제본들만 읽을 수 있음
  • 읽기 직전 읽기 복구, 쓰기 직전 정족수 최신 상태 읽기로 보완 가능
    • 성능 포기

• 선형성의 비용

  • CAP 정리
    • 네트워크에 장애가 발생했을 때 둘 중 하나를 선택하라!
      • 가용성
        • 최신 쓰기 작업을 다른 복제본에 비동기적으로 전달하고, 요청 처리
      • 선형성
        • 장애가 복구될 때까지 기다리거나, 요청을 포기해야함
  • 성능
    • 무조건 느리다
    • CPU조차 선형성을 보장하지 않음
      • 동기적 쓰기 작업 → 캐시
        • 비동기적 쓰기 캐시 → 메모리
    • 응답 시간 ∝ 네트워크 지연