proto.lib

Condition Variable & Spurious Wakeup

Luôn wait trong vòng lặp while vì có thể bị đánh thức giả; phân biệt signal (một luồng) và broadcast (mọi luồng).

ConcurrencyTrung bình2026-07-02
Condition Variable & Spurious Wakeup

Tags

#condition-variable#spurious-wakeup#signal#broadcast#wait-loop

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

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
ConcurrencyCơ bản

Guarded Suspension

Thread chờ trên một điều kiện guard chưa thỏa mãn bằng wait/notify thay vì busy-wait, chỉ được đánh thức khi guard đã đúng.

#guarded-suspension#wait-notify#condition-variable#monitor
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