proto.lib

Bounded Mailbox: hộp thư có giới hạn buộc actor phải chọn chính sách backpressure

Một actor có mailbox không giới hạn là một memory leak trá hình; mailbox có giới hạn buộc hệ thống quyết định khi đầy — block sender (lan truyền backpressure), drop message mới nhất/cũ nhất, hoặc fail fast — và mỗi lựa chọn tạo ra một failure mode khác nhau cho toàn hệ thống.

ConcurrencyTrung bình2026-08-25
Bounded Mailbox: hộp thư có giới hạn buộc actor phải chọn chính sách backpressure

Tags

#actor-model#mailbox#backpressure#bounded-queue#failure-mode

Tài liệu tham khảo

Mở rộng

Animation gốc là một file HTML tự chứa, có thể nhúng lại ở bất kỳ trang nào khác. Mở file gốc

Liên quan

ConcurrencyTrung bình

MPSC vs MPMC: hợp đồng hàng đợi quyết định tốc độ

Với nhiều producer và MỘT consumer, phía consumer không cần đồng bộ hoá gì cả nên fast path chỉ là một atomic push và pop không tranh chấp; với nhiều consumer, cả hai đầu đều tranh chấp và cần cơ chế claim riêng từng consumer hoặc work-stealing, còn bounded/unbounded quyết định consumer chậm sẽ gây backpressure hay ngốn hết bộ nhớ.

#mpsc#mpmc#queue-design#backpressure
ConcurrencyTrung bình

Actor Model Message Passing

Mô hình actor: mỗi actor có state riêng và mailbox, giao tiếp chỉ qua message bất đồng bộ, không chia sẻ bộ nhớ.

#actor-model#message-passing#mailbox#no-shared-state
ConcurrencyTrung bình

Channel Thay Cho Lock (Serialization qua Owner Task)

Thay vì mọi thread lock một vùng state dùng chung, một task duy nhất (owner) giữ độc quyền state đó và chỉ nhận message qua channel để đọc/sửa — biến mutual exclusion thành một hàng đợi, loại bỏ hoàn toàn khả năng deadlock giữa các lock vì chỉ còn một luồng chạy critical section.

#channel#owner-task#message-passing#serialization-point