我是谁：蒋炎岩

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

  • “软件自动化”：测试/分析；代码合成
  • Two ACM SIGSOFT Distinguished Paper Awards; Best Paper Award @ ICSE'21

Co-Founder of Project-N

  • 在 bare-metal 上实现完整计算机系统

JSOI/南京大学 ICPC 集训队教练

  • CCF NOI/NOIP 系列赛江苏赛区技术负责人 (背锅侠)
    • 有很多运维的例子被带到了操作系统课！
  • ICPC World Finals 49th Place (2009, team leader)
  • ICPC World Finals 13th Place (2019, co-coach)

课程信息与成绩构成

所有课程信息都在课程主页发布 (大量信息；请 RTFM)！

成绩构成

  • 期末考试 40% + 随堂期中测验 10% + 大/小实验 50%
    • Soft + hard deadlines
      • 不要对编程抱有任何侥幸心理
      • 无论你基础如何，都相信努力就能做到

不强制要求到课

  • 努力上传视频，但不保证设备不会翻车
  • 直播 Office Hour (同时也回答在线问题)

五周目反思

在线课程取得了不错的效果

  • 持续增加了更多的代码课和新代码示例
    • 游戏修改器 (本周目将继续改进)
    • 自制动态加载器
    • 改进的 model checker (本周目将得到巨大改进)
    • 更多的 xv6-riscv

收到了很多线上反馈

  • 我就看看，我不回复
  • 有一些 critical 的建议
    • 我是非常欢迎的
    • 都考虑背后的逻辑/改动的必要 (有些体现在今年的课程里)

五周目反思 (cont'd)

每一年都给下一年 “做得更好” 的目标带来很大的压力

  • 继续改进示例代码
  • 去除对《计算机系统基础》课程的依赖
    • 成为一门 self-contained 的操作系统课
  • 上次倒的 flag：更新一部分实验
    • 如果可以的话，有一个 POSIX subsystem
    • (考虑到我的时间……还是很可能倒 😂)
  • 引入 Jupyter (大胆的尝试)
    • 试图给出更清晰的 “知识脉络”