Erlang社区发布著名Erlang研究文献中文版《面对软件错误构建可靠的分布式系统》



2007年09月27日，Erlang中文社区发布著名Erlang研究文献中文版《面对软件错误构建可靠的分布式系统》。负责本次翻译工作的贡献者——来自上海的"段先德"同学翻译了 Erlang 领域的重磅技术论文——Erlang 创始者 Joe Armstrong 本人关于 Erlang 研究的博士论文，即知名的《Joe Armstrong Thesis (2003)》文献。"邓辉"(《敏捷软件开发——原则、模式与实践》中文版译者)同学完成了审校工作。

中文版下载地址：
http://erlang-china.org/WordPress/wp-content/uploads/2007/09/joes-thesis.zip

英文原版下载地址：
http://www.erlang.org/download/armstrong_thesis_2003.pdf

论文摘要：

本论文所描述的成果源于1981年开始的一个研究项目，该项目的目的是探索更好的编写电信应用软件的方法。电信类应用都是一些大型的程序，虽然经过了严密的测试，但是投入运行后还是难免会有许多错误。我们假设这些程序不可避免地会含有错误，进而寻求在软件包含错误的情况下构建可靠系统的方法。

该项研究的成果是开发出了一种新的编程语言（叫做Erlang），一门设计方法学，和一个用以构建健壮系统的程序库（叫做OTP）。就在本论文写作的时候，本文所描述的技术已经在Ericsson和Nortel的多款主流产品中被使用。也许还有许多小型公司正在为了发掘这一技术而成立。

本文主要关注的是在程序自身包含有错误的情况下如何构建出可靠的系统这一问题。构建这样的系统对所采用的任何一种编程语言都有一些特殊的要求。这里会讨论这些对语言的具体的特殊要求，并将展示Erlang是如何满足这些要求的。

这些要求可以在编程语言中解决，也可以在语言所附带的标准库中解决。我将论证在构建可容错系统时，哪些要求应该在语言中解决，而哪些要求可以在标准库中解决。这些合起来构成了构建可容错软件系统的基础。

实践见真章，没有得到实践证明的理论是不完整的。为了证明这些思想在实践中确实有用，我也列举了许多已经在大型上列产品中成功应用该技术的案例。到目前为止，使用该技术的最大的项目是Ericsson的一款重要产品，它包含超过100万行的Erlang代码。这款产品（AXD301）也是公认的Ericsson最可靠的产品之一。

最后，我印证了一下我们是否达到了寻找一种编写电信应用软件的更好的方法的目的，我还指出了我们的系统可以在哪些方面进行进一步的提高。

Erlang中文社区对论文的评价：

此论文以不长的篇幅，集中讲述了 Erlang 的设计思想，及其背后的软件哲学（或称为Erlang 世界观）。无论是想粗粗的了解 Erlang 到底是什么，还是想深入理解 Erlang 并领会其思维模式，又或者是仅想吸取新的软件设计思想运用于自己的 Java 技术实践，都会发现，这是一篇非常有营养的好文章。

尤为难得的是"段先德"的翻译以及"邓辉"的审校都非常的认真细致，这使得这篇译文达到了极高的质量标准，读起来朗朗上口，非常流畅。严重感谢两位为 Erlang 社区贡献的辛勤劳动。

相关资源：

        • Erlang十分钟快速入门
        • Erlang入门
        • Erlang官方站点
        • Erlang中文社区
        • Erlang中文讨论组