Kinh doanh - Marketing
Kinh tế quản lý
Biểu mẫu - Văn bản
Tài chính - Ngân hàng
Công nghệ thông tin
Tiếng anh ngoại ngữ
Kĩ thuật công nghệ
Khoa học tự nhiên
Khoa học xã hội
Văn hóa nghệ thuật
Sức khỏe - Y tế
Văn bản luật
Nông Lâm Ngư
Kỹ năng mềm
Luận văn - Báo cáo
Giải trí - Thư giãn
Tài liệu phổ thông
Văn mẫu
Giới thiệu
Đăng ký
Đăng nhập
Tìm
Danh mục
Kinh doanh - Marketing
Kinh tế quản lý
Biểu mẫu - Văn bản
Tài chính - Ngân hàng
Công nghệ thông tin
Tiếng anh ngoại ngữ
Kĩ thuật công nghệ
Khoa học tự nhiên
Khoa học xã hội
Văn hóa nghệ thuật
Y tế sức khỏe
Văn bản luật
Nông lâm ngư
Kĩ năng mềm
Luận văn - Báo cáo
Giải trí - Thư giãn
Tài liệu phổ thông
Văn mẫu
Thông tin
Điều khoản sử dụng
Quy định bảo mật
Quy chế hoạt động
Chính sách bản quyền
Giới thiệu
Đăng ký
Đăng nhập
0
Trang chủ
Công Nghệ Thông Tin
Hệ điều hành
Lecture Operating system concepts - Chapter 10: Virtual memory
Đang chuẩn bị liên kết để tải về tài liệu:
Lecture Operating system concepts - Chapter 10: Virtual memory
Thục Uyên
108
28
pdf
Đang chuẩn bị nút TẢI XUỐNG, xin hãy chờ
Tải xuống
Virtual memory can be a very interesting subject since it has so many different aspects: page faults, managing the backing store, page replacement, frame allocation, thrashing, page size. The objectives of this chapter are to explain these concepts and show how paging works. | Chapter 10: Virtual Memory I Background I Demand Paging I Process Creation I Page Replacement I Allocation of Frames I Thrashing I Operating System Examples Operating System Concepts 10.1 Silberschatz, Galvin and Gagne 2002 Background I Virtual memory – separation of user logical memory from physical memory. ✦ Only part of the program needs to be in memory for execution. ✦ Logical address space can therefore be much larger than physical address space. ✦ Allows address spaces to be shared by several processes. ✦ Allows for more efficient process creation. I Virtual memory can be implemented via: ✦ Demand paging ✦ Demand segmentation Operating System Concepts 10.2 Silberschatz, Galvin and Gagne 2002 Virtual Memory That is Larger Than Physical Memory Operating System Concepts 10.3 Silberschatz, Galvin and Gagne 2002 Demand Paging I Bring a page into memory only when it is needed. ✦ Less I/O needed ✦ Less memory needed ✦ Faster response ✦ More users I Page is needed Þ reference to it ✦ invalid reference Þ abort ✦ not-in-memory Þ bring to memory Operating System Concepts 10.4 Silberschatz, Galvin and Gagne 2002 Transfer of a Paged Memory to Contiguous Disk Space Operating System Concepts Silberschatz, Galvin and Gagne 2002 10.5 Valid-Invalid Bit I With each page table entry a valid–invalid bit is associated (1 Þ in-memory, 0 Þ not-in-memory) I Initially valid–invalid but is set to 0 on all entries. I Example of a page table snapshot. Frame # valid-invalid bit 1 1 1 1 0 M 0 0 page table I During address translation, if valid–invalid bit in page table entry is 0 Þ page fault. Operating System Concepts 10.6 Silberschatz, Galvin and Gagne 2002 Page Table When Some Pages Are Not in Main Memory Operating System Concepts 10.7 Silberschatz, Galvin and Gagne 2002 Page Fault I If there is ever a reference to a page, first reference will trap to OS Þ page fault I OS looks at another table to decide: ✦ Invalid reference Þ abort. ✦ Just
TÀI LIỆU LIÊN QUAN
Lecture Operating system concepts (9th Ed) - Chapter 2: Operating-system structures
Lecture Operating system concepts (Sixth ed) - Chapter 3: Operating-system structures
Lecture Operating system concepts - Chapter 3: Operating-system structures
Lecture Operating system concepts: Chapter 2
Lecture Operating system concepts (Sixth ed) - Chapter 2: Computer-system structures
Lecture Operating system concepts (Sixth ed) - Chapter 11: File-system interface
Lecture Operating system concepts (Sixth ed) - Chapter 12: File system implementation
Lecture Operating system concepts (9th Ed) - Chapter 1: Introduction
Lecture Operating system concepts - Chapter 2: Computer-system structures
Lecture Operating system concepts - Chapter 11: File-system interface
crossorigin="anonymous">
Đã phát hiện trình chặn quảng cáo AdBlock
Trang web này phụ thuộc vào doanh thu từ số lần hiển thị quảng cáo để tồn tại. Vui lòng tắt trình chặn quảng cáo của bạn hoặc tạm dừng tính năng chặn quảng cáo cho trang web này.