2018操作系统专题训练课


课程介绍

课表

课程号

课程名

教师

上课星期

上课节次

上课周次

上课地点

30240402

操作系统专题训练

向勇、姜进磊

星期三

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

前八周

六教6B109

星期五

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

前八周

六教6B109

课程交流平台

课件

序号

内容

pptx格式课件

pdf格式课件

课堂讨论和练习

周次

初步时间安排

01

QEMU模拟器

20180918-lecture1-qemu.pptx

20180918-lecture1-qemu.pptx.pdf

选课问卷

第一周星期三

20180919

02

Kernel Static Analysis

20180920-lecture2-static-analysis.pptx

20180920-lecture2-static-analysis.pdf

参考文献、王润基:介绍rust语言

第一周星期五

20180921

03

Kernel Dynamic Analysis

20180926-lecture3-dynamic-analysis.pptx

20180926-lecture3-dynamic-analysis.pdf

RustBook Linux kernel vulnerabilities 王润基、戴臻旸:介绍rustosRustOS.pdf

第二周星期三

20180926

04

Microkernel & Mach

20180928-lecture4-microkernel.pptx

20180928-lecture4-microkernel.pdf

课堂讨论和练习

第二周星期五

20180928

05

实验二:方案报告

pptx格式课件

pdf格式课件

课堂讨论和练习

第四周星期三

20181010

06

Modern Computer System

20181012-lecture6-CSArch.pptx

20181012-lecture6-CSArch.pdf

课堂讨论和练习

第四周星期五

20181012

07

OS Design

20181017-lecture7-OSDesign.pptx

20181017-lecture7-OSDesign.pdf

补充文献: OSDI 2018 LegoOS.pdf

第五周星期三

20181017

08

L4 & L4Linux

20181009-lecture5-L4_L4Linux.pptx

20181009-lecture5-L4_L4Linux.pdf

课堂讨论和练习

第五周星期五

20181019

09

Scheduling

20181024-lecture8-scheduling.pptx

20181024-lecture8-scheduling.pdf

补充文献:OSDI 2018 Core Aware Thread ManagementSlides.pdf

第六周星期三

20181024

10

Exokernel

20171020-lecture6-exokernel.pptx

20171020-lecture6-exokernel.pdf

课堂讨论和练习

第六周星期五

20181026

11

Storage System: Scalability

20181031-lecture9-StorageScalability.pptx

20181031-lecture9-StorageScalability.pdf

课堂讨论和练习

第七周星期三

20181031

12

Storage System: Efficiency

20181102-lecture10-StorageEfficiency.pptx

20181102-lecture10-StorageEfficiency.pdf

课堂讨论和练习

第七周星期五

20181102

13

Storage System: Reliability

20181107-lecture11-StorageReliability.pptx

20181107-lecture11-StorageReliability.pdf

课堂讨论和练习

第八周星期三

20181107

14

Hardware Virtualization

20181109-lecture7-hardware-vitualization.pptx

20181109-lecture7-hardware-vitualization.pdf

课堂讨论和练习

第八周星期五

20181109

15

printk() - The most useful tool

pptx格式课件

20180520-Elce-printk-v1.pdf

课堂讨论和练习

第九周星期三

20181114

16

实验三报告

pptx格式课件

pdf格式课件

课堂讨论和练习

第九周星期五

20181116

序号

内容

pptx格式课件

pdf格式课件

课堂讨论和练习

周次

初步时间安排

实验

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

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

序号

大实验题目

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

1

应用程序稳态测试系统的改进

王逸松 2015011369

2

Rust OS 上树莓派 USB 与 VideoCore IV 显卡驱动的移植

贾越凯 2015011335 寇明阳 2015011318 孔彦 2015011349

3

Rust OS 多核移植与基于PARD框架的线程级Label管理

王纪霆 2015011251

4

Rust OS wiki完善与教学lab实验的制作

陈秋昊 2015011283 刘辰屹 2015011277 朱书聪 2015011322

5

Rust OS 参考sv6的多核实现和优化

王润基 2015011279

6

Rust OS 移植到 rv64 及llvm编译器支持

戴臻暘 2015011296

7

Rust OS 树莓派网络及声卡支持

霍江浩 2015010611 吴昆 2015010625 范书沛 2015011202

8

Rust OS 增加进程通讯信号支持

匡正非 2015011273

参考资料

成绩评定

用户管理

课程日志

OsTrain2018 (last edited 2018-11-21 00:02:09 by xyong)

MoinMoin Appliance - Powered by TurnKey Linux