proto.lib

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.

ConcurrencyTrung bình2026-08-25
Channel Thay Cho Lock (Serialization qua Owner Task)

Tags

#channel#owner-task#message-passing#serialization-point#backpressure#no-lock

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

ConcurrencyNâng cao

Thread-per-Core, Shared-Nothing

Mỗi core ghim đúng một thread, thread đó sở hữu riêng một phần dữ liệu và một event loop riêng; công việc được định tuyến tới core sở hữu theo key thay vì lock, nên trong luồng bình thường không có race và không có cache-line ping-pong giữa các core.

#thread-per-core#shared-nothing#sharding#message-passing
ConcurrencyNâng cao

Select/Race và Cancellation Nhánh Thua

Một select/race hoàn tất theo nhánh về đầu tiên, các nhánh THUA phải bị hủy hoặc drop — nếu nhánh thua đã kịp tiêu thụ một phần tác dụng phụ (ví dụ đã nhận một message từ channel) thì tác dụng phụ đó bị mất âm thầm, nên một race timeout ngây thơ có thể làm rơi message chưa từng được giao.

#select#race#cancellation#cancel-safety
ConcurrencyTrung bình

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.

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