计算机系统 = 程序 = 状态机

操作系统

Turing Machine ——> AbstractMachine
Operating systems, you‘re delighted.

• 嵌入式系统
• 通用操作系统
• 分布式系统
  …

Hacker’s Delights:

• 计算机的本质是状态机 – fork
• “死锁检测” – lockdep
  - dynamic analysis的本质
• 文件系统时磁盘上的一个数据结构
  通过append-only 实现journaling, copy-on-write，分布式系统

理解方法： AbstractMachine

• C Runtime
• 中断（上下文管理）
• I/O设备访问
• 虚拟存储
• 多处理器

操作系统就是状态机的模拟者

• 提供虚拟化的状态机和其他服务
• 设备/持久数据管理、进程间通信、网络

从逻辑门到计算机系统

刷一下手机的复杂过程：
应用程序(app) ——> 库函数(Android Framewok) ——> 系统调用 ——>
操作系统中的对象 ——> 操作系统实现(C 程序) ——> 设备驱动程序 ——> 硬件抽象层(AbstractMachine) ——> 指令集（X86 64） ——> CPU, RAM, I/O设备 ——> 门电路 ——> 另一台计算机 ——> 分布式系统 ——> …

相关研究

• Computer Architecture - 计算机硬件设计、实现与评估
• Computer Systems - 系统软件的设计、实现与评估
• Network Systems - 网络与分布式系统的设计 、实现与评估
• Programming Languages - 状态机（计算机过程）的描述方法、分析和运行时支持
• Software Engineering - 程序/系统的构造、理解和经验
• System/Software Security - 系统软件的安全（Safety Integrity)

操作系统管理