From 4e4fa6cf82c407bb11b1595de8d575ceba631990 Mon Sep 17 00:00:00 2001 From: Yifan Wu Date: Tue, 25 Apr 2023 22:55:04 +0800 Subject: [PATCH] update ch4 --- source/chapter4/0intro.rst | 2 +- source/chapter4/7more-as.rst | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/source/chapter4/0intro.rst b/source/chapter4/0intro.rst index 6c1d1af7..171b2aaf 100644 --- a/source/chapter4/0intro.rst +++ b/source/chapter4/0intro.rst @@ -84,7 +84,7 @@ 2. 按需分页（demand paging）：由硬件地址转换触发缺页中断后，由操作系统将缺失的数据页移动到主存储器中，并形成正确的地址转换映射。 3. 页面置换算法：检查最无用（least useful）的页，并将其移回二级存储中，这样可以让经常访问的数据驻留在主存中。 - 计算机科学家给与了 Atlas Supervisor 操作系统高度的评价。Brinch Hansen 认为它是操作系统史上最重大的突破。Simon Lavington 认为它是第一个可识别的现代操作系统。 + 计算机科学家对 Atlas Supervisor 操作系统给予高度的评价。Brinch Hansen 认为它是操作系统史上最重大的突破。Simon Lavington 认为它是第一个可识别的现代操作系统。 实践体验 ----------------------- diff --git a/source/chapter4/7more-as.rst b/source/chapter4/7more-as.rst index b0a17954..6d6f5cfb 100644 --- a/source/chapter4/7more-as.rst +++ b/source/chapter4/7more-as.rst @@ -321,7 +321,7 @@ Belady异常现象 我们通常理解，当一个任务的物理页帧数量变大时，访存的命中率是会提高的。但在上面的例子中，命中率反而下降了。这种异常现象被后人称为Belady异常（Belady’s Anomaly）。 -而其他一些策略，比如LRU置换，最优置换等，就不会遇到这个问题。其原因是，LRU等具有栈特性（stack property），即数量为 m+1 的物理页帧一定包括数量为 m 的物理页帧的数据内容。因此，当增加物理页帧数量时，访存命中率至少保证不变，且由可能提高。而FIFO策略、时钟策略等没有栈特性，因此可能出现异常行为。 +而其他一些策略，比如LRU置换，最优置换等，就不会遇到这个问题。其原因是，LRU等具有栈特性（stack property），即数量为 m+1 的物理页帧一定包括数量为 m 的物理页帧的数据内容。因此，当增加物理页帧数量时，访存命中率至少保证不变，且有可能提高。而FIFO策略、时钟策略等没有栈特性，因此可能出现异常行为。 小结 -------------------------------- -- GitLab