External Consistency
Định nghĩa
External Consistency (Tính nhất quán bên ngoài / Strict Serializability) là cấp độ nhất quán mạnh nhất trong các hệ thống cơ sở dữ liệu phân tán. Nó đảm bảo rằng nếu một giao dịch hoàn tất (commit) trước khi giao dịch bắt đầu theo thời gian thực (real-world wall-clock time), thì mọi client trong hệ thống đều phải thấy hiệu ứng của trước .
Ý nghĩa & Cơ chế
- Strict Serializability: Kết hợp cả tính chất Serializability (ACID) và Linearizability.
- Triển khai: Để đạt External Consistency trên quy mô toàn cầu (như Google Spanner), hệ thống sử dụng phần cứng đồng hồ nguyên tử và GPS cùng API TrueTime để áp dụng quy tắc Commit Wait, đảm bảo không có hai giao dịch nào bị đảo ngược thứ tự thời gian thực.
Trade-off
- Latency của thao tác ghi bị ảnh hưởng bởi độ bất định thời gian () của phần cứng.
- Chi phí hạ tầng và vận hành phần cứng đồng bộ thời gian rất cao.