Professional Documents
Culture Documents
9.2
Objectives
To describe the benefits of a virtual memory system
To explain the concepts of demand paging, page-replacement
memory-mapped files
9.3
Background
Code needs to be in memory to execute, but entire program rarely
used
9.4
Background (Cont.)
Virtual memory separation of user logical memory from
physical memory
9.5
Background (Cont.)
Virtual address space logical view of how process is stored
in memory
Demand paging
Demand segmentation
9.6
9.7
Virtual-address Space
9.8
9.9
Demand Paging
Faster response
More users
9.10
Basic Concepts
With swapping, pager guesses which pages will be used before
Need to detect and load the page into memory from storage
9.11
Valid-Invalid Bit
With each page table entry a validinvalid bit is associated
9.12
9.13
Page Fault
If there is a reference to a page, first reference to that page will
9.14
9.15
OS sets instruction pointer to first instruction of process, nonmemory-resident -> page fault
page faults
Instruction restart
9.16
Instruction Restart
Consider an instruction that could access several different locations
block move
9.17
2.
3.
4.
Check that the page reference was legal and determine the location of the page on the disk
5.
Wait in a queue for this device until the read request is serviced
2.
3.
6.
7.
8.
Save the registers and process state for the other user
9.
10. Correct the page table and other tables to show page is now in memory
11. Wait for the CPU to be allocated to this process again
12. Restore the user registers, process state, and new page table, and then resume the
interrupted instruction
9.18
Service the interrupt careful coding means just several hundred instructions
needed
if p = 0 no page faults
9.19
= (1 p x 200 + p x 8,000,000
= 200 + p x 7,999,800
If one access out of 1,000 causes a page fault, then
p < .0000025
9.20
Swap space I/O faster than file system I/O even if on the same device
Swap allocated in larger chunks, less management needed than file system
Demand page in from program binary on disk, but discard rather than paging
out when freeing frame
Pages not associated with a file (like stack and heap) anonymous
memory
Pages modified in memory but not yet written back to the file system
Mobile systems
Instead, demand page from file system and reclaim read-only pages (such
as code)
9.21
Copy-on-Write
If either process modifies a shared page, only then is the page copied
COW allows more efficient process creation as only modified pages are
copied
Pool should always have free frames for fast demand page execution
vfork() variation on fork() system call has parent suspend and child
using copy-on-write address space of parent
Very efficient
9.22
9.23
9.24
9.25
Page Replacement
Prevent over-allocation of memory by modifying page-
9.26
9.27
2.
3.
Bring the desired page into the (newly) free frame; update the page
and frame tables
4.
Continue the process by restarting the instruction that caused the trap
Note now potentially 2 page transfers for page fault increasing EAT
9.28
Page Replacement
9.29
Page-replacement algorithm
Repeated access to the same page does not cause a page fault
numbers is
7,0,1,2,0,3,0,4,2,3,0,3,0,3,2,1,2,0,1,7,0,1
9.30
9.31
15 page faults
Can vary by reference string: consider 1,2,3,4,1,2,5,1,2,3,4,5
Beladys Anomaly
9.32
9.33
Optimal Algorithm
Replace page that will not be used for longest period of time
9.34
9.35
Stack implementation
Page referenced:
LRU and OPT are cases of stack algorithms that dont have Beladys
Anomaly
9.36
9.37
Second-chance algorithm
Clock replacement
9.38
9.39
available) in concert
3. (1, 0) recently used but clean probably will be used again soon
4. (1, 1) recently used and modified probably will be used again
When page replacement called for, use the clock scheme but
9.40
Counting Algorithms
Keep a counter of the number of references that have been made to
each page
Not common
smallest count
that the page with the smallest count was probably just brought in
and has yet to be used
9.41
Page-Buffering Algorithms
Keep a pool of free frames, always
Read page into free frame and select victim to evict and add
to free pool
When backing store otherwise idle, write pages there and set
to non-dirty
Possibly, keep free frame contents intact and note what is in them
9.42
access
Operating system can given direct access to the disk, getting out
9.43
Allocation of Frames
Each process needs minimum number of frames
Example: IBM 370 6 pages to handle SS MOVE instruction:
2 pages to handle to
fixed allocation
priority allocation
Many variations
9.44
Fixed Allocation
Equal allocation For example, if there are 100 frames (after
allocating frames for the OS) and 5 processes, give each process
20 frames
S si
m total number of frames
s
ai allocation for pi i m
S
9.45
s1 10
s2 127
10
a1
62 4
137
127
a2
62 57
137
Priority Allocation
Use a proportional allocation scheme using priorities rather
than size
9.46
from the set of all frames; one process can take a frame from
another
9.47
9.48
Thrashing
If a process does not have enough pages, the page-fault rate is
very high
9.49
Thrashing (Cont.)
9.50
Locality model
9.51
32
30
memory address
28
26
24
page numbers
22
20
18
execution time
9.52
Working-Set Model
Approximation of locality
if D > m Thrashing
9.53
9.54
Page-Fault Frequency
More direct approach than WSS
Establish acceptable page-fault frequency (PFF) rate and
9.55
9.56
Memory-Mapped Files
Memory-mapped file I/O allows file I/O to be treated as routine
A page-sized portion of the file is read from the file system into
a physical page
Simplifies and speeds file access by driving file I/O through memory
Also allows several processes to map the same file allowing the
9.57
system call
anyway
9.58
9.59
9.60
9.61
9.62
Buddy System
Allocates memory from fixed-size segment consisting of physically-
contiguous pages
9.63
9.64
Slab Allocator
Alternate strategy
Slab is one or more physically contiguous pages
Cache consists of one or more slabs
Single cache for each unique kernel data structure
slab
satisfaction
9.65
Slab Allocation
9.66
2.
3.
2.
3.
9.67
Linux 2.2 had SLAB, now has both SLOB and SLUB allocators
9.68
But if prepaged pages are unused, I/O and memory was wasted
9.69
Fragmentation
Resolution
I/O overhead
Locality
(4,194,304 bytes)
9.70
9.71
int[128,128] data;
Program 1
for (j = 0; j <128; j++)
for (i = 0; i < 128; i++)
data[i,j] = 0;
128 x 128 = 16,384 page faults
Program 2
for (i = 0; i < 128; i++)
for (j = 0; j < 128; j++)
data[i,j] = 0;
128 page faults
9.72
memory
9.73
9.74
Windows
Uses demand paging with clustering. Clustering brings in pages
maximum
maximum
9.75
Solaris
Maintains a list of free pages to assign faulting processes
Lotsfree threshold parameter (amount of free memory) to
begin paging
9.76
9.77
End of Chapter 9