Có bốn điều kiện cần thiết để deadlock có thể xảy ra
- Điều kiện loại trừ lẫn nhau: Một tài nguyên không thể sử dụng bởi nhiều hơn một tiến trình tại một thời điểm
- Điều kiện giữ và chờ: Các tiến trình giữ tài nguyên và chờ tài nguyên mới
- Điều kiện không có trưng dụng tài nguyên: Các tài nguyên không thể bị đòi lại, chúng chỉ có thể được giải phóng bởi chính tiến trình chiếm giữ chúng
- Điều kiện chờ đợi vòng tròn: Các tiến trình giữ tài nguyên và chờ các tài nguyên bị giữ bởi tiến trình khác, tạo thành một chu trình. Ví dụ: Tiến trình 1, chiếm A1, chờ A2. Tiến trình 2 chiếm A2, chờ A3,... Tiến trình N chiếm An, chờ A1
Và các cách đối phó với deadlock bao gồm:
- Phòng tránh deadlock: dự đoán trước deadlock có xảy ra hay không trước khi tiến hành phân phối tài nguyên cho tiến trình. Ví dụ: giải thuật nhà băng (Banker's algorithm).
- Ngăn chặn deadlock: ngăn chặn ít nhất 1 trong 4 điều kiện để xảy ra deadlock nêu trên. Chẳng hạn: cho phép chia sẻ tài nguyên, cho phép trưng dụng,...
- Phát hiện và khắc phục deadlock: nếu không thể phòng tránh hay ngăn chặn deadlock, cứ để deadlock xảy ra và ta sẽ phát hiện và đi khắc phục chúng. Phuơng pháp này phù hợp với hệ thống ít xảy ra deadlock và hậu quả của deadlock là ít nghiêm trọng.
Anh mới chỉ gặp loại là các thread chờ lẫn nhau thôi em ạ, một khi mà deadlock đã xảy ra rồi thì gần như không có cách nào xử lý được ngoại trừ việc restart lại server, hoặc tìm cách kill các thread đang chờ nhau đi.
Em có thể tham khảo bài viết này để biết thêm một số cách mà bọn anh phòng tránh deadlock nhé.
