Vấn đề tắc nghẽn Deadlock Cả triết gia đồng lọat muốn ăn PTIT, 2012 Mỗi người lấy nĩa Deadlock PTIT, 2012 Deadlock tổ chức tiến trình     Mỗi tiến trình nhóm chờ cấp phát tài nguyên Tài nguyên tranh chấp bị tiến trình khác trạng thái blocked chiếm giữ Khơng có tiến trình tiếp tục xử lý để giải phóng tài ngun Tất tiến trình nhóm bị khóa vĩnh viễn ! PTIT, 2012 Điều kiện tắc nghẽn Truy xuất lọai trừ (mutual exclusion): tiến trình truy xuất Chiếm giữ yêu cầu thêm (Hold and wait) Tiến trình chiếm giữ tài nguyên theo chế độ độc quyền (No preemption) Tồn chu kỳ (Circulation wait) PTIT, 2012 Đồ thị cấp phát tài nguyên P chiếm R P: Tiến trình R: Tài nguyên P yêu cầu R PTIT, 2012 Đồ thị cấp phát tài nguyên PTIT, 2012 Đồ thị cấp phát tài nguyên Có xảy deadlock không? PTIT, 2012 Đồ thị cấp phát tài ngun Có xảy deadlock khơng? Kết luận??? PTIT, 2012 Giải vấn đề tắt nghẽn  Ngăn chặn (Prevention): Lọai bỏ điều kiện tắc nghẽn   Xử lý (Detection and recovery)  Chấp nhận cho tắc nghẽn xảy ra, thực thủ tục để phát tắc nghẽn, có xử lý  Không quan tâm (Ignore) PTIT, 2012 Ngăn chặn tắc nghẽn  Loại bỏ điều kiện tắc nghẽn  Mutual Exclusion  Hold and Wait  No Preemption  Circular Wait PTIT, 2012 Trạng thái an toàn hệ thống Trạng thái an tồn (safe state): hệ thống cấp phát tài ngun cho tiến trình mà khơng bị tắc nghẽn PTIT, 2012 Trạng thái an toàn hệ thống  Chuỗi tiến trình an tồn tiến trình Pi tài nguyên mà Pi cần đáp ứng tài nguyên có với tài nguyên chiếm dụng tiến trình Pj, với j