Deadline lan truyền — đừng để một request chậm kéo cả chuỗi
Timeout đặt riêng ở mỗi service không chặn được chuỗi request chậm. Cách truyền deadline một lần bằng AbortSignal trong TypeScript.
THE ENGINEERING JOURNAL
#system-design
Các bài viết về system-design.
Bulkhead trong TypeScript — một service chậm không kéo sập cả app
Bulkhead là gì, vì sao một dependency chậm kéo sập cả app, và cách tự viết bulkhead bằng TypeScript với semaphore chỉ trong khoảng 50 dòng.
Circuit Breaker trong TypeScript — chặn domino khi service sập
Circuit breaker là gì, vì sao retry mù quáng kéo sập cả hệ thống, và cách tự viết một circuit breaker bằng TypeScript.
Saga Pattern — giao dịch phân tán không cần 2PC
Saga chia giao dịch phân tán thành nhiều local transaction kèm hành động bù. So sánh choreography và orchestration, code Go, bốn cái bẫy thực tế.
Bloom Filter — chặn query vô ích trước khi chạm database
Bloom filter là gì, vì sao vài MB RAM chặn được phần lớn query rác? Cách tính tham số, code Go thực tế và 4 cái bẫy khi lên production.
Redis làm khóa phân tán — đừng tưởng SETNX xong là xong
SETNX tưởng đủ để làm distributed lock nhưng giấu cả đống bẫy: key hết hạn, unlock nhầm, gặp critical section lâu. Đây là cách làm cho đúng.
Distributed Tracing — rượt tìm lỗi chậm trong hệ thống microservice
OpenTelemetry giúp xâu chuỗi request qua nhiều service để tìm đúng nút thắt cổ chai thay vì đoán mò.
Outbox Pattern — Ghi DB rồi publish event, không lo mất
Outbox Pattern giải bài toán dual-write: ghi DB vừa publish event vừa an toàn, không mất mát. Có code Go và relay thực chiến.
CAP Theorem — Vì sao hệ thống phân tán luôn phải chọn 2 trong 3?
CAP là gì, vì sao không thể có đủ Consistency, Availability, Partition tolerance cùng lúc, và cách chọn combo đúng cho hệ thống thực tế.
Load Balancing: Từ Round Robin đến Consistent Hashing
Tìm hiểu các thuật toán load balancing từ Round Robin đến Consistent Hashing — lợi hại của từng loại và khi nào nên xài cho hệ thống thật.