操作系统4 5虚拟存储管理

1主要内容：一、虚拟存储器的概念二、请求分页虚拟存储管理三、请求分段虚拟存储管理四、请求段页式虚拟存储管理4.5虚拟存储管理2一、虚拟存储器的概念(1)1、虚拟存储器的定义在具有层次结构存储器的计算机系统中，采用自动实现部分装入和部分对换功能，为用户提供一个比物理主存容量大得多的，可寻址的一种“主存储器”。虚拟存储器的容量取决于计算机的地址结构和可用的物理内存和外存的容量之和。3一、虚拟存储器的概念(2)逻辑地址空间处理器虚拟地址存储管理部件物理地址主存辅存物理地址空间虚拟存储器的概念图4一、虚拟存储器的概念(3)2、虚拟存储器引入的动机（1）存储管理分类连续存储管理：包括固定分区和可变分区离散存储管理：包括分页和分段实存管理：包括固定分区、可变分区、分页和分段虚存管理：包括请求分页、请求分段和请求段页从一个进程占用的内存区域数及连续性可分为从进程是否能够部分装入来分可分为5一、虚拟存储器的概念(4)（2）虚拟存储器的好处对于同样大小的内存空间，虚拟存储器可以比实存管理运行更多的进程，虚拟存储器还可以运行超过内存空间大小以及当前可用内存空间的大进程，内存利用率高、内存配置可以更经济。前面了解的各种存储管理方式都要求作业全部装入内存方可运行，如果内存空间不足以容纳作业时，该作业就不能运行。虚拟存储器允许进程部分装入即可运行，运行过程中进程的部分可以在内外存之间对换，从逻辑上扩充内存容量，使得程序员的编程空间大于内存容量。这就是虚拟存储管理的主要思想。6一、虚拟存储器的概念(5)（3）实现虚拟存储器的基础—程序执行的局部性原理程序执行的局部性是指在一段时间内，程序访问的存储空间仅限于某个区域（这称为空间局部性），或者最近访问过的程序代码和数据很快会再被访问（这称为时间局部性）。在较小的一段时间内，整个作业空间中只有某一局部模块的指令和数据会被执行和访问到。作业其它部分暂时不会访问到。这就允许这部分暂时不用的作业部分不必占据内存空间,可以先留在外存上，待以后需要访问时再装入内存。7一、虚拟存储器的概念(6)内存中一些暂时不用的部分还可以临时调出到外存上，这样就可将内存空间优先分配给当前急需使用的作业进程，能够提高内存利用率。8一、虚拟存储器的概念(7)（4）与局部性相关的代码和数据结构第一、程序中只有少量分支和过程调用，大都是顺序执行的指令；第二、程序含有若干循环结构，由少量代码组成，而被多次执行；第三、过程调用的深度限制在小范围内，因而，指令引用通常被局限在少量过程中；第四、涉及数组、记录之类的数据结构，对它们的连续引用是对位置相邻的数据项的操作；第五、程序中有些部分彼此互斥，不是每次运行时都用到。9一、虚拟存储器的概念(8)3、实现虚拟存储器需要解决的问题（1）主存辅存统一管理问题（2）逻辑地址到物理地址的转换问题（3）部分装入和部分对换问题虚拟存储器的实现技术主要有（1）请求分页式（2）请求分段式（3）请求段页式虚拟存储管理10二、请求分页虚拟存储管理(1)1、请求分页虚拟存储系统基本原理在进程开始运行之前，不是装入全部页面，而是装入一个或几个页面，进程运行过程中，访问的页面不在内存时，再装入所需页面；若内存空间已满，而又需要装入新的页面时，则根据某种算法淘汰某个页面，以便装入新的页面。因此请求分页系统的页表机制需要记住页面是否在内存，若不在内存则在外存什么位置。11二、请求分页虚拟存储管理(2)2、请求分页系统的页表结构页表分为内存页表和外页表。（1）内存页表在实存页表基础上增加调页、淘汰页有关的标志位，页表如下：页号物理块号驻留标志位引用位R修改位M访问权限位驻留标志位—又称中断位，状态位，指示页面是否在内存引用位R—指示页面最近是否被访问过，帮助页面淘汰修改位M—指示页面最近是否被修改过，决定页面调出内存时是否写回外存访问权限位—规定页面的访问权限12二、请求分页虚拟存储管理(3)（2）外页表是页面与磁盘物理地址的对应表，由操作系统管理，进程启动运行前系统为其建立外页表，并把进程程序页面装入辅存。该表按进程页号的顺序排列，为节省主存，外页表可存放在磁盘中，当发生缺页中断需要查用时才被调入。外页表结构如下：页号外存地址13二、请求分页虚拟存储管理(4)3、分页式虚拟存储系统的硬件支撑需要内存管理部件MMUMMU通常由一个或一组芯片组成，它接受虚拟地址（逻辑地址）作为输入，输出物理地址。（分页系统也需要）14二、请求分页虚拟存储管理(5)CPUMMU内存CPU把逻辑地址送至MMUMMU把物理地址送至主存MMU的位置、功能和16个4KB页面情况下MMU的内部操作CPU送入的逻辑地址(8196)0010000000000100110000000000100MMU送出的物理地址00101100112110130001410015011160000700008101190000…

页号页框号在主存否15二、请求分页虚拟存储管理(6)MMU的主要功能主要有：①管理硬件页表寄存器：负责装入将要占用处理器的进程的页表。②分解逻辑地址为页号和页内地址③管理快表：查找快表、装入表目和清除表目④访问页表⑤当要访问的页面不在内存时发出缺页中断，页面访问越界时发出越界中断。⑥设置和检查页表中的引用位、修改位、有效位和保护权限位等各个特征位16二、请求分页虚拟存储管理(7)缺页中断与普通中断的差异（小问题，忽略不影响主题内容的完整性，但考研可能会涉及特殊的、陌生的概念和问题）：（1）普通中断在两条指令之间才会响应；缺页中断涉及的指令在执行期间（例如开头，甚至取不到指令或数据）就需要响应缺页中断。17二、请求分页虚拟存储管理(8)将要顺序执行的下一条指令位于不在内存的页1上，PC指向的指令地址超过了页0的范围，该地址位于页1上。页0在内存页1不在内存MEMADDAX，BXMOV0::MEM,AX0页倒数第2条指令0页最后一条指令ADDAX，1:DATA2DATA21页第1条指令18二、请求分页虚拟存储管理(9)（2）当指令本身或者指令所处理的数据跨页时，在执行一条指令的过程中可能发生多次缺页中断。数据跨页：该条指令访问了不在内存的页1中的数据，发生缺页中断，调入页面后，该条指令需要重新执行。MOVAX，0::DATA1ADDAX，1:DATA2页0在内存DATA1MOVCX,1:DATA2页1不在内存DATA219二、请求分页虚拟存储管理(10)指令跨页：指令ADDAX，2:DATA2跨越了页0和页1，页1不在内存，发生缺页中断，调入页面1后，该条指令需要重新执行。数据DATA2不在内存，再次缺页中断，调入页2，该条指令再次重新执行。页0在内存DATA1ADDDX，2:DATA2页1不在内存ADDAX，2:DATA2DATA2页2不在内存20二、请求分页虚拟存储管理(11)4、请求分页的地址变换过程当进程被调度到CPU上运行时，操作系统自动把该进程PCB中的页表始址装入到硬件页表基址寄存器中，此后，进程开始执行并要访问某个虚拟地址，内存管理部件MMU开始工作：①MMU接受CPU传送过来的虚地址并分解为两部分：页号和页内地址；②以页号为索引搜索快表；③如果命中快表，则立即送出物理块号（页框号），并与页内地址拼接形成物理地址，然后访问相应内存单元；21二、请求分页虚拟存储管理(12)④如果不命中快表，则以页号为索引搜索内存页表，页表的基址由硬件页表寄存器指出；⑤在页表中查找相应表项，如果其状态位指示该页已在内存，则送出物理块号与页内地址拼接形成物理地址访问相应内存单元，同时要将该表项装入快表；⑥如果在页表中找到的相应表项，其状态位指示该页不在内存，则发出缺页中断，请求操作系统处理；⑦存储管理软件将所缺页面调入内存，修改页表。22二、请求分页虚拟存储管理(13)5、缺页中断处理过程步1挂起请求缺页的进程；步2根据页号查外页表，找到该页存放的磁盘物理地址；步3查看主存是否有空闲页框，如有则找出一个，修改主存管理表和相应页表项内容，转步6；，步4如主存中无空闲页框，按替换算法选择淘汰页面，检查它曾被写过或修改过吗？若未则转步6；若是则转步5；23二、请求分页虚拟存储管理(14)步5该淘汰页面被写过或修改过，则把它的内容写回磁盘原先位置；步6进行调页，把页面装入主存所分配的页框中，同时修改进程页表项；步7返回进程断点，重新启动被中断的指令。24二、请求分页虚拟存储管理(15)概括：①查看内存是否有空闲物理块，如有则可以装入页面到空闲物理块，同时修改页表相应项以及内存分配表；②如果内存中没有空闲物理块，则按替换算法选择一个页面淘汰，若该页面被写过或修改过，则写回外存，否则只简单淘汰该页面。淘汰页面之后要修改页表相应项，然后调入页面到淘汰页面释放的物理块中。25二、请求分页虚拟存储管理(16)逻辑地址空间主存(用户区)CPU逻辑地址快表主存(系统区)运行进程页表辅存缺页中断处理①分解地址③⑤访问MMU②查快表③命中④不命中⑤页表命中⑦发缺页中断⑧调页⑨装入、改表④查页表运行进程页表基址⑥装入快表运行进程映象进程切换时装入物理地址页框页内地址页号页内地址对象(实体):CPU(包含MMU,快表,页表寄存器)内存:存放页表和进程实体辅存:存放外页表和进程实体26二、请求分页虚拟存储管理(17)6、页面装入策略和清除策略页装入策略决定何时把一个页面装入内存,有两种策略：请页式调入和预调式调入。（1）请页式调入在需要访问程序和数据时,才把所在页面装入主存。缺点是处理缺页中断和调页的系统开销较大，每次仅调一页，增加了磁盘I/O次数。27二、请求分页虚拟存储管理(18)（2）预调式调入由系统预测进程将要使用的页面,使用前预先调入主存,每次调入若干页面,而不是仅调一页。一次调入多页能减少磁盘I/O启动次数,节省寻道和搜索时间。28二、请求分页虚拟存储管理(19)清除策略考虑何时把一个修改过的页面写回外存,常用的方法是:请页式清除和预约式清除。（1）请页式清除是仅当一页选中被替换，且之前它又被修改过，才把这个页面写回辅存。（2）预约式清除对所有更改过的页面，在需要之前就把它们都写回外存。29二、请求分页虚拟存储管理(20)7、页面分配策略（1）页面分配策略主要有两种：固定分配和可变分配。固定分配使进程在生命周期中保持固定数目的物理块。进程创建时，根据进程类型和程序员的要求决定页框数。固定分配时，每个进程物理块的分配方式主要有：平均分配、比例分配、优先权分配。30二、请求分页虚拟存储管理(21)进程分得的页框数可变，称可变分配。进程执行的某阶段缺页率较高，说明目前局部性较差，系统可多分些页框以降低缺页率，反之说明进程目前的局部性较好，可减少分给进程的页框数。31二、请求分页虚拟存储管理(22)（2）页面替换策略有两种：局部替换和全局替换。局部替换在进程发生缺页时仅从该进程的物理块中淘汰页面，以调入所缺页面；全局替换则在进程发生缺页时可从系统中任一进程的物理块中淘汰页面。32二、请求分页虚拟存储管理(23)（3）页面分配和替换常用的组合策略有三种：固定分配局部置换可变分配全局置换可变分配局部置换经验表明：对每个程序，要使其有效工作，它在主存中的页面数不应低于它的总页面数的一半。33二、请求分页虚拟存储管理(24)可变分配全局置换先为每个进程分配一定数目页框，OS保留若干空闲页框进程发生缺页中断时，从系统空闲页框中选一个给进程，这样产生缺页中断进程的主存空间会逐渐增大，有助于减少系统的缺页中断次数。系统拥有的空闲页框耗尽时，会从主存中选择一页淘汰，该页可以是主存中任一进程的页面，这样又会使那个进程的页框数减少，缺页中断率上升。34二、请求分页虚拟存储管理(25)可变分配局部置换其实现要点：(1)新进程装入主存时，根据应用类型、程序要求，分配给一定数目页框，可用请页式或预调式完成这个分配。(2)产生缺页中断时，从该进程驻留页面集中选一个页面替换。(3)不时重新评价进程的缺页率，增加或减少分配给进程的页框以改善系统性能。35二、请求分页虚拟存储管理(26)8、缺页中断率（1）抖动的概念在请求分页虚拟存储管理机制中，刚被淘汰的页面立即又要访问，而调入不久即被淘汰，淘汰不久再被调入，如此反复，使得系统的页面调度非常频繁，以致大部分时间消耗在页面调度上，而不是执行计算任务，这种现象称为“抖动”。36二、请求分页虚拟存储管理(27)（2）缺页中断率假定进程P共计n页，该进程分得的主存块为m块（１≤m≤n）。如果进程P在运行中成功的访问次数为S，不成功的访问次数为F，则总的访问次数Ａ为：A=S+F定义：f=F/A称f为缺页中断率。37二、请求分页虚拟存储管理(28)影响缺页中断率f的因素有：(1)主存页框数：多则低，少则高。(2)页面大小：大则低，小则高。(3)页面替换算法：优劣决定缺页率。(4)程序特性：局部性要好。38二、请求分页虚拟存储管理(29)程序局部性例子程序将数组置为“0”，假定仅分得一个主存块，页面尺寸为128个字，数组元素按行存放，开始时第一页在主存。intA[128][128];for(intj=0;j<128;j++)for(inti=0;i<128;i++)A[i][j]=0;按列访问，缺页中断次数为128×128-1intA[128][128];for(inti=0;i<128;i++)for(intj=0;j<128;j++)A[i][j]=0;按行访问，缺页中断次数为128-139二、请求分页虚拟存储管理(30)A0,0A0,1……A0,126A0,127A1,0A1,1……A1,126A1,127…………………………A126,0A126,1……A126,126A126,127A127,0A127,1……A127,126A127,127A0,0A0,1……A0,126A0,127数组主存块011261270112612701126127如果按行访问，第0行事先以非中断的方式装入内存，只有其余127行以缺页中断方式装入内存。40二、请求分页虚拟存储管理(31)A0,0A0,1……A0,126A0,127A1,0A1,1……A1,126A1,127…………………………A126,0A126,1……A126,126A126,127A127,0A127,1……A127,126A127,127A0,0A0,1……A0,126A0,127数组主存块011261270112612701126127如果按列访问，每访问一个元素需要装入一行元素，但仅能访问其中一个元素。例如访问A0,0需装入第0行，接下来访问A1,0就需要装入第1行，…，将来再访问第0行的其它元素，如A0,1等，则需要再次装入第0行。缺页中断次数与元素数一样多，除了第0个元素。41二、请求分页虚拟存储管理(32)9、局部页面替换策略及其全局页面替换扩展最佳页面算法(OPT)先进先出页面淘汰算法(FIFO)最近最久未使用页面淘汰算法(LRU)第二次机会页面替换算法Clock置换算法这些算法都是基于系统对物理块的分配策略采用固定分配局部置换。42二、请求分页虚拟存储管理(33)（1）最佳页面算法（OPT）调入一页而必须淘汰一个旧页时，所淘汰的页应该是以后不再访问的页或距现在最长时间后再访问的页。OPT可用于衡量各种具体算法的标准。例：某程序在内存中分配三个页面，初始为空，页面走向为4，3，2，1，4，3，5，4，3，2，1，5。用最佳页面算法分析页面置换过程。二、请求分页虚拟存储管理(34)443432432143543215431435235215共缺页中断7次44二、请求分页虚拟存储管理(35)最佳页面算法（OPT）的全局替换扩展调入一页而必须淘汰一个旧页时，所淘汰的页应该是所有进程中以后不再访问的页或距现在最长时间后再访问的页。该进程获得的主存块逐渐增多，缺页中断率逐渐下降。理论上，全局最佳页面替换算法性能优于局部最佳页面替换算法性能。45二、请求分页虚拟存储管理(36)（2）先进先出页面淘汰算法(FIFO)算法总是淘汰最先调入主存的那一页，或者说在主存中驻留时间最长的那一页（常驻的除外）。例：某程序在内存中分配三个页面，初始为空，页面走向为4，3，2，1，4，3，5，4，3，2，1，5。用先进先出页面算法分析页面置换过程。二、请求分页虚拟存储管理(37)443432432143543215132142143543523521共缺页中断9次47二、请求分页虚拟存储管理(38)先进先出页面淘汰算法(FIFO)的全局扩展算法总是淘汰所有进程中最先调入主存的那一页，或者说在主存中驻留时间最长的那一页。记住页面驻留内存时间长短的方法类似于上述方法。对于FIFO算法，增加进程主存块数，缺页中断率可能不降反升。48二、请求分页虚拟存储管理(39)页缓冲技术是对FIFO替换算法的一种改进，策略如下：在页缓冲中，淘汰了的页面进入两个队列：修改页面和非修改页面队列。修改页面队列中的页不时地成批写出并加入到非修改页面队列；非修改页面队列中的页面，当它被再次引用时回收，或者淘汰掉以作替换。49二、请求分页虚拟存储管理(40)123修改页面队列456非修改页面队列456非修改页面队列123修改页面队列空图1、页缓冲写回修改页面前的状态123图2、页缓冲写回修改页面后的状态非修改页面队列中的内存块要么未修改过，要么已保存到外存，以后可直接覆盖其中信息456外存50二、请求分页虚拟存储管理(41)（3）最近最久未使用页面淘汰算法(LRU)算法淘汰的页面是在最近一段时间里较久未被访问的那页。例：某程序在内存中分配三个页面，初始为空，页面走向为4，3，2，1，4，3，5，4，3，2，1，5。用最近最久未使用页面算法分析页面置换过程。二、请求分页虚拟存储管理(42)443432432143543215共缺页中断10次13214214354324321321552二、请求分页虚拟存储管理(43)最近最久未使用页面淘汰算法(LRU)的几种实现方法：方法1—引用位法每页设置一个引用标志位R，访问某页时，由硬件将页标志位R置1，隔一定时间t将所有页的标志R均清0。发生缺页中断时，从标志位R为0的页中挑选一页淘汰。挑选到要淘汰的页后，也将所有页的标志位R清0。t太大，缺页中断时，所有标志位为1；t太小，缺页中断时，所有标志位为053二、请求分页虚拟存储管理(44)方法2—计数器法每个页面设置一个计数器，又叫最不常用页面替换算法LFU。每当访问一页时，就使它对应的计数器加１。当发生缺页中断时，可选择计数值最小的对应页面淘汰，并将所有计数器全部清０。上述几种方法均只是对最近最久未使用页面淘汰算法(LRU)的近似实现，这些方法在某一页访问频率较高时，很难精确地记住其它页面最近访问的情况。54二、请求分页虚拟存储管理(45)方法3—计时器法为每个页面设置一个计时器，每当页面被访问时，系统的绝对时间记入计时器。比较各页面的计时器的值，选最小值的未使用的页面淘汰，因为，它是最“老”的未使用的页面。55二、请求分页虚拟存储管理(46)（4）第二次机会页面替换算法改进FIFO算法，把FIFO与页表中的”引用位”结合起来使用：

•检查FIFO中的队首页面(最早进入主存页面)，如果它的”引用位”是0，这个页面既老又没有用，选择该页面淘汰；

•如果”引用位”是1，说明它进入主存较早，但最近仍在使用。把它的”引用位”清0，并把这个页面移到队尾，把它看作是一个新调入的页。

•算法含义：最先进入主存的页面，如果最近还在被使用的话，仍然有机会作为像一个新调入页面一样留在主存中。56二、请求分页虚拟存储管理(47)（5）时钟页面替换算法算法实现要点：一个页面首次装入主存，其“引用位”置1

。主存中的任何页面被访问时，”引用位”置1。淘汰页面时，从指针当前指向的页面开始扫描循环队列，把遇到的”引用位”是1的页面的”引用位”清0，跳过这个页面；把所遇到的”引用位”是0的页面淘汰掉，指针推进一步。57二、请求分页虚拟存储管理(48)扫描循环队列时，如果遇到的所有页面的”引用位”为1，指针就会绕整个循环队列一圈，把碰到的所有页面的”引用位”清0；指针停在起始位置，并淘汰掉这一页，然后，指针推进一步。注意：在扫描队列时，缺页进程处于挂起状态，不可能再访问页面，因此进程不会使页面的访问状态发生改变，只有扫描页面访问状态的系统内核才会改变页面访问状态位。因此，页面引用位不会被并发访问。58二、请求分页虚拟存储管理(49)时钟页面替换算法的改进算法把”引用位”和”修改位”结合起来使用，共组合成四种情况：(1)最近没有被引用，没有被修改(r=0，m=0)(2)最近被引用，没有被修改(r=1，m=0)(3)最近没有被引用，但被修改(r=0，m=1)(4)最近被引用过，也被修改过(r=1，m=1)59二、请求分页虚拟存储管理(50)步1：选择最佳淘汰页面，从指针当前位置开始，扫描循环队列。扫描过程中不改变”引用位”，把找到的第一个r=0，m=0的页面作为淘汰页面。步2：如果步1失败，再次从原位置开始，查找r=0且m=1的页面，把找到的第一个这样的页面作为淘汰页面，而在扫描过程中把指针所扫过的页面的”引用位”r置0。步3：如果步2失败，指针再次回到了起始位置，由于此时所有页面的”引用位”r均己为0，再转向步1操作，必要时再做步2操作，这次一定可以挑出一个可淘汰的页面。60二、请求分页虚拟存储管理(51)10、局部页面替换算法的工作集模型（1）工作集—在某一段时间间隔内进程运行所需访问的页面集合。工作集是为确保每个进程每一时刻能够执行下去，在物理存储器中必须有的最少页面数。61二、请求分页虚拟存储管理(52)（2）局部最佳页面替换算法实现思想：在时刻t，对进程即将访问的页面决定是否进行装入处理；对于已访问且在内存的历史页面集合S决定是否进行淘汰处理。对于即将访问的页面P，如果P不在主存中，则导致一次缺页中断，把该页面P装入一个空闲页框。对于已访问且在内存的历史页面集合S，如果页面X∈S在时间间隔(t，t+τ)内不会被再次引用，那么就移出。62二、请求分页虚拟存储管理(53)τ为一个系统常量，间隔(t，t+τ)称作滑动窗口。这里分给进程的页框数不是固定的。算法实例：例子中τ=3。开始时P4已被装入。每一时刻的动作规则：1）在时刻t，若需访问页P，而P不在内存，则装入P到内存；2）在时间段t~t+

内，若已在内存的页面X在这段时间内不被访问，则淘汰页面X。63二、请求分页虚拟存储管理(54)时刻t012345678910引用串P4P3P3P4P2P3P5P3P5P1P4P1--P2--P3-√P4√√P5--装入P3淘汰

=3滑动窗口(1,1+3)即时间段1-4的工作集W={P2,P3,P4}t=1√为驻留集M={P3,P4},M-W=

,不从M中淘汰页64二、请求分页虚拟存储管理(55)时刻t012345678910引用串P4P3P3P4P2P3P5P3P5P1P4P1---P2---P3-√√P4√√√P5---装入P3淘汰

=3滑动窗口(2,2+3)即时间段2-5的工作集W={P2,P3,P4}t=2√为驻留集M={P3,P4},M-W=

,不从M中淘汰页65二、请求分页虚拟存储管理(56)时刻t012345678910引用串P4P3P3P4P2P3P5P3P5P1P4P1----P2----P3-√√√P4√√√√P5----装入P3淘汰

=3滑动窗口(3,3+3)即时间段3-6的工作集W={P2,P3,P4,P5}t=3√为驻留集M={P3,P4},M-W=

,不从M中淘汰页66二、请求分页虚拟存储管理(57)时刻t012345678910引用串P4P3P3P4P2P3P5P3P5P1P4P1-----P2----√P3-√√√√P4√√√√-P5-----装入P3P2淘汰P4滑动窗口(4,4+3)即时间段4-7的工作集W={P2,P3,P5}t=4,

=3淘汰页=时刻3的驻留集M3-W={P3,P4}-{P2,P3,P5}={P4}时刻4的驻留集M4=(M3-淘汰页)∪{装入页}=({P2,P3}67二、请求分页虚拟存储管理(58)时刻t012345678910引用串P4P3P3P4P2P3P5P3P5P1P4P1------P2----√-P3-√√√√√P4√√√√--P5------装入P3P2淘汰P4P2τ=3P2在滑动窗口（5，5+3）内将不被访问，淘汰t=5√为驻留集={P3}68二、请求分页虚拟存储管理(59)时刻t012345678910引用串P4P3P3P4P2P3P5P3P5P1P4P1-------P2----√--P3-√√√√√√P4√√√√---P5------√装入P3P2P5淘汰P4P2τ=3滑动窗口（6，6+3）t=6√为驻留集={P3,P5}69二、请求分页虚拟存储管理(60)时刻t012345678910引用串P4P3P3P4P2P3P5P3P5P1P4P1--------P2----√---P3-√√√√√√√P4√√√√----P5------√√装入P3P2P5淘汰P4P2τ=3滑动窗口（7，7+3）t=7√为驻留集={P3,P5}70二、请求分页虚拟存储管理(61)时刻t012345678910引用串P4P3P3P4P2P3P5P3P5P1P4P1---------P2----√----P3-√√√√√√√-P4√√√√-----P5------√√√装入P3P2P5淘汰P4P2P3τ=3P3在滑动窗口（8，8+3）内将不被访问，淘汰t=8√为驻留集={P5}71二、请求分页虚拟存储管理(62)时刻t012345678910引用串P4P3P3P4P2P3P5P3P5P1P4P1---------√P2----√-----P3-√√√√√√√--P4√√√√------P5------√√√-装入P3P2P5P1淘汰P4P2P3P5τ=3P5在滑动窗口（9，9+3）内将不被访问，淘汰t=9√为驻留集={P1}72二、请求分页虚拟存储管理(63)时刻t012345678910引用串P4P3P3P4P2P3P5P3P5P1P4P1---------√-P2----√------P3-√√√√√√√---P4√√√√------√P5------√√√--装入P3P2P5P1P4淘汰P4P2P3P5P1τ=3P1在滑动窗口（10，10+3）内将不被访问，淘汰t=10√为驻留集={P4}73二、请求分页虚拟存储管理(64)（3）请求分页虚拟存储管理的目标在局部性假定下，找出最近一段时间内进程要访问的页面即工作集并加载到内存，这样，近期，该进程不会发生缺页中断；最近一段时间过去后，进程在接下来的一段时间内要访问的页面集合即工作集可能不同于先前的工作集，这时才会发生缺页中断，缺页中断发生时，将下一时间段的工作集一次性装入内存，进程在下一时间段也不会再发生缺页中断。74二、请求分页虚拟存储管理(65)（4）工作集的缺页中断特征在工作集模型下，缺页中断不是以页为单位发生，而是以工作集为单位发生，当工作集发生变化时，才会发生一次缺页中断。而工作集是由若干页面构成的。75二、请求分页虚拟存储管理(66)（5）工作集模型工作集模型用来对局部最佳页面替换算法进行模拟实现，不向前查看页面引用串，而是基于程序局部性原理向后看。任何给定时刻，进程不久的将来所需主存页框数，可通过考查其过去最近的时间内的主存需求做出估计。76二、请求分页虚拟存储管理(67)作业占用的主存块数目小于工作集，运行中会不断出现缺页中断，为保证作业有效运行，应该根据工作集大小分给它主存块，以保证工作集中所需要的页面能够进入主存。为了避免系统发生抖动，就应该限制系统内的作业数，使它们的工作集总尺寸不超过主存块总数。77二、请求分页虚拟存储管理(68)工作集和工作集窗口进程工作集指“在某一段时间间隔内进程运行所需访问的页面集合”。用W(t,△)表示从时刻t-△到时刻t之间所访问的页面的集合；△是时间窗口尺寸。W(t,△)就是作业在时刻t的工作集，表示在最近△个时间单位内进程所引用过的页面的集合；∣W(t,△)∣表示工作集中的页面数目，称工作集尺寸。78二、请求分页虚拟存储管理(69)如果系统能随∣W(t,△)∣的大小来分配主存块，就既能有效利用主存，又可使缺页中断尽量少地发生，或者说程序要有效运行，其工作集必须在主存中。工作集W是t的函数，随时间不同，工作集也不同。其一是不同时间的工作集包含的页面数可能不同(工作集尺寸不同)；其二是不同时间的工作集包含的页面可能不同(页面内容不同)。工作集W又是工作集窗口尺寸△的函数，而且工作集尺寸∣W（t，△）∣是工作集窗口尺寸△的非递减函数。79二、请求分页虚拟存储管理(70)正确选择工作集窗口尺寸如果△过大，甚至把作业地址空间全包括在内，就成了实存管理如果△过小，则会引起频繁缺页，降低了系统的效率。实例：工作集窗口尺寸△=3。在时刻t=-2，P5被引用；在时刻t=-1，P4被引用。在时刻t=0，初始工作集为(P1，P4，P5)。80二、请求分页虚拟存储管理(71)时刻t-2-1012345678910引用串P5P4P1P3P3P4P2P3P5P3P5P1P4P1-P2-P3-P4-P5√装入P5淘汰窗口（-2-3，-2）81二、请求分页虚拟存储管理(72)时刻t-2-1012345678910引用串P5P4P1P3P3P4P2P3P5P3P5P1P4P1--P2--P3--P4-√P5√√装入P5P4淘汰窗口（-1-3，-1）82二、请求分页虚拟存储管理(73)时刻t-2-1012345678910引用串P5P4P1P3P3P4P2P3P5P3P5P1P4P1--√P2---P3---P4-√√P5√√√装入P5P4P1淘汰窗口（0-3，0）83二、请求分页虚拟存储管理(74)时刻t-2-1012345678910引用串P5P4P1P3P3P4P2P3P5P3P5P1P4P1--√√P2----P3---√P4-√√√P5√√√√装入P5P4P1P3淘汰窗口（1-3，1）84二、请求分页虚拟存储管理(75)时刻t-2-1012345678910引用串P5P4P1P3P3P4P2P3P5P3P5P1P4P1--√√√P2-----P3---√√P4-√√√√P5√√√√-装入P5P4P1P3淘汰P5窗口（2-3，2）85二、请求分页虚拟存储管理(76)时刻t-2-1012345678910引用串P5P4P1P3P3P4P2P3P5P3P5P1P4P1--√√√√P2------P3---√√√P4-√√√√√P5√√√√--装入P5P4P1P3淘汰P5窗口（3-3，3）86二、请求分页虚拟存储管理(77)时刻t-2-1012345678910引用串P5P4P1P3P3P4P2P3P5P3P5P1P4P1--√√√√-P2------√P3---√√√√P4-√√√√√√P5√√√√---装入P5P4P1P3P2淘汰P5P1窗口（4-3，4）87二、请求分页虚拟存储管理(78)时刻t-2-1012345678910引用串P5P4P1P3P3P4P2P3P5P3P5P1P4P1--√√√√--P2------√√P3---√√√√√P4-√√√√√√√P5√√√√----装入P5P4P1P3P2淘汰P5P1窗口（5-3，5）88二、请求分页虚拟存储管理(79)时刻t-2-1012345678910引用串P5P4P1P3P3P4P2P3P5P3P5P1P4P1--√√√√---P2------√√√P3---√√√√√√P4-√√√√√√√√P5√√√√----√装入P5P4P1P3P2P5淘汰P5P1窗口（6-3，6）89二、请求分页虚拟存储管理(80)时刻t-2-1012345678910引用串P5P4P1P3P3P4P2P3P5P3P5P1P4P1--√√√√----P2------√√√√P3---√√√√√√√P4-√√√√√√√√-P5√√√√----√√装入P5P4P1P3P2P5淘汰P5P1P4窗口（7-3，7）90二、请求分页虚拟存储管理(81)时刻t-2-1012345678910引用串P5P4P1P3P3P4P2P3P5P3P5P1P4P1--√√√√-----P2------√√√√-P3---√√√√√√√√P4-√√√√√√√√--P5√√√√----√√√装入P5P4P1P3P2P5淘汰P5P1P4P2窗口（8-3，8）91二、请求分页虚拟存储管理(82)时刻t-2-1012345678910引用串P5P4P1P3P3P4P2P3P5P3P5P1P4P1--√√√√-----√P2------√√√√--P3---√√√√√√√√√P4-√√√√√√√√---P5√√√√----√√√√装入P5P4P1P3P2P5P1淘汰P5P1P4P2窗口（9-3，9）92二、请求分页虚拟存储管理(83)时刻t-2-1012345678910引用串P5P4P1P3P3P4P2P3P5P3P5P1P4P1--√√√√-----√√P2------√√√√---P3---√√√√√√√√√√P4-√√√√√√√√---√P5√√√√----√√√√√装入P5P4P1P3P2P5P1P4淘汰P5P1P4P2窗口（10-3，10）93二、请求分页虚拟存储管理(84)工作集模型的实质当△=3时，分给进程的物理块数最多为4块。工作集模型实质上属于基于可变分配局部替换的先进先出算法