proto.lib

Starvation và Fairness trong Lock

Luồng ưu tiên thấp liên tục bị chèn hàng bởi luồng ưu tiên cao, minh họa starvation và cách fair lock giải quyết.

ConcurrencyTrung bình2026-07-08
Starvation và Fairness trong Lock

Tags

#starvation#fairness#scheduler#lock#priority

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

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

Lock Convoy: đoàn tàu chờ khoá dù critical section nhỏ

Khi rất nhiều luồng cùng xếp hàng chờ một khoá và trình lập lịch dùng chính sách công bằng (FIFO wakeup), mỗi lần trao khoá phải trả giá context switch và cache lạnh dù công việc bên trong khoá chỉ vài nano giây — hệ thống tiêu tốn thời gian để 'đoàn tàu' (convoy) di chuyển hơn là để tính toán.

#lock-convoy#context-switch#fairness#spinlock