537 virtual memory
play

[537] Virtual Memory Tyler Harter 9/15/14 Overview Review - PowerPoint PPT Presentation

Mar 25, 2023 •48 likes •1.29k views

[537] Virtual Memory Tyler Harter 9/15/14 Overview Review Scheduling Address Spaces (Chapter 13) Address Translation (Chapter 15) Segmentation (Chapter 16) Review: Schedulers Scheduling Basics Workloads : Schedulers : Metrics :

  1. (free) 0x1010: movl 0x8(%rbp), %edi 4 KB 0x1013: addl $0x3, %edi Program Code 0x1019: movl %edi, 0x8(%rbp) Heap process 1 (free) stack why didn’t we have to 8 KB rewrite the stack addr? (free) 0x3010: movl 0x8(%rbp), %edi 12 KB 0x3013: addl $0x3, %edi Program Code 0x3019: movl %edi, 0x8(%rbp) Heap process 2 (free) stack 16 KB (free)

  2. Problem: How to Run Multiple Processes? Approaches (covered today): 
 Time Sharing 
 Static Relocation 
 Base 
 Base+Bounds 
 Segmentation

  3. Base Idea: translate virtual addresses to physical by adding a fixed offset each time. Store offset in a base register. Each process has a different value in the base register when running. This is a “dynamic relocation” technique

  4. 0 KB 1 KB P1 2 KB same code 3 KB 4 KB P2 5 KB 6 KB

  5. 0 KB base register 1 KB P1 2 KB P1 is running 3 KB 4 KB P2 5 KB 6 KB

  6. 0 KB 1 KB P1 2 KB P2 is running 3 KB base register 4 KB P2 5 KB 6 KB

  7. Virtual Physical 0 KB P1: load 100, R1 1 KB P1 2 KB 3 KB 4 KB P2 5 KB 6 KB

  8. Virtual Physical 0 KB P1: load 100, R1 load 1124, R1 1 KB P1 2 KB 3 KB 4 KB P2 5 KB 6 KB

  9. Virtual Physical 0 KB P1: load 100, R1 load 1124, R1 1 KB P2: load 100, R1 P1 2 KB 3 KB 4 KB P2 5 KB 6 KB

  10. Virtual Physical 0 KB P1: load 100, R1 load 1124, R1 1 KB P2: load 100, R1 load 4196, R1 P1 2 KB 3 KB 4 KB P2 5 KB 6 KB

  11. Virtual Physical 0 KB P1: load 100, R1 load 1124, R1 1 KB P2: load 100, R1 load 4196, R1 P1 P2: load 1000, R1 2 KB 3 KB 4 KB P2 5 KB 6 KB

  12. Virtual Physical 0 KB P1: load 100, R1 load 1124, R1 1 KB P2: load 100, R1 load 4196, R1 P1 P2: load 1000, R1 load 5196, R1 2 KB 3 KB 4 KB P2 5 KB 6 KB

  13. Virtual Physical 0 KB P1: load 100, R1 load 1124, R1 1 KB P2: load 100, R1 load 4196, R1 P1 P2: load 1000, R1 load 5196, R1 2 KB P1: load 100, R1 3 KB 4 KB P2 5 KB 6 KB

  14. Virtual Physical 0 KB P1: load 100, R1 load 1124, R1 1 KB P2: load 100, R1 load 4196, R1 P1 P2: load 1000, R1 load 5196, R1 2 KB P1: load 100, R1 load 2024, R1 3 KB 4 KB P2 5 KB 6 KB

  15. Who Controls the Base Register? Who should do translation with base register? 
 (1) process, (2) OS, or (3) HW Who should modify the base register? 
 (1) process, (2) OS, or (3) HW

  16. Virtual Physical 0 KB P1: load 100, R1 load 1124, R1 1 KB P2: load 100, R1 load 4196, R1 P1 P2: load 1000, R1 load 5196, R1 2 KB P1: load 100, R1 load 2024, R1 3 KB 4 KB P2 Can P2 hurt P1? 
 5 KB Can P1 hurt P2? 6 KB

  17. Virtual Physical 0 KB P1: load 100, R1 load 1124, R1 1 KB P2: load 100, R1 load 4196, R1 P1 P2: load 1000, R1 load 5196, R1 2 KB P1: load 100, R1 load 2024, R1 3 KB P1: store 3072, R1 store 4096, R1 4 KB P2 Can P2 hurt P1? 
 5 KB Can P1 hurt P2? 6 KB

  18. Problem: How to Run Multiple Processes? Approaches (covered today): 
 Time Sharing 
 Static Relocation 
 Base 
 Base+Bounds 
 Segmentation

  19. Base+Bounds Idea: contain the address space with a bounds register marking the largest physical address Base register: smallest physical addr Bounds register: largest physical addr OSTEP! What happens if you load/store after bounds?

  20. 0 KB base register 1 KB P1 bounds register 2 KB P1 is running 3 KB 4 KB P2 5 KB 6 KB

  21. 0 KB 1 KB P1 2 KB P2 is running 3 KB base register 4 KB P2 bounds register 5 KB 6 KB

  22. Virtual Physical 0 KB P1: load 100, R1 load 1124, R1 1 KB P2: load 100, R1 load 4196, R1 P1 P2: load 1000, R1 load 5196, R1 2 KB P1: load 100, R1 load 2024, R1 3 KB P1: store 3072, R1 4 KB P2 5 KB Can P1 hurt P2? 6 KB

  23. Virtual Physical 0 KB P1: load 100, R1 load 1124, R1 1 KB P2: load 100, R1 load 4196, R1 P1 P2: load 1000, R1 load 5196, R1 2 KB P1: load 100, R1 load 2024, R1 3 KB interrupt OS! P1: store 3072, R1 4 KB P2 5 KB Can P1 hurt P2? 6 KB

  24. Virtual Physical 0 KB P1: load 100, R1 load 1124, R1 1 KB P2: load 100, R1 load 4196, R1 P1 P2: load 1000, R1 load 5196, R1 2 KB P1: load 100, R1 load 2024, R1 3 KB interrupt OS! P1: store 3072, R1 4 KB P2 5 KB Can P1 hurt P2? 6 KB

  25. 
 
 
 Base+Bounds Pros/Cons Pros? 
 Cons?

  26. 
 Base+Bounds Pros/Cons Pros? 
 - fast + simple 
 - little bookkeeping overhead (2 registers / proc) 
 Cons? 
 - not flexible 
 - wastes memory for large address spaces

  27. 
 Base+Bounds Pros/Cons Pros? 
 - fast + simple 
 - little bookkeeping overhead (2 registers / proc) 
 Cons? 
 - not flexible 
 - wastes memory for large address spaces

  28. 0 KB Program Code 1 KB Heap 2 KB wasted space (free) 15 KB Stack 16 KB

  29. Problem: How to Run Multiple Processes? Approaches (covered today): 
 Time Sharing 
 Static Relocation 
 Base 
 Base+Bounds 
 Segmentation

  30. Segmentation Idea: generalize base+bounds Each base+bound pair is a segment Use different segments for heap and memory 
 - how does this help? 
 - requires more registers! Resize segments as needed 
 - how does this help?

  31. Multi-segment translation One (broken) approach: 
 - have no gaps in virtual addresses 
 - map as many low addresses to the first segment 
 as possible, then as many as possible to the 
 second (on so on)

  32. A tricky example Virtual Physical 0 KB P1: load 100, R1 1 KB P1: heap 2 KB 3 KB 4 KB P1: stack 5 KB 6 KB

  33. A tricky example Virtual Physical 0 KB P1: load 100, R1 load 1124, R1 1 KB P1: heap 2 KB 3 KB 4 KB P1: stack 5 KB 6 KB

  34. A tricky example Virtual Physical 0 KB P1: load 100, R1 load 1124, R1 1 KB P1: load 1024, R1 P1: heap 2 KB 3 KB 4 KB P1: stack 5 KB 6 KB

  35. A tricky example Virtual Physical 0 KB P1: load 100, R1 load 1124, R1 1 KB P1: load 1024, R1 load 4096, R1 P1: heap 2 KB 3 KB 4 KB P1: stack 5 KB 6 KB

  36. A tricky example Virtual Physical 0 KB P1: load 100, R1 load 1124, R1 1 KB P1: load 1024, R1 load 4096, R1 grow 2 KB P1: heap heap 3 KB 4 KB P1: stack 5 KB 6 KB

  37. A tricky example Virtual Physical 0 KB P1: load 100, R1 load 1124, R1 1 KB P1: load 1024, R1 load 4096, R1 2 KB P1: heap P1: load 1024, R1 3 KB 4 KB P1: stack 5 KB 6 KB

  38. A tricky example Virtual Physical 0 KB P1: load 100, R1 load 1124, R1 1 KB P1: load 1024, R1 load 4096, R1 2 KB P1: heap P1: load 1024, R1 load 2048, R1 3 KB 4 KB P1: stack 5 KB 6 KB

  39. Multi-segment translation One (correct) approach: 
 - break virtual addresses into two parts 
 - one part indicates segment 
 - one part indicates offset within segment

  40. Virtual Address For example, say addresses are 14 bits. 
 Use 2 bits for segment, 12 bits for offset An address might look like 201E

  41. Virtual Address For example, say addresses are 14 bits. 
 Use 2 bits for segment, 12 bits for offset An address might look like 2 01E segment 2 offset 30

  42. Virtual Address For example, say addresses are 14 bits. 
 Use 2 bits for segment, 12 bits for offset An address might look like 2 01E Choose some segment numbering, such as 
 0: code+data 
 1: heap 
 2: stack

  43. What is the segment/offset? Segment numbers: 
 0: code+data 
 1: heap 
 2: stack 10 0000 0001 0001 (binary) 
 110A (hex) 
 4096 (decimal)

  44. Virtual Physical 0 KB load 0x2010, R1 1 KB heap (seg1) 2 KB 3 KB 4 KB stack (seg2) 5 KB 6 KB

  45. Virtual Physical 0 KB load 0x2010, R1 4KB + 16 1 KB heap (seg1) 2 KB 3 KB 4 KB stack (seg2) 5 KB 6 KB

  46. Virtual Physical 0 KB load 0x2010, R1 4KB + 16 1 KB load 0x1010, R1 heap (seg1) 2 KB 3 KB 4 KB stack (seg2) 5 KB 6 KB

  47. Virtual Physical 0 KB load 0x2010, R1 4KB + 16 1 KB load 0x1010, R1 1KB + 16 heap (seg1) 2 KB 3 KB 4 KB stack (seg2) 5 KB 6 KB

Recommend

Virtual Memory and Virtual Memory and Demand Paging Demand Paging Virtual Memory Illustrated

Virtual Memory and Virtual Memory and Demand Paging Demand Paging Virtual Memory Illustrated

Virtual Memory and Virtual Memory and Demand Paging Demand Paging Virtual Memory Illustrated Virtual Memory Illustrated virtual physical backing executable memory memory file storage (big) (small) header text pageout/eviction text

480 views • 12 slides
Lecture 19: Virtual Memory Virtual Memory concept, Virtual- physical translation, page table,

Lecture 19: Virtual Memory Virtual Memory concept, Virtual- physical translation, page table,

Lecture 19: Virtual Memory Virtual Memory concept, Virtual- physical translation, page table, TLB, Alpha 21264 memory hierarchy 1 Adapted from UC Berkeley CS252 S01 Virtual Memory Virtual memory (VM) allows programs to have the illusion of a

711 views • 23 slides
Virtual Memory Questions? ! What is virtual memory and when is it useful? CSCI [4|6] 730 ! What is

Virtual Memory Questions? ! What is virtual memory and when is it useful? CSCI [4|6] 730 ! What is

Virtual Memory Questions? ! What is virtual memory and when is it useful? CSCI [4|6] 730 ! What is demand paging? Operating Systems ! What pages should be resident in memory, and which should be replaced? Virtual Memory ! What is the

231 views • 9 slides
Lecture 23: Virtual Memory, Multiprocessors Todays topics: Virtual memory

Lecture 23: Virtual Memory, Multiprocessors Todays topics: Virtual memory

Lecture 23: Virtual Memory, Multiprocessors Todays topics: Virtual memory Multiprocessors, cache coherence 1 Virtual Memory Processes deal with virtual memory they have the illusion that a very large address space is

388 views • 18 slides
Lecture 24: Virtual Memory, Multiprocessors Todays topics: Virtual memory

Lecture 24: Virtual Memory, Multiprocessors Todays topics: Virtual memory

Lecture 24: Virtual Memory, Multiprocessors Todays topics: Virtual memory Multiprocessors, cache coherence 1 Virtual Memory Processes deal with virtual memory they have the illusion that a very large address space is

573 views • 21 slides
Shared Memory OS Lecture 9 UdS/TUKL WS 2015 MPI-SWS 1 Review: Virtual Memory How is virtual

Shared Memory OS Lecture 9 UdS/TUKL WS 2015 MPI-SWS 1 Review: Virtual Memory How is virtual

Shared Memory OS Lecture 9 UdS/TUKL WS 2015 MPI-SWS 1 Review: Virtual Memory How is virtual memory realized? 1. Segmentation : linear virtual physical address translation with base & bounds registers 2. Paging : arbitrary virtual

733 views • 30 slides
Virtual Memory Virtual Memory - The games we play with addresses and the memory behind them

Virtual Memory Virtual Memory - The games we play with addresses and the memory behind them

Virtual Memory Virtual Memory - The games we play with addresses and the memory behind them Address translation - decouple the names of memory locations and their physical locations - arrays that have space to grow without pre-allocating

671 views • 21 slides
Virtual Memory Questions? What is virtual memory and when is it useful? CSCI [4|6] 730

Virtual Memory Questions? What is virtual memory and when is it useful? CSCI [4|6] 730

Virtual Memory Questions? What is virtual memory and when is it useful? CSCI [4|6] 730 What is demand paging? What pages should : Operating Systems Persist in memory, and and which should be replaced ? What is trashing and

986 views • 14 slides
Virtual Memory: Demand Paging and Replacment Virtual Memory Illustrated virtual physical

Virtual Memory: Demand Paging and Replacment Virtual Memory Illustrated virtual physical

Virtual Memory: Demand Paging and Replacment Virtual Memory Illustrated virtual physical backing executable memory memory storage file (big) (small) header text pageout/eviction text data data idata data BSS wdata symbol user

356 views • 17 slides
Lecture 21: Virtual Memory, I/O Basics Todays topics: Virtual memory I/O overview

Lecture 21: Virtual Memory, I/O Basics Todays topics: Virtual memory I/O overview

Lecture 21: Virtual Memory, I/O Basics Todays topics: Virtual memory I/O overview Reminder: Assignment 8 due Tue 11/21 1 Virtual Memory Processes deal with virtual memory they have the illusion that a very large

416 views • 16 slides
Virtual Memory Goals for Today Virtual memory Mechanism Mechanism How does it

Virtual Memory Goals for Today Virtual memory Mechanism Mechanism How does it

Virtual Memory Goals for Today Virtual memory Mechanism Mechanism How does it work? Policy What to replace? How much to fetch? 2 What is virtual memory? Each process has illusion of large address space

569 views • 31 slides
Last class: Virtual Memory Today: Virtual Memory Uses Efficient Use of Physical

Last class: Virtual Memory Today: Virtual Memory Uses Efficient Use of Physical

Last class: Virtual Memory Today: Virtual Memory Uses Efficient Use of Physical Memory Through virtual memory N 2 32 -sized address spaces All isolated by default Uses for memory Make a new process Address

516 views • 22 slides
Virtual Memory Logical address space can therefore be much larger than physical address

Virtual Memory Logical address space can therefore be much larger than physical address

CSC 4103 - Operating Systems Background Spring 2007 Virtual memory separation of user logical memory from physical memory. Only part of the program needs to be in memory for Lecture - XIII execution. Virtual Memory Logical

309 views • 7 slides
Last class: Paging Today: Virtual Memory Virtual Memory What if programs

Last class: Paging Today: Virtual Memory Virtual Memory What if programs

Last class: Paging Today: Virtual Memory Virtual Memory What if programs require more memory than available physical memory? Use overlays Difficult to program though! Virtual Memory. Supports programs that are

703 views • 39 slides
Chapter 9: Virtual Memory Chapter 9: Virtual Memory Background Demand Paging

Chapter 9: Virtual Memory Chapter 9: Virtual Memory Background Demand Paging

Chapter 9: Virtual Memory Chapter 9: Virtual Memory Background Demand Paging Copy-on-Write Page Replacement Allocation of Frames Thrashing Memory-Mapped Files Allocating Kernel Memory Other

1.44k views • 78 slides
LECTURE 12 Virtual Memory VIRTUAL MEMORY Just as a cache can provide fast, easy access to

LECTURE 12 Virtual Memory VIRTUAL MEMORY Just as a cache can provide fast, easy access to

LECTURE 12 Virtual Memory VIRTUAL MEMORY Just as a cache can provide fast, easy access to recently-used code and data, main memory acts as a cache for magnetic disk. The mechanism by which this is accomplished is known as virtual memory

974 views • 34 slides
Unit 7: Virtual Memory TLBs and memory hierarchy issues

Unit 7: Virtual Memory TLBs and memory hierarchy issues

This Unit: Virtual Memory App App App The operating system (OS) System software A super-application Hardware support for an OS CIS 501: Computer Architecture Mem CPU I/O Virtual memory Page tables and address translation

554 views • 10 slides
Operating Systems WT 2019/20 Memory Management Shared Memory Process 1 virtual memory most

Operating Systems WT 2019/20 Memory Management Shared Memory Process 1 virtual memory most

Operating Systems WT 2019/20 Memory Management Shared Memory Process 1 virtual memory most modern OSs provide a way for processes to share Physical memory memory compiler e.g. code pages for image executables Process 2 virtual

511 views • 29 slides
Virtual Memory Programmer can assume he/she has infinite amount of physical memory

Virtual Memory Programmer can assume he/she has infinite amount of physical memory

4/27/17 Virtual Memory Idea: Give the programmer the illusion of a large address space while having a small physical memory So that the programmer does not worry about managing physical memory Virtual Memory Programmer can assume

817 views • 12 slides
Chapter 10: Virtual Memory Questions? What is virtual memory and when is it useful? CSCI

Chapter 10: Virtual Memory Questions? What is virtual memory and when is it useful? CSCI

Chapter 10: Virtual Memory Questions? What is virtual memory and when is it useful? CSCI [4|6] 730 What is demand paging? Operating Systems When should pages in memory be replaced? When should pages be put on disk?

399 views • 9 slides
Virtual Memory Eric McCreath Introduction Virtual memory is a technique that permits processes

Virtual Memory Eric McCreath Introduction Virtual memory is a technique that permits processes

Virtual Memory Eric McCreath Introduction Virtual memory is a technique that permits processes to be executed even when they are not completely in memory. This has many advantages, including: programs can be larger than physical memory,

2.17k views • 14 slides
Memory Management (Virtual Memory) Mehdi Kargahi School of ECE University of Tehran Spring

Memory Management (Virtual Memory) Mehdi Kargahi School of ECE University of Tehran Spring

Memory Management (Virtual Memory) Mehdi Kargahi School of ECE University of Tehran Spring 2008 Background It is not required to load all the program into main memory Virtual memory separates logical memory from physical memory M.

754 views • 49 slides
Virtual Memory 1 Virtual Memory Main memory is cache for secondary storage

Virtual Memory 1 Virtual Memory Main memory is cache for secondary storage

Virtual Memory 1 Virtual Memory Main memory is cache for secondary storage Secondary storage (disk) holds the complete virtual address space Only a portion of the virtual address space lives in the physical address

558 views • 16 slides
Protecting Memory What is there to protect in memory? Page tables and virtual memory

Protecting Memory What is there to protect in memory? Page tables and virtual memory

Protecting Memory What is there to protect in memory? Page tables and virtual memory protection Special security issues for memory Buffer overflows Lecture 8 Page 1 CS 236 Online What Is In Memory? Executable code

401 views • 24 slides

More recommend