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