[Chapter10] Virtual Memory

[libra10042]

Background

Demand Paging

• Basic Concepts
• Free-Frame List
• Performace of Demand Paging

Copy-on-Write

Page Replacement

• Basic Page Replacement
• FIFO Page Replacement
• Optimal Page Replacement
• LRU Page Replacement
• LRU Approximation Page Replacement
• Counting-Based Page Replacement
• Page-Buffering Algorithm
• Application and Page Replacement

Allocation of Frames

• Minimum Number of Frames
• Allocation Algorithms
• Global Versus Local Allocation
• Non-Uniform Memory Access

Thrashing

• Cause of Thrashing
• Working-Set Model
• Page-Fault Frequency, PFF
• Current Practice

Memory Compression

Allocating Kernel Memory

• Buddy System
• Slab Allocation

Other Considertations

• Prepaging
• Page Size
• TLB Reach
• Inverted Page Table
• Program Structure
• I/O Interlock & Page locking

Operating-System Examples

• Linux
• Windows
• Solaris