上操作系统课的乐趣

在课堂上时，你可以思考一些已经很清楚的基本东西。这些知识是很有趣、令人愉快的，重温一遍又何妨？另一方面，有没有更好的介绍方式？有什么相关的新问题？你能不能赋予这些旧知识新生命？……但如果你真的有什么新想法，能从新角度看事物，你会觉得很愉快。

学生问的问题，有时也能提供新的研究方向。他们经常提出一些我曾经思考过、但暂时放弃、却都是些意义很深远的问题，重新想想这些问题，看看能否有所突破，也很有意思。

学生未必理解我想回答的方向，或者是我想思考的层次；但他们问我这个问题，却往往提醒了我相关的问题。单单靠自己，是不容易获得这种启示的。 —— Richard Feynman

六周目的主要改进

课程主线

  • 真正实现了 “everything is a state machine”
    • 实现了第五周目立的 flag
    • 一个足够成熟的 model checker
  • Jupyter notebook 和 lecture notes 的改进

代码

  • 更好的代码示例
  • 但似乎因为课时，展示得代码变少了

AI

  • Copilot 逐渐应该成为课程的一部分

自我批评与七周目

课程主线

  • 仍然欠着的代码
    • RAID 模拟器
    • ...
  • 重写课程网站/Online Judge
    • 整改项目，再再再次未能如愿
  • 还不够 friendly
    • 是的……
  • 也许需要一个团队了

其他

  • 欢迎大家提建议/意见