操作系统(4)状态机视角下的程序执行 有限状态机(Finite-state machine, FSM) 表示有限个状态在一定的条件下发生某个动作导致从一个状态转换到另一个状态的模型。 有限状态机的要素: 有限状态机=有向图 程序=有限状态机 其中,大部分的指令执行结果都是确定,也有少部分的指令执行结果不确定导致会进入多种不确定状态的一种,但状态也是有限的,因为内存能表示的结果也是有限的。 不确定的会导致多个后续状态(rdrand和系统调用等)