第五期ysyx yzh第三课《计算机系统的状态机模型》总结

把复杂语句拆分成简单语句的工具（输入是C语言，输出也是C语言）：C Intermediate Language

 

C语言语句的语义谁说了算？答案：C语言标准手册（比如C99标准手册）

 

C程序是个状态机，CPU也是个状态机，因为CPU = 数字逻辑电路 = 状态机。

 

指令集相关

指令集是软件和硬件之间的接口

指令集手册定义了CPU执行指令的行为　　就好比　　C语言标准手册定义了C语言执行语句的行为

指令集和CPU是不同层次的概念

《RISC-V Reader》（中文译名是 《RISC-V 手册》，很误导新人）是科普读物，不是官方手册

 

编译：

编译器的工作，就是把C程序的状态机 S_c 翻译成指令集的状态机 S_isa  

 

 

 

 

a