当前位置 博文首页 > Bing's Blog:工作集

    Bing's Blog:工作集

    作者:[db:作者] 时间:2021-06-19 09:45

    工作集

    @(OS)

    工作集是个动态的概念,但也是个经常被忽视的出题点。很多书上就寥寥几句话带过,根本不足以解决像2016年408的一道真题。在后面解释这个问题。

    首先为了讲清楚工作集,需要先明白几个替换算法。

    局部最佳页面替换算法

    类似于全局最佳替换算法,需要事先知道页面的引用串,再根据进程行为改变页面数量。
    思想:进程在t时刻访问某页面,如果该页面不在内存中,导致一次缺页。则把该页面装入一个空闲页框。无论是否发生缺页,算法在每一步需要考虑引用串,如果页面再时间间隔 (t,t+τ) 未被再次引用,那么就移出内存页面,否则该页被保留到进程的驻留集中,直到再次被引用。 τ 是一个系统常量,间隔 (t,t+τ) 称作滑动窗口。在任意时刻t,驻留集包含这个窗口中可见的那些页面,即:当前引用的页面,未来 τ 次内存访问引用的页面。实际窗口大小是 τ+1 .

    这就像我们说的最佳置换算法,是看未来时。实际上无法实现,但可以作为衡量其他替换算法是否优良的标准。

    工作集模型和工作集替换算法

    工作集替换算法是可实现的算法,只不过不是往前看,而是往后看。驻留集未规定用多少页框,而是动态增长的,当然在实际系统中肯定设置了上限,比如Windows中大概32MB或者其他。对于一个进程来说,不用考虑那么远,看当下如何替换即可。工作集窗口大小是一个时间概念,不是说动态集合分配的页框数。而是过去k次(不含当前)访问的页面记号。比如工作集窗口大小是3,那么一个访问串为:0,2,3,2,1,4

    则当访问页面4时,往前看3个,1,2,3在被窗口覆盖,因此驻留集中页面是3,2,1,当然现在4也要加入驻留集,什么时候被踢出去,要看窗口滑动。形象说来就是用一个挖了k个洞的尺子,紧跟在你当前要访问的页面屁股后面,当前的页面并未加入到驻留集,所以窗口还不含当前页面。在窗口内能看到的页面就是当前驻留集的内容。可以是看到2,2,2,2这样重复的,也就是一直访问的是同一个页面,因为驻留集要动态更新,窗口里就只能看到一个页面了,这个情况是OK的。

    理解到这里,问题将非常容易解决。

    这篇文章的主要出发点就是下面这个题目。

    (2016.29)某进程访问页面的序列如下:
    ...,1,3,4,5,6,0,3,2,3,2,t,0,4,0,3,2,9,1,... 若工作集窗口大小是6,则在t时刻的工作集为:A

    A. {6,0,3,2}
    B. {2,3,0,4}
    C. {0,4,3,2,9}
    D. {4,5,6,0,3,2}

    分析:由上面的理论储备,这题就是简单的小学题了。在t时刻往后看6个,页号是:6,0,3,2,3,2

    看到的就是这6个页号,即:6,0,3,2这四个页。那么驻留集就是这四个页。

    我想很多很多人会往前数6个不一样的,然后开心的选择D,实际这题就只考察了一个简单的概念:工作集窗口。