Nhất quán & Đồng thuận
DDIA Ch9 — đảm bảo mạnh nhất và cái giá của nó: linearizability vs causal consistency, CAP đúng nghĩa (P bắt buộc), consensus/Raft (leader election, log replication, commit), và case-study etcd/ZooKeeper vs Cassandra. Recall atomic-cas, vector-clock, quorum, raft, case-study đã học ở track thuật toán.
Nội dung
Danh sách bài học
- 01~10 phút
Module 6 — Nhất quán & Đồng thuận: tổng quan
Đảm bảo mạnh nhất và cái giá của nó: linearizability, CAP đúng nghĩa, và consensus (Raft). Khi nào phải trả giá cho nhất quán mạnh.
- 02~12 phút
Linearizability — nhất quán mạnh và cái giá của nó
Linearizability: hệ hành xử như thể chỉ có một bản dữ liệu, mọi thao tác thấy giá trị mới nhất. Định nghĩa, vì sao mạnh, và vì sao đắt.
- 03~12 phút
Causal consistency — yếu hơn nhưng đủ, rẻ hơn
Causal consistency giữ đúng thứ tự nhân quả nhưng không ép thứ tự toàn cục — yếu hơn linearizability, rẻ hơn nhiều, và đủ cho phần lớn ứng dụng.
- 04~12 phút
CAP đúng nghĩa — P bắt buộc, chọn C hay A
CAP không phải 'chọn 2 trong 3'. Khi partition (P) xảy ra — và nó SẼ xảy ra — mới phải chọn giữa consistency và availability. Diễn giải đúng và các hiểu lầm.
- 05~12 phút
Consensus qua Raft — leader election, log replication, commit
Consensus: nhiều node thống nhất một giá trị/thứ tự dù có lỗi. Raft chia thành leader election + log replication + commit — nền của failover an toàn và khoá.
- 06~12 phút
Case study — etcd/ZooKeeper (consensus) vs Cassandra (quorum)
Ghép cả track: etcd/ZooKeeper dùng consensus cho nhất quán mạnh (khoá, config, bầu leader); Cassandra dùng quorum cho khả dụng cao. Chọn theo nhu cầu.
- 07~9 phút
Module 6 — Tổng kết & cheat sheet
Recap nhất quán & đồng thuận: linearizability vs causal, CAP đúng nghĩa, consensus/Raft, case-study. Cheat sheet, glossary, self-assessment — khép track.