proto.lib

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.

ConcurrencyNâng cao2026-08-24
Giữ Lock Qua Await: deadlock chỉ có ở async code

Tags

#async-await#mutex#deadlock#critical-section#single-threaded-runtime#async-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

Sync-over-Async Deadlock: block một luồng pool để chờ chính pool đó

Gọi .Result/.get()/block_on bên trong request handler để chờ đồng bộ một tác vụ bất đồng bộ sẽ giữ chết một luồng worker, trong khi continuation của tác vụ đó lại phải xếp hàng chờ MỘT luồng worker khác trong cùng pool để chạy tiếp; nếu pool cạn luồng, không ai hoàn tất được gì — dịch vụ deadlock hoàn toàn dù CPU gần như rảnh.

#deadlock#thread-pool#async-await#blocking
ConcurrencyTrung bình

Lock Ordering để tránh Deadlock

Hai luồng lấy khóa theo thứ tự ngược nhau gây deadlock; áp dụng thứ tự khóa toàn cục nhất quán để loại bỏ vòng chờ.

#lock-ordering#deadlock#mutex#best-practice
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