1 / 15

LINUX 15 : Memory Management

LINUX 15 : Memory Management. Memory. Primary memory is a precious resource that frequently cannot contain all active processes in the system The memory management system decides which processes should reside (at least partially) in main memory

Download Presentation

LINUX 15 : Memory Management

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript


  1. LINUX 15 : Memory Management

  2. Memory Primary memory is a precious resource that frequently cannot contain all active processes in the system The memory management system decides which processes should reside (at least partially) in main memory It monitors the amount of available primary memory and may periodically write processes to a secondary device called the swap device to provide more space in primary memory At a later time, the kernel reads the data from swap device back to main memory

  3. Memory management subsystem Providing ways to allocate portions of memory to programs at their requests, and freeing it for reuse when no longer needed

  4. Memory management subsystem Large address space Protection Memory mapping Fair physical memory allocation Shared virtual memory

  5. Virtual Memory gives an application program the impression that it has contiguous working memory (an address space), while in fact it may be physically fragmented and may even overflow on to disk storage. Systems that use this technique make programming of large applications easier and use real physical memory (e.g. RAM) more efficiently than those without virtual memory

  6. UNIX memory management Swapping Demand Paging

  7. Swapping The swap device is a block device in a configurable section of a disk Kernel allocates contiguous space on the swap device without fragmentation It maintains free space of the swap device in an in-core table, called map The kernel treats each unit of the swap map as group of disk blocks As kernel allocates and frees resources, it updates the map accordingly

  8. Swapping process out • Memory  Swap device • Kernel swap out when it needs memory • When fork() called for allocate child process • When called for increase the size of process • When process become larger by growth of its stack • Previously swapped out process want to swap in but not enough memory

  9. Swapping process out The kernel must gather the page addresses of data at primary memory to be swapped out Kernel copies the physical memory assigned to a process to the allocated space on the swap device The mapping between physical memory and swap device is kept in page table entry

  10. Virtual Addresses Physical Addresses Swap device 684 Text 0 278k 1k 432k : Data 65k 573k 66k 595k 690 : Stack 128k 401k : Swapping Process Out Mapping process onto the swap device

  11. Swapping Process In Virtual Addresses Physical Addresses Swap device 684 Text 0 278k 1k 432k : Data 65k 573k 66k 595k 690 : Stack 128k 401k : Swapping a process into memory

  12. Demand Paging • Not all page of process resides in memory • Locality • When a process accesses a page that is not part of its working set, it incurs a page fault. • The kernel suspends the execution of the process until it reads the page into memory and makes it accessible to the process

  13. Swap device Block num Type Page Table Entry and Disk Block Descriptor Page Table Region Page Table Entry Disk Block Descriptor Page Table Entry Disk Block Descriptor

  14. Page Table Entry • Contains the physical address of page and the following bits: • Valid: whether the page content legal • Reference: whether the page is referenced recently • Modify:whether the page content is modified • copy on write: kernel must create a new copy when a process modifies its content (required for fork) • Age: Age of the page • Protection: Read/ write permission

  15. Swap device Block num Type Disk Block Descriptor • Swap Device number as there may be several swap devices • Block number that contains page

More Related