Manchester Mark 1

1949年的春天，曼彻斯特大学电机工程系的一间实验室里，空气中弥漫着焊锡与热电子管特有的焦灼气息。一台占据整面墙壁、由数千只电子管与阴极射线管构成的庞然大物，正在发出有节奏的嗡鸣。它没有显示器，没有键盘，只有一排排闪烁的指示灯和一台改装过的电传打字机。当操作员将一卷打满孔洞的纸带塞进读带机，机器内部的威廉姆斯管开始以每秒数千次的速度刷新电荷点，一个此前从未被人类计算过的数字——梅森素数2^127-1——在几分钟后从电传机上缓慢吐出。这是人类历史上第一次由一台存储程序计算机独立完成一项有意义的数学探索。这台机器就是Manchester Mark 1，一个从实验室原型走向商业世界的里程碑。

要理解Manchester Mark 1的诞生，必须回到二战结束后的技术真空期。1945年，冯·诺依曼在EDVAC报告中提出了存储程序概念，但真正将这一理念变为现实的机器屈指可数。美国宾夕法尼亚大学的ENIAC虽然强大，却需要手动插拔电缆来改变程序；英国的EDSAC直到1949年5月才首次运行。在曼彻斯特，两位并不算计算机领域科班出身的工程师——弗雷迪·威廉姆斯和汤姆·基尔伯恩——正在探索一个截然不同的方向：如何用阴极射线管（CRT）来存储数据，从而替代当时笨重且缓慢的水银延迟线存储器。

威廉姆斯在此之前是雷达工程师，二战期间在电信研究机构（TRE）从事敌我识别系统研发。1946年，他调入曼彻斯特大学，开始研究一种更可靠的数字存储方案。水银延迟线的工作原理是将电信号转化为声波在水银柱中传播，但温度波动会导致延迟时间漂移，且存取速度受限于声速。威廉姆斯观察到，在普通示波器的阴极射线管上，电子束轰击荧光屏产生的电荷可以在短时间内保持稳定，这启发他设计一种利用CRT屏幕表面电荷分布来存储二进制位的装置。1947年，他与助手基尔伯恩一起制成了第一个可工作的“威廉姆斯管”原型——一个直径约12英寸的CRT，其屏幕被划分为32行×40列的电荷点矩阵，每个点代表一个二进制位。

这项突破的意义远超存储本身。因为威廉姆斯管是随机存取设备，意味着程序指令和数据可以像现代内存一样被直接访问，而不必像水银延迟线那样等待数据在管道中循环一周。这让曼彻斯特团队有可能制造一台真正意义上的存储程序计算机。1948年6月，他们用一台实验性机器——“婴儿机”（Baby）——首次展示了这种能力。婴儿机只有7条指令，使用32个字的威廉姆斯管存储，却能通过反复执行一个简单的除法程序来证明存储程序概念的可行性。当它成功计算出数字序列时，在场的基尔伯恩在实验记录本上写下了一行简短的英文：“程序运行成功。机器工作正常。”

婴儿机的成功让曼彻斯特大学获得了英国政府的资助，目标是在一年内建造一台更完善的机器，能够解决实际的科学问题。这就是Manchester Mark 1的起源。与婴儿机不同，Mark 1从一开始就被设计为“实用”计算机：它拥有完整的算术逻辑单元、控制单元和输入输出系统。硬件规模迅速膨胀：约4000只真空管、25000个电阻电容，总功耗高达25千瓦。机器的核心是威廉姆斯管存储阵列——最初只有32个40位字，后来扩展到128个字。每一个字可以存储一条指令或一个数据值，指令格式包括操作码、地址位和修饰位。为了冷却这些发热的电子管，实验室不得不安装额外的通风系统，整台机器运行时产生的热量足以让房间温度升高到令不适的程度。

在技术架构上，Manchester Mark 1严格遵循冯·诺依曼结构，但它的实现细节充满了那个时代的独创性。最引人注目的是索引寄存器（B-line）的引入——这是计算机体系结构史上的一次关键创新。在当时，处理数组或循环需要手动修改指令中的地址字段，极其繁琐且容易出错。基尔伯恩设计了三组特殊的寄存器（称为B-registers），它们可以在指令执行前自动与指令地址相加，从而让程序员通过修改B寄存器的值来循环访问不同的存储位置。这实际上就是现代CPU中索引寻址的原型。B寄存器的引入，使得Mark 1的程序员可以编写更短、更清晰的代码，也为后来汇编语言中“变址”概念的出现奠定了基础。

说到编程，Manchester Mark 1在软件史上的地位同样不可忽视。当时，程序员只能直接使用机器码——将二进制指令通过面板上的开关逐位输入，或者用纸带穿孔机打孔。基尔伯恩和团队中的另一位成员——数学家艾伦·图灵（没错，就是那位图灵）——共同设计了一套符号指令系统。程序员可以用类似“JMP 100”这样的助记符来编写程序，然后通过一个手动转换表将其翻译成二进制。这个系统后来被完善为世界上第一个汇编器（assembler），尽管它还没有自动汇编的完整功能，但已经让编程从“拨开关”进化到了“写符号”的阶段。图灵本人为Mark 1编写了多个子程序库，包括浮点运算和三角函数计算，这些程序后来被复制到Ferranti商用机上，成为早期软件库的雏形。

1949年4月，Manchester Mark 1完成了第一个正式的科学计算任务：搜索梅森素数。梅森素数是形如2^p-1的素数，其验证需要大量模运算。基尔伯恩编写了一个程序，让机器自动检验从2到257之间的所有p值。经过数小时的连续运行，Mark 1成功找到了2^127-1这个素数——它由39位数字组成，此前由数学家卢卡斯在1876年手工验证过。这次运行不仅验证了机器的可靠性，也向外界证明：计算机可以承担人类无法独立完成的重复计算。几个月后，曼彻斯特大学的物理学家利用Mark 1求解了量子力学中的薛定谔方程，这是计算机首次在理论物理学中发挥作用。

然而，Mark 1的输入输出系统堪称那个时代的“瓶颈”。程序和数据通过五孔纸带输入，速度大约每秒10个字符；结果输出则依赖一台改装过的电传打字机（Teletype），打印速度只有每分钟60个字符。如果程序需要大量输出，操作员往往要等待数十分钟才能看到结果。更原始的是，机器没有操作系统，也没有任何用户界面。启动时，操作员需要手动设置一组长约两英尺的插接线（类似老式电话交换台），以定义初始程序状态。一旦程序开始运行，整个机器就完全被该程序独占，直到它结束或崩溃。如果程序陷入死循环，唯一的办法是关闭电源再重启——而这会导致所有存储数据丢失，因为威廉姆斯管上的电荷会在断电后迅速消散。

尽管存在这些局限，Manchester Mark 1在1949年至1951年间依然运行了数百个程序，涵盖数学、物理、工程计算等领域。它最持久的贡献，或许是催生了世界上第一台通用商用计算机——Ferranti Mark 1。1948年，英国政府意识到计算机的潜在商业价值，促成了曼彻斯特大学与Ferranti公司的合作。Ferranti是一家以变压器和电气设备闻名的老牌企业，但其管理层对新兴的电子计算机表现出罕见的远见。在威廉姆斯和基尔伯恩的指导下，Ferranti的工程师将Mark 1的设计转化为可量产的产品：增加了存储容量（扩展到256个字），引入了更稳定的电源供应，并改进了纸带读入器的可靠性。1951年2月，第一台Ferranti Mark 1交付给曼彻斯特大学，随后又卖了加拿大国家研究委员会和荷兰的数学中心。

Ferranti Mark 1的商业化并非一帆风顺。它的售价约为5万英镑（按当时购买力相当于今天的数百万美元），且需要专门的工程师维护。但它的出现标志着计算机从实验室玩具变成了可供出售的工具。在Ferranti Mark 1的用户中，加拿大国家研究委员会用它计算了原子能反应堆的核截面数据，荷兰数学中心则用它处理了水利工程中的潮汐计算。这些应用虽然粗糙，却为后来IBM 701、UNIVAC I等商用机开辟了道路。

Manchester Mark 1的遗产远不止于硬件。它的索引寄存器设计直接影响了IBM 704和后来的大型机架构；它的符号编程系统为汇编语言奠定了基础；而基尔伯恩和威廉姆斯在开发过程中形成的“先做原型、快速迭代”的方法论，至今仍是工程研发的黄金准则。1953年，基尔伯恩离开曼彻斯特大学，加入了Ferranti的竞争对手——英国电气公司，主导设计了更先进的计算机KDF9。威廉姆斯则继续留在学术领域，培养了一代英国计算机科学家。

有意思的是，Manchester Mark 1的原始机器在1952年被拆解，其部件被回收用于其他实验。但曼彻斯特大学科学工业博物馆（MOSI）保存了一台精心复制的模型，包括完整的威廉姆斯管阵列和纸带读入器。每当参观者看到那堆满整面墙的电子管和闪烁的阴极射线管，都会想起那个从雷达工程师的灵光一现到商业计算机的诞生只用了不到五年的传奇时代。这台机器没有键盘，没有屏幕，没有操作系统，但它证明了计算机可以走出实验室，进入银行、工厂和研究所。在科技史的长廊里，Manchester Mark 1就像一座不起眼却至关重要的桥墩——它连接了婴儿机的天真与商用机的野心，连接了二进制开关与符号编程，也连接了1948年的那个夏天与今天这个万物互联的世界。