操作系统是计算机系统中负责管理各种软硬件资源的核心系统软件,为应用软件运行提供良好的环境。掌握操作系统的基本原理及其核心技术是研究型大学计算机专业本科毕业生的基本要求。本课程是计算机专业核心课,以主流操作系统为实例,以教学操作系统ucore为实验环境,讲授操作系统的概念、基本原理和实现技术,为学生从事操作系统软件研究和开发,以及充分利用操作系统功能进行应用软件研究和开发打下扎实的基础。
2018年春季开课,13周完成,主要包括:操作系统结构、中断/异常与系统调用、OS启动、内存管理、进程/线程管理、调度、同步扶持、进程间通信、死锁处理、文件系统、I/O系统
- 2018年02月25日:2018年春季操作系统课通知
- 2018年02月26日:感谢成都琛石科技有限公司的大力支持并提供实践ucore os labs的"实验楼"在线实验环境
- 2018年02月26日:感谢腾讯公司的大力支持并提供腾讯云服务主机用于os tutorial labs/ucore os labs的远程实验/练习。
1. 预习,完成第i周课前视频学习(optional)
2. 完成第i周基本练习(optional)
3. 上课听讲,提问/被提问
4. 在deadline前,按序完成ucore_lab实验
5. 复习,做课后练习,if (碰到问题) 到piazza的论坛上提问;
6. 在规定时间参加期中/期末考试;
- Operating Systems: Three Easy Pieces 操作系统:三大简易元素
- Operating System Concepts 操作系统概念
- Operating Systems:Internals and Design Principles 操作系统:精髓与设计原理
- 星期二 上午 第1节,(08:00-09:35) 操作系统 30240243 地点: 四教4101/4202
- 星期五 下午 第3节,(13:30-15:05) 操作系统 30240243 地点: 四教4101/4202
- 完成的实验和报告需要按时提交到网络学堂(for拿清华学分的同学)
- 在线实验环境基于"实验楼"在线平台
- 相关参考资料用于学习和了解更多实验相关的背景/软件/硬件/编程等细节
- 清华大学计算机系OS课程主站
- 学堂在线OS课
- OS课程技术细节的主要问答交流区
- 微信群(for 清华拿学分的同学) "2018春-OS原理课程"
- QQ群 181873534 主要用于事件通知,一般性OS问题,非OS问题的聊天等
- 在岗: 甄艳洁 沈游人 朱俸民 冀伟清 张蔚
- 已退休:李曈、茅俊杰、何嘉权、曹睿东、武祥晋、辛云星、刘聪、常铖 吴燕妮 张禹 郭旭 陈土其 ...
- 向勇老师 email: xyong AT tsinghua.edu.cn
- 陈渝老师 email: yuchen AT tsinghua.edu.cn
如果你完成了OS课程和独立完成了ucore os lab,说明你对OS课程有兴趣或有能力挑战OS,也许你想尝试一下OS相关的科研,欢迎到清华实验室来实习。
下面是我们正在/准备要想做的一些研究探索:
1、面向异构(CPU+GPU)架构的系统优化技术研究
2、操作系统缺陷分析与改进
3、操作系统动态分析/插桩(基于Ftrace,perf,eBPF等)分析
4、操作系统子系统全部或部分特征正确性(基于symbolic execution+SMT)分析/验证
5、面向操作系统不同版本的差异性分析(基于symbolic execution)
6、操作系统TCP/IP协议栈优化
7、操作系统安全隔离(基于硬件扩展或SVA等)技术研究
8、操作系统虚拟化优化(dune,kvm等)研究
9、Linux PREEMPT_RT 分析与改进
10、Linux kernel的LLVM支持
11、Linux Kernel的版本自动升级技术(基于LLVM等)
12、操作系统分层机制中的潜在缺陷和优化改进方法
13、Android全系统分析与性能优化
14、基于深度学习与数据挖掘的操作系统语义理解
15、RISC-V CPU相关的OS研究
如果有各种意见、建议或想到清华OS实验室实习的同学/工程师(面向全国),请发信息或简历给陈渝老师(yuchen AT tsinghua.edu.cn)发email。谢谢!