在页面置换算法中可实现的最有效的一种称为( )。