计算机内部探秘：程序执行

===》点我返回目录《===

上面我们知道了存储和加法实现，但是这个还不是程序，那么一个程序是怎么在计算机内部执行的呢？

有了前面的讲解，你能猜到，还不是一堆电路在飞速干活，这个过程好机械。这么想就对了，计算机就是一个又笨又快的机器。通过简单的门电路基本的功能（加法移位逻辑运算）组合成威力无比的现代计算机。

你可能厌倦了在这么基本的物理层面学习计算机编程，但是稍安勿躁，虽然这很啰嗦，但是值得的，我们最后花点时间从底层看看现代伟大的发明计算机是如何执行的。

现代计算机的理论模型是Turing图灵机，由Alan Turing在1936年的一篇论文中提出。你可以从这个网址找到原始论文：www.cs.virginia.edu/~robins/Turing_Paper_1936.pdf。

图灵机定义：M=(Q,Ε,Γ,δ,q0,B,F)

其中，Q是有限状态集，Ε是输入字母表，Γ是带符号集，δ：是动作函数（L表示读写头向左移动一格，R表示读写头向右移动一格），q0（q0∈Q）是初始状态，B（B∈Γ）表示空白符，F（F⊆Q）是终止状态集。

哎呀，许多人看着这个就头大了，我在这里写出来也只是想让大家知道Turing机是得到了严格数学证明的东西。

Alan Turing是英国数学家，他奠定了理论计算机的基础，提出了判定机器是否具有智能的图灵测试，是计算机科学之父和人工智能之父。二战期间，他破译了纳粹德国密码，为胜利做出了巨大贡献。

因为Turing是同性恋，为当时的社会所不容，被法庭宣判有罪，遂于1954年服毒自杀。2013年12月24日，英国女王Elizabeth II伊丽莎白二世赦免1952年因同性恋行为被定罪的Turing。之后Turing的家人联合50万人签名继续请愿，最终在2017年1月31日，Alan Turing法案生效，约49,000位因同性恋定罪者被赦免。作为对他的敬意，你将在2021年的50英镑钞票上看到图灵的头像。在人类走向文明和包容的历史进程中，也有我们的计算机科学之父流下的血。

 

（Alan Turing，1912.6.23－1954.6.7，图片来源：维基百科）

我们来看看Turing机形象的表示：

 

这个概念机器简单到出人意外，更加出人意外的是这台机器就表示了人的最大可计算能力！我们从小就被告知科技的进步是无止尽的，人类认识世界的能力也是没有穷尽的。但是科学告诉我们，我们必须认识到有些东西是人类不可认识到的。数学和逻辑学大师哥德尔在1931年发表的不完备定理就证明了这点。

看一下Turing机的组成部分：

 

1 一个无限长的存储带，带子有一个个连续的存储格子组成，每个格子可以存储一个数字或符号；

2 一个读写头，读写头可以在存储带上左右移动，并可以读、修改存储格上的数字或符号；

3 内部状态存储器，该存储器可以记录图灵机的当前状态，并且有一种特殊状态为停机状态；

4 控制程序指令，指令可以根据当前状态以及当前读写头所指的格子上的符号来确定读写头下一步的动作（左移还是右移），并改变状态存储器的值，令机器进入一个新的状态或保持状态不变。

按照Turing的理论模型，我们设计计算机的时候要怎么做呢？历史上有很多种尝试，最后是伟大的数学家物理学家Von Neumann冯诺伊曼在1945年写了一个报告《First Draft of a Report on the EDVAC》进行了规定，后来都按照他的规定来做的，所以现代计算机体系也称位Von Neumann冯诺伊曼体系结构。他写的这份报告总共有101页，史称101报告（原文见http://archive.org/download/firstdraftofrepo00vonn/firstdraftofrepo00vonn.pdf）。

 

（John Von Neumann，1903.12.28－1957.2.8，