Module 4 — Tổng kết & cheat sheet

TL;DR: Module 4 đưa transaction từ một node lên nhiều node: ôn ACID và chỉ ra atomicity/isolation vỡ đâu; anomaly & serializability (lost update, write skew, phantom + chuẩn serializable); 2PC (atomic commit xuyên node, blocking + đắt); và tránh distributed transaction bằng saga + idempotency. Kết luận thực dụng: 2PC là giải pháp cuối, saga là mặc định. Trang này để bookmark trước khi vào "rắc rối phân tán".

Đã đi qua những gì

Bắt đầu bằng ôn ACID: atomicity và isolation trên một node dựa vào một điểm điều phối trung tâm (WAL + lock/MVCC), thứ biến mất khi phân tán. Rồi anomaly & serializability: các cách giao dịch đồng thời phá nhau (lost update, write skew, phantom), serializable là chuẩn vàng, và snapshot isolation không chặn write skew. Rồi 2PC: nghi thức prepare/commit cho atomic xuyên node — mạnh nhưng blocking (coordinator chết → participant treo giữ khoá) và đắt. Khép bằng tránh 2PC: saga (chuỗi giao dịch cục bộ + bù trừ), idempotency (chịu retry), outbox (không mất bước) — đổi isolation lấy khả dụng.

flowchart LR
  A["On ACID<br/>-> phan tan"] --> B["Anomaly &<br/>serializability"]
  B --> C["2PC<br/>blocking + dat"]
  C --> D["Tranh: saga +<br/>idempotency"]

🗺️ Cheat sheet

📖 Glossary module

⚠️ Pitfall tổng hợp

• "BEGIN..COMMIT" xuyên node = atomic: không — hai thao tác độc lập, một cái có thể fail. Đúng: 2PC hoặc saga tường minh.
• Tin cái tên isolation "serializable": thường là snapshot → lọt write skew. Đúng: đọc tài liệu, dùng serializable thật/khoá cho ràng buộc cứng.
• Nhầm 2PL với 2PC: locking (isolation) vs commit (atomicity). Đúng: 2P-Commit = atomicity, 2P-Lock = isolation.
• Rải 2PC khắp nơi: chậm + coordinator chết → treo dây chuyền. Đúng: mặc định saga, 2PC khi buộc phải.
• Saga nhưng giả định có isolation / bước không idempotent: lỗi "lúc có lúc không". Đúng: đánh dấu trạng thái trung gian + idempotency key.

✅ Self-assessment

Bạn đã đạt module này nếu trả lời được:

• Phân biệt được anomaly (lost update, write skew) và serializability
  • Nếu chưa: đọc lại bài 02 mục 2-3.
• Giải thích được two-phase commit (2PC) và vì sao nó blocking và đắt
  • Nếu chưa: đọc lại bài 03 mục 2-4.
• Chọn được khi nào tránh distributed transaction bằng saga/idempotency
  • Nếu chưa: đọc lại bài 04 mục 2-5.

🚀 What's next

2PC "blocking", các anomaly, và nhu cầu idempotency đều bắt nguồn từ một sự thật khó chịu: trong hệ phân tán, không phân biệt được node chậm với node chết, và mạng/đồng hồ đều không tin cậy. Module 5 — Rắc rối của hệ phân tán mổ đúng những giả định vỡ đó — nền để hiểu vì sao consensus (Module 6) khó và cần thiết.

📚 Tài liệu mở rộng

• Sách: Designing Data-Intensive Applications (Kleppmann) — Chương 7 "Transactions" + Chương 9 (atomic commit).
• Paper: Garcia-Molina & Salem, "Sagas" (1987) — gốc của saga.
• Paper: Cahill et al., "Serializable Isolation for Snapshot Databases" (2008) — SSI (nền Serializable của PostgreSQL).