个人猜想:对于FIFO或退化成FIFO的算法,物理页帧从2(记为A)→3(记为B)的过程不会出现Belady现象。
理由是:考察Belady现象出现的实例,可知出现该现象时,要引入一块使得A的逻辑块不包含于B的逻辑块是出现该现象的先决条件,这种情况只可能在调整A替换队列里后面为B接下来要替换的块后,A中由于先一步缺页引进的逻辑块替换成双方都没有的逻辑块时才会出现。
也就是说,A里由a1、a3变为a1、;B中由a1、a2、a3变为a2、a3、
,而这时A已经比B多缺页一次,这种一个逻辑块的差异却只能给A带来减少一次缺页的收益,因此再怎样也无法使A的缺页次数小于B