From 216c759357be2d2ea4707123902ff47bcf19a307 Mon Sep 17 00:00:00 2001
From: WangRunji <wangrunji0408@163.com>
Date: Fri, 25 May 2018 22:15:37 +0800
Subject: [PATCH] Add final report & log

---
 README.md           |   4 +
 docs/FinalReport.md | 339 ++++++++++++++++++++++++++++++++++++++++++++
 docs/Log.md         | 289 +++++++++++++++++++++++++++++++++++++
 status.md           |   3 +-
 4 files changed, 633 insertions(+), 2 deletions(-)
 create mode 100644 docs/FinalReport.md
 create mode 100644 docs/Log.md

diff --git a/README.md b/README.md
index 10aee15..543c508 100644
--- a/README.md
+++ b/README.md
@@ -6,6 +6,10 @@ A project of THU OS2018 spring.
 
 [Project Wiki](http://os.cs.tsinghua.edu.cn/oscourse/OS2018spring/projects/g11)
 
+[MidReport](./docs/MidReport.md)
+
+[FinalReport](./docs/FinalReport.md)
+
 The goal is to write a mini OS in Rust with multicore supporting.
 
 It will start from the post of the [Writing an OS in Rust](http://os.phil-opp.com) series. Then reimplement [xv6-x86_64](https://github.com/jserv/xv6-x86_64) in Rust style.
diff --git a/docs/FinalReport.md b/docs/FinalReport.md
new file mode 100644
index 0000000..5b1dcd1
--- /dev/null
+++ b/docs/FinalReport.md
@@ -0,0 +1,339 @@
+# 2018操作系统课程设计最终报告
+
+## Rust OS for x86_64 SMP
+
+计53 王润基 2015011279
+
+2018.05.25
+
+## 摘要
+
+这是清华大学2018年操作系统课的课程设计项目，为期约两个月。本项目的初衷是尝试使用Rust这一新兴的系统级编程语言来写OS，并利用它主推的内存和线程安全特性，进行SMP多核优化。
+
+由于时间有限以及对其复杂度的低估，在课程结束时实际完成的工作是：用Rust重新实现了uCore教学系统的大部分功能——我们的起点是《Writing an OS in Rust》系列文章的blog_os；x86平台相关部分的各个驱动从各种OS中摘取；进程管理部分完全重写，同时支持运行xv6_x86-64[3]和ucore[4]的用户程序；文件系统部分作为单独的模块重写，并实现了一个C语言兼容层以对接到ucore中。而SMP部分仅仅做到了启动多核，没来得及做深入研究和优化。
+
+整个项目过程为使用Rust编写OS积累了诸多经验。Rust的安全哲学、类型系统、所有权机制对于编写OS大有助益。与C相比，在编写Rust时开发者更容易从高层的视角来看待问题，这对于控制一个复杂度极高的OS项目是很有帮助的。但是另一方面，Rust语言本身不能消除软件固有的复杂度，在脱离Rust约束的底层领域，依然需要谨慎的设计以防Bug的发生，这些是我们需要认识到的局限性。
+
+我们期望这个项目在短期内实现uCore的全部功能，未来能够比肩甚至取代C语言版本的uCore成为新一代的教学操作系统，使之更加简洁、安全、模块化。
+
+## 实验概述
+
+### 实验目标和完成情况
+
+本项目最初的目标是：
+
+在blog_os的基础上，移植ucore到Rust，然后参考sv6进行SMP优化。
+
+1. 阅读《Writing an OS in Rust》，以blog_os为案例学习RustOS的风格。 
+2. 阅读xv6，xv6-x86_64，ucore_os_lab，ucore_plus代码，学习x86_64下SMP的实现细节。 
+3. blog_os已经实现了64位下的内存管理和中断，还需实现线程、调度、文件系统。 
+4. 实现SMP，参考sv6进行优化，使用commuter进行测试。
+
+我们计划在第7-10周和其它Rust组合作完成uCore的移植，第11-13周完成SMP的实现和优化。
+
+但是，由于以下原因，项目只完成了预定计划的一半：
+
+* 时间紧张，人手短缺
+* 低估了OS的复杂度和Debug消耗的时间
+* 初始框架不完善以及OS的高耦合性导致难以组间合作
+
+截止第13周，项目移植完成了uCore的整体框架和大部分功能：
+
+* 基础驱动：全部完成
+* 内存管理：框架完成，一些算法没有实现
+* 进程管理：近乎完成，可以正常运行大部分用户程序
+* 同步互斥：没写
+* 文件系统：SFS和VFS作为单独模块实现完毕，还没对接到进程中
+
+具体完成过程和内容参见下文，各部分完成情况清单参见[status.md](../status.md)。
+
+### 前期调研情况
+
+最开始时，在老师的指示下，我们首先调研了Rust for RISCV的可能性。在2017年底才刚刚有了RISCV-Rust-Toolchain，也有人成功用它在HiFive上运行。但我们和老师都没法在本机上把这套工具链跑起来，而且它刚刚诞生十分不稳定，于是我们放弃了RISCV这条道路。
+
+在此项目开始时，开源界已经有不少RustOS的项目：
+
+* Redox：这是目前完成度最高的RustOS，微内核架构，平台x86_64
+* 《Writing an OS in Rust》& blog_os：这是一个从零开始写RustOS的教程，平台x86_64
+* rv6：这是一个xv6的Rust移植，然而它止步于内存管理，并且是完全C风格的
+* CS140e：这是斯坦福2018年新开的实验性课程，用Rust写的教学OS，平台arm/RaspberryPi
+
+综合考虑，我们决定在blog_os的基础上移植/补全ucore的功能。
+
+在第7周方案报告时，我们已经读完了《[Writing an OS in Rust](https://os.phil-opp.com)》第一版的全部10篇博客，建立起了开发环境，并开始移植一些驱动，同时熟悉Rust语言和生态。值得一提的是，我们实现了Rust和C语言互操作，这使得我们对移植工作多了几分信心。
+
+关于前期调研的其它内容，详见[中期汇报文档](./MidReport.md)。
+
+### 小组成员分工及组间合作情况
+
+由于某些原因，我的队友朱书聪同学中途跑路了，于是我完成了99%的实际开发工作。
+
+同期进行课程设计的还有两个Rust组：
+
+* 第13组（ARM组）：他们的工作基于CS140e的框架，把uCore移植到ARM上。
+* 第15组（驱动组）：他们和我们一样基于blog_os的框架，重点在驱动和内核可加载模块上。
+
+我们三个组之间没有显式地合作，即各自维护独立的代码仓库。
+
+我们在第7周进行过一次讨论，结论是很难维护一个主代码。
+
+* 对比ARM组，我们双方的起点完全不同，CS140e提供了一个完整的OS框架，而blog_os只提供了中断和页表管理。并且当时我们对OS刚刚上手，完全无法进入对方的平台把框架统一起来。
+* 对比驱动组，我们基于共同的起点，但这个起点太低了，难以并行地开发。比如uCore都是每个lab依赖于之前所有lab，我们的起点相当于不到lab1。虽然如此，但事实上在之后我们两组共享了绝大部分代码，其实应该merge一下的……
+
+因此，我们之间的合作仅限于互相借鉴，把别的组写好的可以复用的部分拿过来用。比如我们借用了驱动组写好的IDE驱动，参考了ARM组的进程管理框架。
+
+## 实际完成的工作
+
+在这两个月共8周的时间中，前两周主要是调研和熟悉环境，后五周完成实际开发。共累计180次commits，为此投入了150h以上的精力。没有功劳也有苦劳啊~
+
+以下大致按时间顺序列举了完成的主要工作，详细内容可查看日志：
+
+### 1. 将内核移到高地址区
+
+blog_os的内核位于低地址区，它在进入Rust前的汇编中设置了一个将最低1G空间恒等映射的页表，并在进入Rust后根据内核实际占用的空间构造了一个新的页表，这一操作称为内核重映射，目的是防止栈溢出并精细地管理内存。
+
+在此基础上，我做了以下改动：
+
+* 修改linker script，将Kernel的虚地址重置到高地址区，但实地址不变。
+
+* 修改初始页表，将四级页表第510项（内核虚地址区）也映射到低1GB物理空间。
+
+  由于BootLoader开始时还处于32位保护模式，不能使用64位的虚地址，因此在进入Rust之后才能把页表第0项撤销掉。
+
+* 修改BootLoader，使之进入Rust时rip和rsp都使用新的虚地址。
+
+这里遇到了以下问题：
+
+* 链接时由于段名称错误导致属性不正确，最终导致了PageFault
+* 32位跳转到64位写法不正确，链接时报错：relocation truncated to fit: R_X86_64_PC32
+
+###2. 设备和多核的初始化 
+
+blog_os只实现了中断处理，还没有实现对设备的操作。
+
+我完成了以下设备的初始化：
+
+* ACPI：参考xv6 x86_64，用Rust重写
+* LocalAPIC：链接C代码
+* IOAPIC：参考xv6 x86_64，用Rust重写
+* PIT时钟：复制Redox代码
+* IDE：后期借用驱动组的成果
+* 键盘：链接C代码
+* 串口：复制Redox代码
+* VGA：blog_os写好了
+* 启动多核：参考xv6 x86_64，用Rust重写
+
+这时基本达到了lab1的程度。
+
+### 3. SFS文件系统
+
+由于文件系统是OS无关的，我把它分离出来作为一个Rust库来写，[Github](https://github.com/wangrunji0408/SimpleFileSystem-Rust)。
+
+它内部分为四层，由低到高：硬盘数据结构层，SFS层，VFS层，C兼容层。除此之外，还附有单元测试和mksfs命令行工具（未完工）。
+
+目前，该模块已经通过C兼容层链接到了uCore上，可以替换C语言的实现；在RustOS中直接操作VFS层实现了从磁盘中读取用户程序。日后，在此框架下可以用Rust实现更多FS，只要它们实现Rust的VFS接口，就可以同时被RustOS和uCore使用。
+
+这部分的开发主要分为两个阶段：SFS层和C兼容层。前者专注于SFS的逻辑，几乎不含底层细节，用Rust写起来非常顺畅；后者则要经常和C语言接口打交道，充满了各种unsafe操作，实现起来比较艰难，此外还需要考虑如何让双方的接口配合起来工作，相当有挑战性。
+
+这部分开发过程历时一周，实际有效代码约1300行（其中C兼容层就占了450行，和SFS层相当），而代替掉的uCore代码约1000行。并没有比想象中要少。
+
+更多详细内容，参见[SFS移植报告](https://github.com/wangrunji0408/SimpleFileSystem-Rust/blob/master/docs/rust_port_report.md)。
+
+### 4. Re: 从零开始的进程管理
+
+这部分是整个项目中最难的一块。它的复杂度和SFS相当，同时又和底层机制紧密耦合，依赖于内存管理和中断处理。blog_os在进程管理上是白纸一张，需要从头写起。我主要参考了xv6和uCore，分阶段完成了这个模块：
+
+1. 借用Redox的中断处理入口函数，保存下TrapFrame。
+2. 建立最简单的进程控制块`Process`和调度器`Processor`，为一个内核函数构造TrapFrame，通过直接改写中断时的tf，使之返回到新的内核线程。
+3. 为每个线程分配内核栈，中断时不再改写tf，而是在中断处理结束时修改rsp，来实现线程切换。
+4. 仿照Lab1 Challenge，新建两个软中断ToU/ToK，手动切换内核态和用户态。
+5. 将一个xv6二进制用户程序链接到Kernel，使用一个ELF解析库读出其各段信息。
+6. 在内存管理模块中新增类似mm和vma的内存描述结构`MemorySet`，并实现从ELF段信息的转换，和它在页表上的映射。
+7. 为用户程序构造TrapFrame和页表，反复调试直到可以执行用户程序。
+8. 实现一个最基础的系统调用，使得用户程序可以回到内核态。注意需要在每次进入用户态前在TSS中设置返回内核态时的内核栈rsp。
+9. 实现Fork系统调用，需要谨慎处理页表切换。
+10. 学习x86_64下的32位兼容模式，使得可以运行uCore的32位用户程序。
+11. 为了方便测试各个用户程序，把整个sfs.img链接进来，通过之前写好的SFS模块读取所有用户程序。
+12. 实现一个简易事件处理器，支持程序的睡眠和唤醒。
+13. 为了在用户程序发生异常时中止其运行，发现Redox版本的中断处理不统一，遂废弃之改用xv6/uCore的实现，修改后直接修复了一个长期阴魂不散的Bug。
+14. 将散落在各处的对rsp的修改统一到中断处理的最后。
+15. 发现sys_wait是一个异步操作，需要把`(int*)store`保存下来，等到某个程序exit后再赋值。修改后通过了`waitpid`函数的测试。
+16. 阅读xv6文档后惊讶地发现，它是通过switch函数直接在内核态切换线程来实现调度的（这意味着我前四周ucore也没学明白），在这种机制下上面的问题就不再是问题了。于是我又引入了switch机制，修改了新进程的初始内核栈内容，中断处理时就不再修改rsp了。
+17. 参考uCore的调度模块，实现了RRScheduler和StrideScheduler。
+
+至此，RustOS已经支持了绝大多数uCore用户程序的运行，具体清单见[status.md](../status.md)。
+
+整个开发过程历时两周。平台无关部分的实际有效代码约800行，平台相关部分（构造TrapFrame和switch）约100行，比C语言的代码量少一些（syscall 200 + schedule 300 + proc 800 = 1300）。
+
+现在完成后再回头看，发现其实进程模块的依赖相当少：
+
+* 中断处理部分：只需特定平台提供switch函数，以及一个新线程的初始内核栈内容。
+* 内存管理部分：只需提供页表构造、复制（以及数据的复制）和切换操作。
+
+于是我就想，可不可以把进程管理也做成OS无关的独立模块（Rust extern crate），通过接口提供必要的依赖支持呢？……
+
+### 5. 支线任务
+
+以上是这两个月完成的主要工作，接下来列举一些中途穿插完成的小任务，有些是为更好地开发而进行的基础性工作，有些是没有进入主分支的尝试性工作：
+
+#### 5.1 C语言互操作
+
+Rust调用C：
+
+* 对于完整的C语言库，Rust提供了[Bindgen](https://rust-lang-nursery.github.io/rust-bindgen/)工具来自动生成绑定代码。
+* 对于零星的几个函数，直接使用extern导入函数符号即可。
+
+C调用Rust：
+
+* 在Rust中使用`extern "C"`来定义函数，并加上`#[no_mangle]`禁止改名，在库的顶层声明为pub即可导出。
+
+#### 5.2 TravisCI 
+
+blog_os自带了一个travis脚本，我在此基础上进行了扩展，使之支持集成测试。
+
+为了能在travis上运行QEMU并获得结果，需要一个从内部退出QEMU的方法：
+
+- 运行qemu时加入 -device isa-debug-exit
+- 执行outb(0x501, k)，会退出qemu，错误码为2k+1
+
+#### 5.3 未被整合的内存管理模块
+
+在实现SFS文件系统前，我试图把内存管理模块也作为独立的库来写，因为貌似除了页表外其它算法都是平台无关的。
+
+于是我新开了[一个库](../crate/memory/)，在里面定义了一个页表接口，并针对此实现了两个页交换算法。为了对它们单元测试，还写了一个假的页表。结果当我想把它引入OS时遇到了阻碍：整个OS对现有代码高度依赖，很难一口气把它们抽离出去，于是不了了之。现在想来这么做是行不通的，或许应该渐进式地抽象出接口，而不是造出一个空中楼阁硬往里套。
+
+#### 5.4 Copy-on-write
+
+在实现进程Fork时，被一个Bug卡了好久，于是那天我换了个方向，为页表实现了写时复制机制。
+
+本来这个功能也是计划写在上面提到的独立模块里的，但由于合不进来就没敢这么做。
+
+借助Rust的语言支持，我可以把与这个拓展相关的全部内容（代码、文档、测试）写在[一个文件](../src/arch/x86_64/paging/cow.rs)里。由于要为每个物理帧维护额外的引用计数信息，还开了一个全局的Map（不像uCore对每个帧都建立信息块放在一起）。
+
+#### 5.5 CLion配合gdb调试 & 调试经验
+
+CLion配合gdb调试的方法：详见日志2018.05.18的记录
+
+不过这个方法用得不多。在大部分情况下，OS都会触发TripleFault直接重启，此时就需要借助QEMU来进行Debug：
+
+- 运行QEMU时加入参数-d int，即可显示每次中断时的CPU信息
+- 发生PageFault时，检查RPI（出错位置），CR2（访存目标），错误码（出错原因）
+- 在反汇编中查看rip对应的代码（可用`make asm`命令）
+
+#### 5.6 日志模块和彩色输出
+
+Log模块是软件开发中一种常用的库，它可以支持在程序各处记录不同等级的日志，汇总到一起统一输出。我在RustOS中引入了这个库，并实现了根据不同日志等级以不同的颜色进行输出，还支持在运行前对指定等级的日志进行过滤，方便debug。
+
+## 实验总结
+
+在整个移植过程中，我并不会直接照搬C语言的实现，而是去参考其他RustOS的设计，尽量使用Rust的风格和视角去重新审视OS。
+
+接下来列举了一些我感受较深的Rust特性，并尝试去分析这些特性是如何帮助OS开发的：
+
+#### Rust的安全“哲学”
+
+Rust保证安全的方式是尝试把系统正确性证明整合到语言本身当中来。Rust的类型系统充当了specification的角色，而Rust编译器则是进行“证明”的工具。凡是遵守这套规则的代码，Rust保证它一定是内存安全的。
+
+另一方面，Rust也是一个注重效率和实际的语言，因此在某些场合下必须绕过这些约束（由于OS中需要直接控制内存，这种需求大量存在）。针对这一现实，Rust提供了unsafe块，在它内部可以自由地通过指针访存。这背后的哲学是：显式地指出不安全，并使用安全封装和管理不安全。
+
+因此在实际操作中，应该尽量减少unsafe块的数量，并把他们集中封装起来，对外提供安全的接口，最好还要在文档中论证为什么这样做是安全的。
+
+Rust从不会放松对安全的要求，但出于实际考虑，它可以允许把编译时约束转移到运行时（例如Mutex，RefCell），也允许把安全保证甩锅给程序员（unsafe块）。
+
+unsafe块是一个精妙的设计，它总是在你想偷懒破坏安全性的时候给你带来小小的骚扰，这种不爽敦促你要赶快消灭它，于是程序的安全性就在日常点滴中得到了保证。例如你定义了一个可变的全局变量，那么所有对它的访问都需要用unsafe包起来，于是你就会考虑能不能不用这个全局变量，或者用Mutex把它包起来。在C/C++中可不是这样，定义全局变量、忘记访问时加锁，就像吃饭喝水一样自然。等一上多线程才发现大事不妙，后悔自己当初的放纵。正如知乎某答案所描述：“Rust：编译时想撞墙；C++：调试时想跳楼”。
+
+#### 实现安全的工具：类型系统
+
+为Rust提供安全保证的工具是其强大的类型系统（类似Haskell），它鼓励开发者使用自定义类型封装各种概念，并通过特性`Trait`约束类型的行为，以达到类似Coq形式化证明的效果。
+
+一个印象深刻例子是《Writing an OS in Rust》作者实现的x86_64页表，它是如此优秀以至于被Redox全盘采用。接下来简单介绍一下它的实现，感受一下如何让编译器帮我们防止Bug的发生。
+
+首先我们来列举一下页表中有哪些概念，以及可以做哪些事情：
+
+* 在x86_64的四级页表下，一个常用的技巧是将根页表最后一项映射到自己，这样就可以通过虚地址访问任意级的页表。如果要编辑一个非活跃的页表I（不是CR3所指向的那个），需要先将活跃页表A的最后一项指向I，编辑过后再恢复回来。在编辑过程中，不能修改A本身。（也就是根页表最后一项独占所有页表的“编辑权”）
+* 活跃页表只能有一个，在重置CR3后，被换上的非活跃页表与原来的活跃页表互换。
+* 前三级页表的项指向下一级页表，而最后一级页表项指向被映射的页。
+
+在blog_os中，作者定义了若干类型来完成这些约束：
+
+* `Mapper`：表示一个可以被编辑的页表，内部记录了根页表的物理地址，实现了各种map/unmap方法。
+
+* `InactivePageTable`：表示一个非活跃页表，内部记录了根页表的物理地址，它没有任何方法。
+
+* `ActivePageTable`：表示当前活跃页表，内部是一个Mapper。
+
+  * 它“继承”（Deref）Mapper的所有方法，表明可以直接编辑它。
+
+  * 它提供一个switch方法，用来和一个非活跃页表互换：
+
+    ```rust
+    fn switch(&mut self, new_table: InactivePageTable) -> InactivePageTable
+    ```
+
+    内部的实现是切换CR3，并把自己作为InactivePageTable返回出去。
+
+  * 它提供一个with方法，用来编辑非活跃页表：
+
+    ```rust
+    fn with(&mut self, table: &mut InactivePageTable, f: impl FnOnce(&mut Mapper))
+    ```
+
+    其中第三项是一个调用者提供的函数，在里面可以把table当做Mapper来编辑。
+
+* 在Mapper内部，还定义了`Table<Level>`类型，其中Level是一个枚举类型的泛型参数，可以取1234四种值。对于`Table<2/3/4>`都实现了`next_table`等方法，返回的类型分别是`Table<1/2/3>`，而`Table<1>`就没有。这波操作直接在编译期保证了使用者不会犯错。
+
+更详细的说明可以参阅[《Writing an OS in Rust》post 6](https://os.phil-opp.com/page-tables/) 。
+
+#### 所有权机制与资源管理
+
+Rust将C++中的RAII和移动语义发扬光大，形成了所有权机制，并衍生出借用机制、生命周期机制，在不牺牲性能的情况下保证安全。
+
+由于OS中涉及复杂的资源管理，所有权机制在此大有可为。上面提到的页表就是一个例子。除此之外，物理页帧、内核栈、内存空间、线程、CPU等等概念都与资源相关。而对于共享资源，例如共享内存段，Rust中也有现成的解决方案（例如Rc引用计数指针，Cow写时复制对象）。我在写RustOS时就尽量使用资源对象，这样就能自动回收资源，或在发生泄漏时及时得到警告。
+
+所有权机制导致的另一个结果就是Rust中的对象有严格的层级关系，上层拥有下层的所有权。这使得结构更加清晰，但丧失了一定的灵活性，而且经常出现深层嵌套。
+
+例如锁`Mutex<T>`，它就“拥有”里面的具体类型T，你想访问里面的内容，就必须先从外部开锁`mutex.lock()`，如果此时没有其它人使用，就会返回一个`MutexGuard<T>`，这个对象拥有T的“访问权”，你可以通过它操作T。当MutexGuard离开作用域销毁时，会自动调用析构函数重新给mutex上锁。
+
+反观C，给人的感觉是所有的对象都是平行地散落在内存各处，它们之间只是互相引用，而要说谁控制谁，那只有开发者才知道。假如开发者也糊涂，就会出现内存泄漏或是重复释放。C中的锁和被锁对象往往是平级关系，上锁这件事需要文档来说明，这导致我们经常忘了上锁。
+
+#### 模块化
+
+Rust提供了完善的包管理系统和模块系统，可以很方便地实现模块化。C语言由于缺乏完善的接口机制，也没有泛型，模块化搞起来比较别扭。
+
+但是对于OS这种高度耦合的系统，实现模块化仍然相当困难。我在本次实验中进行了模块化的尝试，其中文件系统部分成功独立出去，进程管理部分看起来有些希望，而内存管理部分则困难重重。
+
+不过，对于驱动和辅助性代码（例如读取ELF），使用外部模块是完全可行的。这方面《Writing an OS in Rust》的作者起到了很好的带头作用。他在写blog_os的同时就顺手写了一些库，都很好用。他还在GitHub上建立了一个组织[Rust-OSDev](https://github.com/rust-osdev)，专门提供各种库。上面提到的页表，马上就会进入下一版的[x86_64库](https://docs.rs/x86_64/0.2.0-alpha-019/x86_64/)，届时又可以精简掉RustOS大约500行的代码了！
+
+## 后期计划
+
+（如果还干的动的话……）
+
+1. 完成uCore所有8个lab功能的移植
+2. 提供完整的文档，达到和uCore同样的可用度和可读性
+3. 完成xv6所有功能的移植，主要是多核运行程序
+4. 学习借鉴sv6搞SMP优化
+5. 把进程管理和内存管理模块化
+
+## 日志
+
+详见[日志文档](./Log.md)
+
+## 参考代码和文献
+
+1. [Writing an OS in Rust](https://os.phil-opp.com/)：从零开始用Rust写OS的详细教程
+
+   整个项目在此blog第一版[post10](https://github.com/phil-opp/blog_os/releases/tag/post_10)的基础上开发
+
+2. [Redox](https://github.com/redox-os/redox)：开源界完成度最高的RustOS
+
+   参考了它的代码结构，直接复制了一些设备驱动代码
+
+3. [xv6-x86_64](https://github.com/jserv/xv6-x86_64)：xv6的x86_64移植版
+
+   [xv6中文文档](https://th0ar.gitbooks.io/xv6-chinese/content/)
+
+4. [ucore_os_lab](https://github.com/chyyuu/ucore_os_lab)：
+
+   [ucore_os_docs](https://legacy.gitbook.com/book/chyyuu/ucore_os_docs)
+
+5. CS140e：
\ No newline at end of file
diff --git a/docs/Log.md b/docs/Log.md
new file mode 100644
index 0000000..8a1ebe5
--- /dev/null
+++ b/docs/Log.md
@@ -0,0 +1,289 @@
+## 日志
+
+这里以天为单位，以周为周期，按时间倒序维护了开发日志。
+
+### 第13周
+
+本周完成的主要工作： 
+
+- 重新实现中断处理入口 
+- 实现内核态switch和调度器 
+- 从disk0中读取用户程序 
+- 支持运行大部分ucore用户程序
+
+#### 2018.05.24 / 25：最终报告
+
+#### 2018.05.23：实现了调度器，IDE驱动
+
+- 参考uCore，实现了RRScheduler和StrideScheduler，并可以正确执行priority程序。 
+- 直接Copy了隔壁15组port的ucore的IDE驱动代码，略作修改后就可以使用了。 
+- 为SFS模块增加了一个BlockedDevice接口，为它实现Device接口（即支持以字节为单位读写），方便对接真实设备。
+
+#### 2018.05.22：实现了xv6/ucore中的switch()，调整了切换进程的方式
+
+- 为了实现调度器，我阅读了xv6的文档，结果发现自己之前对它切换进程方式的理解都是错的！[捂脸] （长教训，以后一定硬着头皮读懂已有代码，不能闭门造车233） 
+- 之前：每次中断后运行的内核态代码和内核栈是不可切换的，切换进程的方法是在结束中断处理时，指定新的rsp地址，这样就可以从别的中断帧恢复环境。这样带来的限制是像sys_wait这种异步操作实现起来很麻烦。 
+- 有了switch()之后，就可以自由地在内核线程之间切换。我今天实现了这个，并用它简化了sys_wait。 
+- 引入switch()后，要运行一个新的线程变得更加复杂，初始的内核栈上要有TrapFrame+Context。此外我发现调用switch进入scheduler线程，再switch到其它线程，这一过程好像用中断也可以实现（类似上述第2条描述的方法）。
+
+#### 2018.05.21：可以正常跑uCore大部分的用户程序
+
+- 实现了在用户程序发生异常时kill掉它，又支持了一批uCore的用户程序。有了昨天统一中断处理的基础，这个就很容易了。
+
+- 使用mksfs将xv6的64位用户程序也做成了SFS磁盘，将它和ucore程序的SFS磁盘一起添加到git中。
+
+- 修复了Release模式下SMP启动的Bug，添加了一些volatile。
+
+- 修复了waitpid，可以正常跑exit和sleep了。
+
+  注：此时还不支持内核线程的切换（详见05.22的说明），所以(int*)store要先保存下来，不太自然。
+
+#### 2018.05.20：可以正常跑uCore一半的用户程序
+
+写了一个简易事件处理器，支持定期调度+唤醒线程
+
+- 最初实现的是【推模式】，逻辑比较复杂，用户提供回调函数，当事件发生时自动调用。由于Rust的安全约束非常严格，为了通过编译，代码非常复杂。
+- 最后实现的是【拉模式】，逻辑比较简单，用户只提供事件内容，在每个时刻都主动询问当前是否有事件，并做处理。这种方式下事件处理器很轻巧，可以内嵌在使用者中，调用关系简洁。
+
+重写了中断处理入口
+
+- 原来使用Redox的处理方式：
+  - 每个中断有不同的入口，保存的中断帧可以有不同形式（性能考虑？）。 
+  - 但现在需要每种中断都能够进行进程切换，这就需要一个统一的中断帧和处理过程。
+- 现在改用ucore/xv6的处理方式：
+  - 建立中断向量表vectors，补齐错误码，跳转到统一的处理函数alltraps。 
+  - ucore/xv6中vectors.S是用一个perl脚本生成的，在Rust中改用build.rs生成。 
+  - 如此修改后，逻辑更加简洁清晰，而且修复了一个长期阴魂不散的Bug
+
+精简了IDT的代码
+
+- 最初使用x86_64库的IDT结构；之后由于类型不匹配的原因，改用Redox的代码 
+- 现在随着我姿势水平的提高，学会了绕过类型约束的unsafe黑魔法，重新用起了x86_64库，砍掉了100行的基础代码 
+- 历史总是螺旋式上升的，马克思诚不我欺也
+
+Travis上编译问题
+
+- 目前在macOS和docker上均可通过编译 
+- 但在Travis上会出现链接问题，不知如何解决
+
+#### 2018.05.19：引入log模块，支持向终端输出彩色文字
+
+- 可以用五种不同级别输出调试信息：error，warn，info，debug，trace 
+- 它们在终端以不同颜色显示，使用了Linux终端控制符
+
+#### 2018.05.18：可以从sfs.img中加载用户程序
+
+- 将sfs.img做成.o硬链接到kernel，配合之前写好的SFS模块读取数据
+
+### 第12周
+
+本周完成的主要工作：
+
+- 可以运行用户程序（xv6的64位程序 + ucore的32位程序）
+
+#### 2018.05.18：可以在CLion中配合gdb调试
+
+- x86_64的QEMU在gdb链接时会报错：Remote 'g' packet reply is too long 
+- 其实《Writing an OS in Rust》已经给出了[解决方案](https://os.phil-opp.com/set-up-gdb/)。然而我build gdb时编译出错。。 
+- 最后解决方案：（macOS下）使用brew安装 altkatz/gcc_cross_compilers/x64-elf-gcc。这个自带上述bug的补丁，在CLion中配置使用这个gdb即可。
+
+#### 2018.05.17：可以运行ucore的32位用户程序
+
+- 不能直接在Long Mode下跑，因为有些指令是环境相关的，例如push 0x64会使得esp -= 8 
+- 因此需要进入Compatibility Mode，这方面资料好像很少。[OSDev的一个贴子](https://forum.osdev.org/viewtopic.php?f=1&t=24594)指出只需载入32位的CS即可，即修改L-Bit，但经测试无效，OS会将其识别为16位CS。之后我把xv6的UCODE和UDATA 32位段描述符直接复制过来，就可以正常跑了。经测试，DS也需要是32位的。 
+- 目前已经实现了若干ucore系统调用，可以跑hello程序了
+
+#### 2018.05.14：Shared-memory & Copy-on-write
+
+- 利用Rust的Trait特性，将扩展代码都写在一个文件中：[代码](https://github.com/wangrunji0408/RustOS/blob/dev/src/arch/x86_64/paging/cow.rs)。同时包含文档和测试。
+
+#### 2018.05.13：可以运行用户态程序
+
+- 可直接运行xv6 x86_64中的用户程序（二进制兼容），下一步兼容ucore的32位用户程序 
+- 实现了一个最简单的syscall：write，可将字符输出到屏幕上 
+- 试图实现fork时遇到bug…
+
+#### 2018.05.12：添加MemorySet / Area结构
+
+- 对应ucore中的mm&vma，用来描述虚拟内存集/段 
+- 将【内核页表重映射 remap_the_kernel】过程用此结构重构 
+- 为下一步加载用户态程序做准备
+
+### 第11周
+
+本周完成的主要工作： 
+
+- 通过兼容层将Rust SFS对接到ucore_os_lab上
+
+#### 2018.05.07：完成与ucore_os_lab的对接
+
+- [总结报告](https://github.com/wangrunji0408/SimpleFileSystem-Rust/blob/master/docs/rust_port_report.md)（后半部分） 
+- [整合后的ucore](https://github.com/wangrunji0408/ucore_os_lab/tree/rust-fs/labcodes_answer/lab8_result)
+
+#### 2018.05.06：把SFS链接到uCore
+
+将Rust lib链接到ucore遇到的问题：
+
+- 真的痛苦，估计得掉层皮 
+- 遇到最多的是链接丢失问题。ucore_os_lab的linker script少写了一些section，包括`*.data.*`，`*.got.*`，`*.bss.*`，导致Rust lib链接过去后丢失了一些段，比较坑的是这不会有任何提示。没有成功重定位的地址都是0，运行时直接Page fault。为了找出出错位置，各种gdb，objdump全上了，还得看汇编追踪寄存器，真是大坑。 
+- 另一个小问题是Rust lib会引用一些LLVM内置函数（如udivdi3，都是除法运算相关），链接时会报undefined symbol。但实际上并没有代码用到它们。《Writing an OS in Rust》中提到了这个问题，它的解决方案是链接时加--gc-sections选项，将未用到的段删掉，结果我对ucore如此操作之后所有段都没了，都boot不起来。。。最后是在C中强行定义这些符号解决的。
+
+关于ucore VFS兼容层的设计：
+
+- ucore VFS中fs和inode头部是具体FS的struct。Rust VFS使用Rc指针相互引用。为了将它们合并起来，考虑过两种方案：在头部放Rc指针，或放Rust SFS的结构本体。前者相当于将Rust VFS作为ucore SFS，后者则是直接将Rust VFS合并到ucore VFS。
+  - 放指针：还需建立Rust INode => ucore INode的反向引用，要么侵入式地增加Rust INode的字段，要么在兼容层搞一个全局Map。这种方式耦合较低，但多一层指针跳转，性能可能略差。
+  - 放结构：需要在Rust new出SFS结构时做文章， 委托ucore分配多一点空间并做VFS的初始化，得魔改Rust的全局内存分配器。这种方式耦合较高，需对Rust结构的实际内存布局有深入理解。 
+- 根据【把方便留给别人，把困难留给自己】【最大兼容，最小耦合】的原则，我选了放指针的方案，目前还在Debug中`_(:3」∠)_`
+
+### 第10周
+
+本周完成的主要工作： 
+
+- 进程模块：只实现了内核线程切换 
+- 文件系统：作为独立模块实现完毕，接下来尝试链接到ucore lab8
+
+#### 2018.05.04 / 05：SFS文件系统
+
+- 基本功能实现完毕，附有单元测试 
+- 正在尝试和ucore lab8链接 
+- 阶段性[移植报告](https://github.com/wangrunji0408/SimpleFileSystem-Rust/blob/master/docs/rust_port_report.md)
+
+#### 2018.04.29 / 05.01：SFS文件系统
+
+[GitHub仓库](https://github.com/wangrunji0408/SimpleFileSystem-Rust)
+
+基础结构移植完毕，各项功能正在重写，计划导出C接口兼容ucore，预计1k行代码可搞定
+
+#### 2018.04.26 / 27：内核线程切换
+
+- 实现了简单的内核线程切换
+
+  每个线程拥有一个[内核栈]，它是当线程运行中发生中断时内核使用的栈，保存着线程的[上下文]信息（中断帧）。对于内核线程而言，其[运行栈]和[内核栈]是统一的。 
+
+  与ucore不同的是：
+
+  - 每个线程的内核栈上只保存自己的[上下文]，调度器不能修改它的内容。且[上下文]只需保存这一份，调度器也不需要访问它的内容。
+  - 恢复[上下文]不使用汇编，而是依靠[中断服务例程]结束时从[内核栈]中pop[中断帧]。
+
+  为了实现这点，[中断服务例程]保存完[中断帧]后，把当前rsp传给调度器，调度器将其保存，并用下一个待执行线程的rsp更新之（在最后一次从此线程切出时保存）。[中断服务例程]结束时，重置rsp，切换到另一个线程的[内核栈]上，恢复[中断帧]。
+
+- 实现了int触发内核态和用户态切换（lab1 challenge）
+
+  进入用户态前，需在TSS中设置返回内核态时的rsp。FIXME：初始化多核后，会导致设置失效。
+
+  确认以下设置，否则会出现GPF：
+
+  - 段描述符DPL=3
+
+  - 页表中设置相应页为[用户可访问]
+
+### 第9周
+
+本周应付期中考试、大作业等事务，进展不大。
+
+#### 2018.04.25：页置换算法
+
+实现“改进的时钟置换算法”
+
+### 第8周
+
+本周完成的主要工作： 
+
+- 将Kernel虚地址移到高区 
+- 完成lab1的移植，主要是各种驱动 
+- 完成多核的初始化 
+
+接下来可以进行的工作： 
+
+- 完善内存管理：完善allocator，mm&vma结构，页替换算法 
+- 其它驱动的移植，例如IDE（Rucore组） 
+- 进程管理模块
+
+#### 2018.04.19：内存模块
+
+在外部模块定义了页替换模块接口，实现了FIFO算法，并实现了Mock页表用来单元测试。
+
+#### 2018.04.18：多核启动
+
+完成多核AP的启动和初始化：LocalAPIC，GDT，IDT
+
+#### 2018.04.17：设备中断
+
+完成以下设备初始化和中断：串口，键盘，PIT时钟
+
+#### 2018.04.15： 高地址
+
+完成高地址修改，合并到主分支
+
+- （2天前）页表重映射后崩溃的原因，是新页表中权限设置错误（blog_os根据kernel.elf中各段的属性来设置页的权限），使用objdump查看elf的段信息后确认有问题，根本原因是linker script写的不对：我使用rodata32/bbs32/text32来标记BootLoader中的各段，以把它们和Kernel中的区别开，但这导致ld无法正确设置它们的属性，某些应该可写的段被设置为只读，最终造成PageFault。解决方案是把名称改成rodata.32/bss.32/text.32。
+- [参考教程](https://wiki.osdev.org/Higher_Half_x86_Bare_Bones)
+- 【新技能】在没有初始化中断时，出现TripleFault的Debug方法：利用qemu！
+  - 加入参数-d int，即可显示每次中断时的CPU信息
+  - 发生PageFault时，检查RPI（出错位置）和CR2（访存目标）
+
+#### 2018.04.14：设备初始化
+
+- 页表建立临时映射，以满足各设备初始化时访问特殊物理地址的需求。TODO：撤除or直接映射全部设备空间 
+- 完成以下初始化：LocalAPIC（链接C），IOAPIC，GDT（导入xv6 x86_64的描述符），PIC（复制Redox）
+- PIC和APIC都实现了产生时钟中断
+  - [关于实现中断的问题手册](https://wiki.osdev.org/I_Cant_Get_Interrupts_Working)
+
+#### 2018.04.13：高地址
+
+尝试将Kernel虚地址移到高地址区，遇到很多问题
+
+- 需要修改linker将kernel虚地址置为高地址区，但实地址还在低地址区（AT指令）
+- 需要修改初始页表，将四级页表项的1st和510th同时映射到低1GB物理空间。由于BootLoader执行时PC使用实地址，因此在进入Rust之后才能把1st页表项撤销掉。
+- 页表重映射（remap_the_kernel）修改后还没有调试成功，重置CR3的瞬间会崩掉
+- 经过测试，初始化IDT只能在页表重映射后进行（放到前面会直接崩掉），在开启IDT前不好Debug。
+
+### 第7周
+
+#### 2018.04.12：中期汇报文档和PPT
+
+- [中期汇报文档](https://github.com/wangrunji0408/RustOS/blob/dev/docs/MidReport.md)
+- [中期汇报PPT](https://github.com/wangrunji0408/RustOS/blob/dev/docs/MidPresentation.pdf)
+
+#### 2018.04.11：学习xv6，C语言绑定
+
+- 阅读xv6代码
+- 实现了Rust对C的绑定
+  - 直接extern符号链接即可，不需要bindgen
+  - bindgen输出的代码中，把std::raw::*替换成原生类型即可
+- RISCV Rust Toolchain：找到了一个日本人写的[采坑系列文章](http://msyksphinz.hatenablog.com/entry/2017/11/29/021030)，写于2017.12，成功在HiFive上跑起来了。
+
+#### 2018.04.09：TravisCI，C语言绑定
+
+- 从内部退出QEMU的方法：
+  - 运行qemu时加入 -device isa-debug-exit
+  - 执行outb(0x501, k)，会退出qemu，错误码为2k+1
+- [在Travis中运行qemu的方法](https://github.com/jdub/travis-qemu-example)
+- 结合上述方法可以在Travis上做集成测试 
+- qemu环境下单测比较困难，rust自带的测试框架也无法使用
+- 尝试Rust FFI（C语言绑定）
+  - [Rust-Bindgen](https://rust-lang-nursery.github.io/rust-bindgen/)
+  - 已经对xv6生成了绑定 
+  - 但它依赖std库，不好集成到只依赖core的RustOS中 
+  - 另一个移植思路是用C绑定Rust，把原有的模块逐个用Rust重写，对C提供临时接口，保持OS始终完整
+
+#### 2018.04.07：ACPI
+
+初步完成ACPI的移植
+
+之后的底层驱动部分，考虑 找Rust库 > 从RustOS里摘 > 从xv6移植。
+
+### 第6周
+
+#### 2018.04.04：RISCV
+
+找到了RISCV Rust Toolchain的Docker，编译样例项目失败，看上去除了作者本人，还没有别人成功过。
+
+#### 2018.04.02：32位boot
+
+在blog_os x86_64框架下实现x86的boot
+
+#### 2018.04.01：RISCV
+
+构建RISCV32/64 Docker
+
+尝试构建RISCV Rust Toolchain，失败
\ No newline at end of file
diff --git a/status.md b/status.md
index b8daadb..4670f24 100644
--- a/status.md
+++ b/status.md
@@ -2,8 +2,7 @@
 #### lab1: 
 
 - [x] Basic init：LocalAPIC，IOAPIC，GDT，PIC
-- [x] Device：Keyboard，Serial，PIT
-- [ ] Device：IDE
+- [x] Device：Keyboard，Serial，PIT，IDE
 - [x] Interrupt & Trapframe
 - [x] ※ Muilt-core startup