tailieunhanh - Giáo trình môn học Hệ điều hành: Phần 2

Nối tiếp nội dung phần 1 giáo trình môn học "Hệ điều hành", phần 2 giới thiệu tới người học các kiến thức: Deadlock, quản lý bộ nhớ, bộ nhớ ảo, quản lý tập tin, cài đặt hệ thống tập tin, quản lý hệ thống nhập xuất. nội dung chi tiết. | Đạ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. Neu 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. Neu 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. Neu 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 .