Deadlock
Bài viết này cần thêm liên kết tới các bài bách khoa khác để trở thành một phần của bách khoa toàn thư trực tuyến Wikipedia. (tháng 7 năm 2018) |
Deadlock (Khóa chết) là trạng thái xảy ra trong môi trường đa nhiệm (muti-threading) khi hai hoặc nhiều tiến trình đi vào vòng lặp chờ tài nguyên mãi mãi.
Ví dụ
| Thread 1 | Thread 2 |
|---|---|
| Muốn lấy tài nguyên A và B | Muốn lấy tài nguyên A và B |
| Chiếm tài nguyên A, chờ Thread 2 bắt đầu chạy cho tới khi Thread 2 đợi tài nguyên A giải phóng | |
| Chiếm tài nguyên B | |
| Đợi tài nguyên A giải phóng | |
| Đợi tài nguyên B giải phóng | |
| Deadlock | |
Đối phó với deadlock
Điều kiện xảy ra deadlock
Có bốn điều kiện cần thiết để deadlock có thể xảy ra.
- Điều kiện loại trừ tương hỗ (Mutual exclusion): 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ờ (Hold and wait): Một quá trình đang giữ ít nhất một tài nguyên và đợi thêm tài nguyên do quá trình khác đang giữ
- Điều kiện không ưu tiên (No preemption): 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 chu trình chờ (Circular wait): 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
Các cách đối phó với deadlock
- 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ò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).
- 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.
Tham khảo
Liên kết ngoài
Bài viết
- "Distributed Deadlock Detection Lưu trữ ngày 2 tháng 11 năm 2015 tại Wayback Machine" by JoAnne L. Holliday and Amr El Abbadi
- "Deadlock detection in distributed databases" by Edgar Knapp
- "Advanced Synchronization in Java Threads" by Scott Oaks and Henry Wong
Bản in
- "Deadlock Detection in Distributed Object Systems" by Nima Kaveh and Wolfgang Emmerich
- "Confirmation of Deadlock Potentials Detected by Runtime Analysis" by Saddek Bensalem, Jean-Claude Fernandez, Klaus Havelund and Laurent Mounier
- Coffman, E.G., M.J. Elphick, and A. Shoshani, System Deadlocks, ACM Computing Surveys, 3, 2, 67-78 (1971) Lưu trữ ngày 27 tháng 1 năm 2012 tại Wayback Machine.
- Eliminating Receive Livelock in an Interrupt-driven Kernel by Jeffrey C. Mogul, K. K. Ramakrishnan
- Havender, J. W., "Avoiding deadlock in multitasking systems" Lưu trữ ngày 24 tháng 2 năm 2012 tại Wayback Machine, IBM Systems Journal, Volume 7, Number 2, Page 74 (1968)
Chung
- Deadlock Detection Agents Lưu trữ ngày 4 tháng 5 năm 2005 tại Wayback Machine
- Etymology of "Deadlock"
- ARCS - A Web Service approach to alleviating deadlock Lưu trữ ngày 18 tháng 9 năm 2017 tại Wayback Machine
Content Disclaimer
Informasi ini disarikan dari Wikipedia dan disajikan kembali untuk tujuan edukasi. Konten tersedia di bawah lisensi CC BY-SA 3.0. Kami tidak bertanggung jawab atas ketidakakuratan data yang bersumber dari kontribusi publik tersebut.
- The information displayed on this website is sourced in part or in whole from Wikipedia and has been adapted for the purpose of restating it. We strive to provide accurate and relevant information, however:
- There is no guarantee of absolute accuracy. Wikipedia is an open, collaborative project that can be edited by anyone, so information is subject to change.
- It is not intended to constitute professional advice. The content displayed is for informational and educational purposes only. For important decisions (e.g., medical, legal, or financial), please consult a professional.
- Content copyright. Wikipedia is licensed under the Creative Commons Attribution-ShareAlike License (CC BY-SA). This means that content may be reused with appropriate attribution and shared under a similar license.
- Responsible use. Any risk arising from the use of information from this website is entirely the responsibility of the user.