MAD

1959年，当MAD（密歇根算法解码器）在密歇根大学的IBM 704大型机上首次运行时，编程世界正处在一个激动人心却又充满混乱的青春期。FORTRAN刚刚诞生两年，ALGOL 58的草案还在学术界引发激烈争论，而COBOL甚至要到第二年才正式发布。在这个被后世称为“高级语言黎明期”的时代，每一个新语言的诞生都像是一次对未知领域的探险——没有人确切知道，什么样的设计才能真正让计算机为人类所用。MAD就在这样的背景下诞生了，它既不是第一个，也不是最有名的，但它用最纯粹的性能证明了自己：编译出的代码运行速度甚至超过了当时最成熟的FORTRAN编译器，这在那个计算资源极度匮乏的年代，无异于一场革命。

要理解MAD的诞生，就必须先回到1950年代末期的美国中西部。密歇根大学安娜堡分校的计算机中心，正像当时许多大学一样，成为早期计算技术的实验场。这里的核心机器是IBM 704，一台重达数吨、价值数百万美元的大型机，内存只有32K字（约144KB），却要用真空管和磁芯存储器来完成最复杂的科学计算。时，程序员们主要用汇编语言或机器码编程，每个指令都要精确到寄存器操作，效率极低且极易出错。FORTRAN的出现虽然带来了高级语言的便利，但IBM的FORTRAN编译器（当时由IBM团队开发）在代码优化方面还相当原始，生成的机器码常常比手写汇编慢几倍甚至几十倍。这成为许多科学家和工程师的痛点：他们渴望用高级语言提高开发效率，却无法忍受性能的牺牲。

正是在这样的技术真空期，密歇根大学的几位教授和研究生开始思考一个大胆的问题：我们能不能创造一种语言，既拥有FORTRAN和ALGOL的语法优雅，又能编译出接近手写汇编的性能？这个想法最终催生了MAD，全称Michigan Algorithm Decoder。项目的灵魂人物是阿瑟·伯克斯（Arthur Burks）和罗伯特·巴特尔（Robert Bartels），以及一位关键的研究生伯纳德·加利（Bernard Galler）。伯克斯是计算机科学的先驱之一，曾参与ENIAC的研制，对计算机体系结构有深刻理解；加利则是后来密歇根大学计算机科学系的创始人之一。他们组建了一个小团队，利用课余时间在IBM 704上开始了MAD编译器的开发。那段日子充满了通宵达旦的调试，因为704的可靠性并不高，真空管经常烧毁，磁芯存储器的读写错误也时有发生。据说有一次，团队为了定位一个编译错误，不得不逐条检查几百张穿孔卡片，最后发现是卡片机读入时的一个机械故障导致某张卡片孔位偏移。

MAD的技术核心在于它的编译器设计。与当时大多数编译器采用简单的“语法导向翻译”不同，MAD的编译器实现了一种超前的多遍扫描优化策略。第一遍扫描负责语法分析和中间代码生成，第二遍进行寄存器分配和指令调度，第三遍则执行全局优化，包括循环展开、公共子表达式消除、死代码删除等现代编译器才普遍采用的技术。特别值得一提的是，MAD的寄存器分配算法非常激进，它能够充分利用IBM 704的累加器和乘法器寄存器，将频繁使用的变量尽可能保留在寄存器中，而不是频繁地读写内存。这在当时是一个巨大的创新，因为大多数编译器只做简单的寄存器分配，甚至完全依赖程序员手动指定。此外，MAD还支持内联汇编，允许程序员在关键代码段直接插入机器指令，这种灵活性让它在科学计算领域如鱼得水。

MAD的语法设计同样体现了实用主义的智慧。它借鉴了FORTRAN的数学表达式书写方式——因为科学家们已经习惯了用类似代数的方式写公式——同时又吸收了ALGOL 58的块结构和控制流概念，比如BEGIN-END块、IF-THEN-ELSE分支、WHILE循环等。这种混合风格在当时并不常见，因为FORTRAN和ALGOL的支持者正陷入激烈的“语法战争”，而MAD的设计者选择了一条中间道路：不追求理论的纯粹性，只追求实际的可用性。例如，MAD允许程序员用多种方式书写循环，包括FORTRAN风格的DO循环和ALGOL风格的FOR循环，甚至支持一种独特的“步长循环”语法，这在数值积分和微分方程求解中特别有用。另一个被用户津津乐道的特性是MAD的动态数组——它允许在运行时改变数组的维度，这在1959年几乎是独一无二的，因为FORTRAN的数组大小必须在编译时固定。这个特性后来被证明对有限元分析、流体力学模拟等复杂计算至关重要。

MAD的调试系统MADBUG更是当时的一颗明珠。在那个批处理作业为主流的时代，程序员通常需要将穿孔卡片提交给计算中心，等待数小时甚至数天才能拿到打印结果，如果发现错误，就得重复整个流程。MADBUG改变了这一切：它允许程序员在程序运行时通过控制台干预执行，检查变量的当前值，甚至修改内存中的内容。这个功能的实现依赖于IBM 704硬件提供的一个“陷阱”机制——当程序执行到特定指令时，可以触发一个中断，将控制权交给调试器。MADBUG利用这个机制，在每一条可能出错的指令后插入陷阱，让程序员可以逐行检查程序状态。虽然这会导致程序运行速度变慢，但在调试阶段，这种交互式的体验极大地提高了开发效率。据说密歇根大学的一位研究生曾用MADBUG在几个小时内就定位了一个困扰团队两周的数值不稳定问题，而如果用传统方法，可能需要重新编译多次才能找到问题根源。

MAD的黄金时期是1960年代。它在密歇根大学内部迅速普及，并逐渐传播到其他高校和研究机构。美国汽车工业的三大巨头——通用、福特和克莱斯勒——都成了MAD的忠实用户。这些公司需要处理大量的工程计算，比如汽车车身的有限元分析、发动机燃烧过程的数值模拟、碰撞测试的动力学仿真等。MAD的编译效率使得这些计算可以在合理的时间内完成，而它的调试工具则帮助工程师们快速迭代设计。据说福特公司的一个团队曾用MAD编写了一套用于汽车悬挂系统设计的程序，其运行速度比用FORTRAN编写的同类程序快了三倍，直接导致福特决定在多个项目中使用MAD。航空航天领域同样受益：NASA的早期阿波罗计划中，部分轨道计算和热力学模拟就是用MAD完成的。1965年，密歇根大学甚至为MAD开发了一个面向IBM 7090的版本，这是当时最强大的商用大型机之一，进一步扩大了MAD的应用范围。

然而，MAD从未像FORTRAN那样成为行业标准。这背后的原因很复杂。首先，MAD的编译器是密歇根大学内部开发的，缺乏商业公司的持续投入和市场营销。IBM虽然提供了FORTRAN编译器的官方支持，但从来没有正式支持过MAD，这意味着用户必须依赖大学团队来维护和升级。其次，MAD的语法虽然灵活，但也带来了一些问题：因为同时支持多种语法风格，程序的可读性和一致性反而下降了。不同程序员写的MAD代码可能看起来像完全不同的语言，这在大规模协作中是个隐患。再者，FORTRAN在1960年代中期经历了重要的标准化过程（FORTRAN 66），而MAD一直停留在“方言”状态，缺乏统一的规范。当IBM在1960年代末推出System/360系列大型机时，FORTRAN IV成为官方支持的语言，而MAD的移植工作却滞后了。到1970年代，随着结构化编程思想的兴起，Pascal、C等更现代的语言开始崭露头角，MAD的块结构和控制流已经不再独特，而它的性能优势也为硬件和编译器技术的进步而逐渐缩小。

尽管MAD的商业影响力有限，它在学术界的遗产却非常深远。密歇根大学的计算机科学教育长期以来一直以MAD为教学语言，直到1970年代末才被Pascal取代。许多后来成为计算机科学家的学生，最初就是在MAD上学会了编程。更重要的是，MAD的编译器技术直接影响了后续的研究。伯纳德·加利后来参与设计了PL/I语言的部分特性，而MAD的多遍扫描优化思想则被吸收进后来的编译器教科书。1980年代，当RISC架构和指令级并行成为热点时，MAD的寄存器分配算法被重新发现，成为现代编译器优化的基础之一。今天，如果你打开任何一个主流编译器的优化选项（比如GCC的-O2或-O3），你都能看到MAD先驱们六十多年前就已经探索过的技术。

在软件博物馆里，MAD的展品可能只是一叠泛黄的穿孔卡片、一本破旧的使用手册、或者一张IBM 704控制台的照片。但当你仔细端详这些物件时，你能感受到那个时代特有的激情与执着：一群学者和研究生，用最简陋的工具，创造出了一个性能惊人的编译器。他们不是为了商业利益，也不是为了学术声誉，仅仅是因为他们相信，计算机应该能被更高效、更优雅地使用。MAD的故事提醒我们，在科技史中，最辉煌的成就往往不是那些最知名的名字，而是那些在特定时间、特定地点，用智慧和汗水解决了一个具体问题的人们。他们的工作可能被遗忘，但他们的思想永远流淌在每一行现代代码之中。