计算机系统=程序=状态机
操作系统
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)