本课程主要面向计算机专业的研究生,采用课堂讨论、逐步启发和深入分析的方法,通过讲解和分析操作系统相关研究领域的经典和前沿论文和研究成果,激发学生对操作系统研究的兴趣,推动并提供高学生独立思考能力以及发现并解决系统类问题的科研能力。
播放:10940次,课程ID:4231874
本课程主要面向计算机专业的研究生,采用课堂讨论、逐步启发和深入分析的方法,通过讲解和分析操作系统相关研究领域的经典和前沿论文和研究成果,激发学生对操作系统研究的兴趣,推动并提供高学生独立思考能力以及发现并解决系统类问题的科研能力。
--Course Overview
--Course Scheduling
--Rethink OS Components
--Tendency of OS -- Performance
--Tendency of OS -- Reliability
--Tendency of OS -- Correctness + Summary
--Overview
--History
--Monolithic kernel – UNIX
--Micro kernel – Mach & L4
--Exokernel – Xok+ExOS
--overview
--How VMM works-part1
--How VMM works-part2
--Hardware-assisted Virtualization
--Introduction
--lightvm
--dune
--Introduction
--Overview of POSIX
--POSIX in modern OS
--How to design a Linux kernel interface
--Interface for Performance part1
--Interface for Performance part2
--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
--Introduction
--Cache Coherence
--Memory Consistency
--Multiprocessor Memory Model & Multiprocessor Programming
--Introduction
--scalable lock
--RCU
陈渝,男,博士,清华大学计算机系副教授、中国计算机学会普适计算专委会副主任,系统软件专委委员,清华大学信息技术研究院操作系统研究中心负责人。主要科研方向:操作系统、系统安全,嵌入式系统,普适计算、高性能计算等。在操作系统相关领域的国际会议如VEE, ICPP, CLUSTER, PACT, MASCOTS, ICPADS等,和国际期刊,如 IEEE Computer, ACM TACO,CCPE, TCJ,发表了学术论文,共计发表论文50余篇,申请专利6项。作为项目负责人承担了核高基子项目3项,国家863项目1项,国家科技支撑计划1项,自然科学基金项目2项,以及国际合作项目6项等。负责研发操作系统分析工具,OS kernel bug分析平台,SkyEye嵌入式系统模拟仿真环境软件系统,ucore教学操作系统等。承担清华大学计算机系本科和研究生的操作系统课程,翻译和出版6本操作系统与嵌入式系统等教材。获省部级一等奖3次,二等奖2次。