摘要：
从给处理器加电开始，直到断电为止，程序计数器里总是一个一个的地址，指令的地址，假设这些地址依次是a0，a1，...，ak，其中ak是指令Ik的地址。从ak到ak+1的过渡称为控制转移。控制转移序列叫做处理器的控制流。Ik+1和Ik不总是相邻的，不相邻一般是由诸如跳转、调用和返回这样的指令造成的。跳转、调用和返回是必要的，使得程序能够对内部程序状态中的变化做出反应。这些内部程序状态是由程序变量表示的。程序有程序的状态，系统也有系统的状态。程序的状态通过程序变量来表示，比如程序变量变成0可能就是一种程序状态，系统的状态是一种统称。定时器产生信号、网络包到达网络适配器、子进程终止这些都是系统状态。一 阅读全文
