ysyx:0004:计算机系统的状态机模型

[ANNONCEMENT]

ysyx的课程规范实则是不鼓励分享的，发在这里其实只是做一个类似个人存档的东西或者跟没参加的同学分享，再加上我比较菜，所以参加这个课程的同学慎入。

程序，ISA和CPU都可以理解为状态机。

状态集合
变量取值集合
程序计数器,即程序执行位置
激励事件即为执行处的语句，状态转移规则为语句的语义。

C语言程序的main()函数并不是第一个调用的，main()的最后一条语句并不是最后调用的
工具：trace和gdb

正确的学习路径：Book→Manual

显见，CPU是数字逻辑电路，由数字电路课程内容。

:寄存器(PC & GPR)
:内存
(指令集手册不只是指令集)
指令集手册通过定义状态机进行状态转移的规则，来描述一台抽象计算机所具备的，程序可以使用的功能。

编译就是把C程序状态机翻译成指令集的状态机。
汇编就仅仅是指令集的符号化表示而已。
微结构设计就是把指令集状态机映射到CPU状态机。

一个重要观念：机器永远是对的
商业产品的bug的概率是很小的，如果你不理解系统的行为，一般是因为你不理解手册的细节。

-END-