proto.lib

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

ConcurrencyTrung bình2026-07-08
Lock Ordering để tránh Deadlock

Tags

#lock-ordering#deadlock#mutex#best-practice#synchronization

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

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

Mutex vs Semaphore

So sánh mutex (1 chủ sở hữu, lock/unlock) với semaphore đếm (N permit) và acquire/release, khi nào dùng cái nào.

#mutex#semaphore#lock#synchronization
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