页面置换程序化模拟

本课针对 408 全真卷中的 页面置换程序化模拟。目标是既能在两分单选中快速排除，也能在十分综合题中保留完整过程。

考纲模型

LRU 的状态是当前驻留页及其最近访问次序；命中时更新次序，缺页且已满时淘汰最久未用页。

先定义变量、单位、初始状态与不变量。遇到结构题画字段，遇到时序题画时间线，遇到算法题写输入输出和终止条件。结论必须由题设推出，不能依赖背过的某一道题。

综合推演

对每次访问依次执行查找、计数、更新，不能先按频次排序。页框数为0不属于正常题设，应明确要求大于0。

书写顺序固定为：规则或公式、参数代入、中间状态、最终结论。计算完成后做数量级与边界检查；代码实现还要验证空图、不可达、重复访问和最小规模。

高频失分点

LRU不是LFU；访问次数多但很久未访问的页仍可能被淘汰。

全真训练中，选择题最多用反例与量词检查；综合题即使最后数值错误，也要保留可评分的中间式、状态表和复杂度。代码题必须真运行，不接受只覆盖样例的硬编码。

课后验收

完成本课单选、多选和综合应用题。单选解释三个错误项，多选不得漏选；计算保留单位，文本按要点作答，代码必须通过四个独立测试。次日遮住答案重做，并记录耗时。