ACM通信

给编辑的信

开源软件的真正种子

CACM人员
ACM通讯，2009年1月，第52卷第1期，第6页
10.1145/1435417.1435420
评论

虽然我很欣赏马丁·坎贝尔-凯利的“观点”“软件的未来会是开源的吗?”(2008年10月)，我们仍然必须纠正一小段历史，以正确分配信用。Campbell-Kelly断言，在1964年IBM System/360作为“标准计算机平台”发布之后，软件世界经历了一次彻底的变革。然而，S/360随后的一年是巴勒斯B5000，一个更有能力的系统;它的后继者B5500在S/360之后6个月才问世。

B5000采用了硬件和软件一体化的方法;它的架构特意支持专门用高级语言(主要是基于algo的)开发软件。当时世界上的其他人都认为像ALGOL这样的语言是无法实现的。(Donald Knuth在为期三个月的暑假期间在B205上实现了一个Burroughs ALGOL编译器。)遗憾的是，世界上的其他地方在很长一段时间内都没有弄清楚ALGOL，最终采用了一种性能远不如它的语言作为系统编程语言。在他的技术报告《编程语言设计提示》中，C.A.R. Hoare说:“这是一种远远领先于它所处时代的语言，它不仅是对它的前辈的改进，而且几乎是对它所有的后继者的改进。”B5000也是如此。

所有B5000系统软件都以源代码的形式发布，用户可以阅读和修改，并将补丁提交给Burroughs。因为它都是用类似于algolo的高级语言编写的，所以源发布比使用S/360这样的加密汇编程序更有意义。因此，B5000包含了开源软件的种子。

Edsger Dijkstra的反应也很有说服力;他说，他研究S/360规格的那一周是“我职业生涯中最黑暗的一周”。他后来成为巴勒斯的研究员。B5000还有一个由Robert Barton设计的带标签的多态(面向对象)架构，他的面向对象思想影响了Alan Kay和其他人。

Burroughs B5000不仅比S/360更早，而且反映了软件开发领域更为彻底的转变。S/360与其他的发展相比是一个巨大的倒退，尤其是B5000，它现在还存在于Unisys MCP系统中。

伊恩Joyner悉尼,澳大利亚

Campbell-Kelly回应:

巴勒斯确实是一家极具创新精神的电脑制造商，但从未取得过应有的销量。当S/360于1964年推出时，IBM已经拥有超过80%的主机市场份额，而Burroughs的份额只有4%。尽管B5000拥有一流的架构和软件系统，S/360还是成为了世界上绝大多数计算机中心采用的标准平台。

马丁Campbell-Kelly英国考文垂

回到顶部

CS与哲学的关系如同它与自然的关系

当我在1984年决定将教授计算机科学作为我的职业生涯时，我强烈地受到了计算机科学、自然和哲学之间的相互联系的激励，这些联系后来指导了我的教学方法。由Lila Karl和Grzegorz Rozenberg(2008年10月)撰写的“评论文章”“自然计算的许多方面”描述了理论和实验研究，这些研究充实了我们对计算机科学跨学科本质的最深层直觉，从而为计算机科学课程中的自然计算观奠定了坚实的基础。有鉴于此，请考虑以下坊间评论:

自然作为灵感。20世纪60年代初，作为一名年轻的程序员，我开始思考并行处理和早期操作系统的多任务处理能力与我们自己的人类执行器之间的关系;我们可以随意处理多个任务，即使我们体内运行着多个并行过程;

本质上是信息处理。从直觉上看，信息处理(如基因和进化)会发生在生物身上，但在非生物身上呢?例如，当两个分子结合形成一个新分子时，它们会交换信息吗?什么是信息?这个词的词源表明它与结构有关。所以两个分子必须在结构上“相容”才能结合吗?

惊喜。当时我是科罗拉多大学的一名研究生，Andrei Ehrenfeucht教授与作者Rozenberg合作。他们的理论研究涉及如何通过形式语法模拟植物生长;我对他们试图解开大自然深奥的神秘语言的努力感到敬畏;

计算机科学和哲学。我邀请计算机科学家们考虑CS与哲学以及自然科学之间的密切关系。哲学有助于CS，尽管有时有争议。两个例子是弗雷格的一阶逻辑发明(据他自己说，他既是哲学家又是数学家)以及奥斯汀和格赖斯对自然语言处理研究的贡献。计算机科学可能同样对哲学有用。不可判定性的概念(以及在不可判定性论证中使用“矛盾证明”作为证明工具)可能有助于解决长期存在的哲学问题;而且

哲学的直觉。编程的结构定理说，任何(适当的)程序都可以使用(仅)控制结构来描述序列、选择和迭代。我的直觉告诉我，当一个程序指的是现实世界，序列指的是时间，选择指的是(有限的)选择，迭代指的是惯性。

作为一个热爱计算机科学及其与自然和哲学的深刻联系的人，我对作者Karl和Rozenberg说:“谢谢你，万岁!”

尼古拉斯Ourusoff新罕布什尔州，新伦敦

回到顶部

数字图书馆是由计算机协会出版的。版权所有©2009 ACM有限公司