Chapter 3.2 : Virtual Memory

Slides:



Advertisements
Similar presentations
Memory.
Advertisements

MODERN OPERATING SYSTEMS Third Edition ANDREW S. TANENBAUM Chapter 3 Memory Management Tanenbaum, Modern Operating Systems 3 e, (c) 2008 Prentice-Hall,
CS 333 Introduction to Operating Systems Class 12 - Virtual Memory (2) Jonathan Walpole Computer Science Portland State University.
CS 333 Introduction to Operating Systems Class 12 - Virtual Memory (2) Jonathan Walpole Computer Science Portland State University.
Modified from Silberschatz, Galvin and Gagne Lecture 16 Chapter 8: Main Memory.
CS 333 Introduction to Operating Systems Class 12 - Virtual Memory (2) Jonathan Walpole Computer Science Portland State University.
Memory Management (II)
CS 342 – Operating Systems Spring 2003 © Ibrahim Korpeoglu Bilkent University1 Memory Management -3 CS 342 – Operating Systems Ibrahim Korpeoglu Bilkent.
Memory Management.
Silberschatz, Galvin and Gagne ©2009 Operating System Concepts – 8 th Edition, Chapter 8: Main Memory.
1 Chapter 8 Virtual Memory Virtual memory is a storage allocation scheme in which secondary memory can be addressed as though it were part of main memory.
1 School of Computing Science Simon Fraser University CMPT 300: Operating Systems I Ch 8: Memory Management Dr. Mohamed Hefeeda.
Chapter 7: Main Memory CS 170, Fall Memory Management Background Swapping Contiguous Memory Allocation Paging Structure of the Page Table Segmentation.
Virtual Memory I Chapter 8.
Chapter 91 Translation Lookaside Buffer (described later with virtual memory) Frame.
Silberschatz, Galvin and Gagne  Operating System Concepts Segmentation Memory-management scheme that supports user view of memory. A program.
Main Memory. 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.
Chapter 3 Memory Management 3.7 Segmentation. A compiler has many tables that are built up as compilation proceeds, possibly including: The source text.
CS 333 Introduction to Operating Systems Class 12 - Virtual Memory (2) Jonathan Walpole Computer Science Portland State University.
Virtual Memory  Early computers had a small and fixed amount to memory. All programs had to be able to fit in this memory. Overlays were used when the.
Chapter 8: Main Memory.
VIRTUAL MEMORY. Virtual memory technique is used to extents the size of physical memory When a program does not completely fit into the main memory, it.
Chapter 8: Main Memory. 8.2 Silberschatz, Galvin and Gagne ©2005 Operating System Concepts Chapter 8: Memory Management Background Swapping Contiguous.
Silberschatz, Galvin and Gagne  2002 Modified for CSCI 346, Royden, Operating System Concepts Operating Systems Lecture 24 Paging.
CS333 Intro to Operating Systems Jonathan Walpole.
Review of Memory Management, Virtual Memory CS448.
Operating Systems Chapter 8
Computer Architecture Lecture 28 Fasih ur Rehman.
8.4 paging Paging is a memory-management scheme that permits the physical address space of a process to be non-contiguous. The basic method for implementation.
1 Chapter 3.2 : Virtual Memory What is virtual memory? What is virtual memory? Virtual memory management schemes Virtual memory management schemes Paging.
Silberschatz, Galvin and Gagne  Operating System Concepts Chapter 9: Memory Management Background Swapping Contiguous Allocation Paging Segmentation.
1 Memory Management 4.1 Basic memory management 4.2 Swapping 4.3 Virtual memory 4.4 Page replacement algorithms 4.5 Modeling page replacement algorithms.
Background Program must be brought into memory and placed within a process for it to be run. Input queue – collection of processes on the disk that are.
Chapter 8 – Main Memory (Pgs ). Overview  Everything to do with memory is complicated by the fact that more than 1 program can be in memory.
Chapter 4 Memory Management Virtual Memory.
1 Memory Management (b). 2 Paging  Logical address space of a process can be noncontiguous; process is allocated physical memory whenever the latter.
Virtual Memory 1 1.
Chapter 4 Memory Management Segmentation. (a) One address space. (b) Separate I and D spaces. Separate Instruction and Data Spaces.
Main Memory. Chapter 8: Memory Management Background Swapping Contiguous Memory Allocation Paging Structure of the Page Table Segmentation Example: The.
操作系统原理 OPERATING SYSTEM Chapter 3 Memory Management 内存管理.
CHAPTER 3-3: PAGE MAPPING MEMORY MANAGEMENT. VIRTUAL MEMORY Key Idea Disassociate addresses referenced in a running process from addresses available in.
Lectures 8 & 9 Virtual Memory - Paging & Segmentation System Design.
Chapter 8: Main Memory. 8.2 Silberschatz, Galvin and Gagne ©2005 Operating System Concepts – 7 th Edition, Feb 22, 2005 Memory and Addressing It all starts.
8.1 Silberschatz, Galvin and Gagne ©2009 Operating System Concepts – 8 th Edition Fragmentation External Fragmentation – total memory space exists to satisfy.
CS203 – Advanced Computer Architecture Virtual Memory.
Silberschatz, Galvin and Gagne ©2009 Operating System Concepts – 8 th Edition, Chapter 8: Main Memory.
Chapter 7: Main Memory CS 170, Fall Program Execution & Memory Management Program execution Swapping Contiguous Memory Allocation Paging Structure.
Memory Management Chapter 3
Memory: Page Table Structure
Computer Organization
Memory Management Virtual Memory.
Virtual Memory Chapter 8.
Chapter 8: Main Memory.
Chapter 8: Main Memory.
Storage Management Chapter 9: Memory Management
Operating System Concepts
Memory Management Lectures notes from the text supplement by Siberschatz and Galvin Modified by B.Ramamurthy Chapter 8 11/24/2018.
Background Program must be brought into memory and placed within a process for it to be run. Input queue – collection of processes on the disk that are.
Memory Management Lectures notes from the text supplement by Siberschatz and Galvin Modified by B.Ramamurthy Chapter 9 12/1/2018.
Memory Management-I 1.
Main Memory Background Swapping Contiguous Allocation Paging
Lecture 29: Virtual Memory-Address Translation
CSE 451: Operating Systems Autumn 2003 Lecture 10 Paging & TLBs
Chapter 8: Memory Management strategies
Memory Management Lectures notes from the text supplement by Siberschatz and Galvin Modified by B.Ramamurthy Chapter 9 4/5/2019.
CSE 451: Operating Systems Autumn 2003 Lecture 10 Paging & TLBs
CS703 - Advanced Operating Systems
CSE 542: Operating Systems
Virtual Memory 1 1.
Presentation transcript:

Chapter 3.2 : Virtual Memory What is virtual memory? Virtual memory management schemes Paging Segmentation Segmentation with paging Page table management Ceng 334 - Operating Systems

Problems with Memory Management Techniques so far 1. Unused (wasted) memory due to fragmentation 2. Memory may contain parts of program which are not used during a run (ie., some routines may not be accessed in that particular run) 3. Process size is limited with the size of physical memory Ceng 334 - Operating Systems

Virtual memory of process on disk Ceng 334 - Operating Systems Virtual Memory (VM) Virtual memory of process on disk Map (translate) virtual address to real Real memory of system Ceng 334 - Operating Systems

Ceng 334 - Operating Systems Virtual Memory (VM) VM is conceptual It is constructed on disk Size of VM is not limited (usually larger than real memory) All process addresses refer to the VM image When the process executes all VM addresses are mapped on to real memory Ceng 334 - Operating Systems

Did We Solve the “Problems”? 1. Unused (wasted) memory due to fragmentation (We’ll see!) 2. Memory may contain parts of program which are not used during a run YES! Virtual memory contents are loaded into memory on demand 3. Process size is limited with the size of physical memory YES! Process size can be larger than real memory Ceng 334 - Operating Systems

Ceng 334 - Operating Systems (Pure) Paging Virtual and real memory are divided into fixed sized pages Programs are divided into pages A process address (both in virtual & real memory) has two components Page # Offset within page Ceng 334 - Operating Systems

Interpretation of an Address 16 bits for addressing means that the memory addressed is 64K bytes (0000 -FFFF) Suppose page size is 4K bytes (12 bits) The virtual memory has 16 pages (4 bits) Real memory can have at the most 16 pages Example : address : 7 F B C 0111 1111 1011 1100 Page # Offset Ceng 334 - Operating Systems

The relation between virtual addresses and physical memory addresses 64K Virtual Memory 32K Real Memory Ceng 334 - Operating Systems

Ceng 334 - Operating Systems Paging (Cont.) When process pages are transferred from VM to real memory, page numbers must be mapped from virtual to real memory addresses This mapping is done by software & hardware When the process is started only the first page (main) is loaded. Other pages are loaded on demand Ceng 334 - Operating Systems

Virtual Memory – Memory Management Unit The position and function of the MMU Ceng 334 - Operating Systems

Ceng 334 - Operating Systems Internal operation of MMU with 16 4 KB pages Note that virtual address is 16 bits (64K virtual memory) but the physical address is 15 bits (32K real memory) Ceng 334 - Operating Systems

Ceng 334 - Operating Systems Page Tables Page Table Page frame # Page protection Reference bit Modification bit Validity bit Page Table Entry 1 8 2 3 4 5 6 7 Index of page table is the virtual page # Ceng 334 - Operating Systems

Page Table Entry Fields Validity bit is set when the page is in memory Reference bit is set set by the hardware whenever the page is referred Modified bit is set whenever the page is modified Page-protection bits set the access rights (eg., read, write restrictions) Ceng 334 - Operating Systems

Address Mapping in Paging Page tables of processes PTn PT 1 PT2 . . Page # Offset within page Page Table Register + Catenate Virtual memory address Real memory address Ceng 334 - Operating Systems

Address Mapping in Paging (Cont.) During the execution every page reference is checked against the page map table entry If the validity bit is set (ie., page is in memory) execution continues If the page is not in memory a page fault (interrupt - trap) occurs and the page is fetched into memory If the memory is full, pages are written back using a page replacement algorithm Ceng 334 - Operating Systems

Memory Management Problems : Re-visit due to paging 1. Unused (wasted) memory due to fragmentation ONLY on the last page (Page Break) 2. Memory may contain parts of program which are not used during a run Virtual memory contents are loaded into memory on demand 3. Process size is limited with the size of physical memory Process size can be larger than real memory Furthermore, program does not occupy contiguous locations in memory (virtual pages are scattered in real memory) Ceng 334 - Operating Systems

Ceng 334 - Operating Systems Segmentation Pages are fixed in size, segments are variable sized A segment can be a logical entity such as Main program Some routines Data of program File Stack Ceng 334 - Operating Systems

Ceng 334 - Operating Systems Segmentation (Cont.) Process addresses are now in the form Segment # Offset within segment Segment Map Table has one entry for each segment and each entry consist of Segment number Physical segment starting address Segment length Ceng 334 - Operating Systems

Ceng 334 - Operating Systems Segmentation (1) One-dimensional address space with growing tables One table may bump into another Ceng 334 - Operating Systems

Ceng 334 - Operating Systems Segmentation (2) Allows each table to grow or shrink, independently Ceng 334 - Operating Systems

Ceng 334 - Operating Systems Segmentation (3) Comparison of paging and segmentation Ceng 334 - Operating Systems

Implementation of Pure Segmentation (a)-(d) Development of fragmentation (e) Removal of the fragmentation by compaction Ceng 334 - Operating Systems

Problems with Segmentation Similar problems in dynamic partitioning Fragmentation in real memory Relocation is necessary for compaction Ceng 334 - Operating Systems

Segmentation with Paging Segmentation in virtual memory, paging in real memory A segment is composed of pages An address has three components Page # Offset within page Segment # The real memory contains only the demanded pages of a segment, not the full segment Ceng 334 - Operating Systems

Addressing in Segmentation with Paging Segment Table Page Tables Pages Page # Offset within page Segment # Ceng 334 - Operating Systems

Segmentation with Paging: MULTICS (1) Descriptor segment points to page tables Segment descriptor – numbers are field lengths Ceng 334 - Operating Systems

Segmentation with Paging: MULTICS (2) A 34-bit MULTICS virtual address Ceng 334 - Operating Systems

Segmentation with Paging: MULTICS (3) Conversion of a 2-part MULTICS address into a main memory address Ceng 334 - Operating Systems

Segmentation with Paging: MULTICS (4) Simplified version of the MULTICS TLB Existence of 2 page sizes makes actual TLB more complicated Ceng 334 - Operating Systems

Segmentation with Paging: Pentium (1) A Pentium selector Ceng 334 - Operating Systems

Segmentation with Paging: Pentium (2) Pentium code segment descriptor Data segments differ slightly Ceng 334 - Operating Systems

Segmentation with Paging: Pentium (3) Conversion of a (selector, offset) pair to a linear address Ceng 334 - Operating Systems

Segmentation with Paging: Pentium (4) Mapping of a linear address onto a physical address Ceng 334 - Operating Systems

Segmentation with Paging: Pentium (5) Level Protection on the Pentium Ceng 334 - Operating Systems

Ceng 334 - Operating Systems How Big is a Page Table? Consider a full 2 32 byte (4GB) address space Assume 4096 byte (2 12 byte) pages 4 bytes per page table entry The page table has 2 32/2 12 (= 2 20 ) entries (one for each page) Page table size would be 2 22 bytes (or 4 megabytes) Ceng 334 - Operating Systems

Problems with Direct Mapping? Although a page table is of variable length depending on the size of process, we can not keep them in registers Page table must be in memory for fast access Since a page table can be very large (4MB), page tables are stored in virtual memory and be subjected to paging like process pages Ceng 334 - Operating Systems

Ceng 334 - Operating Systems How to Solve? Two-level Lookup Inverted Page Tables Translation Lookaside Buffers Ceng 334 - Operating Systems

Virtual Address - 32 bits (4 GB) Two-Level Lookup 12 bits - 4096 Byte pages 10 bits - 1024 pages 10 bits - 1024 directories Virtual Address - 32 bits (4 GB) Directory Page Offset Ceng 334 - Operating Systems

Two-Level Lookup (Cont.) Dir Page Offset + Physical Address Page Directory Page Table Ceng 334 - Operating Systems

Two-Level Lookup (Cont.) A process is represented by one or more entries of the page directory (ie., several page tables) Typically a page table size is set as one page which makes swapping easier This is one of the addressing schemes used by Intel family of chips (Intel chips can use paging, segmentation or a combination of both) Ceng 334 - Operating Systems

Two-Level Lookup (Cont.) Ceng 334 - Operating Systems Second-level page tables Top-level page table 32 bit address with 2 page table fields Two-level page tables Ceng 334 - Operating Systems

Ceng 334 - Operating Systems Inverted Page Tables Page # PID Page # Offset within page Virtual Address 21 17 hash Hash Table 76 23 Page # 101 Process # 17 Hash # 2 3 213 32 Page Frame Table Ceng 334 - Operating Systems

Inverted Page Tables (Cont.) The virtual page number is hashed to point to a hash table The hash table contains a pointer to the inverted page table Inverted page table contains page table entries (one for each real memory page) Entries having the same hash codes are chained Ceng 334 - Operating Systems

Inverted Page Tables (Cont.) A fixed portion of memory is used for mapping regardless of the number of processes or virtual pages This approach is used by IBM’s AS/400 and RISC System/6000 computers Ceng 334 - Operating Systems

Translation Lookaside Buffer Frame # Offset TLB Hit TLB Miss TLB Page Table Page # Virtual Address Real Address Page Fault Ceng 334 - Operating Systems

Translation Lookaside Buffer (Cont.) Translation lookaside buffer (TLB) is a cache for page table entries TLB contains page table entries that have been most recently used Whenever the page table is referred (TLB miss), the page table entry is also copied to the TLB TLB is usually an associative memory (content addressable memory) Ceng 334 - Operating Systems

TLBs – Translation Lookaside Buffers A TLB to speed up paging Ceng 334 - Operating Systems