Chương 5 giúp người học hiểu về "Bế tắc". Nội dung trình bày cụ thể gồm có: Định nghĩa Bế tắc; Đặc điểm của Bế tắc; Tránh bế tắc; Phát hiện bế tắc; Khắc phục bế tắc. nội dung chi tiết. | Bài giảng Hệ điều hành: Chương 5 - ThS. Nguyễn Thị Hải Bình BẾ TẮC (DEADLOCK) ThS. Nguyễn Thị Hải Bình Khoa CNTT, ĐH Giao thông vận tải Email: calmseahn@ Website: BRIDGE CROSSING EXAMPLE 2 DEADLOCK EXAMPLE Process 1 Process 2 1. Process 1 requests the printer, gets it 2. Process 2 requests the tape unit, gets it 3. Process 1 requests the tape unit, waits 4. Process 2 requests the printer, waits 3 Bế tắc là tình huống xuất hiện khi hai tiến trình phải chờ đợi nhau giải phóng tài nguyên hoặc nhiều tiến trình chờ sử dụng các tài nguyên theo một “vòng tròn” (circular chain). 4 MÔ HÌNH HỆ THỐNG • Xem hệ thống như một tập hợp có giới hạn các tài nguyên • Kiểu tài nguyên (type) • Các tài nguyên được chia thành các kiểu, ví dụ: memory, printers, CPUs, open files, tape drives, CD-ROMS, • Hệ thống có 2 CPU thì kiểu tài nguyên CPU có 2 đối tượng • Các đối tượng (instances) trong cùng một kiểu tài nguyên có vai trò như nhau • Tiến trình sử dụng tài nguyên theo trình tự • Yêu cầu (Request) • Sử dụng (Use) • Giải phóng (Release) • Một tập hợp các tiến trình ở tình trạng bế tắc khi mỗi tiến trình đều chờ tài nguyên từ một tiến trình khác trong tập hợp 5 ĐIỀU KIỆN CẦN ĐỂ CÓ BẾ TẮC • Bế tắc xuất hiện nếu 4 điều kiện sau đồng thời xuất hiện • Độc quyền truy xuất (Mutal exclusion): ít nhất một tài nguyên bị nắm giữ thuộc kiểu không thể dùng chung • Giữ và chờ (Hold and wait): tồn tại tiến trình đang nắm giữ tài nguyên, đồng thời lại chờ tài nguyên bị giữ bởi tiến trình khác • Không chiếm đoạt (No preemption): hệ thống không thể chiếm tài nguyên của tiến trình • Vòng đợi (Circular wait): Tồn tại tập hợp các tiến trình {P0, P1, , Pn}, mà P0 chờ P1, P1 chờ P2, , Pn chờ P0 6 ĐỒ THỊ PHÂN PHỐI TÀI NGUYÊN • Tập đỉnh V • P = {P1, P2, , Pn} - ứng với các tiến trình • R = {R1, R2, , Rn} - ứng với các kiểu tài nguyên của hệ thống • Tập cung E • Cung yêu cầu Pi .
