proto.lib

Supervision Tree: để nó crash, có chủ đích

Một supervisor sở hữu các tiến trình/actor con và khi một child lỗi, nó áp dụng chiến lược khai báo trước — restart riêng child đó, restart toàn bộ anh em vì chia sẻ state, hoặc escalate lên supervisor cha — kèm giới hạn restart intensity để child hỏng vĩnh viễn không quay vòng vô hạn.

ConcurrencyTrung bình2026-08-24
Supervision Tree: để nó crash, có chủ đích

Tags

#supervision-tree#let-it-crash#restart-strategy#actor-model#fault-tolerance#erlang-otp

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

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

Writer Starvation trong RWLock: writer chờ vô hạn

Một readers-writer lock ưu tiên reader (reader-preferring) cho phép luồng đọc mới liên tục chen vào miễn còn ít nhất một reader đang giữ khoá, khiến writer chờ vô hạn; chính sách write-preferring hoặc phase-fair chặn reader mới khi có writer đang đợi để writer được vào sau khi các reader hiện tại kết thúc.

#rwlock#writer-starvation#fairness#phase-fair