Đang tải... (xem toàn văn)
Bài giảng Hệ điều hành - Chương 6.1: Deadlocks giúp người học hiểu được vấn đề bài toán deadlock và các tính chất của deadlock, hiểu được các phương pháp giải quyết deadlock. Mời các bạn cùng tham khảo.
pyrights 2017 CE-UIT All Rights Reserved 20 Ngăn deadlock (tt) Ngăn Circular wait (tt): Mỗi tiến trình yêu cầu thực thể loại tài nguyên theo thứ tự tăng dần (định nghĩa hàm F) loại tài nguyên Ví dụ: Chuỗi yêu cầu thực thể hợp lệ: tap driver -> disk -> printer 1/17/2018 Copyrights 2017 CE-UIT All Rights Reserved 21 Ngăn deadlock (tt) Ngăn Circular wait (tt): Khi tiến trình yêu cầu thực thể loại tài nguyên Rj phải trả lại tài nguyên Ri với F(Ri)>F(Rj) Chứng minh giả sử tồn chu trình deadlock F(R4) < F(R1) F(R1) < F(R2) F(R2) < F(R3) F(R3) < F(R4) Vậy F(R4) < F(R4), mâu thuẫn 1/17/2018 Copyrights 2017 CE-UIT All Rights Reserved 22 Tránh deadlock Ngăn deadlock sử dụng tài nguyên không hiệu Tránh deadlock đảm bảo hiệu suất sử dụng tài nguyên tối đa đến mức Yêu cầu tiến trình khai báo số lượng tài nguyên tối đa cần để thực công việc Giải thuật tránh deadlock kiểm tra trạng thái cấp phát tài nguyên để đảm bảo hệ thống không rơi vào deadlock Trạng thái cấp phát tài nguyên định nghĩa dựa số tài nguyên lại, số tài nguyên cấp phát yêu cầu tối đa tiến trình 1/17/2018 Copyrights 2017 CE-UIT All Rights Reserved 23 Trạng thái safe unsafe Một trạng thái hệ thống gọi an toàn (safe) tồn chuỗi thứ tự an toàn Một chuỗi q trình chuỗi an tồn Với i = 1,…,n yêu cầu tối đa tài nguyên Pi thỏa Tài nguyên mà hệ thống có sẵn sàng Cùng với tài nguyên mà tất Pj (j hệ thống an toàn 1/17/2018 Copyrights 2017 CE-UIT All Rights Reserved 25 Trạng thái safe unsafe (tt) Giả sử thời điểm t1, P2 yêu cầu cấp phát tap drive Còn tap drive sẵn sàng Cần tối đa Đang giữ P0 10 P1 P2 Hệ thống an tồn khơng? 1/17/2018 Copyrights 2017 CE-UIT All Rights Reserved 26 Trạng thái safe/unsafe deadlock Nếu hệ thống trạng thái safe -> không deadlock Nếu hệ thống trạng thái unsafe -> dẫn đến deadlock Tránh deadlock cách bảo đảm hệ thống không đến trạng thái unsafe deadlock unsafe safe 1/17/2018 Copyrights 2017 CE-UIT All Rights Reserved 27 Tóm tắt lại nội dung buổi học Khái niệm deadlock Các tính chất deadlock Đồ thị cấp phát tài nguyên Các phương pháp giải deadlock Ngăn deadlock Tránh deadlock 1/17/2018 Copyrights 2017 CE-UIT All Rights Reserved 28 ... 1/17/2018 Copyrights 2017 CE-UIT All Rights Reserved 26 Trạng thái safe/unsafe deadlock Nếu hệ thống trạng thái safe -> không deadlock Nếu hệ thống trạng thái unsafe -> dẫn đến deadlock Tránh... Tài nguyên mà hệ thống có sẵn sàng Cùng với tài nguyên mà tất Pj (j hệ thống an