proto.lib

Phát hiện Deadlock qua Wait-For Graph

Hệ thống theo dõi ai đang chờ khóa của ai trong một đồ thị chờ đợi; bộ dò định kỳ tìm chu trình và abort một transaction nạn nhân để phá deadlock.

ConcurrencyNâng cao2026-07-07
Phát hiện Deadlock qua Wait-For Graph

Tags

#deadlock#wait-for-graph#detection#lock-manager#transaction

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

DatabasesNâng cao

Deadlock Detection và Victim Rollback

Hai transaction lấy khóa dòng theo thứ tự ngược nhau tạo deadlock; deadlock detector phát hiện chu trình chờ và rollback nạn nhân.

#deadlock#lock-manager#wait-for-graph#rollback
ConcurrencyNâng cao

Cancellation Safety: hủy tác vụ giữa chừng mà không để lại nửa trạng thái

Hủy một tác vụ đang chạy tại một await point có thể để lại thế giới ở trạng thái nửa vời (một dòng đã insert, một file viết nửa chừng, một khoá đã acquire); tác vụ có thể hủy an toàn cần: thực hiện hiệu ứng bên ngoài trong một bước atomic, đăng ký cleanup chạy khi unwind, và có critical section được shield khỏi việc bị hủy — cùng kỷ luật bất biến như một transaction.

#cancellation#async#invariants#cleanup
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