Virtual-Memory Management
Contents
Chapter 9 Virtual-Memory Management
Virtual Memory
Demand Paging - Lazy Swapping
A Procedure to Handle a Page Fault
Hardware Support for Demand Paging
Crucial issues
Copy-on-Write
Page Replacement
Page Replacement Algorithms
FIFO Algorithm
Optimal Algorithm (OPT)
Least-Recently-Used Algorithm (LRU)
LRU Algorithm
LRU Implementation - Counters
LRU Implementation - Stack
A Stack Algorithm
LRU Approximation Algorithms
Additional-Reference-Bits Algorithm
Second-Chance (Clock) Algorithm
Enhanced Second-Chance Algorithm
Counting-Based Algorithms
Page Buffering
Frame Allocation - Single User
Frame Allocation - Multiple Users
Thrashing
Locality Model
Working-Set Model
Page-Fault Frequency
Memory-Mapped Files
Shared Memory - Windows API
Memory-Mapped I/O
Kernel Memory Allocation
Other Considerations
I/O Interlock
Real-Time Processing
OS Examples - Windows
OS Examples - Solaris
Demand Segmentation