Virtual Memory n Background n Demand Paging n
Virtual Memory n Background n Demand Paging n Process Creation n Page Replacement n Allocation of Frames n Thrashing n Operating System Examples วเชษฐ พลายมาศ | ระบบปฏบตการ (OS: Operating Systems) | หนวยความจำเสมอน (Virtual Memory) | 2
Virtual Memory That is Larger Than Physical Memory วเชษฐ พลายมาศ | ระบบปฏบตการ (OS: Operating Systems) | หนวยความจำเสมอน (Virtual Memory) | 7
Transfer of a Paged Memory to Contiguous Disk Space วเชษฐ พลายมาศ | ระบบปฏบตการ (OS: Operating Systems) | หนวยความจำเสมอน (Virtual Memory) | 9
Valid-Invalid Bit n จะม valid–invalid bit เชอมโยงอยในแตละรายการ page table (1 in-memory, 0 not-in-memory) n ตองกำหนดคาเรมตน valid–invalid เปน 0 ทกรายการ (entries( Frame # valid-invalid bit n Example of a page table snapshot. 1 1 0 0 0 page table วเชษฐ n ระหวางการแปลงเลขทอย ถา valid–invalid bit ใน (OS: Operating Systems) | หนวยความจำเสมอน (Virtual Memory) | 10 พลายมาศ | ระบบปฏบตการ
Page Table When Some Pages Are Not in Main Memory วเชษฐ พลายมาศ | ระบบปฏบตการ (OS: Operating Systems) | หนวยความจำเสมอน (Virtual Memory) | 11
Performance of Demand Paging n Page Fault Rate 0 p 1. 0 F if p = 0 no page faults F if p = 1, every reference is a fault n Effective Access Time (EAT) EAT = (1 – p) x memory access + p (page fault overhead + [swap page out ] + swap page in + restart overhead) วเชษฐ พลายมาศ | ระบบปฏบตการ (OS: Operating Systems) | หนวยความจำเสมอน (Virtual Memory) | 15
Demand Paging Example n Memory access time = 1 microsecond n 50% ของเวลาทมการแกไข และตองถกสลบออกไป page ทถกแทนท n Swap Page Time = 10 msec = 10, 000 msec EAT = (1 – p) x 1 + p (15000( (15000 P (in msec + 1 วเชษฐ พลายมาศ | ระบบปฏบตการ (OS: Operating Systems) | หนวยความจำเสมอน (Virtual Memory) | 16
Graph of Page Faults Versus The Number of Frames วเชษฐ พลายมาศ | ระบบปฏบตการ (OS: Operating Systems) | หนวยความจำเสมอน (Virtual Memory) | 26
First-In-First-Out (FIFO) Algorithm n Reference string: 1, 2, 3, 4, 1, 2, 5, 1, 2, 3, 4, 5 n 3 frames (3 pages สามารถอยในหนวยความจำ เวลาใดเวลาหนง ตอหนงกระบวนการ 1 1 4 5 2 2 1 3 3 3 2 4 1 1 5 4 2 2 1 5 3 3 2 4 4 3 ( 9 page faults n 4 frames 10 page faults n FIFO Replacement – Belady’s Anomaly F frames ยงมาก page faults ยงลดลง วเชษฐ พลายมาศ | ระบบปฏบตการ (OS: Operating Systems) | หนวยความจำเสมอน (Virtual Memory) | 27 ณ
Use Of A Stack to Record The Most Recent Page References วเชษฐ พลายมาศ | ระบบปฏบตการ (OS: Operating Systems) | หนวยความจำเสมอน (Virtual Memory) | 35
Second-Chance (clock) Page-Replacement Algorithm วเชษฐ พลายมาศ | ระบบปฏบตการ (OS: Operating Systems) | หนวยความจำเสมอน (Virtual Memory) | 37
Operating System Examples n Windows NT n Solaris 2 วเชษฐ พลายมาศ | ระบบปฏบตการ (OS: Operating Systems) | หนวยความจำเสมอน (Virtual Memory) | 40
- Slides: 45