操作系统课件CCH09-virtual memory.pptVIP

Chapter 9 Virtual Memory Background（背景） Demand Paging（请求页式） Performance of Demand Paging（请求页式的性能） Page Replacement（页置换） Replacement Algorithms（页置换算法） Allocation of Frames （页框的分配） Thrashing（颠簸） Other Considerations（其他考虑） 9.1 Background 为了在内存空间运行超过内存总容量的大作业 或者同时运行大量作业 解决的方法是从逻辑上扩充内存容量 这就是虚拟存储技术所要解决的主要问题 9.1 Background 实现虚拟存储器要解决: 程序部分运行可以吗? 发现程序不在内存时,如何将其装入后继续运行? 内存无空间时怎么办? 9.1 Background Virtual memory is a technique that allows the execution of processes that may not be completely in memory.（虚拟内存是一种允许进程部分装入内存就可以执行的技术） principle of locality局部性原理?: 时间局部性，空间局部性 Only part of the program needs to be in memory for execution （只有运行的部分程序需要在内存中）. 程序的局部性原理 在一段时间内，程序的执行仅局限于某个部分；相应地，它所访问的存储空间也局限于某个区域内。 程序在执行时，除了少部分的转移和过程调用指令外，大多数仍是顺序执行的。 子程序调用将会使程序的执行由一部分内存区域转至另一部分区域。但在大多数情况下，过程调用的深度都不超过5。 程序中存在许多循环结构，循环体中的指令被多次执行。 程序中还包括许多对数据结构的处理，如对连续的存储空间——数组的访问，往往局限于很小的范围内。 时间局部性： 由于程序中存在着大量的循环操作 某条指令一旦执行，则不久该指令可能再次被执行； 某个存储单元被访问，则不久该存储单元可能再次被访问。 空间局部性： 由于程序的顺序执行 一旦程序访问了某个存储单元，则其附近的存储单元也最有可能被访问。 即程序在一段时间内所访问的地址，可能集中在一定的范围内 9.1 Background Logical address space can therefore be much larger than physical address space（逻辑地址空间能够比物理地址空间大）. Need to allow pages to be swapped in and out（必须允许页面能够被换入和换出）. 9.1 Background Virtual memory can be implemented via（虚拟内存能够通过以下方法来实现）: Demand paging （请求页式） Demand segmentation（请求段式） 虚拟存储器的特征 离散性:在内存分配时采用离散的分配方式，是虚拟存储器的最基本的特征。 多次性:一个作业被分成多次调入内存运行，即在作业运行时没有必要将其全部装入，只须将当前要运行的那部分程序和数据装入内存即可。是虚拟存储器最重要的特征。 对换性:作业运行过程中信息在内存和外存的对换区之间换进、换出。 虚拟性:从逻辑上扩充内存容量，使用户所看到的内存容量远大于实际内存容量。 9.2 Demand Paging 在分页系统的基础上，增加了请求调页功能、页面置换功能所形成的虚拟存储系统 需解决: 取页--将哪部分装入内存 置页--将调入的页放在什么地方 淘汰--内存不足时，将哪些页换出内存 9.2 Demand Paging Bring a page into memory only when it is needed（只有在一个页需要的时候才把它装入内存）. Less I/O needed（需要很少的I/O） Less memory needed （需要很少的内存） Faster response（快速响应） More users（多用户） Hardware Support invalid reference（无效的访问） ? abort（中止） not-in-memory（不在内存） ? bring to memory（换入内存） 9.2.1 Page table for demand paging 在分页的页表机制上形成 增加若干信息项，供程序(数据)在换进、换出时参考 状态位（存在位P）：指示该页是否已调入内存。 访问字段A：记录本页在一段时间内被