Skip to content

Commit f147fd5

Browse files
Create lab3.md
1 parent e1ca261 commit f147fd5

File tree

1 file changed

+133
-0
lines changed

1 file changed

+133
-0
lines changed

docs/lab/lab3.md

Lines changed: 133 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,133 @@
1+
# Lab 3: Process (User Part)
2+
3+
负责助教:[唐傑伟](mailto:[email protected])
4+
5+
在本实验中,我们将完善 Lab2 中实现的进程概念,在系统中运行简单的用户态进程。
6+
7+
## 1. 更新
8+
9+
* 更新了信号量的规则,引入了信号量的锁定和解锁机制,便于借助信号量实现更丰富的同步功能。详见 `common/sem.c``common/sem.h` 。不影响原有代码,但是你可能需要注意一些使用信号量和锁带来的并发问题。
10+
* 在通过 Lab2 的测试后,**请将`activate_proc`中 「若`thisproc()->state==ZOMBIE`则panic」 的规则去除**(如果你是这样写的话)。如果`thisproc()->state==ZOMBIE`,请不做任何操作,并返回false。这项改动有助于你编写`kill`函数。
11+
* 在时钟中断上抽象出了CPU定时器的概念。详见 `kernel/cpu.c``kernel/cpu.h`
12+
*`sched` 函数中添加了 `attach_pgdir(&next->pgdir)` ,用于在进入用户态时设置页表。
13+
* 修复了 `common/list.c``queue_push` 没有增加 `x->sz` 的问题。
14+
15+
## 2. 服务器操作
16+
17+
运行以下命令进行代码的拉取与合并
18+
19+
```shell
20+
# 拉取远端仓库
21+
git fetch --all
22+
23+
# 提交你的更改
24+
git add .
25+
git commit -m "your commit message"
26+
27+
# 切换到新lab的分支
28+
git checkout lab3
29+
30+
# 新建一个分支,用于开发
31+
git checkout -b lab3-dev
32+
33+
# 引入你在上个lab的更改
34+
git merge lab2-dev
35+
```
36+
37+
如果合并发生冲突,请参考错误信息自行解决。
38+
39+
## 3. 页表
40+
41+
理论课中已经学习过分页内存管理的概念。AArch64将64位虚拟地址分为0xffff开头的和0x0000开头的两部分,分别成为高地址和低地址。在我们的实验中,内核代码使用的内存被映射到高地址,用户代码使用的内存被映射到低地址。
42+
43+
高地址的页表基地址寄存器为`ttbr1`,低地址的页表基地址寄存器为`ttbr0`。这两个寄存器都只能在内核模式下访问,他们保存相应页表的**物理地址**。在我们的实验中,默认使用4KB页大小的4级页表,你可以参考ARM Manual,了解此类页表的具体结构,对于实验中出现的简单情况,也可以参考上课时的讲解。页表中的大多数特性我们的实验并没有用到,但了解详细情况有助于你后续扩展功能。
44+
45+
## 4. 系统调用
46+
47+
**系统调用**(system call),指运行在用户空间的程序向操作系统内核请求需要更高权限运行的服务。系统调用提供用户程序与操作系统之间的接口。大多数系统交互式操作需求在内核态执行。如设备IO操作或者进程间通信。
48+
49+
用户程序运行在受限的上下文下,如需访问系统资源,需要通过系统调用陷入内核态,由内核处理请求。系统调用类似于一种特殊的异常,用户程序执行系统调用指令(svc)后,陷入内核态,内核在`trap_global_handler`中识别出类型,然后执行相应操作。
50+
51+
我们的实验采用通用的系统调用约定:x8寄存器存放请求的系统调用id,x0-5寄存器存放系统调用的六个参数。系统调用返回时,设置x0寄存器为系统调用的返回值。
52+
53+
## 5. 任务
54+
55+
{% hint style="success" %}
56+
**任务1**
57+
58+
完成页表配置的相关代码。我们在`Proc`中添加了`pgdir`项,存储进程的用户态内存空间的相关信息。`pgdir`是定义在`pt.h`中的结构体,`pgdir.pt`指向进程的用户页表。如果进程是纯内核态进程,则`pgdir.pt`可以为空。该结构体在后续实验中还会加入内容,我们这里暂时不用关心。
59+
60+
* 你需要完成`pt.c`中的`get_pte`函数。该函数遍历给定的`pgdir`,从中找到对应于指定虚拟地址的页表项,并返回页表项的指针。如果页表项不存在(即其所在的页表未创建),若alloc标记为true,则创建和配置页表项所在的页表及其上级页表(如果需要),然后返回有效的页表项指针,否则返回NULL。(返回的指针指向的页表项可以是无效的。请注意区分页表项和它所引用的物理页。)
61+
* 你需要完成`pt.c`中的`free_pgdir`函数。该函数释放给定的`pgdir`。请注意只要释放页表本身所占的空间,不要释放页表所引用的物理页。(页表所引用的物理页目前由测试代码直接管理。在后续实验中,我们会逐渐完成相关的代码,本次实验只要求大家完成页表本身的操作。)
62+
* 你可能需要在`proc.c``init_proc`中加入`init_pgdir`,在`exit`中加入`free_pgdir`
63+
{% endhint %}
64+
65+
{% hint style="success" %}
66+
**任务2**
67+
68+
完成系统调用的相关代码。我们在`trap.c`中已经提供了在系统调用时调用`syscall_entry`的代码,你需要完成`syscall.c`中的`syscall_entry`函数。该函数传入UserContext作为参数,请从中提取出相应的寄存器,查询`syscall_table`,执行指定的系统调用,并将系统调用的返回值保存到指定的寄存器。
69+
{% endhint %}
70+
71+
{% hint style="success" %}
72+
**任务3**
73+
74+
修改你的UserContext。你需要保证UserContext中有spsr、elr、sp(`sp_el0`)寄存器,并结合你的UserContext 添加 `test/user_proc.c` 中的 TODO 部分。
75+
{% endhint %}
76+
77+
{% hint style="success" %}
78+
**任务4**
79+
80+
完成结束进程相关的代码。结束进程的逻辑参考了xv6和Linux的设计。我们在`proc.c`中添加了一个函数`kill`。调用kill会设置指定进程的killed标记,并唤醒进程,阻止进程睡眠。进程在返回用户态时会检查killed标记,若有则调用exit退出。
81+
82+
* 实现`proc.c`中的`kill`函数。该函数遍历进程树,搜索指定pid且状态不为unused(可参考`sched.c`中给出的`is_unused`,访问调度信息时加锁是个好习惯,但这里其实不加锁也没啥事)的进程,如果进程不存在,返回-1。对于找到的进程,设置`struct proc``killed`标记,并调用`activate_proc`唤醒进程。完成之后,返回0。请注意使用进程树的锁。
83+
* 修改你的`sched`代码,使其能够保证,如果当前进程带有killed标记,且new state不为zombie,则调度器直接返回,不做任何操作。(为什么?)
84+
*`aarch64/trap.c``trap_global_handler`函数的末尾加上检查,如果当前进程有killed标记且即将返回到用户态,则调用`exit(-1)`
85+
{% endhint %}
86+
87+
{% hint style="success" %}
88+
**任务5**
89+
90+
改进你的调度器。Lab2的内核进程调度是非抢占式的,Lab3要求大家进行抢占式的调度,你可能需要在调度器中加入时钟中断相关的代码,并注意**调度的公平性问题**。另请注意:我们现在在时钟中断的基础上封装了一层CPU定时器的抽象,**请使用CPU定时器**
91+
{% endhint %}
92+
93+
我们在`user_proc.c`中编写了用户页表和用户进程相关的测试代码,在`cpu.c`中通过CPU定时器添加了CPU定时输出消息的代码。如果一切正常,你将看到`vm_test PASS``user_proc_test PASS`
94+
95+
测试还会输出4个CPU和22个进程的工作量,请确认CPU和进程间的相对工作量是否分别基本平衡。
96+
97+
## 6. 提交
98+
99+
**提交方式**:将实验报告提交到 elearning 上,格式为 `学号-lab3.pdf`
100+
101+
**注意**:从`lab1`开始,用于评分的代码以实验报告提交时为准。如果需要使用新的代码版本,请重新提交实验报告。
102+
103+
**截止时间**:<mark style="color:red;">**11月7日23:59**</mark>。
104+
105+
{% hint style="danger" %}
106+
**逾期提交将扣除部分分数**
107+
108+
计算方式为 $$\text{score}_{\text{final}} = \text{score} \cdot \left(1 - n \cdot 20\% \right)$$,其中 $$n$$ 为迟交天数,不满一天按一天计算)。
109+
{% endhint %}
110+
111+
报告中可以包括下面内容
112+
113+
* 代码运行效果展示
114+
* 实现思路和创新点
115+
* 对后续实验的建议
116+
* 其他任何你想写的内容
117+
118+
> ~~你甚至可以再放一只可爱猫猫~~
119+
120+
报告中不应有大段代码的复制。如有使用本地环境进行实验的同学,请联系助教提交代码(最好可以给个`git`仓库)。使用服务器进行实验的同学,助教会在服务器上检查,不需要另外提交代码。
121+
122+
在服务器上操作的同学,此次实验完成后请提交(或者说创建一个新分支)到 `lab3-submission` 分支,助教会使用你在此分支上提交记录来批作业。如果此分支最后提交时间晚于实验报告提交时间,助教会选择此分支上在实验报告提交时间前的最后一个提交作为批改代码。
123+
124+
**提交操作**
125+
126+
```shell
127+
# 提交最后的代码
128+
git add .
129+
git commit -m "your final commit message"
130+
131+
# 新建一个分支,用于提交
132+
git checkout -b lab3-submission
133+
```

0 commit comments

Comments
 (0)