Chương 9: Bộ nhớ ảo

No Slide Title Chương 9 Bộ nhớ ảo Hoàng Thị Thúy Vy Phạm Thị Phương Nguyễn Đức Phan Chương 9 Bộ nhớ ảo  Thứ cấp  Nhu cầu phân trang  Copy on write  Trang thay thế  Sự phân cấp của các khung  Sự[.]

Chương 9: Bộ nhớ ảo Hoàng Thị Thúy Vy Phạm Thị Phương Nguyễn Đức Phan Chương 9: Bộ nhớ ảo           Thứ cấp Nhu cầu phân trang Copy-on-write Trang thay Sự phân cấp khung Sự trì trệ (Thrashing) Các file ánh xạ nhớ Bộ nhớ ánh xạ tập tin(Memory-Mapped Files) Những đánh giá khác Các ví dụ hệ diều hành Mục tiêu:  Chỉ lợi ích nhớ ảo  Giải thích khái niệm nhu cầu phân trang,những thuật toán thay trang,và phân chia khung trang  Thảo luận ngun tắc thiết lập mơ hình làm việc Thứ cấp  Bộ nhớ ảo_bộ nhớ logic phân cấp từ nhớ vật lý      Một phần chương trình thực phải nạp vào nhớ Vì khơng gian địa logic phải lớn nhiều so với không gian địa vật lý Không gian địa cho phép chia sẻ nhiều tiến trình Cho phép tạo tiến trình cách có hiệu Bộ nhớ ảo thực thông qua kỹ thuật:   Phân trang theo yêu cầu(kết hợp với swap) Phân đoạn theo yêu cầu(kết hợp với swap) Bộ nhớ ảo lớn nhớ vật lý ⇒ Bộ nhớ ảo Bộ nhớ ánh xạ tập tin Bộ nhớ vật lý Không gian địa ảo Thư viện chia sẻ sử dụng nhớ ảo Các trang chia sẻ Phân trang theo yêu cầu  Chỉ nạp trang vào nhớ cần thiết       Trang cần thiết ⇒ tham chiếu đến Tham chiếu không hợp lệ ⇒ huỷ bỏ   Ít nhu cầu vào Chiếm nhớ Xử lý nhanh Có thể xử lý nhiều tiến trình lúc Khơng có nhớ⇒ đưa vào nhớ Lazy swapper-Bộ hoán vị lười – đưa trang vào nhớ cần thiết  Việc hốn đổi thực với trang riêng lẻ gọi pager(Bộ phân trang) Qúa trình trao đổi trang nhớ với khơng gian đĩa bên cạnh Chuyển nhớ đc phân trang tới không gian đĩa liên tục Valid-Invalid Bit  Mỗi lối vào bảng trang liên kết với bit valid_invalid (hợp lệ_không hợp lệ) (v ⇒ in-memory, i ⇒ not-in-memory)  Ban đầu bit valid_invalid thiết lập i tất điểm vào Ví dụ bảng trang:  Frame # valid-invalid bit v v v v i … i i Bảng trang  Trong đọc địa chỉ,nếu bit valid_invalid lối vào bảng trang i ⇒ lỗi trang