Chương 4 Deadlock

Khoa Công Nghệ Thông Tin – ĐHCN TP HCMChương 4 Deadlock Mục đích: • Nắm được các khái niệm về tắc nghẽn, các nguyên nhân gây tắc nghẽn, cũng như các phươg pháp phòng chống tắc nghẽn..

Trang 1

Khoa Công Nghệ Thông Tin – ĐHCN TP HCM

Chương 4 Deadlock

Mục đích:

• Nắm được các khái niệm về tắc nghẽn,

các nguyên nhân gây tắc nghẽn, cũng như các phươg pháp phòng chống tắc nghẽn Yêu cầu:

• Biết cách vân dụng để giài quyết vân đề

thực tế

Trang 2

Chương 4 Deadlock

• Vấn đề deadlock trong hệ thống

• Các điều kiện tồn tại Deadlock

• Các phương pháp giải quyết Deadlock

– Deadlock prvention ( ngăn chặn deadlock)

– Deadlock avoidance (tránh deadlock)

– Deadlock detection (phát hiện deadlock)

– Deadlock recovery (Phục hồi hệ thống bị

deadlock)

• Phương pháp tổng hợp

Trang 3

Vấn đề deadlock trong hệ thống

Trang 4

Mô hình hoá hệ thống

Trang 5

Điều kiện tồn tại deadlock

Trang 6

Resource Allocation Graph

(RAG)

Trang 7

Ví dụ về RAG

Trang 8

RAG đang bị deadlock

Trang 9

Cycle RAG không deadlock

Trang 10

Các P.P giải quyết deadlock

Trang 11

Deadlock Prevention

Trang 12

Deadlock Prevention (t.t)

Trang 13

Deadlock Prevention (t.t)

Trang 14

Deadlock Avoidance

Trang 15

Trạng thái “safe”và “unsafe”

Trang 16

Safe, unsafe và deadlock

Trang 17

Giải thuật Banker

Trang 18

Giải thuật Banker (t.t)

Trang 19

Giải thuật kiểm tra trạng thái

Trang 20

Giải thuật cấp phát tài nguyên

Trang 21

Giải thuật Banker–Ví dụ(t.t)

Trang 22

Kiểm tra sự an toàn

Trang 23

Ví dụ

Trang 24

Deadlock Detection

Trang 25

Mô hình Single-Instance

Trang 26

Mô hình Multiple-Instance

Trang 27

Detection Algorithm

Trang 28

Detection Algorithm- Ví dụ

Trang 29

Detection Algorithm-Ví dụ (t.t)

Trang 30

Deadlock Recorery

Trang 31

Thu hồi tài nguyên

Trang 32

Phương pháp tổng hợp

Trang 33

Câu hỏi và bài tập

– Liệt kê ra 3 ví dụ về deadlock mà không liên

quan tới môi trường của hệ thống máy tính – Hệ thống có thể xác định vài quá trình đang

starving hay không? Nếu trả lời “Yes” giải thích, nếu trả lời “No” đề xuất hệ thống có thể xử lý với vấn đề “stavation” như thế nào – làm bt chương 8.13 SGK

Định dạng
Số trang	33
Dung lượng	473 KB