Tham khảo tài liệu 'giáo trình nguyên lý hệ điều hành_chương 6', công nghệ thông tin, hệ điều hành phục vụ nhu cầu học tập, nghiên cứu và làm việc hiệu 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 .
