个人简介

副教授，但是临时工 (计算机软件研究所 )

• 教操作系统、做 PL 的软工人
  • 所以有了这门很不一样的《操作系统》课
• ICSE'21 Best Paper Award (Program synthesis)
• SOSP'23 Best Paper Award (Software testing/validation)

个人简介 (cont'd)

Co-Founder of Project-N

• 间接孵化了 “一生一芯” (yzh)

• 和把大家折磨得死去活来的 NEMU (2022 IEEE Micro Top Picks Paper); NVBoard
• (我想躺平了多花点时间维护代码)

个人简介 (cont'd)

NOI/NOIP 系列赛江苏赛区技术负责人 (背锅侠)

• 因为经常运维，所以《操作系统》课时常有素材

课程简介

请移步课程主页

• 传统：不强制要求到课 (但不保证录制不会翻车)
• 后续重要信息将群发邮件通知

助教

• 刘泽森 (zesenliu@smail.nju.edu.cn)

Office Hour

• 每周一 13:00-14:00 线下答疑 + 直播
• 每周一 16:00-17:30 助教线下答疑

课程简介：成绩组成

期末考试 40%

• 教科书 (OSTEP) 完全覆盖

随堂期中测验 10%

• 放轻松，跟上课堂示例代码即可

实验 50%

• Soft + hard deadlines
• 不要对编程抱有任何侥幸心理
  • 但无论你基础如何，都相信努力就能做到

课程简介：蹭课

仅限校内同学

• 从 此链接 (需登录) 报名蹭课
  • 通过 @smail.nju.edu.cn 发送 TOKEN
  • (正式选修的同学无需报名)

不公开的原因

• 没有做到 production-ready
• 我经常直接拿大家做实验，经常有 rejudge 等行为

2023 年的总结

六年时间，终于 “理解” 了操作系统应该怎么教

• The hitchhiker's guide to operating systems (USENIX ATC'23)
• 相信 “困难的事是办得到的” (世界充满了机遇)

做了许多小改进

• 增加了更多的示例代码 (今年继续改进)
• Jupyter Notebook 取得了成功 (所以不用了)
• Model checker 大幅改进 (但还不完美)
• 减少了对《计算机系统基础》的依赖 (继续去除)

2024 年的期望

一些倒掉的 flag 扶起来了！

• 学习了新的语言，用 tsx/Next.js 更新了网站！
  • (前端的魅力：无论代码多么烂，肉眼观感都是好的)

那就再立一些吧

• 继续改进代码 (今年用 GPT 为代码增加解释)
• 真正成为一门 self-contained 的操作系统课
• 更新一部分实验
  • 如果可以的话，有一个 POSIX subsystem
  • (这个估计要倒？)

建议与反馈

邮件：jyy@nju.edu.cn

• 保证邮件 100% 回复 (太久不回可以戳我)
• 线上反馈：会看，但不会回复
  • (我不想当网红)
• 但感谢一切 critical 的建议
  • 批评总是有原因的
  • 我会试图考虑背后的逻辑/改动的必要

直接在 QQ 群提出

• 未必能看到/及时回复