TAILIEUCHUNG - Giáo Trình Hệ Điều Hành - deadlock

Đại Học Cần Thơ - Khoa Công Nghệ Thông Tin - Giáo Trình Hệ Điều Hành – DEADLOCK I Mục đích Sau khi học xong chương này, người học nắm được những kiến thức sau: • • • • • • • Hiểu mô hình hệ thống về deadlock Hiểu các đặc điểm của deadlock Hiểu các phương pháp quản lý deadlock Hiểu cách ngăn chặn deadlock Hiểu cách tránh deadlock Hiểu cách phát hiện deadlock Hiểu cách phục hồi từ deadlock II Giới thiệu Trong môi truờng đa chương, nhiều quá trình có thể cạnh tranh một số giới hạn tài nguyên. Một quá. | Đại Học Cần Thơ - Khoa Công Nghệ Thông Tin - Giáo Trình Hệ Điều Hành - DEADLOCK I Mục đích Sau khi học xong chương này người học nắm được những kiến thức sau Hiểu mô hình hệ thống về deadlock Hiểu các đặc điểm của deadlock Hiểu các phương pháp quản lý deadlock Hiểu cách ngăn chặn deadlock Hiểu cách tránh deadlock Hiểu cách phát hiện deadlock Hiểu cách phục hồi từ deadlock II Giới thiệu Trong môi truờng đa chương nhiều quá trình có thể cạnh tranh một số giới hạn tài nguyên. Một quá trình yêu cầu tài nguyên nếu tài nguyên không sẳn dùng tại thời điểm đó quá trình đi vào trạng thái chờ. Quá trình chờ có thể không bao giờ chuyển trạng thái trở lại vì tài nguyên chúng yêu cầu bị giữ bởi những quá trình đang chờ khác. Trường hợp này được gọi là deadlock khoá chết . Trong chương này chúng ta sẽ mô tả các phương pháp mà hệ điều hành có thể dùng để ngăn chặn hay giải quyết deadlock. Hầu hết các hệ điều hành không cung cấp phương tiện ngăn chặn deadlock nhưng những đặc điểm này sẽ được thêm vào sau đó. Vấn đề deadlock chỉ có thể trở thành vấn đề phổ biến xu hướng hiện hành gồm số lượng lớn quá trình chương trình đa luồng nhiều tài nguyên trong hệ thống và đặc biệt các tập tin có đời sống dài và những máy phục vụ cơ sở dữ liệu hơn là các hệ thống bó. III Mô hình hệ thống Một hệ thống chứa số tài nguyên hữu hạn được phân bổ giữa nhiều quá trình cạnh tranh. Các tài nguyên này được phân chia thành nhiều loại mỗi loại chứa một số thể hiện xác định. Không gian bộ nhớ các chu kỳ CPU và các thiết bị nhập xuất như máy in đĩa từ là những thí dụ về loại tài nguyên. Nếu hệ thống có hai CPUs thì loại tài nguyên CPU có hai thể hiện. Tương tự loại tài nguyên máy in có thể có năm thể hiện. Nếu một quá trình yêu cầu một thể hiện của loại tài nguyên thì việc cấp phát bất cứ thể hiện nào của loại tài nguyên này sẽ thoả mãn yêu cầu. Nếu nó không có thì các thể hiện là không xác định và các lớp loại tài nguyên sẽ không được định nghĩa hợp lý. Thí dụ một hệ thống có thể có hai máy in. Hai .

• Hệ điều hành
• deadlock
• hệ điều hành
• công nghệ thông tin
• tài nguyên
• dữ liệu
• Deadlock & xử lý
• Định nghĩa Deadlock
• Chiến lược giải quyết Deadlock
• Chiến lược né tránh Deadlock
• Chiến lược phòng ngừa Deadlock
• Chữa trị Deadlock
• Tài liệu Deadlock
• Bài giảng Deadlock
• Ngăn ngừa Deadlock
• Hệ cơ sở dữ liệu
• Mô hình hóa hệ thống
• Ngăn deadlock
• Phát hiện deadlock
• Phục hồi khỏi deadlock
• Phương pháp giải quyết deadlock
• Distributed Systems
• Lecture Distributed Systems
• Distributed Deadlock Detection
• Deadlock Handling Strategies
• Control Organization for Deadlock Detection
• Centralized Deadlock Detection Algorithms
• Bài giảng Hệ điều hành
• Điều kiện xảy ra deadlock
• Phương pháp phòng tránh deadlock
• Ngăn chặn deadlock
• Phục hồi deadlock
• Xử lý Deadlock
• Mô hình Deadlock
• Phát sinh Deadlock
• Tài liệu hệ điều hành
• Lecture Operating system concepts
• Operating system concepts
• Deadlock Characterization
• Deadlock Detection
• Recovery from Deadlock
• The Deadlock Problem
• Phương pháp xử lý Deadlock
• Phục hồi từ Deadlock
• Bài giảng Lập trình hệ điều hành
• Deadlock là gì
• Tránh deadlock
• Operating System
• Introduction to deadlocks
• The ostrich algorithm
• Deadlock detection and recovery
• Deadlock avoidance
• Deadlock prevention
• Mô hình hệ thống
• Resource Allocation Graph
• Phương pháp giải quyết của deadlock
• Other issues
• Bài giảng môn Hệ điều hành
• Trạng thái Deadlock
• Đói tài nguyên
• Phân loại tài nguyên
• Lecture Operating system principles
• Computer system
• Operating systems
• Lecture Operating systems
• Embedded systems
• Integrated deadlock strategy
• Deadlock handling
• Deadlock Packet Switching
• Deadlock free Packet Switching
• Buffer graph
• Suitable buffer
• Điều kiện phát sinh Deadlock
• Đồ thị cấp phát tài nguyên
• Chiến lược phát hiện deadlock
• Bài toán deadlock
• Tính chất của deadlock
• Vấn đề deadlock
• Các tính chất của deadlock
• Giải thuật Banker