Nội dung của đề tài gồm: Giới thiệu chung. Sơ lược sự an toàn hệ thống. Thuật toán kiểm tra tính an toàn của hệ thống. Bài code của thuật toán. Ví dụ minh họa. Hệ điều hành là một môn học góp phần cung cấp những nội dung kiến thức chung nhất về hệ điều hành máy tính, nó giúp người học nắm bắt được những nguyên lý cơ bản và những nguyên tắc làm việc của một hệ điều hành máy tính tổng quát. Từ đó có thể áp dụng để làm việc tốt với các hệ điều hành cụ thể trên thực tế, hình dung được xu hướng phát triển của những hệ điều hành mới trong tương lai. Để phục vụ cho học tập nhóm chúng tôi đã nhận đề tài : ”Lập trình mô phỏng kiểm tra tính an toàn hệ thống”. Nhằm giúp các bạn hiểu được về cách kiểm tra tiến trình an toàn trong hệ điều hành cũng như việc phân bổ tài nguyên cho các tiến trình. Mặc dù nhóm chúng tôi đã giành thời gian tìm kiếm tài liệu và làm bài nhưng không tránh khỏi còn thiếu sót, mong thầy góp ý để bài tập lớn của chúng em được đầy đủ hơn.
BỘ CÔNG THƯƠNG TRƯỜNG ĐẠI HỌC CÔNG NGHIỆP HÀ NỘI KHOA CÔNG NGHỆ THÔNG TIN BÀI TẬP LỚN MÔN HỌC: NGUN LÝ HỆ ĐIỂU HÀNH Đề tài: Lập trình mơ kiểm tra tính an tồn hệ thống Nhóm sinh viên thực hiện: Nhóm 17 Lớp: Hệ Thống Thơng Tin - K6 HÀ NỘI -2012 LỜI NÓI ĐẦU Đề tài: Lập trình mơ kiểm tra tính an tồn hệ thống -1 - Nội dung đề tài gồm: - Giới thiệu chung - Sơ lược an tồn hệ thống - Thuật tốn kiểm tra tính an tồn hệ thống - Bài code thuật tốn - Ví dụ minh họa Hệ điều hành mơn học góp phần cung cấp nội dung kiến thức chung hệ điều hành máy tính, giúp người học nắm bắt nguyên lý nguyên tắc làm việc hệ điều hành máy tính tổng qt Từ áp dụng để làm việc tốt với hệ điều hành cụ thể thực tế, hình dung xu hướng phát triển hệ điều hành tương lai Để phục vụ cho học tập nhóm chúng tơi nhận đề tài : ”Lập trình mơ kiểm tra tính an tồn hệ thống” Nhằm giúp bạn hiểu cách kiểm tra tiến trình an toàn hệ điều hành việc phân bổ tài ngun cho tiến trình Mặc dù nhóm chúng tơi giành thời gian tìm kiếm tài liệu làm khơng tránh khỏi cịn thiếu sót, mong thầy góp ý để tập lớn chúng em đầy đủ Xin chân thành cảm ơn! GIỚI THIỆU CHUNG -2 - Phần mềm mô kiểm tra tính an tồn hệ thống thiết kế dựa thuật toán chuyển hệ sang trạng thái an tồn thuật tốn kiểm tra tính an tồn hệ điều hành Được lập trình ngơn ngữ C++ SƠ LƯỢC VỀ SỰ AN TOÀN HỆ THỐNG 2.1.Bế tắc(deadlock) Trong mơi trường đa chương, nhiều tiến trình cạnh tranh số giới hạn tài nguyên Một tiến trình tài ngun, tài ngun khơng sẵn dùng thời điểm đó, tiến trình vào trạng thái chờ Tiến trình chờ khơng chuyển trạng thái trở lại tài nguyên chúng yêu cầu bị giữ tiến trình chờ khác Trong trường hợp gọi deadlock (bế tắc) Điều kiện xảy bế tắc có điều kiện sau hệ thống: có tài nguyên “găng”, có hiên tượng giữ đợi, khơng có hệ thống phân phối lại tài nguyên, có tượng chờ đợi vòng tròn Phòng chống bế tắc: Áp dụng biện pháp để hệ thống không rơi vào trạng thái bế tắc Áp dụng biện pháp kiểm tra xem tiến trình có rơi vào bế tắc hay khơng, có thơng báo trước xảy tìm cách giải 2.2.Tránh bế tắc an toàn hệ thống 2.2.1.Tránh bế tắc Mỗi phân bổ tài nguyên cho tiến trình, hệ thống kiểm tra xem liệu việc phân bổ có đẩy hệ thống vào tình trạng bế tắc hay khơng Nếu có tìm cách giải trước bế tắc xảy 2.2.2 Khái niệm dãy tiến trình an tồn Cho dãy tiến trình P1, P2, P3, …, Pn song hành Dãy tiến trình gọi an toàn (safe process) với tiến trình Pi, tài ngun mà Pi cần có thỏa mãn tài nguyên khả dụng hệ thống tài nguyên tiến trình Pi’ giữ với điều kiện i’