#Kiến trúc hệ thống

Linearizability, mức nhất quán mạnh nhất trong hệ phân tán

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ế.

Grokking

Merkle tree, so sánh dữ liệu tỷ bản ghi chỉ bằng vài hash

Merkle tree biến bài toán so sánh tỷ bản ghi giữa các bản sao dữ liệu thành vài phép so sánh hash, giúp các hệ phân tán như Cassandra và Riak đồng bộ nhanh mà không tốn băng thông.

Grokking

Eventual consistency, tại sao dữ liệu tạm sai mà hệ thống vẫn đúng?

Thuật toán nhất quán cuối cùng cho phép dữ liệu tạm sai giữa các bản sao, nhưng cuối cùng sẽ đồng bộ về một giá trị đúng.

Grokking

Google ra mắt ứng dụng Finance riêng với AI phân tích biến động giá, nhưng write-ahead log đảm bảo không mất dữ liệu khi hệ thống sập bằng cách nào?

Google ra mắt ứng dụng Finance độc lập với AI Key Moments giải thích biến động giá cổ phiếu. Bài viết giải thích write-ahead log, cơ chế nền tảng đảm bảo dữ liệu không bao giờ bị mất.

Grokking

Claude sập 2 tiếng rưỡi, nhưng rate limiting bảo vệ hệ thống phân tán khỏi quá tải bằng cách nào

Claude sập gần 2 tiếng rưỡi ngày 23/6 với hơn 7.100 báo cáo lỗi. Bài viết giải thích cơ chế rate limiting, từ token bucket đến circuit breaker, bảo vệ hệ thống phân tán khỏi sụp đổ hoàn toàn.

Grokking

CPU thực thi lệnh từ fetch đến retire qua pipeline nhiều tầng bằng cách nào?

CPU hiện đại thực thi hàng tỷ lệnh mỗi giây nhờ pipeline nhiều tầng, branch prediction đoán trước ngã rẽ với độ chính xác trên 97%, cache nhiều cấp và kỹ thuật out-of-order execution.

Grokking

Gossip protocol lan truyền thông tin trong hệ phân tán bằng cách nào?

Gossip protocol lan truyền thông tin trong hệ phân tán bằng cách mỗi node chọn ngẫu nhiên vài node khác để chia sẻ, giống cách tin đồn lan trong đời thực, đạt convergence chỉ sau 8-10 vòng với 10.000 node.

Grokking

CRDT cho phép nhiều người chỉnh sửa cùng một tài liệu mà không cần server trung gian bằng cách nào?

CRDT là cấu trúc dữ liệu cho phép nhiều bản sao chỉnh sửa đồng thời rồi tự hợp nhất mà không xung đột. Tìm hiểu cách Google Docs, Figma và Apple Notes hoạt động nhờ CRDT.

Grokking

Raft log compaction nén log bằng snapshot để tiết kiệm bộ nhớ?

Giải thích cách hệ thống Raft ngăn log tăng vô hạn bằng snapshot, từ chính sách kích hoạt đến InstallSnapshot RPC và triển khai thực tế trong etcd, CockroachDB.

Grokking

Quorum read/write, khi đa số node quyết định đúng sai?

Giải thích nguyên lý quorum R + W > N trong hệ thống phân tán kiểu Dynamo: sloppy quorum, hinted handoff, read repair, và tại sao quorum không đồng nghĩa với linearizability.

Grokking

LSM-Tree hoạt động thế nào, từ memtable đến compaction?

Giải thích chi tiết cách LSM-Tree hoạt động: từ memtable trong RAM, flush xuống SSTable trên đĩa, đến quá trình compaction hợp nhất dữ liệu với hai chiến lược leveled và size-tiered.

Grokking

Leader election, bài toán chọn một node duy nhất làm chủ

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.