By Teacher Asma Aleisa Year 1433 H.   Goals of memory management  To provide a convenient abstraction for programming  To allocate scarce memory resources.

Slides:



Advertisements
Similar presentations
Memory.
Advertisements

Silberschatz, Galvin and Gagne  2002 Modified for CSCI 399, Royden, Operating System Concepts Operating Systems Lecture 36 Virtual Memory Read.
CS 153 Design of Operating Systems Spring 2015
CS 153 Design of Operating Systems Spring 2015
Memory Management Design & Implementation Segmentation Chapter 4.
OS Fall’02 Memory Management Operating Systems Fall 2002.
Memory Management and Paging CSCI 3753 Operating Systems Spring 2005 Prof. Rick Han.
Paging and Virtual Memory. Memory management: Review  Fixed partitioning, dynamic partitioning  Problems Internal/external fragmentation A process can.
Memory Management. 2 How to create a process? On Unix systems, executable read by loader Compiler: generates one object file per source file Linker: combines.
Memory Management 2010.
Chapter 3.2 : Virtual Memory
Memory Management (continued) CS-3013 C-term Memory Management CS-3013 Operating Systems C-term 2008 (Slides include materials from Operating System.
Memory Management 1 CS502 Spring 2006 Memory Management CS-502 Spring 2006.
CS-3013 & CS-502, Summer 2006 Memory Management1 CS-3013 & CS-502 Summer 2006.
Memory ManagementCS-502 Fall Memory Management CS-502 Operating Systems Fall 2006 (Slides include materials from Operating System Concepts, 7 th.
Computer Organization and Architecture
Memory ManagementCS-3013 C-term Memory Management CS-3013 Operating Systems C-term 2008 (Slides include materials from Operating System Concepts,
 2004 Deitel & Associates, Inc. All rights reserved. Chapter 9 – Real Memory Organization and Management Outline 9.1 Introduction 9.2Memory Organization.
Memory Management CSCI 444/544 Operating Systems Fall 2008.
Memory Management CSE451 Andrew Whitaker. Big Picture Up till now, we’ve focused on how multiple programs share the CPU Now: how do multiple programs.
CSE451 Operating Systems Winter 2012 Memory Management Mark Zbikowski Gary Kimura.
1 Memory Management Memory Management COSC513 – Spring 2004 Student Name: Nan Qiao Student ID#: Professor: Dr. Morteza Anvari.
Silberschatz, Galvin and Gagne ©2009 Operating System Concepts – 8 th Edition, Operating System Main Memory.
Operating Systems ECE344 Ding Yuan Memory Management Lecture 7: Memory Management.
CS 153 Design of Operating Systems Spring 2015 Lecture 17: Paging.
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.
VIRTUAL MEMORY By Thi Nguyen. Motivation  In early time, the main memory was not large enough to store and execute complex program as higher level languages.
CENG334 Introduction to Operating Systems Erol Sahin Dept of Computer Eng. Middle East Technical University Ankara, TURKEY URL:
CSE 451: Operating Systems Fall 2010 Module 10 Memory Management Adapted from slides by Chia-Chi Teng.
By Teacher Asma Aleisa Year 1433 H.   Goals of memory management  To provide a convenient abstraction for programming.  To allocate scarce memory.
1 Memory Management. 2 Fixed Partitions Legend Free Space 0k 4k 16k 64k 128k Internal fragmentation (cannot be reallocated) Divide memory into n (possible.
Paging (continued) & Caching CS-3013 A-term Paging (continued) & Caching CS-3013 Operating Systems A-term 2008 (Slides include materials from Modern.
CSE 451: Operating Systems Winter 2015 Module 11 Memory Management Mark Zbikowski Allen Center 476 © 2013 Gribble, Lazowska, Levy,
CS703 - Advanced Operating Systems By Mr. Farhan Zaidi.
Memory Management.
CSE 120 Principles of Operating
CSE 451: Operating Systems Winter 2007 Module 10 Memory Management
CS703 - Advanced Operating Systems
CSE451 Operating Systems Winter 2011
CSE 451: Operating Systems Winter 2010 Module 10 Memory Management
CSE 451: Operating Systems Winter 2014 Module 11 Memory Management
Chapter 9 – Real Memory Organization and Management
Chapter 8: Main Memory.
Virtual Memory Partially Adapted from:
Memory Management Lectures notes from the text supplement by Siberschatz and Galvin Modified by B.Ramamurthy Chapter 8 11/24/2018.
Memory Management Lectures notes from the text supplement by Siberschatz and Galvin Modified by B.Ramamurthy Chapter 9 12/1/2018.
Operating System Main Memory
Lecture 3: Main Memory.
Virtual Memory Brian Bershad 1.
CSE 451: Operating Systems Autumn 2005 Memory Management
CSE 451: Operating Systems Autumn 2003 Lecture 10 Paging & TLBs
CSE 451: Operating Systems Winter 2004 Module 10.5 Segmentation
CSE 451: Operating Systems Autumn 2004 Memory Management
CSE 451: Operating Systems Winter 2007 Module 10 Memory Management
CSE451 Virtual Memory Paging Autumn 2002
CSE 451: Operating Systems Autumn 2003 Lecture 9 Memory Management
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
CSE 451: Operating Systems Autumn 2009 Module 10 Memory Management
CSE 451: Operating Systems Autumn 2003 Lecture 9 Memory Management
Virtual Memory Brian Bershad 1.
Memory Management CSE451 Andrew Whitaker.
CSE 451: Operating Systems Winter 2004 Module 10 Memory Management
Paging and Segmentation
CS703 - Advanced Operating Systems
CSE451 Operating Systems Winter 2009
COMP755 Advanced Operating Systems
Operating Systems: Internals and Design Principles, 6/E
CSE 451: Operating Systems Autumn 2010 Module 10 Memory Management
Presentation transcript:

by Teacher Asma Aleisa Year 1433 H

  Goals of memory management  To provide a convenient abstraction for programming  To allocate scarce memory resources among competing  processes to maximize performance with minimal overhead  Mechanisms  Physical and virtual addressing (1)  Techniques: Partitioning, paging, segmentation (1)  Page table management, TLBs, VM tricks (2)  Policies  Page replacement algorithmes (3) 2

  Virtual memory warm-and-fuzzy  Survey techniques for implementing virtual memory Fixed and variable partitioning Paging Segmentation 3

  OS provides Virtual Memory (VM) as the abstraction for managing memory Indirection allows moving programs around in memory Allows processes to address more or less memory than physically installed in the machine  Virtual memory enables a program to execute with less than its complete data in physical memory  Many programs do not need all of their code and data at once (or ever) - no need to allocate memory for it  OS adjusts amount of memory allocated based upon behavior Requires hardware support for efficient implementation Let’s go back to the beginning…

  Rewind to the days of batch programming  Programs use physical addresses directly  OS loads job, runs it, unloads it  Multiprogramming changes all of this Want multiple processes in memory at once o Overlap I/O and CPU of multiple jobs Can do it a number of ways o Fixed and variable partitioning, paging, segmentation  Requirements » Need protection - restrict which addresses jobs can use » Fast translation - lookups need to be fast » Fast change - updating memory hardware on context switch

  To make it easier to manage the memory of processes running in the system, we’re going to make them use virtual addresses (logical addresses)  Virtual addresses are independent of the actual physical location of the data referenced  OS determines location of data in physical memory  Instructions executed by the CPU issue virtual addresses  Virtual addresses are translated by hardware into physical addresses (with help from OS)  The set of virtual addresses that can be used by a process comprises its virtual address space  Many ways to do this translation…  Start with old, simple ways, progress to current techniques

  Physical memory is broken up into fixed partitions  Hardware requirements: base register  Physical address = virtual address + base register  Base register loaded by OS when it switches to a process  Size of each partition is the same and fixed  How do we provide protection?  Advantages Easy to implement, fast context switch  Problems  Internal fragmentation: memory in a partition not used by a process is not available to other processes  Partition size: one size does not fit all (very large processes?)

 P1 P2 P3 P5 P4 Physical Memory Base Register P4’s Base Offset Virtual Address +

  Natural extension -- physical memory is broken up into variable sized partitions  Hardware requirements: base register and limit register  Physical address = virtual address + base register  Why do we need the limit register? Protection  If (physical address > base + limit) then exception fault  Advantages  No internal fragmentation: allocate just enough for process  Problems  External fragmentation: job loading and unloading produces empty holes scattered throughout memory

 P1 P2 P3 Base Register P3’s Base P3’s Limit Offset Limit Register Virtual Address Protection Fault < Yes? No? + Base Register

 P1 P2 P3 P n Physical Memory  Paging solves the external fragmentation problem by using fixed sized units in both physical and virtual memory Virtual Memory

  Users (and processes) view memory as one contiguous address space from 0 through N  Virtual address space (VAS)  In reality, pages are scattered throughout physical storage  The mapping is invisible to the program  Protection is provided because a program cannot reference memory outside of its VAS  The address “0x1000” maps to different physical addresses in different processes

  Translating addresses  Virtual address has two parts: virtual page number and offset  Virtual page number (VPN) is an index into a page table  Page table determines page frame number (PFN)  Physical address is PFN::offset  Page tables  Map virtual page number (VPN) to page frame number (PFN)  VPN is the index into the table that determines PFN  One page table entry (PTE) per page in virtual address space  Or, one PTE per VPN

 Page numberOffset Physical Address Page frame Virtual Address Page Table Physical Memory

  Pages are 4K  VPN is 20 bits (220 VPNs), offset is 12 bits  Virtual address is 0x7468  Virtual page is 0x7, offset is 0x468  Page table entry 0x7 contains 0x2  Page frame base is 0x2 * 0x1000 (4K) = 0x2000  Seventh virtual page is at address 0x2000 (3rd physical page)  Physical address = 0x x468 = 0x2468

  Page table entries control mapping  The Modify bit says whether or not the page has been written  It is set when a write to the page occurs  The Reference bit says whether the page has been accessed  It is set when a read or write to the page occurs  The Valid bit says whether or not the PTE can be used  It is checked each time the virtual address is used  The Protection bits say what operations are allowed on page  Read, write, execute  The page frame number (PFN) determines physical page MRV Prot Page Frame Number

  Easy to allocate memory  Memory comes from a free list of fixed size chunks  Allocating a page is just removing it from the list External fragmentation not a problem  Easy to swap out chunks of a program  All chunks are the same size  Use valid bit to detect references to swapped pages  Pages are a convenient multiple of the disk block size

  Can still have internal fragmentation  Process may not use memory in multiples of a page  Memory reference overhead  2 references per address lookup (page table, then memory)  Solution - use a hardware cache of lookups (more later)  Memory required to hold page table can be significant  Need one PTE per page  32 bit address space w/ 4KB pages = 220 PTEs  4 bytes/PTE = 4MB/page table  25 processes = 100MB just for page tables!  Solution - page the page tables (more later)

 19  Segmentation is a technique that partitions memory into logically related data units  Module, procedure, stack, data, file, etc.  Virtual addresses become  Units of memory from user’s perspective  Natural extension of variable-sized partitions  Variable-sized partitions = 1 segment/process  Segmentation = many segments/process  Hardware support  Multiple base/limit pairs, one per segment (segment table)  Segments named by #, used to index into table

 < + Segment Table Physical Memory Physical Fault No? Yes? Segment #Offset Virtual Address limit base

  Extensions  Can have one segment table per process  Segment #s are then process-relative (why do this?)  Can easily share memory  Put same translation into base/limit pair  Can share with different protections (same base/limit, diff prot)  Problems  Cross-segment addresses  Segments need to have same #s for pointers to them to be shared among processes  Large segment tables  Keep in main memory, use hardware cache for speed

  Can combine segmentation and paging  The x86 supports segments and paging  Use segments to manage logically related units  Module, procedure, stack, file, data, etc.  Segments vary in size, but usually large (multiple pages)  Use pages to partition segments into fixed size chunks  Makes segments easier to manage within physical memory  Segments become “pageable” - rather than moving segments into and out of memory, just move page portions of segment  Need to allocate page table entries only for those pieces of the segments that have themselves been allocated  Tends to be complex…

  Virtual memory  Processes use virtual addresses  OS + hardware translates virtual address into physical addresses  Various techniques  Fixed partitions - easy to use, but internal fragmentation  Variable partitions - more efficient, but external fragmentation  Paging - use small, fixed size chunks, efficient for OS Segmentation - manage in chunks from user’s perspective  Combine paging and segmentation to get benefits of both