Bài viết sẽ giới thiệu các biến thể của Paxos, nhằm mục đích tâng performance, high-availability cho thuật toán.
[Read More]
Paxos phần 3 - Paxos với các thuật toán đồng thuận khác
Paxos; Raft; ViewStamp Replication; ZAB và cách chuyển đổi implementation giữa các thuật toán
So sánh các thuật toán đồng thuận: Raft; Paxos; ViewStamp Replication; ZAB (ZooKeeper Atomic Broadcast). Bài viết cũng đồng thời nêu ra cách để chuyển đổi một implementation từ Paxos sang Raft, từ đấy ta có thể ứng dụng các tối ưu Từ Paxos qua Raft.
[Read More]
Paxos phần 2 - Multi-decree Paxos
Thuật toán và chứng minh
Multi-decree Paxos: cách xây dựng thuật toán đồng thuận trên một chuỗi giá trị dựa trên Single-decree Paxos, cùng chứng minh định lí.
[Read More]
Paxos phần 1 - Single-decree Paxos
Thuật toán và chứng minh
Giới thiệu thuật toán đồng thuận Paxos: nguồn gốc tên gọi, cách tiếp cận, chi tiết thuật toán và chứng minh định lí.
[Read More]
CAP Theorem - NewSQL - Deterministic Database
Đây là loạt bài mình đăng trên Grokking NewsLetter, chuyên mục hệ thống phân tán - nay tóm tắt lại vào cùng một bài viết.
Bài viết giới thiệu CAP theorem, NewSQL và hướng tiếp cận mới sử dụng CSDL tất định (deterministic database)
[Read More]
Paper review SLOG Database
Serializable, Low-latency, Geo-replicated Transactions
Bài viết phân tích ưu/nhược điểm của 2-phase commit trong cơ sở dữ liệu phân tán. Từ đó để xuất hướng tiếp cận mới - cơ sở dữ liệu tất định (deterministic database), mục đích tạo ra hệ thống cơ sở dữ liệu phân tán có khả năng scalability trên...
[Read More]
Paper review ZooKeeper
Wait-free coordination for Internet-scale systems
Paper
ZooKeeper: Wait-free coordination for Internet-scale systems
A simple totally ordered broadcast protocol
[Read More]
Paper review PBFT - Practical Byzantine Fault Tolerance
Nhận xét về paper Practical Byzantine Fault Tolerance: cách xây dựng hệ thống đồng thuận có thể chịu được lỗi Byzantine, đồng thời phải có khả năng chịu tải lớn. Đây là paper có ảnh hưởng lớn trong cộng đồng nghiên cứu về mô hình lỗi Byzantine.
[Read More]
Phân tích Signal and Telegram
Cách thiết kế hệ thống đảm bảo tính riêng tư cho người dùng
Phân tích chi tiết về các ứng dụng chat OTP Telegram và Signal: cách các hệ thống này như thế nào có thể đảm bảo tính riêng tư cho người dùng dưới góc nhìn kĩ thuật.
[Read More]
Chứng minh các định lí trong thuật toán Raft
Bài viết sẽ chứng minh lại 3 định lí quan trọng trong thuật toán Raft: Log Matching Property; Leader Completeness và State Machine Safety Property.
[Read More]
Bài toán đồng thuận và thuật toán Raft - Phần 4
Các vấn đề khác liên quan Raft
Đi qua các vấn đề khác về Raft như một số trường hợp đặc biệt khi thực thi; tương tác giữa client và Raft server cùng các nguồn tham khảo khác để tìm hiểu thêm.
[Read More]
Bài toán đồng thuận và thuật toán Raft - Phần 3
Log Replication
Giải thích cách Raft replicate log từ node leader qua các node follower.
[Read More]
Bài toán đồng thuận và thuật toán Raft - Phần 2
Bầu chọn Leader trong thuật toán Raft
Giới thiệu về kiến trúc của Raft cùng các component chính. Song song đó đi vào chi tiết nội dung bầu chọn leader.
[Read More]
Bài toán đồng thuận và thuật toán Raft - Phần 1
Giới thiệu về đồng thuận
Giới thiệu về khái niệm “đồng thuận” trong hệ thống phân tán, các khó khăn và kết quả đã đạt được.
[Read More]
Chứng minh giải thuật QuickSort có độ phức tạp trung bình là NLogN
Bài viết sẽ chứng minh thuật toán QuickSort có độ phức tạp trung bình là O(NLogN). Sau đây là đoạn mã thuật toán QuickSort trên nền ngôn ngữ Java.
[Read More]
Paper review FaRM - Fast Access Memory
No compromises - distributed transactions with consistency, availability, and performance
Paper https://dl.acm.org/doi/abs/10.1145/2815400.2815425
[Read More]
Paper review Morsel-Driven Parallelism
NUMA-Aware QueryEvaluation Framework for the Many-Core Age
Paper: https://dl.acm.org/doi/pdf/10.1145/2588555.2610507
[Read More]
Paper review Lifeguard - an improvement of SWIM
Local Health Awareness for MoreAccurate Failure Detection
Paper: https://arxiv.org/pdf/1707.00788.pdf
[Read More]
Paper review SWIM - a gossip protocol in distributed system
Scalable Weakly-consistent Infection-style Process Group Membership Protocol
Paper https://research.cs.cornell.edu/projects/Quicksilver/public_pdfs/SWIM.pdf
[Read More]
Lịch sử phát triển giao thức HTTP 3.0 và ứng dụng trong gRPC
Bài viết sẽ giới thiệu về lịch sử phát triển của giao thức HTTP, đặc biệt là HTTP/2 và ứng dụng của HTTP/2 trong giao thức gRPC.
[Read More]
Sample blog post
Each post also has a subtitle
This is a demo post to show you how to write blog posts with markdown. I strongly encourage you to take 5 minutes to learn how to write in markdown - it’ll teach you how to transform regular text into bold/italics/headings/tables/etc.
[Read More]
Flake it till you make it
Excerpt from Soulshaping by Jeff Brown
Under what circumstances should we step off a path? When is it essential that we finish what we start? If I bought a bag of peanuts and had an allergic reaction, no one would fault me if I threw it out. If I ended a relationship with a woman who...
[Read More]