update ch0/4

source/chapter0/5setup-devel-env.rst

@@ -132,6 +132,15 @@ Rust 开发环境配置
 .. warning::
    目前用于操作系统实验开发的rustc编译器的版本不局限在1.46.0这样的数字上，你可以选择更新的rustc编译器。但注意只能用rustc的nightly版本。
 
+
+可通过如下命令安装rustc的nightly版本，并把该版本设置为rustc的缺省版本。
+
+.. code-block:: bash
+   
+   rustup install nightly
+   rustup default nightly
+
+
 我们最好把软件包管理器 cargo 所用的软件包镜像地址 crates.io 也换成中国科学技术大学的镜像服务器来加速三方库的下载。
 我们打开（如果没有就新建） ``~/.cargo/config`` 文件，并把内容修改为：
 

source/chapter4/5kernel-app-spaces.rst

@@ -8,18 +8,18 @@
 
 
 
-页表 ``PageTable`` 只能以页为单位帮助我们维护一个地址空间的地址转换关系，它对于整个地址空间并没有一个全局的掌控。本节
-我们就在内核中实现地址空间的抽象，并介绍内核和应用的地址空间中各需要包含哪些内容。
+页表 ``PageTable`` 只能以页为单位帮助我们维护一个虚拟内存到物理内存的地址转换关系，它本身对于计算机系统的整个虚拟/物理内存空间并没有一个全局的描述和掌控。操作系统通过不同页表的管理，来完成对不同应用和操作系统自身所在的虚拟内存，以及虚拟内存与物理内存映射关系的全面管理。这种管理是建立在地址空间的抽象上的。本节
+我们就在内核中通过基于页表的各种数据结构实现地址空间的抽象，并介绍内核和应用的虚拟和物理地址空间中各需要包含哪些内容。
 
 实现地址空间抽象
 ------------------------------------------
 
 
-表示连续地址空间的逻辑段抽象
+逻辑段：一段连续地址的虚拟内存
 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
 
-我们以逻辑段 ``MemoryArea`` 为单位描述一个地址空间。所谓逻辑段，就是指地址区间中的一段实际可用（即 MMU 通过查多级页表
-可以正确完成地址转换）的地址连续的虚拟地址区间，该区间内包含的所有虚拟页面都以一种相同的方式映射到物理页帧。
+我们以逻辑段 ``MapArea`` 为单位描述一段连续地址的虚拟内存。所谓逻辑段，就是指地址区间中的一段实际可用（即 MMU 通过查多级页表
+可以正确完成地址转换）的地址连续的虚拟地址区间，该区间内包含的所有虚拟页面都以一种相同的方式映射到物理页帧，具有可读/可写/可执行等属性。
 
 .. code-block:: rust
 
@@ -35,11 +35,11 @@
 其中 ``VPNRange`` 描述一段虚拟页号的连续区间，表示该逻辑段在地址区间中的位置和长度。它是一个迭代器，可以使用 Rust 
 的语法糖 for-loop 进行迭代。有兴趣的读者可以参考 ``os/src/mm/address.rs`` 中它的实现。
 
-.. warning::
+.. note::
 
     **Rust 语法卡片：迭代器 Iterator**
 
-    之后有时间再补。
+    Rust编程的迭代器模式允许你对一个序列的项进行某些处理。迭代器（iterator）是负责遍历序列中的每一项和决定序列何时结束的控制逻辑。对于如何使用迭代器处理元素序列和如何实现 Iterator trait 来创建自定义迭代器的内容，可以参考 `Rust 程序设计语言-中文版第十三章第二节 <https://kaisery.github.io/trpl-zh-cn/ch13-02-iterators.html>`_
 
 ``MapType`` 描述该逻辑段内的所有虚拟页面映射到物理页帧的同一种方式，它是一个枚举类型，在内核当前的实现中支持两种方式：
 
@@ -57,9 +57,9 @@
 ``Framed`` 则表示对于每个虚拟页面都需要映射到一个新分配的物理页帧。
 
 当逻辑段采用 ``MapType::Framed`` 方式映射到物理内存的时候， ``data_frames`` 是一个保存了该逻辑段内的每个虚拟页面
-和它被映射到的物理页帧 ``FrameTracker`` 的一个键值对容器 ``BTreeMap`` 中，这些物理页帧被用来实际存放数据而不是
-多级页表中的节点。和之前的 ``PageTable`` 一样，这也用到了 RAII 的思想，将这些物理页帧的生命周期绑定到它所在的逻辑段 
-``MapArea`` 下，当逻辑段被回收之后这些之前分配的物理页帧也会同时被回收。
+和它被映射到的物理页帧 ``FrameTracker`` 的一个键值对容器 ``BTreeMap`` 中，这些物理页帧被用来存放实际内存数据而不是
+作为多级页表中的中间节点。和之前的 ``PageTable`` 一样，这也用到了 RAII 的思想，将这些物理页帧的生命周期绑定到它所在的逻辑段 
+``MapArea`` 下，当逻辑段被回收之后这些之前分配的物理页帧也会自动地同时被回收。
 
 ``MapPermission`` 表示控制该逻辑段的访问方式，它是页表项标志位 ``PTEFlags`` 的一个子集，仅保留 U/R/W/X 
 四个标志位，因为其他的标志位仅与硬件的地址转换机制细节相关，这样的设计能避免引入错误的标志位。
@@ -79,10 +79,10 @@
 
 
 
-表示一系列逻辑段的地址空间抽象
+地址空间：一系列有关联的逻辑段
 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
 
-地址空间则使用 ``MemorySet`` 类型来表示：
+地址空间是一系列有关联的逻辑段，这种关联一般是指这些逻辑段属于一个运行的程序（目前把一个运行的程序称为任务，后续会称为进程）。用来表明正在运行的应用所在执行环境中的可访问内存空间，在这个内存空间中，包含了一系列的不一定连续的逻辑段。这样我们就有任务的地址空间，内核的地址空间等说法了。地址空间使用 ``MemorySet`` 类型来表示：
 
 .. code-block:: rust
 
@@ -94,7 +94,7 @@
     }
 
 它包含了该地址空间的多级页表 ``page_table`` 和一个逻辑段 ``MapArea`` 的向量 ``areas`` 。注意 ``PageTable`` 下
-挂着所有多级页表的节点被放在的物理页帧，而每个 ``MapArea`` 下则挂着对应逻辑段的数据被内核实际放在的物理页帧，这两部分
+挂着所有多级页表的节点所在的物理页帧，而每个 ``MapArea`` 下则挂着对应逻辑段中的数据所在的物理页帧，这两部分
 合在一起构成了一个地址空间所需的所有物理页帧。这同样是一种 RAII 风格，当一个地址空间 ``MemorySet`` 生命周期结束后，
 这些物理页帧都会被回收。