页面置换:OPT(最佳置换)
OPT 的定义、手算规则与常见考点(理论最优但不可实现)。
#resource / operating-system
#type / concept
#status / growing
[!info] related notes 操作系统 MOC 页面置换算法(OPT/FIFO/LRU/Clock)
页面置换:OPT(最佳置换)
一句话
缺页且页框已满时,淘汰“未来最长时间内不会再被访问”的那一页。
手算规则
给引用串 r[1..n] 和页框数 k:
- 命中:不缺页
- 缺页且未满:直接装入
- 缺页且已满:
- 对当前页框中的每一页,向后看它“下一次出现”的位置
- 选择下一次出现最晚的(或之后不再出现的)那一页淘汰
常考点
- OPT 是理论最优(缺页次数最少)
- 但现实系统无法实现 OPT:因为需要“未来信息”
- OPT 常作为对照基准:用来评估 FIFO/LRU/Clock 的好坏
高频陷阱
- “未来最长时间不再访问”不是“过去最久没用”(那是 LRU)
- 若某页之后再也不出现:它的下一次出现位置视作
+inf,优先淘汰