proto.lib

Deadlock: Dining Philosophers

Minh họa deadlock qua bài toán triết gia ăn tối với 4 điều kiện cần thiết, và cách phá vỡ circular wait bằng resource ordering để ngăn deadlock.

ConcurrencyNâng cao2026-07-02
Deadlock: Dining Philosophers

Tags

#deadlock#dining-philosophers#resource-ordering

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

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
ConcurrencyTrung bình

Đọc Thread Dump để chẩn đoán Deadlock: đọc xác chết của hệ thống

Thread dump (jstack, goroutine dump, py-spy) chụp trạng thái và stack của mọi thread cùng lock nào mỗi thread đang giữ và đang chờ, nên một chu trình deadlock hiện ra trực tiếp; ngược lại toàn bộ thread nằm chờ ở hàng đợi của pool nghĩa là starvation hoặc cạn pool, không phải deadlock.

#thread-dump#jstack#deadlock#diagnosis