강력한 일관성: 필요할 때
강력한 일관성은 모든 작업이 실시간과 일치하는 단일 글로벌 순서로 즉각적이고 일관되게 수행되는 것처럼 보이는 모델입니다. 사용자는 마지막으로 확인 된 값을 읽으며 두 개의 병렬 클라이언트는 논리적으로 서로를 추월하지 않습니다.
엄격한 일관성은 간단한 정신 모델을 제공하고 단단한 불변량을 보호하지만 조정 (쿼럼/리더) 이 필요하므로 네트워크 파티션에 대한 대기 시간과 민감도가 증가합니다.
1) 강한 경우
금융 및 정착
균형과 상각: "이중 지출" 은 용납 할 수 없습니다.
이전 및 합의: 동일한 금액을 두 번 게시 할 수 없습니다.
재고 및 한계
나머지 상품/호텔 공간/티켓: 부정적인 가치로 갈 수 없습니다.
단위 당 거래 한도 (신용 한도, API 크레딧).
독창성과 무결성
고유 한 중복 제거 로그인/ID/규칙.
도메인 수준의 불변량: "1 명의 의사가 부서에서 근무 중이어야합니다", "대기열에> N 활성 작업이있을 수 없습니다".
감사 및 변경되지 않은 로그
법적 진실의 원천이되는 사건: 질서와 완전성이 중요합니다.
불변의 위반이 용납 할 수없는 사업 위험 (돈 손실, 제재, 신뢰 상실) 을 수행하는 경우 강력한 일관성을 선택하십시오.
2) 정확히 "엄격한"
선형성 (운영 수준): 읽기는 가장 최근의 성공적인 글쓰기를 봅니다. 시간이 존중됩니다.
직렬화 가능 (트랜잭션 수준): 결과는 트랜잭션을 순차적으로 실행하는 것과 같습니다 (강력하지만 때로는 어려운 실시간 순서없이 구현 될 수 있음).
중요한 차이점: Serializable은 트랜잭션 수준의 이상 (팬텀/쓰기-왜곡) 으로부터 보호하고 Linearable은 단일 작업 및 단일 작업 순서로부터 보호합니다. 종종 두 속성 (예: 데이터베이스 + 이벤트 로그의 돈) 이 필요합니다.
3) 가격 엄격함: PACELC 및 CAP
PACELC: 네트워크 (P) 를 분할 할 때 C (엄격한) 또는 A (가용성) 를 선택해야합니다. 강력한 → CP: 불변량을 위반하는 것보다 거절하거나 차단하는 것이 좋습니다. 분리 (EL) 가 없으면 L-p95/p99가 조정/쿼럼에서 자랍니다.
연습: "불변의 커널" 에 강함-UX가 고통받지 않도록 최종적으로 빠른 투영/캐시.
4) 강력한 일관성 달성
리더십과 정족수
유일한 지도자는 녹음을 받아들입니다 읽기-리더 또는 복제 정족수에 의해.
글쓰기를위한 Quorum 'W' 와 'R + W> N' 으로 읽는 'R' 은 "마지막" 을 읽을 가능성을 높입니다.
일치하는 알고리즘
뗏목/팩소: 복제 로그, 다수 확인, 용어/색인.
동기식 복제-정족수에 대한 지속성 후에 만 레코드가 검증됩니다.
시간과 순서
TrueTime/Hybrid Logical Clocks (HLC): 안전한 글로벌 직렬화를 위해 클럭 정렬 오류 제한.
울타리 토큰/버전: "아침" 리더 및 분할 뇌로부터의 보호.
거래 격리
Serializable (SI + 술어 충돌 점검/잠금): 팬텀/쓰기 왜곡으로부터의 보호.
엄격한 직렬화 가능: 실시간에 대한 직렬화 가능성 + 선형성.
5) 다중 지역: 옵션 및 절충
글로벌 리더 (CP)
기록은 하나의 주요 지역을 통과합니다 지역 캐시/프로젝션 또는 리더를 통해 읽습니다.
장점: 간단한 모델. 단점: 리더에게 p95/RTT, P-레코드 잠금 장치.
지역 지도자 + 동기 쿼럼
여러 지역에서 지리적으로 확장 된 정족수; 각 레코드는 확인을 기다리고 있습니다> 50%.
장점: 하나의 "좁은 목" 이없는 높은 안정성. 단점: 대륙간 대기 시간.
지리 분할
해당 지역의 홈 데이터 (테넌트/관할권); 사가/골재를 통한 글로벌 운영.
장점: 지역 녹음을위한 대기 시간이 짧습니다. 단점: 데이터 경계 계획.
6) R/W를 설정하고 읽습니다
출품작: 'W = 다수' 는 강력한 표준입니다.
읽기:- "신선한" - 'R = 다수' 또는 리더에서 읽기.
- L- "stale-ok" 를 줄이려면 보조 화면의 복제본에서 읽습니다 (UX로 명시 적으로 표시).
- 읽기 수리/임대 읽기: 리더의 짧은 임대에 대한 심각도 상실없이 최적화.
7) 성능과 UX
대기 시간: 고객과 리더/쿼럼 (지역간 수백 ms) 간의 RTT에 중점을 둡니다.
"강력하고 읽기 빠른" 패턴: 읽기의 쓰기 + 캐시/투영에 강하고 저자의 경우 RYW입니다.
배치/패킷: 그룹 레코드이지만 테일 대기 시간을 확인하십시오.
분해 윤곽: 사고시-읽기 전용, 정직한 상태, 위험한 돌연변이 금지.
8) 엄격한 경로의 관찰 가능성
메트릭
p50/p95/p99 대기 시간: 쿼럼 작성, 쿼럼 읽기, 리더십 판독.
정원 성공, 재생/롤백, 리더 변경.
복제 지연 (작지만 예상되는 모니터링은 필수입니다).
"스틸" 읽기의 공유 (포함 된 경우).
추적
스팬: "리더 수락", "복제", "쿼럼 커밋".
지정: '용어', '리더 _ id', '쿼럼 _ 크기', '지역'.
경고
성장 p95/p99, 빈번한 재선거 지도자, 쿼럼 타임 아웃, 분할 뇌 지표.
9) 테스트와 혼돈
Jepsen과 같은: 네트워크 파티션, 지연, 방울, 시계 왜곡.
안전 불변: 이중 지출/음수 잔액/이중 예약이 불가능합니다.
리더십: 리더 거부, 짐에 따른 재선거, 울타리 토큰.
일관성을 읽으십시오: 쓰기 직후에 읽는 내용은 "새" (RYW/선형 읽기) 를 참조하십시오.
10) 사건 플레이 북
정원 손실: 읽기 전용으로 전환하고, 클라이언트에게 알리고, 지리 분할이있는 경우 "홈" 영역으로 항목을 보냅니다.
대기 시간의 성장은 지역 간: 엄격한 레코드의 양을 일시적으로 줄이고 (큐/프로젝션에서 일부 스트림의 마이그레이션) 트래픽을 현지화합니다.
리더 플랩: 선거 시간을 늘리고 네트워크/시간 길이의 드리프트/GC 일시 중지를 확인하십시오.
분할 뇌: 펜스 토큰/임대 점검을 활성화하고 운영자 수준에서 오래된 리더를 중지하십시오.
11) 전형적인 오류
강한 "어디서나" 수요: 불변에 초점을 맞추지 않고 대기 시간과 비용의 폭발.
실제 분할 하에서 CA가 되려고 노력합니다. 지점 P에서 시스템은 여전히 암시 적으로 선택합니다.
사가/코디네이터가없는 다른 지역에 이중 쓰기: 팬텀 및 불변량 손실.
RYW의 부재: 사용자는 새로 기록 된 엔티티를 보지 못합니다.
시계 무시: HLC/TrueTime 경계가 없으면 "점프" 시간과 경주를 쉽게 얻을 수 있습니다.
분해 계획은 없습니다. P에서는 혼란스러운 부분 고장이 시작됩니다.
12) 빠른 수정 (레시피)
지불/균형: 리더 + 과반수; 엄격한 직렬화 가능한 거래 짧은 타임 아웃, P.의 어려운 실패
예약 (좌석/슬롯): 리더를 통한 글쓰기, 읽기-RYW를 사용한 캐시; TTL- 리저브 + TCC.
글로벌 SaaS: '테넌트/지역' 에 의한 지리 분할; 예측을 통한 홈 지역의 엄격한 운영, 보고서/검색.
감사/로그: 추가 전용 CP- 로그; 읽기는 캐시 될 수 있지만 체크 포인트로 확인할 수 있습니다
13) 사전 판매 점검표
- 강한 불변량이 기록되었다. 나머지는 AP/프로젝션에 있습니다.
- 단일 리더/쿼럼 지역 간/지리 파티션이 선택되었습니다.
- 중요한 경로에 대해 'W = 과반수', 'R = 리더' 과반수 '를 구성했습니다.
- UX에 제공되는 RYW/모노 토닉; "stale-ok" 로 명시 적으로 표시됩니다.
- 쿼럼, 지연, 대기 시간의 지표 포함; p95/p99에 대한 경고 및 재선거.
- 저하 계획이있다: 읽기 전용, 위험한 돌연변이 비활성화, "폭풍 후" 대기열.
- 카오스 테스트: 분할, 시계 왜곡, 리더 고장; 안전 불변량을 확인했습니다.
- 계약 문서: 엄격한 것, "뒤에있을 수있는 것", 제품/지원을위한 통신.
결론
강력한 일관성은 오류가 용납 될 수없는 진실을 보호하기위한 도구입니다. 딱딱한 불변량 주위에 포인트 단위로 적용하여 폭풍의 대기 시간 및 이용 가능성에 대한 조정 비용을 의식적으로 지불하십시오. 결합: 비판적, AP 판독 및 속도 투영을위한 CP 커널. 올바른 원격 측정, 저하 및 테스트를 통해 정확성과 사용자 경험을 모두 유지합니다.