1700437080
1700437081
类似这样的优化问题触及许多行业的业务核心：航空公司机组调度，制造、运输和配送，库存控制，广告投放以及其他各种大量应用。
1700437082
1700437083
我用C++写了最初的AMPL实现，还用到Yacc语法和（我想）用于词法分析的Lex。这是我写的第一个正经C++程序，不过我很快就把代码移交给了戴夫·盖伊。
1700437084
1700437085
AMPL也许是唯一广泛使用的源自1127中心的专有语言。（语言本身不受版权保护，但据我所知，目前还没有开源的实现。）AT&T在AMPL创建几年后就开始向其他公司授权。戴夫和我从贝尔实验室退休后，我们3个人成立了一家小公司，专注AMPL优化，继续AMPL的开发和营销。最终，我们从贝尔实验室购买了产权，这样我们就可以走自己的路。公司规模仍然很小，但在其利基市场上是重要玩家。
1700437086
1700437087
20世纪80年代初，罗布·派克（图5-18）和卢卡·卡德利（Luca Cardelli）试验了为并发设计的语言，这种语言尤其关注与鼠标和键盘等输入设备的交互，因此得名Squeak[16]（以及后来的Newsqueak）。Newsqueak的概念最终融入Plan 9中使用的并发语言Limbo和Alef，10年后又为Go语言所采纳。Go语言由罗布·派克、肯·汤普森和罗伯特·格里塞默于2008年在谷歌公司创建。
1700437088
1700437089
1700437090
1700437091
1700437092
图5-18 罗布·派克，约1981年（杰勒德·霍尔兹曼供图）
1700437093
1700437094
1700437095
1700437096
1700437097
UNIX传奇：历史与回忆 [:1700434704]
1700437098
UNIX传奇：历史与回忆 5.6 其他贡献
1700437099
1700437100
到目前为止，本章大部分内容强调系统软件，特别是语言，因为这是我最了解的。但我还该提及科学计算、通信、安全和硬件方面的一些重要活动，因为它们往往颇具影响力。当然也都有大量的软件成分，但并不全都整齐划一地落在Unix第7版的时间范围内。
1700437101
1700437102
1．科学计算
1700437103
1700437104
1700437105
1700437106
1700437107
1700437108
贝尔实验室符合人们对科研机构的期许，很早就参与了利用计算机对物理系统及处理进行建模和仿真的工作，这是数学研究的自然延伸。这也验证了迪克·汉明关于计算将取代实验室的预言。研究工作聚焦在数值线性代数、微分方程和积分方程、函数逼近和包含已知最佳解法的可被广泛使用的数学函数库。
1700437109
1700437110
菲利斯·福克斯（Phyllis Fox）是这类数值计算的先驱，也是为Fortran程序员开发的PORT库的主要贡献者。PORT为在不同计算机上可能有差异的数值范围定义了与特定机器相关的常量，它保证了Fortran代码能够移植到不同类型的计算机上。
1700437111
1700437112
PORT库是个大项目，最终产出1500个程序文件，13万行Fortran代码，还有大量文档。芭芭拉·赖德（Barbara Ryder）和斯图·费尔德曼开发了Fortran编译器PFORT，用于检查Fortran代码是否是用标准Fortran的可移植子集编写的。诺姆·史莱尔（Norm Schryer）编写了检查计算机算术运算的程序，因为不同计算机的浮点运算方式往往相差甚远。这项工作尤为重要，因为当时浮点行为标准还未制定。
1700437113
1700437114
埃里克·格罗斯（Eric Grosse）和比尔·库格伦（Bill Coughran）开发了半导体建模及仿真、电路分析和可视化的算法，主要用于半导体设计和制造。贝尔实验室开发的许多数值软件通过Netlib数学软件库在全球范围内发布，至今仍被科学计算界广泛使用。对Netlib和更大的社区做出重大贡献的其他数值分析家还有戴夫·盖伊、琳达·考夫曼（Linda Kaufman）和玛格丽特·莱特（Margaret Wright）等。
1700437115
1700437116
2. AT&T的800号码目录
1700437117
1700437118
1700437119
1700437120
1700437121
1700437122
埃里克·格罗斯的软件分发经验在一个有趣但与Unix无关的项目中帮了大忙：1994年，埃里克、洛琳达·彻丽和我把AT&T的800号码目录放到了当时还是全新的互联网上。我们的目的是让AT&T获得一些提供真正的互联网服务（以及互联网本身）的经验，也许还能给800号码带来更多呼入，甚至最终通过显示广告等增值服务获得收入。此外，我们希望通过提供真正有价值的服务，而不仅仅像当时许多互联网产品那样名不副实，从而获得合理的公共关系利益。
1700437123
1700437124
1994年8月，我们拿到包含157 000条记录的数据库快照，共约22 MB。几个小时内，我们就已将其做成可搜索和浏览的网站，在本地计算机上运行。说服AT&T管理层将其公开花了比这多得多的时间。然而，经过深思熟虑，管理层的排斥和惯性最终屈服于AT&T的竞争对手MCI即将提供互联网服务的传闻，于是该目录于1994年10月19日公开发布。这是AT&T的第一个网页服务。
1700437125
1700437126
公司策略造成的拖延令人略感沮丧，但关于数据的故事却很有启发性。数据库内容错漏百出，显然没有人用挑剔的眼光去检查那一大堆列表，如“辛辛那提（Cincinnati）”就有9种不同拼法（它们将成为正则表达式应用的好例子）。
1700437127
1700437128
尽管该目录服务不尽完善，但还是获得了一些公共关系上的好处：它一度被列在雅虎万维网指南（Yahoo WWW Guide）的“酷链接”（Cool Links）之首。（雅虎本身成立于1994年初，它的索引完全是手工编制的。） AT&T差点就落后于MCI，但却通过率先提供有用的服务略胜一筹。该目录确实让AT&T看起来涉足了互联网，它激发了大量内部的讨论和为规划进一步服务做计划的计划。最起码，这让人们认识到互联网发展和变化的非凡速度；正如我当时的非正式报告中所说：“如果我们想要在这个领域中立足，就必须学会迅速行动。”
1700437129