Linearizability là mức nhất quán khắt khe nhất trong hệ phân tán: mọi thao tác phải trông như xảy ra tức thời đúng theo thứ tự thời gian thực. Bài viết giải thích điểm tuyến tính hóa, ví dụ compare-and-swap, cái giá phải trả và cách Jepsen kiểm định các hệ thống thực tế.
Tìm hiểu bài toán leader election trong hệ thống phân tán: từ bully algorithm, ring election đến lease-based leadership, cùng cách fencing token ngăn chặn split-brain.
Sharding là kỹ thuật chia cơ sở dữ liệu thành nhiều phần nhỏ trên các máy chủ khác nhau, giúp hệ thống mở rộng theo chiều ngang khi dữ liệu lên đến hàng tỷ bản ghi.
Two-Phase Commit (2PC) là giao thức phân tán đảm bảo tính toàn vẹn dữ liệu qua hai pha: Prepare (lấy xác nhận từ tất cả các bên) và Commit (thực thi chỉ khi mọi bên đồng ý).
Hãy tưởng tượng bạn có 4 server lưu cache, và bạn dùng phép chia dư (modulo) để quyết định key nào đi server nào: key % 4. Mọi thứ chạy tốt cho đến kh...