wip: update lab order

YatSenOS · Nov 20, 2023 · aebb0da · aebb0da
1 parent e105376
commit aebb0da
Show file tree

Hide file tree

Showing 7 changed files with 12 additions and 12 deletions.
diff --git a/docs/index.md b/docs/index.md
@@ -31,27 +31,27 @@ A Rust x86_64 OS lab tutorial.
     1. 了解进程与线程的概念、线程的结构和实现。
     2. 实现内核线程的创建、调度、切换。（栈分配、上下文切换）
 
-- [实验四：硬盘驱动与文件系统](./labs/0x04-filesystem)
-
-    1. 了解文件系统的概念、作用。
-    2. 实现块设备、磁盘、分区、文件系统的抽象。
-    3. 了解 ATA 硬盘的工作原理、实现基本的读写驱动。
-    4. 实现 FAT16 文件系统的读取和只读文件访问。
-
-- [实验五：用户程序与系统调用](./labs/0x05-userspace)
+- [实验四：用户程序与系统调用](./labs/0x04-userspace)
 
     1. 了解用户态与内核态的区别、用户程序的加载与执行。
     2. 补充页表、内存分配相关知识，了解使用链接器脚本编译能够被加载执行的程序。
     3. 实现基本的系统调用。
     4. 实现用户程序的加载与执行，并切换到用户态。
 
-- [实验六：缺页异常、fork 的实现、并发与锁机制](./labs/0x06-page-fault-fork-and-lock)
+- [实验五：缺页异常、fork 的实现、并发与锁机制](./labs/0x05-page-fault-fork-and-lock)
 
     1. 了解缺页异常的处理过程，实现用户进程的栈增长。
     2. 了解 fork 的实现原理，实现 fork 系统调用。
     3. 了解并发与锁机制的概念，实现基于操作系统的自旋锁、信号量。
     4. 编写基于 fork 的并发程序，并测试自旋锁、信号量的正确性。
 
+- [实验六：硬盘驱动与文件系统](./labs/0x06-filesystem)
+
+    1. 了解文件系统的概念、作用。
+    2. 实现块设备、磁盘、分区、文件系统的抽象。
+    3. 了解 ATA 硬盘的工作原理、实现基本的读写驱动。
+    4. 实现 FAT16 文件系统的读取和只读文件访问。
+
 - [实验七：更好的内存管理](./labs/0x07-memory-management)
 
     1. 实现帧分配器的内存回收，操作系统的内存统计。

diff --git a/docs/labs/0x04-filesystem.md b/docs/labs/0x04-filesystem.md
diff --git a/docs/labs/0x04-userspace.md b/docs/labs/0x04-userspace.md
@@ -0,0 +1 @@
+# 实验四：用户程序与系统调用
diff --git a/docs/labs/0x05-page-fault-fork-and-lock.md b/docs/labs/0x05-page-fault-fork-and-lock.md
@@ -0,0 +1 @@
+# 实验五：缺页异常、fork 的实现、并发与锁机制
diff --git a/docs/labs/0x05-userspace.md b/docs/labs/0x05-userspace.md
diff --git a/docs/labs/0x06-filesystem.md b/docs/labs/0x06-filesystem.md
@@ -0,0 +1 @@
+# 实验六：硬盘驱动与文件系统
diff --git a/docs/labs/0x06-page-fault-fork-and-lock.md b/docs/labs/0x06-page-fault-fork-and-lock.md