Background. Virtual Memory (2/2) Demand Paging Example. First-In-First-Out (FIFO) Algorithm. Page Replacement Algorithms. Performance of Demand Paging

Similar documents
Module 9: Virtual Memory

Module 9: Virtual Memory

Chapter 10: Virtual Memory. Background

Page Replacement. 3/9/07 CSE 30341: Operating Systems Principles

Chapter 10: Virtual Memory. Background. Demand Paging. Valid-Invalid Bit. Virtual Memory That is Larger Than Physical Memory

Where are we in the course?

Optimal Algorithm. Replace page that will not be used for longest period of time Used for measuring how well your algorithm performs

Lecture 17. Edited from slides for Operating System Concepts by Silberschatz, Galvin, Gagne

Chapter 9: Virtual Memory

Chapter 9: Virtual Memory. Chapter 9: Virtual Memory. Objectives. Background. Virtual-address address Space

Chapter 9: Virtual Memory

Chapter 9: Virtual Memory

Background. Demand Paging. valid-invalid bit. Tevfik Koşar. CSC Operating Systems Spring 2007

Chapter 9: Virtual-Memory

Chapter 9: Virtual Memory

Virtual Memory. CSCI 315 Operating Systems Design Department of Computer Science

Virtual Memory. Virtual Memory. Demand Paging. valid-invalid bit. Virtual Memory Larger than Physical Memory

Basic Page Replacement

Chapter 3: Virtual Memory ว ตถ ประสงค. Background สามารถอธ บายข อด ในการท ระบบใช ว ธ การจ ดการหน วยความจ าแบบเสม อนได

Principles of Operating Systems

First-In-First-Out (FIFO) Algorithm

instruction is 6 bytes, might span 2 pages 2 pages to handle from 2 pages to handle to Two major allocation schemes

Page Replacement Algorithms

Chapter 8: Virtual Memory. Operating System Concepts

Demand Paging. Valid-Invalid Bit. Steps in Handling a Page Fault. Page Fault. Transfer of a Paged Memory to Contiguous Disk Space

CS370 Operating Systems

Virtual Memory. CSCI 315 Operating Systems Design Department of Computer Science

Chapter 9: Virtual Memory

Operating System Concepts

Virtual Memory. Overview: Virtual Memory. Virtual address space of a process. Virtual Memory. Demand Paging

Virtual Memory. Overview: Virtual Memory. Virtual address space of a process. Virtual Memory

CS307: Operating Systems

Virtual Memory Outline

Chapters 9 & 10: Memory Management and Virtual Memory

CS370 Operating Systems

Chapter 9: Virtual Memory. Operating System Concepts 9 th Edition

Virtual Memory - II. Roadmap. Tevfik Koşar. CSE 421/521 - Operating Systems Fall Lecture - XVI. University at Buffalo.

Chapter 6: Demand Paging

Chapter 9: Virtual-Memory Management. Operating System Concepts 8 th Edition,

CS420: Operating Systems

OPERATING SYSTEM. Chapter 9: Virtual Memory

Swapping. Operating Systems I. Swapping. Motivation. Paging Implementation. Demand Paging. Active processes use more physical memory than system has

Chapter 9: Virtual Memory. Operating System Concepts 9th Edition

Chapter 10: Virtual Memory

Virtual Memory: Page Replacement. CSSE 332 Operating Systems Rose-Hulman Institute of Technology

ADRIAN PERRIG & TORSTEN HOEFLER Networks and Operating Systems ( ) Chapter 6: Demand Paging

Chapter 9: Virtual Memory. Operating System Concepts 9 th Edition

Operating System Concepts 9 th Edition

Virtual Memory COMPSCI 386

Virtual Memory - Overview. Programmers View. Virtual Physical. Virtual Physical. Program has its own virtual memory space.

PAGE REPLACEMENT. Operating Systems 2015 Spring by Euiseong Seo

Operating Systems. Overview Virtual memory part 2. Page replacement algorithms. Lecture 7 Memory management 3: Virtual memory

CSC Operating Systems Spring Lecture - XIV Virtual Memory - II. Tevfik Ko!ar. Louisiana State University. March 27 th, 2008.

CS370 Operating Systems

CS6401- Operating System UNIT-III STORAGE MANAGEMENT

1. Background. 2. Demand Paging

Practice Exercises 449

Memory management, part 2: outline. Operating Systems, 2017, Danny Hendler and Amnon Meisels

Memory management, part 2: outline

Virtual Memory B: Objec5ves

Virtual Memory III. Jo, Heeseung

ECE 7650 Scalable and Secure Internet Services and Architecture ---- A Systems Perspective. Part I: Operating system overview: Memory Management

Memory Management Outline. Operating Systems. Motivation. Paging Implementation. Accessing Invalid Pages. Performance of Demand Paging

Chapter 9: Virtual Memory

Virtual Memory. Reading: Silberschatz chapter 10 Reading: Stallings. chapter 8 EEL 358

Page Replacement Chap 21, 22. Dongkun Shin, SKKU

Memory Management. Virtual Memory. By : Kaushik Vaghani. Prepared By : Kaushik Vaghani

Operating Systems. No. 9 ศร ณย อ นทโกส ม Sarun Intakosum

VII. Memory Management

Chapter 8: Virtual Memory. Operating System Concepts Essentials 2 nd Edition

Memory Management Virtual Memory

Chapter 8: Main Memory. Operating System Concepts 8th Edition

a. What is a lower bound on the number of page faults? b. What is an upper bound on the number of page faults?

CS 333 Introduction to Operating Systems. Class 14 Page Replacement. Jonathan Walpole Computer Science Portland State University

Operating Systems Lecture 6: Memory Management II

CS 333 Introduction to Operating Systems. Class 14 Page Replacement. Jonathan Walpole Computer Science Portland State University

CS 3733 Operating Systems:

Chapter 4 Memory Management

Last Class: Demand Paged Virtual Memory

stack Two-dimensional logical addresses Fixed Allocation Binary Page Table

CSE325 Principles of Operating Systems. Virtual Memory. David P. Duggan. March 7, 2013

Basic Memory Management. Basic Memory Management. Address Binding. Running a user program. Operating Systems 10/14/2018 CSC 256/456 1

Memory Allocation. Copyright : University of Illinois CS 241 Staff 1

Page Replacement Chap 21, 22. Dongkun Shin, SKKU

Topics: Virtual Memory (SGG, Chapter 09) CS 3733 Operating Systems

Basic Memory Management

Lecture 14 Page Replacement Policies

Operating Systems Virtual Memory. Lecture 11 Michael O Boyle

Memory Management. Chapter 4 Memory Management. Multiprogramming with Fixed Partitions. Ideally programmers want memory that is.

Memory - Paging. Copyright : University of Illinois CS 241 Staff 1

UNIT - IV. What is virtual memory?

Perform page replacement. (Fig 8.8 [Stal05])

Memory Management. To improve CPU utilization in a multiprogramming environment we need multiple programs in main memory at the same time.

Today. Adding Memory Does adding memory always reduce the number of page faults? FIFO: Adding Memory with LRU. Last Class: Demand Paged Virtual Memory

CS370 Operating Systems

CSE 120. Translation Lookaside Buffer (TLB) Implemented in Hardware. July 18, Day 5 Memory. Instructor: Neil Rhodes. Software TLB Management

CS510 Operating System Foundations. Jonathan Walpole

e-pg Pathshala Subject: Computer Science Paper: Operating Systems Module 29: Allocation of Frames, Thrashing Module No: CS/OS/29 Quadrant 1 e-text

MEMORY MANAGEMENT/1 CS 409, FALL 2013

Chapter 8 Virtual Memory

Transcription:

Virtual Memory (/) Background Page Replacement Allocation of Frames Thrashing Background Virtual memory separation of user logical memory from physical memory. Only part of the program needs to be in memory for execution. Logical address space can therefore be much larger than physical address space. Allows address spaces to be shared by several processes. Allows for more efficient process creation. Virtual memory can be implemented via: Demand paging Demand segmentation Performance of Demand Paging Demand Paging Example Page Fault Rate 0 p.0 if p = 0 no page faults if p =, every reference is a fault Effective Access Time (EAT) EAT = ( p) x memory access + p x (page fault overhead + [swap page out ] + swap page in + restart overhead) Memory access time = microsecond 0% of the time the page that is being replaced has been modified and therefore needs to be swapped out. Swap Page Time = 0 msec = 0,000 µsec EAT = ( p) x + p (000) + 000p (in µsec) Page Replacement Algorithms Want lowest page-fault rate. Evaluate algorithm by running it on a particular string of memory references (reference string) and computing the number of page faults on that string. In all our examples, the reference string is,,,,,,,,,,,. First-In-First-Out (FIFO) Algorithm frames ( pages can be in memory at a time per process) Reference string:,,,,,,,,,,, page faults

FIFO Page Replacement FIFO Illustrating Belady s Anomaly Optimal Algorithm Replace page that will not be used for longest period of time. frames example,,,,,,,,,,, page faults Optimal Page Replacement How do you know this? Used for measuring how well your algorithm performs. 0 Least Recently Used (LRU) Algorithm Reference string:,,,,,,,,,,, LRU Page Replacement Counter implementation Every page entry has a counter; every time page is referenced through this entry, copy the clock into the counter. When a page needs to be changed, look at the counters to determine which are to change. 0 0 Counter

LRU Algorithm (Cont.) Stack implementation keep a stack of page numbers in a double link form: Page referenced: move it to the top requires pointers to be changed No search for replacement Use Of A Stack to Record The Most Recent Page References Reference String: 0 0 0 0 a b Stack before a Stack after b LRU Approximation Algorithms Second-Chance (clock) Page- Replacement Algorithm Reference bit With each page associate a bit, initially = 0 When page is referenced bit set to. Replace the one which is 0 (if one exists). We do not know the order, however. Second chance Need reference bit. Clock replacement. If page to be replaced (in clock order) has reference bit =. then: set reference bit 0. leave page in memory. replace next page (in clock order), subject to same rules. Counting Algorithms Keep a counter of the number of references that have been made to each page. LFU Algorithm: replaces page with smallest count. (last frequently used) MFU Algorithm: based on the argument that the page with the smallest count was probably just brought in and has yet to be used. (most frequently used) Allocation of Frames Each process needs minimum number of pages. Example: IBM 0 pages to handle SS MOVE (mvc) instruction: instruction is bytes, might span pages. pages to handle from. pages to handle to. Requires six frames Two major allocation schemes. fixed allocation priority allocation

Fixed Allocation Equal Allocation m frames among n processes => m/n Proportional Allocation Allocation according to size S = Σ s i. Size of process p i a i = s i /S x m Priority Allocation Use a proportional allocation scheme using priorities rather than size. If process P i generates a page fault, select for replacement one of its frames. select for replacement a frame from a process with lower priority number. 0 Global vs. Local Allocation Global replacement process selects a replacement frame from the set of all frames; one process can take a frame from another. Local replacement each process selects from only its own set of allocated frames. Thrashing If a process does not have enough pages, the page-fault rate is very high. This leads to: low CPU utilization. operating system thinks that it needs to increase the degree of multiprogramming. another process added to the system. Thrashing a process is busy swapping pages in and out. Thrashing Why does paging work? Locality model Process migrates from one locality to another. Localities may overlap. Why does thrashing occur? Σ size of locality > total memory size Locality In A Memory-Reference Pattern

Working-Set Model Working-set model working-set window a fixed number of page references Example: 0,000 instruction WSS i (working set of Process P ) i = total number of pages referenced in the most recent (varies in time) if too small will not encompass entire locality. if too large will encompass several localities. if = will encompass entire program. D = Σ WSS i total demand frames if D > m Thrashing Policy if D > m, then suspend one of the processes. Keeping Track of the Working Set Approximate with interval timer + a reference bit Example: = 0,000 Timer interrupts after every 000 time units. Keep in memory bits for each page. Whenever a timer interrupts copy and sets the values of all reference bits to 0. If one of the bits in memory = page in working set. Why is this not completely accurate? Improvement = 0 bits and interrupt every 000 time units. Page-Fault Frequency Scheme Establish acceptable page-fault rate. If actual rate too low, process loses frame. If actual rate too high, process gains frame. Other Considerations Pre-paging Page size selection fragmentation table size I/O overhead locality Other Considerations (Cont.) TLB Reach - The amount of memory accessible from the TLB. TLB Reach = (TLB Size) X (Page Size) Ideally, the working set of each process is stored in the TLB. Otherwise there is a high degree of page faults. 0

Increasing the Size of the TLB Increase the Page Size. This may lead to an increase in fragmentation as not all applications require a large page size. Provide Multiple Page Sizes. This allows applications that require larger page sizes the opportunity to use them without an increase in fragmentation. Other Considerations (Cont.) Program structure int A[][] = new int[0][0]; Each row is stored in one page Program for (j = 0; j < A.length; j++) for (i = 0; i < A.length; i++) A[i,j] = 0; 0 x 0 page faults Program for (i = 0; i < A.length; i++) for (j = 0; j < A.length; j++) A[i,j] = 0; 0 page faults Other Considerations (Cont.) I/O Interlock Pages must sometimes be locked into memory. Consider I/O. Pages that are used for copying a file from a device must be locked from being selected for eviction by a page replacement algorithm.