Making reliable distributed systems in the presence of software errors

摘要: The work described in this thesis is the result of a research program started 1981 to find better ways programming Telecom applications. These applications are large programs which despite careful testing will probably contain many errors when put into service. We assume that such do errors, and investigate methods for building reliable systems errors. The has resulted development new language (called Erlang), together with design methodology, set libraries robust OTP). At time writing technology here used number major Ericsson, Nortel products. A small companies have also been formed exploit technology. The central problem addressed by constructing from may themselves errors. Constructing imposes requirements on any be construction. I discuss these requirements, show how they satisfied Erlang. Problems can solved language, or standard accompany language. argue certain necessary build fault-tolerant system others libraries. Together form basis software systems. No theory complete without proof ideas practice. To demonstrate practice present case studies commercially successful products use technology. largest projects Ericsson product, having over million lines Erlang code. This product (the AXD301) thought one most ever made Ericsson. Finally, ask if goal finding was fulfilled --- point areas where think could improved.