proto.lib

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.

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

Tags

#priority-inheritance#mutex#real-time#scheduling#pi-mutex

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

Priority Inversion & Priority Inheritance

Thread ưu tiên thấp giữ khóa mà thread ưu tiên cao cần, khiến thread cao bị chặn gián tiếp; priority inheritance khắc phục.

#priority-inversion#priority-inheritance#scheduler#real-time
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
ConcurrencyTrung bình

Lost Wakeup trên Condition Variable

Nếu waiter kiểm tra predicate rồi mới gọi wait() mà không giữ lock xuyên suốt, signaller có thể chen vào giữa hai bước đó: đổi trạng thái và signal trước khi waiter kịp block — tín hiệu bị mất và waiter ngủ vĩnh viễn. Vì vậy predicate phải được kiểm tra khi đang GIỮ lock, và wait() phải nằm trong một vòng lặp.

#condition-variable#lost-wakeup#predicate-loop#signal-vs-broadcast