2019操作系统专题训练课


课程介绍

课表

课程号

课程名

教师

上课星期

上课节次

上课周次

上课地点

30240402

操作系统专题训练

向勇、姜进磊

星期三

2(上午9:50~11:25)

前八周

六教6B207

星期五

2(上午9:50~11:25)

前八周

六教6B207

课程讲义

在本wiki页面维护操作系统课的所有讲义的最新版本。

为了方便同学们合理安排自己的时间和精力,依据清华大学2018-2019学年度校历,下面列表中也给出每次课的预期时间,供同学参考。注意,这个时间还有可能进行少许的调整。

序号

内容

pptx格式课件

pdf格式课件

课堂讨论和练习

周次

初步时间安排

01

课程介绍

20190911-lecture1-qemu.pptx、王润基:rCore介绍与选题参考

pdf格式课件

选课问卷

第一周星期三

20190911

中秋节假期

第一周星期五

20190913

2

QEMU模拟器

20190911-lecture1-qemu.pptx

pdf格式课件

课堂讨论和练习

第二周星期三

20190918

3

BiscuitOS & rcore on ARM

MIT Frans: The benefits and costs of writing a POSIX kernel in a high-level language,slides、贾越凯:ARMv8-A 架构简介与 rCore 中的实现

pdf格式课件

课堂讨论和练习

第二周星期五

20190920

4

Kernel Static Analysis

20190916-lecture2-static-analysis.pptx

pdf格式课件

Kint相关参考文献

第三周星期三

20190925

5

Kernel Dynamic Analysis

20190927-lecture3-dynamic-analysis.pptx

pdf格式课件

课堂讨论和练习

第三周星期五

20190927

6

实验二:方案报告

pptx格式课件

pdf格式课件

课堂讨论和练习

第四周星期三 (调到第三周星期日)

20190929

国庆假期

第四周星期五

20191004

7

Microkernel

20191008-lecture4-microkernel.pptx20191008-lecture5-L4_L4Linux.pptxDuISCA19.pdf、王润基:rCore Internals

pdf格式课件

课堂讨论和练习

第五周星期三

20191009

8

Exokernel

20191011-lecture6-exokernel.pptx、王逸松:评测鸭-稳定精确的评测系统如何改善编程教育

pdf格式课件

课堂讨论和练习

第五周星期五

20191011

9

Modern Computer System

20191016-lecture7-ModernComputerSystems.pptx、郭敬哲:rCore Loadable Kernel Module

pdf格式课件

课堂讨论和练习

第六周星期三

20191016

10

OS Design: I

20191018-lecture8-OSDesign(1).pptx Arrakis Paper IX Paper

pdf格式课件

课堂讨论和练习

第六周星期五

20191018

11

OS Design: II

20191023-lecture9-OSDesign(2).pptx

pdf格式课件

课堂讨论和练习

第七周星期三

20191023

12

实验三报告

pptx格式课件

pdf格式课件

课堂讨论和练习

第七周星期五

20191025

13

Scheduling: CPU & VM

20191030-lecture10-Scheduling.pptx

pdf格式课件

课堂讨论和练习

第八周星期三

20191030

14

Resource Management

20191101-lecture11-ResourceManagement.pptx、郭敬哲:Typekernel

pdf格式课件

课堂讨论和练习

第八周星期五

20181101

15

Storage System

20191101-lecture12-StorageSystem.pptx

pdf格式课件

课堂讨论和练习

第九周星期三

20181106

16

实验四报告

pptx格式课件

pdf格式课件

课堂讨论和练习

第九周星期五

20181108

序号

内容

pptx格式课件

pdf格式课件

课堂讨论和练习

周次

初步时间安排

实验

rcore功能完善和移植实验选择

请各位同学选择自己的大实验题目,并填入下面表格。通常每个题目可以由1位同学独立或2到3位同学合作完成一个题目;每个题目最多只能有一组同学选择。请在选定题目后,与向勇约时间交流,明确实验具体目标和时间安排。

序号

大实验题目

小组成员列表(姓名和学号)

1

调研Fuchsia的微内核实现,尝试rcore微内核版本的修改

潘庆霖(2016011388)

2

GUI

孙桢波(2016011277)黄冰鉴(2016011296)

3

适配 mini GUI

刘丰源(2017011313)康鸿博(2016011314)

4

IO复用

石雨松(2016011330)

5

rethink用户/内核态

张译仁(2016011371)

6

编译原理/操作系统综合实验

陶东来(2016011322) 苏明贤(2016011349) 郭敬哲(2016011362)

7

对简易版rcore的进一步维护和更新

吴一凡(2016011269)

8

对简易版rcore的进一步维护和更新

刘丰源(2017011313)

常用链接

参考资料

成绩评定

用户管理

课程日志

OsTrain2019 (last edited 2019-11-24 13:21:13 by 2016011269)

MoinMoin Appliance - Powered by TurnKey Linux