proto.lib

Livelock vs Deadlock

Hai luồng liên tục nhường nhau để tránh deadlock nhưng lại kẹt trong vòng lặp phản ứng vô tận, không tiến triển được.

ConcurrencyTrung bình2026-07-08
Livelock vs Deadlock

Tags

#livelock#deadlock#concurrency#backoff#politeness

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

PAUSE/yield hint: spin-wait một cách lễ độ

Một spin loop trần liên tục dội lệnh đọc vào subsystem bộ nhớ và, trên nhân hyperthreading, còn cướp băng thông pipeline của luồng anh em đang thực sự giữ lock; lệnh PAUSE (x86) hoặc yield hint báo cho CPU biết đây là spin-wait để nó giảm tốc, tiết kiệm điện và nhường tài nguyên cho luồng anh em.

#spinlock#pause-instruction#hyperthreading#spin-wait
ConcurrencyNâng cao

Async-Signal Safety: handler không được deadlock

Một signal có thể ngắt chương trình ở BẤT KỲ điểm nào, kể cả giữa lúc malloc() đang giữ lock nội bộ của allocator; nếu handler cũng gọi malloc() hoặc log(), nó có thể tự deadlock với chính chương trình bị ngắt. Cách an toàn duy nhất là chỉ gọi hàm async-signal-safe trong handler, còn việc thật thì để cờ hoặc self-pipe/eventfd báo cho vòng lặp chính xử lý.

#signal-handler#async-signal-safe#reentrancy#self-pipe
ConcurrencyNâng cao

Giữ Lock Qua Await: deadlock chỉ có ở async code

Một task khoá mutex rồi await bên trong vùng critical section, khiến lock bị giữ trong lúc task đang tạm dừng; nếu một task khác trên cùng runtime chờ lock đó, và công việc được await lại cần chính task đang bị chặn (hoặc worker duy nhất của runtime) để hoàn tất, hệ thống đứng im vĩnh viễn.

#async-await#mutex#deadlock#critical-section