假设页表项如下,其实可能更复杂,还有更多标记。
页号,物理块号,存在位,修改位,使用位,,,,
假设操作系统给这个进程2个物理块,0块和1块,那么可以组成一个时钟形状的循环队列。0-1-0(环状)
时钟置换算法运作过程如下:
假设
此时使用位情况:0-1,1-1;
指针位置:0(初始化假设)
开始,0块使用位为1,不可置换,但是这次把它的使用位变为0,以免一直是1发生死循环。又假设指针顺时针转动,那么指针后移之后到了1块,此时还是使用位为1,不可置换,同样修改其使用位为0,后移又到了0块,这次使用位为0,可以置换,然后将新页面放进来,占用0块,并且修改其使用位为1.
此时使用位情况:0-1,1-0;
指针位置:0
又假设:
1.下次又缺页,
指针在0,使用位是1,使用位改0,后移到1,使用位是0,置换,使用位改1。
最终使用位情况:0-0,1-1
指针位置:1
2.下次不缺页,访问1块
访问了1块,要修改1块的使用位。
最终使用位情况:0-1,1-1
指针位置:0(不变)
总结。可以发现,clock算法的特点。
对于1发生后,下次如果又缺页要置换,置换的是0块,有LRU的特性(前一次置换了1块,使用了,所以这次不置换1块)。
对于2发生后,下次如果又缺页要置换,置换的是0块,有LRU的特性(前一次使用了1块,使用了,所以这次不置换1块)。
也即最近使用了的或者置换了进来的页面使用位会被修改为1,那么下次发生置换的时候,不容易发生在它的身上。
但又和LRU不同,
假设在在2后,访问0块。
最终使用位情况:0-1,1-1(不变)
指针位置:0(不变)
如果下次访问页面的时候缺页要求置换,那么按LRU,应该是1被置换,因为刚刚访问了0,但是根据CLOCK,由于指针位置为0,一圈下来,应该是0被置换。所以这两者算法执行结果是不一样的。
LRU是缺点是要维护一个栈,系统需要的工作是把那个栈排来排去的,但是这个算法很好用,一般缺页率比较低。但是CLOCK更加容易实现,开销没有那么大,而且算法也还蛮好用。