面对软件错误构建可靠的分布式系统-9案例研究

 案例研究

论文的本部分将展示几个系统的研究案例，这些系统均是用Erlang/OTP平台开发的。第一个系统是Ericsson的AXD301系统——AXD301系统是一个大容量的ATM1交换机。在这里我们所研究的AXD301的版本有超过110万行Erlang代码，是用函数式编程编写过的最庞大的系统之一。AXD301广泛应用了OTP库集，因此它为OTP库集的功能性提供了一个很好的证明。

在该案例之后，我还将陈述对Bluetail公司或Alteon Web Systems/Nortel Networks公司的几个小产品的研究。为了避免混淆，我需要补充说明一下：Bluetail AB公司是由几个来自Ericsson CSLab的“Erlang人”（包括我自己）成立的一个公司，后来Bluetail被Alteon Web Systems公司收购，再后来，Alteon又被Nortel Networks收购。然后，那些产品是由同一个核心团队的人开发的。

这些产品包括Bluetail Mail Robustifier（BMR）和Alteon Web Systems公司开发而后来Nortel Networks公司销售的“SSL2 accelerator”。其中SSL accelerator这款产品是在一段相当短的时间（9个月）内开发完成的，而迅速成为“嵌入式安全套接字层设备”这一不大市场中的“领头羊”
c436
。SSL accelerator也广泛地使用了Erlang/OTP平台和库集。

这些项目代表了两个极限。AXD301由一个大型的程序员团队开发，有超过40位程序员为该系统的编写贡献了超过4年的时间。众所周知，大型软件项目的管理是相当困难的，所编写的代码大多也非常难以理解。在此我正要关心的一件事情是：OTP的设计方法学对于大型系统的构建的支持是好还是不好呢？

第二组产品的开发是由一个小得多的团队编写（5－10个程序员，取决与产品的不同）的，但是却在一个短得多得时间（6个月）内完成的。所有的开发者都是经验丰富的Erlang程序员。其中的两位，Magnus Fröberg和Martin Björklund是OTP的behaviour的最初设计和编写者；其中另一位，Clares Wikström是Erlang书第2版的联合作者，Wikström还是分布式Erlang和mnesia数据库的主要实现者。

1 Asynchronous Transfer Mode，异步传输模式。

2 Secure Socket Layer，安全套接字层。

142

8.1 方法学

在案例研究中，我所关注的是如下方面：