Download as pdf or txt
Download as pdf or txt
You are on page 1of 49

Chapter 8: Main Memory

Operating System Concepts – 9th Edition Silberschatz, Galvin and Gagne ©2013
Chapter 8: Memory Management
 Background
 Swapping
 Contiguous Memory Allocation
 Segmentation
 Paging
 Structure of the Page Table
 Example: The Intel 32 and 64-bit Architectures
 Example: ARM Architecture

Slides modified from:


Operating System Concepts – 9th Edition 8.2 Silberschatz, Galvin and Gagne ©2013
Objectives

 To provide a detailed description of various ways of


organizing memory hardware
 To discuss various memory-management techniques,
including paging and segmentation
 To provide a detailed description of the Intel Pentium, which
supports both pure segmentation and segmentation with
paging

Slides modified from:


Operating System Concepts – 9th Edition 8.3 Silberschatz, Galvin and Gagne ©2013
Background

 Program must be brought (from disk) into memory and


placed within a process for it to be run
 Main memory and registers are only storage CPU can
access directly
 Memory unit only sees a stream of addresses + read
requests, or address + data and write requests
 Register access in one CPU clock (or less)
 Main memory can take many cycles, causing a stall
 Cache sits between main memory and CPU registers
 Protection of memory required to ensure correct operation

Slides modified from:


Operating System Concepts – 9th Edition 8.4 Silberschatz, Galvin and Gagne ©2013
Address Binding
 Programs on disk, ready to be brought into memory to execute
 Without support, must be loaded into address 0000
 Inconvenient to have first user process physical address always at 0000
 How can it not be?
 Further, addresses represented in different ways at different stages of a
program’s life
 Source code addresses usually symbolic
 Compiled code addresses bind to relocatable addresses
 i.e. “14 bytes from beginning of this module”
 Linker or loader will bind relocatable addresses to absolute addresses
 i.e. 74014
 Each binding maps one address space to another

Slides modified from:


Operating System Concepts – 9th Edition 8.5 Silberschatz, Galvin and Gagne ©2013
Binding of Instructions and Data to Memory

 Address binding of instructions and data to memory addresses


can happen at three different stages
 Compile time: If memory location known a priori, absolute
code can be generated; must recompile code if starting
location changes
 Load time: Must generate relocatable code if memory
location is not known at compile time
 Execution time: Binding delayed until run time if the
process can be moved during its execution from one memory
segment to another
 Need hardware support for address maps (e.g., page
tables)

Slides modified from:


Operating System Concepts – 9th Edition 8.6 Silberschatz, Galvin and Gagne ©2013
Multistep Processing of a User Program

Slides modified from:


Operating System Concepts – 9th Edition 8.7 Silberschatz, Galvin and Gagne ©2013
Logical vs. Physical Address Space

 The concept of a logical address space that is bound to a


separate physical address space is central to proper memory
management
 Logical address – generated by the CPU; also referred to
as virtual address
 Physical address – address seen by the memory unit
 Logical and physical addresses are the same in compile-time
and load-time address-binding schemes; logical (virtual) and
physical addresses differ in execution-time address-binding
scheme
 Logical address space is the set of all logical addresses
generated by a program
 Physical address space is the set of all physical addresses
generated by a program

Slides modified from:


Operating System Concepts – 9th Edition 8.8 Silberschatz, Galvin and Gagne ©2013
Memory-Management Unit (MMU)
 Hardware device that at run time maps virtual to physical
address
 Many methods possible, covered in the rest of this chapter
 To start, consider simple scheme where the value in the
relocation register is added to every address generated by a
user process at the time it is sent to memory
 Base register - relocation register
 MS-DOS on Intel 80x86 used 4 relocation registers
 The user program deals with logical addresses; it never sees the
real physical addresses
 Execution-time binding occurs when reference is made to
location in memory
 Logical address bound to physical addresses

Slides modified from:


Operating System Concepts – 9th Edition 8.9 Silberschatz, Galvin and Gagne ©2013
Relocation using a relocation register

Slides modified from:


Operating System Concepts – 9th Edition 8.10 Silberschatz, Galvin and Gagne ©2013
Dynamic Linking
 Static linking – system libraries and program code combined by
the loader into the binary program image
 Dynamic linking –linking postponed until execution time
 Small piece of code, stub, used to locate the appropriate
memory-resident library routine
 Stub replaces itself with the address of the routine, and executes
the routine
 Operating system checks if routine is in the memory
 If not, load it
 Dynamic linking is particularly useful for libraries, specifically
shared libraries

Slides modified from:


Operating System Concepts – 9th Edition 8.11 Silberschatz, Galvin and Gagne ©2013
Swapping
 A process can be swapped temporarily out of memory to a
backing store, and then brought back into memory for continued
execution
 Total physical memory space of processes can exceed
physical memory
 Backing store – fast disk large enough to accommodate copies
of all memory images for all users; must provide direct access to
these memory images
 Major part of swap time is transfer time; total transfer time is
directly proportional to the amount of memory swapped
 System maintains a ready queue of ready-to-run processes
which have memory images on disk

Slides modified from:


Operating System Concepts – 9th Edition 8.12 Silberschatz, Galvin and Gagne ©2013
Schematic View of Swapping

Slides modified from:


Operating System Concepts – 9th Edition 8.13 Silberschatz, Galvin and Gagne ©2013
Context Switch Time including Swapping

 If next processes to be put on CPU is not in memory, need to


swap out a process and swap in target process
 Context switch time can then be very high
 100MB process swapping to hard disk with transfer rate of
50MB/sec
 Swap out time of 2000 ms
 Plus swap in of same sized process
 Total context switch swapping component time of 4000ms
(4 seconds)

Slides modified from:


Operating System Concepts – 9th Edition 8.14 Silberschatz, Galvin and Gagne ©2013
Contiguous Allocation
 Main memory must support both OS and user processes
 Limited resource, must allocate efficiently
 Contiguous allocation is one early method
 Main memory usually into two partitions:
 Resident operating system, usually held in low memory with
interrupt vector
 User processes then held in high memory
 Each process contained in single contiguous section of
memory

Slides modified from:


Operating System Concepts – 9th Edition 8.15 Silberschatz, Galvin and Gagne ©2013
Fragmentation
 External Fragmentation – total memory space exists to
satisfy a request, but it is not contiguous
 Internal Fragmentation – allocated memory may be slightly
larger than requested memory; this size difference is memory
internal to a partition, but not being used

Slides modified from:


Operating System Concepts – 9th Edition 8.16 Silberschatz, Galvin and Gagne ©2013
Paging
 Physical address space of a process can be noncontiguous;
process is allocated physical memory whenever the latter is
available
 Avoids external fragmentation
 Avoids problem of varying sized memory chunks
 Divide physical memory into fixed-sized blocks called frames
 Size is power of 2, between 512 bytes and 16 Mbytes
 Divide logical memory into blocks of same size called pages
 Keep track of all free frames
 To run a program of size N pages, need to find N free frames and
load program
 Set up a page table to translate logical to physical addresses
 Backing store likewise split into pages
 Still have Internal fragmentation

Slides modified from:


Operating System Concepts – 9th Edition 8.17 Silberschatz, Galvin and Gagne ©2013
Address Translation Scheme
 Address generated by CPU is divided into:
 Page number (p) – used as an index into a page table which
contains base address of each page in physical memory
 Page offset (d) – combined with base address to define the
physical memory address that is sent to the memory unit

page number page offset


p d
m -n n

 For given logical address space 2m and page size 2n

Slides modified from:


Operating System Concepts – 9th Edition 8.18 Silberschatz, Galvin and Gagne ©2013
Paging Hardware

Slides modified from:


Operating System Concepts – 9th Edition 8.19 Silberschatz, Galvin and Gagne ©2013
Paging Model of Logical and Physical Memory

Slides modified from:


Operating System Concepts – 9th Edition 8.20 Silberschatz, Galvin and Gagne ©2013
Paging Example

n=2 and m=4 32-byte memory and 4-byte pages

Slides modified from:


Operating System Concepts – 9th Edition 8.21 Silberschatz, Galvin and Gagne ©2013
Paging (Cont.)

 Calculating internal fragmentation


 Page size = 2,048 bytes
 Process size = 72,766 bytes
 35 pages + 1,086 bytes
 Internal fragmentation of 2,048 - 1,086 = 962 bytes
 Worst case fragmentation = 1 frame – 1 byte
 On average fragmentation = 1 / 2 frame size
 So small frame sizes desirable?
 Process view and physical memory now very different
 By implementation process can only access its own memory

Slides modified from:


Operating System Concepts – 9th Edition 8.22 Silberschatz, Galvin and Gagne ©2013
Free Frames

Before allocation After allocation

Slides modified from:


Operating System Concepts – 9th Edition 8.23 Silberschatz, Galvin and Gagne ©2013
Implementation of Page Table
 Page table is kept in main memory
 Page-table base register (PTBR) points to the page table
 Page-table length register (PTLR) indicates size of the page
table
 In this scheme every data/instruction access requires two
memory accesses
 One for the page table and one for the data / instruction
 The two memory access problem can be solved by the use of
a special fast-lookup hardware cache called associative
memory or translation look-aside buffers (TLBs)

Slides modified from:


Operating System Concepts – 9th Edition 8.24 Silberschatz, Galvin and Gagne ©2013
Implementation of Page Table (Cont.)
 Some TLBs store address-space identifiers (ASIDs) in each
TLB entry – uniquely identifies each process to provide
address-space protection for that process
 Otherwise need to flush at every context switch
 TLBs typically small (64 to 1,024 entries)
 On a TLB miss, value is loaded into the TLB for faster access
next time

Slides modified from:


Operating System Concepts – 9th Edition 8.25 Silberschatz, Galvin and Gagne ©2013
Associative Memory

 Associative memory – parallel search

Page # Frame #

 Address translation (p, d)


 If p is in associative register, get frame # out
 Otherwise get frame # from page table in memory

Slides modified from:


Operating System Concepts – 9th Edition 8.26 Silberschatz, Galvin and Gagne ©2013
Paging Hardware With TLB

Slides modified from:


Operating System Concepts – 9th Edition 8.27 Silberschatz, Galvin and Gagne ©2013
Effective Access Time
 Associative Lookup =  time unit
 Can be < 10% of memory access time
 Hit ratio = 
 Hit ratio – percentage of times that a page number is found in the
associative registers; ratio related to number of associative
registers
 Consider  = 80%,  = 20ns for TLB search, 100ns for memory access
 Effective Access Time (EAT)
EAT = (1 + )  + (2 + )(1 – )
=2+–
 Consider  = 80%,  = 20ns for TLB search, 100ns for memory access
 EAT = 0.80 x 100 + 0.20 x 200 = 120ns
 Consider more realistic hit ratio ->  = 99%,  = 20ns for TLB search,
100ns for memory access
 EAT = 0.99 x 100 + 0.01 x 200 = 101ns

Slides modified from:


Operating System Concepts – 9th Edition 8.28 Silberschatz, Galvin and Gagne ©2013
Memory Protection
 Memory protection implemented by associating protection bit
with each frame to indicate if read-only or read-write access is
allowed
 Can also add more bits to indicate page execute-only, and
so on
 Valid-invalid bit attached to each entry in the page table:
 “valid” indicates that the associated page is in the
process’ logical address space, and is thus a legal page
 “invalid” indicates that the page is not in the process’
logical address space
 Or use page-table length register (PTLR)
 Any violations result in a trap to the kernel

Slides modified from:


Operating System Concepts – 9th Edition 8.29 Silberschatz, Galvin and Gagne ©2013
Valid (v) or Invalid (i) Bit In A Page Table

Slides modified from:


Operating System Concepts – 9th Edition 8.30 Silberschatz, Galvin and Gagne ©2013
Shared Pages
 Shared code
 One copy of read-only (reentrant) code shared among
processes (i.e., text editors, compilers, window systems)
 Similar to multiple threads sharing the same process space
 Also useful for interprocess communication if sharing of
read-write pages is allowed
 Private code and data
 Each process keeps a separate copy of the code and data
 The pages for the private code and data can appear
anywhere in the logical address space

Slides modified from:


Operating System Concepts – 9th Edition 8.31 Silberschatz, Galvin and Gagne ©2013
Shared Pages Example

Slides modified from:


Operating System Concepts – 9th Edition 8.32 Silberschatz, Galvin and Gagne ©2013
Structure of the Page Table
 Memory structures for paging can get huge using straight-
forward methods
 Consider a 32-bit logical address space as on modern
computers
 Page size of 4 KB (212)
 Page table would have 1 million entries (232 / 212)
 If each entry is 4 bytes -> 4 MB of physical address space /
memory for page table alone
 That amount of memory used to cost a lot
 Don’t want to allocate that contiguously in main memory
 Hierarchical Paging
 Hashed Page Tables
 Inverted Page Tables

Slides modified from:


Operating System Concepts – 9th Edition 8.33 Silberschatz, Galvin and Gagne ©2013
Hierarchical Page Tables

 Break up the logical address space into multiple page


tables
 A simple technique is a two-level page table
 We then page the page table

Slides modified from:


Operating System Concepts – 9th Edition 8.34 Silberschatz, Galvin and Gagne ©2013
Two-Level Page-Table Scheme

Slides modified from:


Operating System Concepts – 9th Edition 8.35 Silberschatz, Galvin and Gagne ©2013
Address-Translation Scheme

Slides modified from:


Operating System Concepts – 9th Edition 8.36 Silberschatz, Galvin and Gagne ©2013
Two-Level Paging Example
 A logical address (on 32-bit machine with 1K page size) is divided into:
 a page number consisting of 22 bits
 a page offset consisting of 10 bits

 Since the page table is paged, the page number is further divided into:
 a 14-bit page number
 a 8-bit page offset

 Thus, a logical address is as follows:


Page number Page offset

p1 p2 d
14 8 10

 where p1 is an index into the outer page table, and p2 is the


displacement within the page of the inner page table
 Known as forward-mapped page table

Slides modified from:


Operating System Concepts – 9th Edition 8.37 Silberschatz, Galvin and Gagne ©2013
64-bit Logical Address Space

 Even two-level paging scheme not sufficient


 If page size is 4 KB (212)
 Then page table has 252 entries
 If two level scheme, inner page tables could be 210 4-byte entries
 Address would look like

 Outer page table has 242 entries or 244 bytes


 One solution is to add a 2nd outer page table
 But in the following example the 2nd outer page table is still 234 bytes in
size
 And possibly 4 memory access to get to one physical memory
location

Slides modified from:


Operating System Concepts – 9th Edition 8.38 Silberschatz, Galvin and Gagne ©2013
Three-level Paging Scheme

Slides modified from:


Operating System Concepts – 9th Edition 8.39 Silberschatz, Galvin and Gagne ©2013
Example: The Intel 32 and 64-bit Architectures

 Dominant industry chips

 Pentium CPUs are 32-bit and called IA-32 architecture

 Current Intel CPUs are 64-bit and called IA-64 architecture

 Many variations in the chips, cover the main ideas here

Slides modified from:


Operating System Concepts – 9th Edition 8.40 Silberschatz, Galvin and Gagne ©2013
Intel x86-64
 Current generation Intel x86 architecture
 64 bits is ginormous (> 16 exabytes)
 In practice only implement 48 bit addressing
 Page sizes of 4 KB, 2 MB, 1 GB
 Four levels of paging hierarchy

Slides modified from:


Operating System Concepts – 9th Edition 8.41 Silberschatz, Galvin and Gagne ©2013
Core i7 Page Table Translation

9
VPN 1
9
VPN 2
9
VPN 3 VPN 4
9 12
VPO
Virtual
address
L1 PT L2 PT L3 PT L4 PT
Page global Page upper Page middle Page
40 directory 40 directory 40 directory 40 table
CR3 / / / /
Physical
address Offset into
of L1 PT /12 physical and
L1 PTE L2 PTE L3 PTE L4 PTE virtual page
Physical
address
512 GB 1 GB 2 MB 4 KB of page
region region region region
per entry per entry per entry per entry

40
/

40
PPN
12
PPO
Physical
address

Slides modified from:


Operating System Concepts – 9th Edition 8.42 Silberschatz, Galvin and Gagne ©2013
Hashed Page Tables
 Common in address spaces > 32 bits
 The virtual page number is hashed into a page table
 This page table contains a chain of elements hashing to the same
location
 Each element contains (1) the virtual page number (2) the value of the
mapped page frame (3) a pointer to the next element
 Virtual page numbers are compared in this chain searching for a
match
 If a match is found, the corresponding physical frame is extracted

Slides modified from:


Operating System Concepts – 9th Edition 8.43 Silberschatz, Galvin and Gagne ©2013
Hashed Page Table

Slides modified from:


Operating System Concepts – 9th Edition 8.44 Silberschatz, Galvin and Gagne ©2013
Inverted Page Table

 Rather than each process having a page table and keeping track
of all possible logical pages, track all physical pages
 One entry for each real page of memory
 Entry consists of the virtual address of the page stored in that
real memory location, with information about the process that
owns that page
 Decreases memory needed to store each page table, but
increases time needed to search the table when a page
reference occurs
 Use hash table to limit the search to one — or at most a few —
page-table entries
 TLB can accelerate access
 But how to implement shared memory?
 One mapping of a virtual address to the shared physical
address

Slides modified from:


Operating System Concepts – 9th Edition 8.45 Silberschatz, Galvin and Gagne ©2013
Inverted Page Table Architecture

Slides modified from:


Operating System Concepts – 9th Edition 8.46 Silberschatz, Galvin and Gagne ©2013
Oracle SPARC Solaris
 Consider modern, 64-bit operating system example with tightly
integrated HW
 Goals are efficiency, low overhead
 Based on hashing, but more complex
 Two hash tables
 One kernel and one for all user processes
 Each maps memory addresses from virtual to physical memory
 Each entry represents a contiguous area of mapped virtual
memory,
 More efficient than having a separate hash-table entry for
each page
 Each entry has base address and span (indicating the number
of pages the entry represents)

Slides modified from:


Operating System Concepts – 9th Edition 8.47 Silberschatz, Galvin and Gagne ©2013
Oracle SPARC Solaris (Cont.)
 TLB holds translation table entries (TTEs) for fast hardware lookups
 A cache of TTEs reside in a translation storage buffer (TSB)
 Includes an entry per recently accessed page
 Virtual address reference causes TLB search
 If miss, hardware walks the in-memory TSB looking for the TTE
corresponding to the address
 If match found, the CPU copies the TSB entry into the TLB
and translation completes
 If no match found, kernel interrupted to search the hash table
– The kernel then creates a TTE from the appropriate hash
table and stores it in the TSB, Interrupt handler returns
control to the MMU, which completes the address
translation.

Slides modified from:


Operating System Concepts – 9th Edition 8.48 Silberschatz, Galvin and Gagne ©2013
End of Chapter 8

Operating System Concepts – 9th Edition Silberschatz, Galvin and Gagne ©2013

You might also like