Presentation is loading. Please wait.

Presentation is loading. Please wait.

1 Virtual Memory vs. Physical Memory So far, all of a job’s virtual address space must be in physical memory However, many parts of programs are never.

Similar presentations


Presentation on theme: "1 Virtual Memory vs. Physical Memory So far, all of a job’s virtual address space must be in physical memory However, many parts of programs are never."— Presentation transcript:

1 1 Virtual Memory vs. Physical Memory So far, all of a job’s virtual address space must be in physical memory However, many parts of programs are never accessed –Unlikely error conditions –Wasted malloc/new –Large arrays Large startup cost on a context switch –Must load all of program into physical memory –Limits degree of multiprogramming

2 2 Demand Paging: Using Main Memory as a Cache for the Disk Allow Virtual Memory > Physical Memory –Many advantages Larger degree of multiprogramming Can write programs for large virtual memories –Ex: on Sparc, 32 bit virtual addresses Can use 4GB of virtual address space Physical memory typically 16-64 MB Warning: needs to be implemented efficiently

3 3 Translating Virtual Addresses to Physical Addresses Modify page table –Add valid/invalid bit Program still generate virtual addresses –Now look up physical frame and check valid bit –If invalid (“page fault”) means 1 of 2 things Address is illegal => kill of thread Address is legal but on disk => get it.

4 4 What happens on a page fault? Trap to OS –Get a free physical frame (may need to reclaim) –If frame has been modified, schedule disk write –Invalidate that address space’s page table entry –Schedule disk read (note: takes long time) –Update this address space’s page table entry –Queue thread on disk queue –Context switch to new thread –(when disk read done move waiting thread to ready queue)

5 5 How does TLB affect things? First check in TLB If not there, trap to OS OS checks its page tables –If in memory, load page tables entry into TLB –If not in memory, page fault

6 6 One detail left out: transparency When faulting thread finally rescheduled: –must restart instruction Instruction has never completed –Hardware must save enough state What instruction was, complete state Same as info saved on regular context switch Hardware designers can make life difficult –Both CISC and RISC machines

7 7 Page Replacement – Choosing a page to evict 3 kinds of page faults –Compulsory – when first access –Capacity – just don’t have enough room –Conflict – due to no-optimal page replacement Only kind OS have impact on Need to choose some policy –Have as few page faults as possible

8 8 Replacement Policy 1: MIN Replace page fault that will be used furthest in the future –Analogous to Shortest Job First in scheduling Optimal but no way to implement Can’t predict reference patterns in general –Good for comparison

9 9 Replacement Policies 2 and 3 Random: –Simple to implement in hardware. –Doesn’t perform especially well FIFO –Replace oldest page –Fair – let every page live in memory for the same amount of time, then toss it. –As with scheduling, not a good policy – throws out heavily-used pages with same frequency as lightly- used pages

10 10 Page Replace 4: LRU (Least Recently Used) Approximation to MIN Throw out page that: –Has not been used for longest time Not identical to MIN (why?) How to implement?

11 11 LRU Approximations Too expensive to implement exact LRU –Require hardware support (unusual) Implement approximate LRU –Additional reference bits –Second chance –Enhanced second chance

12 12 Belady’s Anomoly Adding more physical frames better, right? Not necessarily –FIFO can be worse ! –LRU and MIN are always better, however Contents of memory with N frames is subset of contents of memory with N+1 frame

13 13 Advanced Paging Issues Swap Area Transparency Core Map Global vs. Local Replacement Thrashing Prepaging.

14 14 Swap Area “Swap Space” – special area on disk –Dedicated to holding an entire address space One swap file per address space –Limits size of virtual memory –Managed differently than rest of disk Know where data will go; can make disk access very fast

15 15 More on Transparency Executing an instruction has several steps –Instruction Fetch –Instruction Decode –Execute Page fault can happen at fetch or execute –So in general, just restart whole instruction Block copies are a problem, as is autoincrement

16 16 Recall: Core Map Maps physical frame to virtual page Very useful in page replacement –Just scan through each frame –Wouldn’t want to go through every single address space, because could be many –What about sharing? One physical frame can be used by several address spaces

17 17 Global vs. Local Replacement Should OS reclaim a)Most appropriate frame being used by the faulting address space? (“local replacement”) b)Most appropriate frame in memory? (“global replacement”) Better throughput with global replacement One hog can ruin everything, however.

18 18 Thrashing Pages replaced when still needed –Thread can spend more time page faulting than getting any useful work done Very common on timesharing systems –Ex: log more and more users into the system, eventually: total # of pages needed > total # of pages available Adding more processes can actually decrease CPU utilization Need to figure out needs of a process

19 19 Dealing with Thrashing Working Set (Denning, MIT, mid-60’s) –Informally, collection of pages process is using right now –Formally, set of pages job has referenced in last T seconds –How do we pick T? 1 page fault = 10 msec 10 msec = 2 million instruction –So T needs to be a lot bigger than 1 million instructions Approx. Impl: timer interrupt, reference bit

20 20 Working set (cont.) Balance set –OS monitors each process, allocates enough physical frame for each process If all fits? Done If not? Throw out fat cats. Bring them back eventually What if T is too big? –Waste memory; too few programs in memory What if T is too small? –thrashing

21 21 Other Paging Issues Prepaging –Bring in working set along with new process –Is it really worth it? Program structure –Writing stupid programs => slow execution –Dynamic data structures


Download ppt "1 Virtual Memory vs. Physical Memory So far, all of a job’s virtual address space must be in physical memory However, many parts of programs are never."

Similar presentations


Ads by Google