proto.lib

Bankers Algorithm — tránh Deadlock bằng kiểm tra trạng thái An toàn

Mỗi process khai báo trước nhu cầu tài nguyên tối đa (max claim); trình phân bổ chỉ cấp một request nếu trạng thái kết quả vẫn là SAFE — tồn tại ít nhất một thứ tự hoàn thành các process mà không ai bị kẹt — nên deadlock được tránh trước khi xảy ra, thay vì bị phát hiện và xử lý sau.

ConcurrencyTrung bình2026-08-25
Bankers Algorithm — tránh Deadlock bằng kiểm tra trạng thái An toàn

Tags

#bankers-algorithm#deadlock-avoidance#safe-state#resource-allocation#scheduling#os-theory

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

Semaphore Barging vs FIFO (ai được cấp permit tiếp theo)

Semaphore barging (unfair) cho phép thread vừa tới giành permit trước cả các thread đang đợi trong hàng đợi, vì thread đó đang chạy sẵn và cache còn nóng — tối đa hoá throughput nhưng có thể khiến một thread bị đợi rất lâu; semaphore FIFO cấp permit đúng thứ tự để chặn trên latency.

#semaphore#fairness#barging#fifo
ConcurrencyNâng cao

Priority Inheritance Mutex: nâng tạm quyền ưu tiên để giải cứu

Khi một tác vụ ưu tiên cao bị chặn bởi mutex do tác vụ ưu tiên thấp giữ, và một tác vụ ưu tiên trung bình chiếm CPU của tác vụ thấp đó, priority inheritance TẠM THỜI nâng độ ưu tiên của người giữ mutex lên bằng độ ưu tiên của luồng chờ cao nhất, để nó hoàn tất và nhả khoá càng sớm càng tốt.

#priority-inheritance#mutex#real-time#scheduling
ConcurrencyNâng cao

Priority Queue đồng thời bằng Skip List (không phải 1 heap)

Một binary heap có một root duy nhất mà mọi thread phải chạm vào, nên priority queue đồng thời thường dùng skip list với insert/delete lock-free bằng CAS ở từng level, hoặc nhiều hàng đợi per-thread kèm work-stealing — đánh đổi để "phần tử nhỏ nhất" chỉ còn là gần đúng dưới tải đồng thời.

#skip-list#priority-queue#lock-free#cas