Chương 9 của bài giảng Nguyên lý hệ điều hành giới thiệu về bộ nhớ ảo trong hệ điều hành. Các nội dung chính được trình bày trong chương này gồm: Phân trang theo yêu cầu - Demand paging, thay trang - Page replacement, phân phối các frames - Allocation of frames, thrashing, phân đoạn theo yêu cầu - Demand segmentation. Mời các bạn tham khảo. | Nội dung chương 9 BÀI GIẢNG NGUYÊN LÝ HỆ ĐIỀU HÀNH Kiến thức cơ bản Phân trang theo yêu cầu - Demand Paging Thay trang - Page Replacement Chương 9: Bộ nhớ ảo Phân phối các Frames - Allocation of Frames Phạm Quang Dũng Bộ môn Khoa học máy tính Khoa Công nghệ thông tin Trường Đại học Nông nghiệp Hà Nội Website: Thrashing Phân đoạn theo yêu cầu - Demand Segmentation Bài giảng Nguyên lý Hệ điều hành Mục tiêu Phạm Quang Dũng ©2008 . Kiến thức cơ bản Virtual memory – sự tách riêng của bộ nhớ logic người sử dụng khỏi bộ nhớ vật lý. Mô tả các lợi ích của bộ nhớ ảo. Kích thước bộ nhớ vật lý có hạn ⇒ giới hạn kích thước Giải thích các khái niệm phân trang theo yêu cầu, các giải thuật thay trang, phân phối các page frame Thực tế, chỉ một phần của chương trình cần phải đưa vào bộ nhớ (vật lý) để thực hiện ⇒ có thể chứa chương trình ở đâu? – VIRTUAL MEMORY – phần đĩa cứng được quản lý như RAM Do đó không gian địa chỉ logic có thể lớn hơn không gian địa chỉ vật lý rất nhiều ⇒ cung cấp bộ nhớ rất lớn cho người lập trình Cho phép một số tiến trình chia sẻ không gian địa chỉ. Cho phép tạo tiến trình hiệu quả hơn. Bộ nhớ ảo có thể được thực thi thông qua: Demand paging (Windows, Linux ) Demand segmentation (IBM OS/2) Bài giảng Nguyên lý Hệ điều hành Phạm Quang Dũng ©2008 Bài giảng Nguyên lý Hệ điều hành Phạm Quang Dũng ©2008 1 Bộ nhớ ảo lớn hơn bộ nhớ vật lý nhớ lớ bộ nhớ Không gian địa chỉ ảo của tiến trình - Là cách nhìn logic (ảo) về cách mà tiến trình được lưu trong bộ nhớ. - Tiến trình được lưu trong vùng nhớ liên tục, dù thực tế trong bộ nhớ vật lý nó có thể được lưu trong các page frame không liên tục. - MMU đảm nhận việc ánh xạ các trang logic vào các page frame trong bộ nhớ vật lý. (page table for demand paging) disk (cache for disk) kích thước bộ nhớ ảo chỉ bị giới hạn bởi dung lượng đĩa Bài giảng Nguyên lý Hệ điều hành Phạm Quang Dũng ©2008 Shared Library Using Virtual Memory Bài giảng .
