高级操作系统

高级操作系统课程简介：前往报名学习

高级操作系统课程简介：

本课程主要面向计算机专业的研究生，采用课堂讨论、逐步启发和深入分析的方法，通过讲解和分析操作系统相关研究领域的经典和前沿论文和研究成果，激发学生对操作系统研究的兴趣，推动并提供高学生独立思考能力以及发现并解决系统类问题的科研能力。

前往报名学习

高级操作系统课程目录：

Advanced OS Overview

--Course Overview

--Course Scheduling

--Rethink OS Components

--Tendency of OS -- Performance

--Tendency of OS -- Reliability

--Tendency of OS -- Correctness + Summary

OS Architecture &Structure

--Overview

--History

--Monolithic kernel – UNIX

--Micro kernel – Mach & L4

--Exokernel – Xok+ExOS

Virtual Machine Monitor

--overview

--How VMM works-part1

--How VMM works-part2

--Hardware-assisted Virtualization

Optimization of Virtual Machine Monitor

--Introduction

--lightvm

--dune

The Interface of OS

--Introduction

--Overview of POSIX

--POSIX in modern OS

--How to design a Linux kernel interface

--Interface for Performance part1

--Interface for Performance part2

The Programming Languages of OS

--Introduction

--The Evolution of C Programming Practices

--A Study of Bugs on Linux

--The benefits and costs of writing kernel in a HLL

--Writing kernel in Rust

Scalable Sync on Shared-Memory Multiprocessors

--Introduction

--Cache Coherence

--Memory Consistency

Scalable Sync on Shared-Memory Multiprocessors-II

--Multiprocessor Memory Model & Multiprocessor Programming

Concurrency in OS Kernel

--Introduction

--scalable lock

--RCU

高级操作系统授课教师：

陈渝-副教授-清华大学-计算机科学与技术系

陈渝，男，博士，清华大学计算机系副教授、中国计算机学会普适计算专委会副主任，系统软件专委委员，清华大学信息技术研究院操作系统研究中心负责人。主要科研方向：操作系统、系统安全，嵌入式系统，普适计算、高性能计算等。在操作系统相关领域的国际会议如VEE, ICPP, CLUSTER, PACT, MASCOTS, ICPADS等，和国际期刊，如 IEEE Computer, ACM TACO，CCPE, TCJ,发表了学术论文，共计发表论文50余篇，申请专利6项。作为项目负责人承担了核高基子项目３项，国家863项目1项，国家科技支撑计划1项，自然科学基金项目2项，以及国际合作项目6项等。负责研发操作系统分析工具，OS kernel bug分析平台，SkyEye嵌入式系统模拟仿真环境软件系统，ucore教学操作系统等。承担清华大学计算机系本科和研究生的操作系统课程，翻译和出版6本操作系统与嵌入式系统等教材。获省部级一等奖３次，二等奖２次。