kth.sePublikationer
Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Making reliable distributed systems in the presence of software errors
KTH, Tidigare Institutioner (före 2005), Mikroelektronik och informationsteknik, IMIT.
2003 (Engelska)Doktorsavhandling, monografi (Övrigt vetenskapligt)
Abstract [en]

The work described in this thesis is the result of aresearch program started in 1981 to find better ways ofprogramming Telecom applications. These applications are largeprograms which despite careful testing will probably containmany errors when the program is put into service. We assumethat such programs do contain errors, and investigate methodsfor building reliable systems despite such errors.

The research has resulted in the development of a newprogramming language (called Erlang), together with a designmethodology, and set of libraries for building robust systems(called OTP). At the time of writing the technology describedhere is used in a number of major Ericsson, and Nortelproducts. A number of small companies have also been formedwhich exploit the technology.

The central problem addressed by this thesis is the problemof constructing reliablesystems from programs which maythemselves contain errors. Constructing such systems imposes anumber of requirements on any programming language that is tobe used for the construction. I discuss these languagerequirements, and show how they are satisfied by Erlang.

Problems can be solved in a programming language, or in thestandard libraries which accompany the language. I argue howcertain of the requirements necessary to build a fault-tolerantsystem are solved in the language, and others are solved in thestandard libraries. Together these form a basis for buildingfault-tolerant software systems.

No theory is complete without proof that the ideas work inpractice. To demonstrate that these ideas work in practice Ipresent a number of case studies of large commerciallysuccessful products which use this technology. At the time ofwriting the largest of these projects is a major Ericssonproduct, having over a million lines of Erlang code. Thisproduct (the AXD301) is thought to be one of the most reliableproducts ever made by Ericsson.

Finally, I ask if the goal of finding better ways to programTelecom applications was fulfilled --- I also point to areaswhere I think the system could be improved.

Ort, förlag, år, upplaga, sidor
Kista: Mikroelektronik och informationsteknik , 2003. , s. xii, 283
Serie
Trita-IMIT. LECS, ISSN 1651-4076 ; 03:09
Nyckelord [en]
reliable distributed systems software errors
Identifikatorer
URN: urn:nbn:se:kth:diva-3658ISBN: (tryckt)OAI: oai:DiVA.org:kth-3658DiVA, id: diva2:9492
Disputation
2003-12-05
Anmärkning
NR 20140805Tillgänglig från: 2003-11-27 Skapad: 2003-11-27 Senast uppdaterad: 2022-06-22Bibliografiskt granskad

Open Access i DiVA

fulltext(882 kB)7367 nedladdningar
Filinformation
Filnamn FULLTEXT01.pdfFilstorlek 882 kBChecksumma SHA-1
a177007ac41a67a5648cf22af0915d71525eafbb90cb171b0c193de0cf1fb24bfb1fe46f
Typ fulltextMimetyp application/pdf

Av organisationen
Mikroelektronik och informationsteknik, IMIT

Sök vidare utanför DiVA

GoogleGoogle Scholar
Totalt: 7394 nedladdningar
Antalet nedladdningar är summan av nedladdningar för alla fulltexter. Det kan inkludera t.ex tidigare versioner som nu inte längre är tillgängliga.

urn-nbn

Altmetricpoäng

urn-nbn
Totalt: 25642 träffar
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf