- 博客(90)
- 收藏
- 关注
RSS订阅原创 操作系统 蒋炎岩 4.数学视角的操作系统
Take-away Messages: 程序就是状态机；状态机可以用程序表示。因此：我们可以用更 “简单” 的方式 (例如 Python) 描述状态机、建模操作系统上的应用，并且实现操作系统的可执行模型。而一旦把操作系统、应用程序当做 “数学对象” 处理，那么我们图论、数理逻辑中的工具就能被应用于处理程序，甚至可以用图遍历的方法证明程序的正确性。
2025-11-28 12:19:18
210
原创 操作系统 蒋炎岩 3.硬件视角的操作系统
Take-away Messages: 计算机系统是严格的数学对象：没有魔法；系统的一切行为都是可观测、可理解的。处理器是无情执行指令的机器，其 Reset 后的行为也被明确规定。Reset 后，Firmware 开始运行，随后加载操作系统。厂商逐渐形成了 Firmware Specification 的共识（如 IBM PC “兼容机”、UEFI 等）。为支持工业级软件，这一过程相当复杂，即便是 “最简单” 的 OpenSBI 也包含大量代码。但有了 AI，你无需再为此担忧！
2025-11-27 22:04:15
238
原创 操作系统 蒋炎岩 2.应用视角的操作系统
Take-away Messages: Everything (高级语言代码、机器代码) 都是状态机；而编译器实现了两种状态机之间的翻译。无论何种状态机，在没有操作系统时，它们只能做纯粹的计算，甚至都不能把结果传递到程序之外——而程序与操作系统沟通的唯一桥梁是系统调用 (例如 x86-64 的 syscall 指令)。如此重要的桥梁，操作系统中自然也有工具：strace 可以查看程序运行过程中的系统调用序列。
2025-11-27 17:21:10
221
原创 操作系统 蒋炎岩 1.AI时代的操作系统课
Take-away Messages: 操作系统是软件和硬件之间的桥梁；因此我们 “找到” 一些合适的软件、一些相对简单的硬件，理解操作系统就会变得容易——我们的课程通过讲解操作系统上的应用，帮助你实现 “编程” 的梦想。
2025-11-27 14:28:23
227
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人