Course Name: Advanced Operating Systems (Spring Semester, 2020)


INTRO

80240442 is a graduate seminar on research in system software. The goal of the class is to get the students to understand the internal of system software, such as performance optimization for multicore architecture, system security, verified system, etc. The structure of the class will consist of students presenting research papers during lecture, and students working on significant research projects. We expect students to start working or repeating on the existed great research projects in the first week or two, and continue for the entire semester, culminating in a draft research paper. Examples of project include building commuter, kint, , FP-Miner, jitk, ucore -- simple OS kernel, etc.

* aos_course_info

SCHEDULING

* 1~16 weeks * Monday (8:00-9:35) * 4-101, 4th building

STAFF

TA

TEXT BOOK

No text book

LECTURES

Lec 1 Advanced OS Overview

Lec 2 OS Architecture

Lec3+4 System Virtualization Overview

Lec5+6 OS/System API/Interface

Lec7+8 OS for MultiCore Architecture

Lec 9+10 OS/System Security

Lec 11+12 Correctness: OS/System Verification

Lec 13+14 OS Kernel and HLL

Lec 15+16 Invited Talks From Visitors & Students

* lecture videos in bilibili

* lecture slides/videos in cloud tsinghua

PROJECT

REPEAT

DIY

READING LIST

* PaperList

GRADING

  1. Reading Paper and Reating the work from the paper : 60 %
  2. DIY project : 40%

AOS2020 (last edited 2020-02-16 04:41:27 by 陈渝)

MoinMoin Appliance - Powered by TurnKey Linux