proto.lib

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.

ConcurrencyTrung bình2026-08-25
Lost Wakeup trên Condition Variable

Tags

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

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

Producer-Consumer với Bounded Queue

Mô hình đồng bộ dùng mutex và condition variable để producer và consumer phối hợp qua một hàng đợi giới hạn kích thước, tạo cơ chế backpressure.

#producer-consumer#mutex#condition-variable
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

Language Memory Model vs Hardware Memory Model

Memory model của ngôn ngữ (Java, C++, Go...) là một HỢP ĐỒNG mà compiler cam kết thực hiện đúng trên mọi kiến trúc; nó không phải là hành vi thật của CPU. Một CPU strongly-ordered (x86) có thể chạy đúng một chương trình thiếu rào đồng bộ hoàn toàn do ngẫu nhiên, còn CPU weakly-ordered (ARM) phơi bày lỗi đó ngay lập tức.

#memory-model#x86#arm#weakly-ordered