Khóa Phân Tán (Distributed Locks) — Toán Học Redlock, etcd Raft & Chống Chia Cắt Mạng
← Chương trước: Kiến Trúc Hướng Sự Kiện (Event-Driven Architecture) & Kafka — Worker Pool, Backpressure & Exactly-Once | Mục lục Series | Chương tiếp theo: Thiết Kế API Lũy Đẳng (Idempotent API) — Khóa Lũy Đẳng, Middleware SetNX & Mẫu Stripe → Answer-first: Khóa phân tán (Distributed Locks) bảo vệ tài nguyên chia sẻ qua thuật toán Redlock (Redis) với công thức MIN_VALIDITY trừ trôi đồng hồ, hoặc giao thức đồng thuận etcd Raft lease. Cơ chế Quorum (N/2 + 1) và fencing token chống chia cắt mạng (split-brain) và xung đột ghi đồng thời. ...