Lab/7 (#36)

docs/labs/0x07/tasks.md

@@ -35,7 +35,7 @@
 
 迭代器是懒惰的，只有在需要时才会进行计算，因此在进行逐帧分配时，并没有额外的内存开销。但是，当需要进行内存回收时，就需要额外的数据结构来记录已经分配的帧，以便进行再次分配。
 
-相对于真实的操作系统，本实验中的内存回收是很激进的：即能回收时就回收，不考虑回收对性能的影响。在实际的操作系统中，内存回收是一个复杂的问题，需要考虑到内存的碎片化、内存的使用情况、页面的大小等细节；进而使用标记清除、分段等策略来减缓内存回收等频率和碎片化。
+相对于真实的操作系统，本实验中的内存回收是很激进的：即能回收时就回收，不考虑回收对性能的影响。在实际的操作系统中，内存回收是一个复杂的问题，需要考虑到内存的碎片化、内存的使用情况、页面的大小等细节；进而使用标记清除、分段等策略来减少内存回收的频率和碎片化。
 
 因此对于本实验的帧分配器来说，内存回收的操作是非常简单的，只需要**将已经分配的帧重新加入到可用帧的集合中即可**。
 
@@ -206,7 +206,7 @@ mysql 1820 0.1 10.5 1750680 365696 ? Sl Apr22 75:39 /url/bin/my
 
 在目前的实现（Lab 3）中，用户程序在进程结构体中记录的内存区域只有栈区，堆区由内核进行代劳，同时 ELF 文件映射的内存区域也从来没有被释放过，无法被其他程序复用。
 
-而相较于 Linux，本实验的并没有将内存管理抽象为具有上述复杂功能的结构：用户程序的内存占用严格等同于其虚拟内存大小，并且所有页面都会被加载到物理内存中，不存在文件映射等概念，只有堆内存和栈内存是可变的。
+而相较于 Linux，本实验并没有将内存管理抽象为具有上述复杂功能的结构：用户程序的内存占用严格等同于其虚拟内存大小，并且所有页面都会被加载到物理内存中，不存在文件映射等概念，只有堆内存和栈内存是可变的。
 
 因此，其内存统计并没有那么多的细节，只需要统计用户程序的栈区和堆区的大小即可。在 `Stack` 和 `Heap` 中，已经实现了 `memory_usage` 函数来获取栈区和堆区的内存占用字节数。
 
@@ -448,7 +448,7 @@ pub fn using_count(&self) -> usize {
 
 ```rust
 impl Stack {
- fn clean_up(
+ pub fn clean_up(
  &mut self,
  // following types are defined in
  // `pkg/kernel/src/proc/vm/mod.rs`
@@ -776,11 +776,10 @@ pub struct Heap {
 
 下面对 `brk` 系统调用的参数和行为进行简单的约定：
 
-- `brk` 系统调用的参数是一个可为 `NULL` 的指针，表示用户程序希望调整的堆区结束地址；
-- 如果参数为 `NULL`，则表示用户程序希望获取当前的堆区结束地址，即返回 `end` 的值；
-- 在系统调用的实现时，用户参数采用 `0` 表示 `NULL`，返回值采用 `-1` 表示失败；
-- 在内核内部处理时，参数使用 `Option<VirtAddr>` 进行传递，`None` 表示用户程序传入的参数为 `NULL`；`brk` 的返回值也为 `Option<VirtAddr>`，表示内核调整后的堆区结束地址，如果调整失败则返回 `None`；
-- 如果用户程序传入的参数不为 `NULL`，则检查用户传入的地址是否合法，即在 `[HEAP_START, HEAP_END]` 区间内，如果不合法则返回 `None`。
+- 用户态下，传递给 `sys_brk` 函数的参数是一个 `Option<usize>` 。若参数为 `None` ，表示用户程序希望获取当前的堆区结束地址，即返回 `end` 的值；若参数为 `Some(addr)` ，表示用户程序希望将堆区结束地址调整到 `addr`；
+- `sys_brk` 函数中，若传来的参数为 `None` ，变成 `0` 后传递给 `syscall!`，`syscall!` 的返回值为 `-1` 时表示调整失败；
+- 内核态下，将拿到的 `usize` 参数重新变为 `Option<VirtAddr>` 进行传递；`brk` 的返回值也为 `Option<VirtAddr>`，如果为 `None` 表示调整失败，否则表示内核调整后的堆区结束地址；
+- 如果用户程序传入的参数不为 `None`，则检查用户传入的地址是否合法，即是否在 `[HEAP_START, HEAP_END]` 区间内，如果不合法则返回 `None`。
 
 根据上述约定，给出用户态的系统调用函数：